[llvm-branch-commits] [flang] [mlir] [OpenMP][MLIR] Set omp.composite attr for composite loop wrappers and add verifier checks (PR #102341)

[Sergio Afonso via llvm-branch-commits]

================
@@ -1796,6 +1810,10 @@ LogicalResult SimdOp::verify() {
   if (getNestedWrapper())
     return emitOpError() << "must wrap an 'omp.loop_nest' directly";
 
+  if (llvm::cast<ComposableOpInterface>(getOperation()).isComposite())
----------------
skatrak wrote:

This check is incorrect, since `omp.simd` might be part of a composite construct as long as there are other loop wrappers, which always come before it. The check here should be what I suggested for `omp.wsloop` above.

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