dtcxzyw wrote: @fhahn In https://github.com/llvm/llvm-project/issues/51838 you mentioned that LICM may sink stores out of a loop. Does it guarantee that the store is never executed if the alloca is dead? https://github.com/llvm/llvm-project/pull/157852