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

[Bruno De Fraine via llvm-commits]

================
@@ -0,0 +1,66 @@
+; 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:

I will look into to it, but out of curiosity: why do you mandate generated assertions? From https://llvm.org/docs/TestingGuide.html#generating-assertions-in-regression-tests I understood generated assertions are optional, if too tedious to write manually. Is this to update the test in the future?

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