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

[Bruno De Fraine via llvm-commits]

================
@@ -5963,24 +5963,40 @@ bool InstCombinerImpl::run() {
 class AliasScopeTracker {
   SmallPtrSet<const MDNode *, 8> UsedAliasScopesAndLists;
   SmallPtrSet<const MDNode *, 8> UsedNoAliasScopesAndLists;
+  // The domains with disjoint scopes of which more than one scope is used by
+  // !alias.scope, along with the first such scope seen for each domain.
+  SmallDenseMap<const MDNode *, const MDNode *, 4> FirstScopeInDisjointDomain;
+  SmallPtrSet<const MDNode *, 4> UsedDisjointDomains;
----------------
brunodf-gf wrote:

Thanks for resolving this! The new version is very logical to me.

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