[llvm-branch-commits] [mlir] [mlir][LLVM] Use a disjoint scope domain when inlining noalias (PR #218773)

[Tobias Gysi via llvm-branch-commits]

================
@@ -223,18 +223,16 @@ llvm.func @foo(%arg0: !llvm.ptr {llvm.noalias}, %arg1: !llvm.ptr {llvm.noalias})
 // CHECK-LABEL: llvm.func @bar
 // CHECK: llvm.load
 // CHECK-SAME: alias_scopes = [#[[$ARG1_SCOPE]]]
-// CHECK-SAME: noalias_scopes = [#[[$ARG0_SCOPE]]]
----------------
gysit wrote:

CHECK-NOT is fragile but it gives us minimal test coverage here. 


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