khaki3 wrote: I cannot find any case in which we need `fir.reduce`. The name of reduction symbols have to be declared, so we can always track their original names. I will directly put reduction variables instead. https://github.com/llvm/llvm-project/pull/93934