On 26/06/15 04:27, Jeff Law wrote: > On 06/24/2015 12:36 AM, Kugan wrote: >> >> >> On 23/06/15 01:09, Richard Biener wrote: >>> On Sat, Jun 20, 2015 at 9:12 AM, Kugan >>> <kugan.vivekanandara...@linaro.org> wrote: >>>> As discussed in PR64130, this patch improves the VRP value ranges for >>>> unsigned division. >>>> >>>> Bootstrapped and regression tested on x86_64-linux-gnu and regression >>>> tested on arm-none-linux-gnu with no new regression. >>>> >>>> Is this OK for trunk? >>> >>> Hum, the patch is at least incomplete not covering the >>> cmp == -1 case in the max value computation, no? >> >> Thanks for the review. Attached patch adds this as well. > Please add a testcase for the cmp == -1 case too. With that addition > this is OK for the trunk. >
Committed as r225108 with the updated test-case after fresh bootstrap and regression testing for x86_64-linux-gnu. Thanks, Kugan > jeff >
