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

[Krzysztof Drewniak 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]]]
----------------
krzysz00 wrote:

Eh, I figure it's fine, but we could, I suppose

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