khaki3 wrote: As DO CONCURRENT is not necessarily concurrent, it is sufficient to put a reduce clause only on the innermost loop for propagating reduction semantics. The scope of reduction is analyzable. https://github.com/llvm/llvm-project/pull/94718