[llvm] [LICM] Improve hoist-safety checks for dominated MemorySSA accesses (PR #169379)

[via llvm-commits]

================
@@ -106,12 +106,12 @@ loop:
 define void @test5(i1 %cond, ptr %ptr) {
 ; CHECK-LABEL: @test5(
 ; CHECK-NEXT:  entry:
+; CHECK-NEXT:    store i32 0, ptr [[PTR:%.*]], align 4
----------------
CarolineConcatto wrote:

No problem, the rationale to not change this is because it was not able to hoist invariant.start.
It is able to hoist the store, which I believe is fine, but it does not hoist the invariant.start intrinsic.

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