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