[flang-commits] [flang] [flang][OpenMP] Add `reduction` clause support to `loop` directive (PR #128849)

[Kareem Ergawy via flang-commits]

================
@@ -213,6 +212,7 @@ class GenericLoopConversionPattern
 
   void rewriteToDistrbute(mlir::omp::LoopOp loopOp,
                           mlir::ConversionPatternRewriter &rewriter) const {
+    assert(loopOp.getReductionVars().empty());
----------------
ergawy wrote:

We have a semantic check for this: https://github.com/llvm/llvm-project/pull/128823. Can look into the verifier improment in a later PR, makes sense.

https://github.com/llvm/llvm-project/pull/128849