[Mlir-commits] [llvm] [mlir] [mlir] `HasParallelRegion` means region may be parallel (PR #231372)

[Matthias Springer]

================
@@ -35,10 +35,12 @@ LogicalResult verifyLoopLikeOpInterface(Operation *op);
 //===----------------------------------------------------------------------===//
 
 namespace OpTrait {
-// A trait indicating that the single region contained in the operation has
-// parallel execution semantics. This may have implications in a certain pass.
-// For example, buffer hoisting is illegal in parallel loops, and local buffers
-// may be accessed by parallel threads simultaneously.
+// A trait indicating that the single region contained in the operation may have
----------------
matthias-springer wrote:

This wording was intentional. Ops like `acc.loop` may or may not have parallel execution semantics, depending on how they are used/nested.

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