[llvm] [InstCombine] Support well-defined recurrences in isGuaranteedNotToBeUndefOrPoison (PR #150420)
Cullen Rhodes via llvm-commits
llvm-commits at lists.llvm.org
Thu Jul 31 04:56:59 PDT 2025
================
@@ -7657,6 +7720,13 @@ static bool isGuaranteedNotToBeUndefOrPoison(
}
if (IsWellDefined)
return true;
+
+ bool StartNeedsFreeze;
+ if (canFoldFreezeIntoRecurrence(
+ const_cast<PHINode *>(PN), const_cast<DominatorTree *>(DT),
----------------
c-rhodes wrote:
Unfortunately not because `PHINode` and `DominatorTree` in InstCombine are non-const
https://github.com/llvm/llvm-project/pull/150420
More information about the llvm-commits
mailing list