Re: [PATCH] fix for PR53986 - missing vrp on bit-mask test, LSHIFT_EXPR not handled

2012-09-03 Thread Richard Guenther
On Sun, Aug 26, 2012 at 4:28 PM, Tom de Vries wrote: > Richard, > > this patch fixes PR53986. > > The patch calculates the range of an LSHIFT_EXPR in case both operands are > constants ranges, and the operation is guaranteed not to overflow. > > F.i., it evaluates [1, 2] << [1, 8] to [2, 512]. > >

[PATCH] fix for PR53986 - missing vrp on bit-mask test, LSHIFT_EXPR not handled

2012-08-26 Thread Tom de Vries
Richard, this patch fixes PR53986. The patch calculates the range of an LSHIFT_EXPR in case both operands are constants ranges, and the operation is guaranteed not to overflow. F.i., it evaluates [1, 2] << [1, 8] to [2, 512]. Bootstrapped and reg-tested (ada inclusive) on x86_64. Ok for trunk?