[PATCH] D48283: [SCEV] Properly solve quadratic equations

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

> The code in getNumIterationsInRange assumes that it's the upper bound of the range that will be crossed

The current getNumIterationsInRange implementation is consistent with "equals 0 or wraps around 2^BW in the unsigned modulo 2^BW arithmetic" (but that's not what SolveQuadraticEquation actually computes at the moment).


Repository:
  rL LLVM

https://reviews.llvm.org/D48283