[llvm] [SCEV] Retain SCEVSequentialMinMaxExpr if an operand may trigger UB. (PR #110824)
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Mon Oct 14 03:43:56 PDT 2024
================
@@ -7299,6 +7309,11 @@ bool ScalarEvolution::isGuaranteedToTransferExecutionTo(const Instruction *A,
return false;
}
+bool ScalarEvolution::isGuaranteedNotToBePoison(const SCEV *Op) {
+ SCEVPoisonCollector PC(/* LookThroughMaybePoisonBlocking */ false);
----------------
fhahn wrote:
Yep, updated, thanks!
https://github.com/llvm/llvm-project/pull/110824
More information about the llvm-commits
mailing list