Re: VRP: make worst case scenario for ABS_EXPR is still the set of positives

2018-09-14 Thread Jeff Law
On 9/14/18 4:25 AM, Aldy Hernandez wrote: > First, there's no sense handling !VR_RANGE and symbolics now that we've > normalized the inputs. > > Second, even if we wrap around while calculating ABS, we at the least > know the result is positive ;-).  BTW, we've already handled ABS(-MIN) > and -fra

VRP: make worst case scenario for ABS_EXPR is still the set of positives

2018-09-14 Thread Aldy Hernandez
First, there's no sense handling !VR_RANGE and symbolics now that we've normalized the inputs. Second, even if we wrap around while calculating ABS, we at the least know the result is positive ;-). BTW, we've already handled ABS(-MIN) and -frapv by the time we get here, so we know we won't ge