[Mlir-commits] [mlir] f54e4b2 - [mlir][async]: Make async.execute operation with RecursiveMemoryEffects trait (#116544)
llvmlistbot at llvm.org
llvmlistbot at llvm.org
Thu Jul 31 06:42:13 PDT 2025
Author: Aviad Cohen
Date: 2025-07-31T16:42:10+03:00
New Revision: f54e4b26cd9e8180631865c9479154eb1b4b81a4
URL: https://github.com/llvm/llvm-project/commit/f54e4b26cd9e8180631865c9479154eb1b4b81a4
DIFF: https://github.com/llvm/llvm-project/commit/f54e4b26cd9e8180631865c9479154eb1b4b81a4.diff
LOG: [mlir][async]: Make async.execute operation with RecursiveMemoryEffects trait (#116544)
Added:
mlir/test/Dialect/Async/canonicalize.mlir
Modified:
mlir/include/mlir/Dialect/Async/IR/AsyncOps.td
Removed:
################################################################################
diff --git a/mlir/include/mlir/Dialect/Async/IR/AsyncOps.td b/mlir/include/mlir/Dialect/Async/IR/AsyncOps.td
index a8455c237c864..b52f13697f0dc 100644
--- a/mlir/include/mlir/Dialect/Async/IR/AsyncOps.td
+++ b/mlir/include/mlir/Dialect/Async/IR/AsyncOps.td
@@ -38,7 +38,8 @@ def Async_ExecuteOp :
["getEntrySuccessorOperands",
"areTypesCompatible"]>,
AttrSizedOperandSegments,
- AutomaticAllocationScope]> {
+ AutomaticAllocationScope,
+ RecursiveMemoryEffects]> {
let summary = "Asynchronous execute operation";
let description = [{
The `body` region attached to the `async.execute` operation semantically
diff --git a/mlir/test/Dialect/Async/canonicalize.mlir b/mlir/test/Dialect/Async/canonicalize.mlir
new file mode 100644
index 0000000000000..1a74eaa344e16
--- /dev/null
+++ b/mlir/test/Dialect/Async/canonicalize.mlir
@@ -0,0 +1,10 @@
+// RUN: mlir-opt %s -split-input-file -canonicalize | FileCheck %s
+
+// CHECK-NOT: async.execute
+
+func.func @empty_execute() {
+ %token = async.execute {
+ async.yield
+ }
+ return
+}
More information about the Mlir-commits
mailing list