[flang-commits] [flang] [llvm] [mlir] [flang][OpenMP] Support the FULL clause on the UNROLL construct (PR #214115)

[Tom Eccles via flang-commits]

================
@@ -557,6 +557,36 @@ def UnrollHeuristicOp : OpenMPTransform_Op<"unroll_heuristic", []> {
   let hasCustomAssemblyFormat = 1;
 }
 
+//===----------------------------------------------------------------------===//
+// OpenMP unroll_full operation
+//===----------------------------------------------------------------------===//
+
+def UnrollFullOp : OpenMPTransform_Op<"unroll_full", []> {
----------------
tblah wrote:

This should have a verifier to ensure at the MLIR level that the loop has constant bounds (you were correct to also do this in semantics: these are separate interface boundaries).

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