[clang] [llvm] [mlir] [polly] [IR] Add alias scope domains with disjoint scopes (PR #218768)

[Bruno De Fraine via llvm-commits]

https://github.com/brunodf-gf approved this pull request.

LGTM apart from one last detail. I have verified only a sample of the test updates, but they are just adding the `i1 false` disjointness operand. Thanks!

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