[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