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

[Bruno De Fraine via cfe-commits]

================
@@ -7611,17 +7611,32 @@ subset of (or equal to) the set of scopes for that domain in another
 instruction's `noalias` list, then the two memory accesses are assumed not to
 alias.
 
+If a domain is declared as having disjoint scopes, two memory accesses are
+assumed not to alias if the they both have entries for that domain in their
----------------
brunodf-gf wrote:

Typo: "the they"

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