Re: match.pd patch: max(int_min, x)->x

2016-04-21 Thread Richard Biener
On Wed, Apr 20, 2016 at 8:44 PM, Marc Glisse wrote: > Hello, > > this simple transformation is currently done in RTL, sometimes also in VRP > if we have any kind of range information (even on the wrong side, but not > with VR_VARYING). It seems more natural to complete the match.pd pattern > than

match.pd patch: max(int_min, x)->x

2016-04-20 Thread Marc Glisse
Hello, this simple transformation is currently done in RTL, sometimes also in VRP if we have any kind of range information (even on the wrong side, but not with VR_VARYING). It seems more natural to complete the match.pd pattern than make VRP understand this case. Bootstrap+regtest on powerp