================
@@ -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
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
