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

[Bruno De Fraine]

================
@@ -176,6 +209,32 @@ bool ScopedNoAliasAAResult::mayAliasInScopes(const MDNode *Scopes,
   return true;
 }
 
+bool ScopedNoAliasAAResult::mayAliasInDisjointDomains(const MDNode *Scopes1,
+                                                      const MDNode *Scopes2) {
+  if (!Scopes1 || !Scopes2)
+    return true;
+
+  // Collect the domains with disjoint scopes that the first access is in.
+  SmallPtrSet<const MDNode *, 16> Domains;
+  collectScopedDomains(Scopes1, Domains, /*DisjointOnly=*/true);
+
+  // The accesses don't alias if, for some domain, both accesses use at lesat
----------------
brunodf-gf wrote:

Typo: at least

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