Re: [optimize3/3] VRP min/max exprs

2015-08-12 Thread Richard Biener
On Tue, 11 Aug 2015, Nathan Sidwell wrote: > On 08/11/15 07:41, Richard Biener wrote: > > > The patch looks good. Note that with SSA name operands it can be > > still profitable to do compare_range_with_value, esp. if the other > > operand has a symbolical range. See > > vrp_evaluate_conditiona

Re: [optimize3/3] VRP min/max exprs

2015-08-11 Thread Nathan Sidwell
On 08/11/15 07:41, Richard Biener wrote: The patch looks good. Note that with SSA name operands it can be still profitable to do compare_range_with_value, esp. if the other operand has a symbolical range. See vrp_evaluate_conditional_warnv_with_ops_using_ranges which actually implements a nice

Re: [optimize3/3] VRP min/max exprs

2015-08-11 Thread Richard Biener
On Mon, 10 Aug 2015, Nathan Sidwell wrote: > Richard. > this is the patch for the min/max optimization I was trying to implement > before getting sidetracked with the phi bug and cleaning the vrp abs > optimization. > > This patch checks both min and max where both operands have a determined > ra

[optimize3/3] VRP min/max exprs

2015-08-10 Thread Nathan Sidwell
Richard. this is the patch for the min/max optimization I was trying to implement before getting sidetracked with the phi bug and cleaning the vrp abs optimization. This patch checks both min and max where both operands have a determined range, and the case where the second op is a constant.