[all-commits] [llvm/llvm-project] 5e5b8c: [MLIR][OpenMP] Verify loop wrapper properties of o...

[Sergio Afonso via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5e5b8c49096afba8e4e0fd094a5ab905a9acced0
      https://github.com/llvm/llvm-project/commit/5e5b8c49096afba8e4e0fd094a5ab905a9acced0
  Author: Sergio Afonso <safonsof at amd.com>
  Date:   2024-04-19 (Fri, 19 Apr 2024)

  Changed paths:
    M mlir/lib/Dialect/OpenMP/IR/OpenMPDialect.cpp
    M mlir/test/Dialect/OpenMP/invalid.mlir
    M mlir/test/Dialect/OpenMP/ops.mlir

  Log Message:
  -----------
  [MLIR][OpenMP] Verify loop wrapper properties of omp.parallel (#88722)

This patch extends verification of the `omp.parallel` operation to check
it is correctly defined when taking a loop wrapper role.

In OpenMP, a PARALLEL construct can be either a (potenially combined)
block construct or a loop construct, when appearing as part of a
composite construct. This is currently the case for the DISTRIBUTE
PARALLEL DO/FOR and DISTRIBUTE PARALLEL DO/FOR SIMD exclusively.

When used to represent the PARALLEL leaf of a composite construct, it
must follow the rules of a wrapper loop operation in MLIR, and this is
what this patch ensures. No additional restrictions are introduced for
PARALLEL block constructs.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications