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

[Bruno De Fraine via cfe-commits]

================
@@ -54,10 +54,17 @@ class ScopedNoAliasAAResult : public AAResultBase {
 
   LLVM_ABI static void
   collectScopedDomains(const MDNode *NoAlias,
-                       SmallPtrSetImpl<const MDNode *> &Domains);
+                       SmallPtrSetImpl<const MDNode *> &Domains,
+                       bool DisjointOnly = false);
 
   LLVM_ABI static bool mayAliasInScopes(const MDNode *Scopes,
                                         const MDNode *NoAlias);
+
+  /// Return false if two accesses in the scope lists \p Scopes1 and \p Scopes2
+  /// are kept apart by the implicit noalias sets of a domain with disjoint
+  /// scopes.
----------------
brunodf-gf wrote:

```suggestion
  /// Return false if two accesses with scope lists \p Scopes1 and \p Scopes2
  /// are kept apart because they use different scopes of a disjoint-scope domain.
```

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