Re: VRP: normalize VR_VARYING in PLUS/MINUS_EXPR handling

2018-09-14 Thread Richard Biener
On Tue, Sep 11, 2018 at 12:34 PM Aldy Hernandez wrote: > > For addition and subtraction, we're currently punting on things like > [0,0] - VR_VARYING. However, if we normalize VR_VARYING to the entire > domain, we can see that the above is actually [-MIN+1, +MAX]. > > We would've normally caught t

VRP: normalize VR_VARYING in PLUS/MINUS_EXPR handling

2018-09-11 Thread Aldy Hernandez
For addition and subtraction, we're currently punting on things like [0,0] - VR_VARYING. However, if we normalize VR_VARYING to the entire domain, we can see that the above is actually [-MIN+1, +MAX]. We would've normally caught this sort of things with my rewrite of the binary operators, but