On Thu, Aug 14, 2014 at 11:29 PM, Sebastian Pop <seb...@gmail.com> wrote: > Bin.Cheng wrote: >> >> The overflow check can be improved by using deeper inspection to prove the >> >> equality. This patch deals with that by making below two improvements: >> >> a) Handles constant cases. >> >> b) Uses affine expansion as deeper inspection to check the equality. > > Looks good to me.
Thanks for reviewing. Committed as r213997. Thanks, bin
