Clarify SCEV code which handle powers of 2

Mark Heffernan meheff at google.com
Mon Dec 15 13:02:01 PST 2014


Hi Andy,

As discussed in the patch for fixing PR21694, here's a little patch which
clarifies the HowFarToZero computation when the step is a positive power of
two.  Functionally this should be identical to the existing code except for
the case where Step is maximally negative (eg, INT_MIN).  We now punt in
that one corner case to make reasoning about the code easier.

Mark
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20141215/d599b743/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: scev_clearup.patch
Type: text/x-patch
Size: 1706 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20141215/d599b743/attachment.bin>


More information about the llvm-commits mailing list