Re: [PATCH] Try harder for conditional evaluation in VRP

2014-05-27 Thread Richard Biener
On Tue, 27 May 2014, Richard Biener wrote: > On Tue, 27 May 2014, Steven Bosscher wrote: > > > On Tue, May 27, 2014 at 12:27 PM, Richard Biener wrote: > > > * tree-vrp.c > > > (vrp_evaluate_conditional_warnv_with_ops_using_ranges): > > > Try using literal operands when comparing

Re: [PATCH] Try harder for conditional evaluation in VRP

2014-05-27 Thread Richard Biener
On Tue, 27 May 2014, Steven Bosscher wrote: > On Tue, May 27, 2014 at 12:27 PM, Richard Biener wrote: > > * tree-vrp.c (vrp_evaluate_conditional_warnv_with_ops_using_ranges): > > Try using literal operands when comparing value-ranges failed. > > No test case? Sorry ;) Happens to

Re: [PATCH] Try harder for conditional evaluation in VRP

2014-05-27 Thread Steven Bosscher
On Tue, May 27, 2014 at 12:27 PM, Richard Biener wrote: > * tree-vrp.c (vrp_evaluate_conditional_warnv_with_ops_using_ranges): > Try using literal operands when comparing value-ranges failed. No test case? Ciao! Steven

[PATCH] Try harder for conditional evaluation in VRP

2014-05-27 Thread Richard Biener
Especially for ops with symbolic ranges it may be preferable to compare one range with an op such as in [x + 1, x + 1] < x instead of expanding the range of x on the rhs to sth unrelated. So, try harder. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2014-05-27 Richard