[llvm] [Loads] Check if Ptr can be freed between Assume and CtxI. (PR #161255)

Florian Hahn via llvm-commits llvm-commits at lists.llvm.org
Mon Oct 6 07:37:50 PDT 2025


================
@@ -391,6 +391,10 @@ bool llvm::isDereferenceableAndAlignedInLoop(
     return false;
 
   Instruction *HeaderFirstNonPHI = &*L->getHeader()->getFirstNonPHIIt();
+  if (BasicBlock *LoopPred = L->getLoopPredecessor()) {
+    if (isa<BranchInst>(LoopPred->getTerminator()))
+      HeaderFirstNonPHI = LoopPred->getTerminator();
----------------
fhahn wrote:

Ah yes, updated, thanks!

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


More information about the llvm-commits mailing list