[llvm] [LICM] Only set AA metadata on hoisted load if it executes. (PR #117204)

[Nikita Popov via llvm-commits]

================
@@ -2234,7 +2241,7 @@ bool llvm::promoteLoopAccessesToScalars(
   LoopPromoter Promoter(SomePtr, LoopUses, SSA, ExitBlocks, InsertPts,
                         MSSAInsertPts, PIC, MSSAU, *LI, DL, Alignment,
                         SawUnorderedAtomic, AATags, *SafetyInfo,
-                        StoreSafety == StoreSafe);
+                        StoreSafety == StoreSafe, StoreIsGuanteedToExecute);
----------------
nikic wrote:

Rather than passing down the variable, can we pass empty AATags here if !guaranteed?

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