[flang-commits] [flang] [mlir] [MLIR][OpenMP] Support for dispatch construct with clauses nocontext & novariants (PR #215877)

[Sairudra More via flang-commits]

================
@@ -572,6 +572,11 @@ static LogicalResult checkImplementationStatus(Operation &op) {
         checkTaskReductionByref(op, result);
       })
       .Case([&](omp::TaskwaitOp op) { checkNowait(op, result); })
+      .Case([&](omp::DispatchOp op) {
----------------
Saieiei wrote:

Could we clarify the OpenMP version semantics for `dispatch nowait` here? In OpenMP 5.1, `dispatch` creates an explicit task and `nowait` affects whether that task is included, while OpenMP 5.2 says that the `nowait` property has no effect on the `dispatch` construct.

Currently we always diagnose `nowait` as unsupported here. Is this translation intended to implement the 5.2 behavior, in which case should `nowait` simply have no effect, or is the 5.1 behavior expected to be supported as well?

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