<div dir="ltr">Hello,<br><br>I am first time paying with SCEV codebase.<br>I am trying to find out why ScalarEvolution is not able to give correct back edge taken count for an expression.<br><br>So in my case flow reaches to howFarToZero() and in that function, I have following expressions as SCEV<br><br>Start = (15 + (-1 * %i) (which is set to Distance SCEV)<br>Step = 1<br><br>now, first of all, should I expect Start as ConstantSCEV (15) instead of the whole expression<br>the problem here is getUnsignedRangeMax(Distance) returns very large number because of -1 in the SCEV.<br><br>How we can make this work? Here we can clearly say that after 15 steps this expression will be 0<br>and thus we have a value for backedge taken count.<br><br>Any help will be appriciated.<br><br>Thanks,<br>Vivek</div>