[polly] [llvm] [AST] Don't merge memory locations in AliasSetTracker (PR #65731)

[Bruno De Fraine via llvm-commits]

================
@@ -0,0 +1,65 @@
+; See https://discourse.llvm.org/t/rfc-dont-merge-memory-locations-in-aliassettracker/73336
+; pairwise TBAA indicates NoAlias of load/store ptr at %s with store i32 at %0
+; yet the LICM failed to prote load/store ptr %s out of the loop
+
+; RUN: opt < %s -passes=aa-eval -evaluate-aa-metadata -aa-pipeline=basic-aa,tbaa -print-all-alias-modref-info -disable-output 2>&1 | FileCheck --check-prefix=CHECKAA %s
+; RUN: opt < %s -S -passes=licm | FileCheck --check-prefix=CHECKLICM %s
----------------
brunodf-snps wrote:

Done. In my rebase, I split of a first version of the test with "fixme" regarding the missed optimization as commit 0bab78b35175. If OK, could you precommit this on main on my behalf?

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