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
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