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

[Tobias Gysi via llvm-branch-commits]

https://github.com/gysit commented:

Thanks for working on this!

The changes look good.

Can you add a test that illustrates that verifies we add no alias scopes on some operations, while for others we can now avoid adding noalias scopes? I was a bit confused when trying to parse the changes - see my comments below - so I guess it is worth adding a test.

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