Re: [PATCH] Handle BIT_NOT_EXPR in VRP

2011-08-08 Thread Richard Guenther
On Sat, 6 Aug 2011, Paolo Bonzini wrote: > On 08/05/2011 02:31 PM, Richard Guenther wrote: > > This extends VRP to handle BIT_NOT_EXPR by composing ~X as > > -X - 1 (which should give us anti-range handling for free). > > Just a small detail, but why not -1 - X which saves the NEGATE_EXPR? :) Ma

Re: [PATCH] Handle BIT_NOT_EXPR in VRP

2011-08-06 Thread Paolo Bonzini
On 08/05/2011 02:31 PM, Richard Guenther wrote: This extends VRP to handle BIT_NOT_EXPR by composing ~X as -X - 1 (which should give us anti-range handling for free). Just a small detail, but why not -1 - X which saves the NEGATE_EXPR? :) Paolo

[PATCH] Handle BIT_NOT_EXPR in VRP

2011-08-05 Thread Richard Guenther
This extends VRP to handle BIT_NOT_EXPR by composing ~X as -X - 1 (which should give us anti-range handling for free). It requires factoring a value-range taking worker from extract_range_from_unary_expr like I already did for extract_range_from_binary_expr, thus that is included in this patch.