[llvm] change contents of ScalarEvolution from private to protected (PR #83052)

William Moses via llvm-commits llvm-commits at lists.llvm.org
Wed Mar 13 13:28:50 PDT 2024


================
@@ -9076,12 +9198,134 @@ ScalarEvolution::ExitLimit ScalarEvolution::computeExitLimitFromICmp(
 
   const SCEV *LHS = getSCEV(ExitCond->getOperand(0));
   const SCEV *RHS = getSCEV(ExitCond->getOperand(1));
+  if (!AssumeLoopExists) {
+    ExitLimit EL = computeExitLimitFromICmp(L, Pred, LHS, RHS, ControlsOnlyExit,
----------------
wsmoses wrote:

Things to integrate into `computeExitLimitFromICmp`

at the start of the function, if `AssumeLoopExits` do the same prop_phi stuff.

and also in switch statement add support for LE / GE like below

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


More information about the llvm-commits mailing list