[Bug tree-optimization/53986] missing vrp on bit-mask test, LSHIFT_EXPR not handled

[vries at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53986

--- Comment #11 from vries at gcc dot gnu.org 2012-09-07 09:21:18 UTC ---
Author: vries
Date: Fri Sep  7 09:21:11 2012
New Revision: 191057

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=191057
Log:
2012-09-07  Tom de Vries  <t...@codesourcery.com>

    PR tree-optimization/53986
    * tree-vrp.c (extract_range_from_multiplicative_op_1): Allow
    LSHIFT_EXPR.
    (extract_range_from_binary_expr_1): Handle LSHIFT with constant range as
    shift amount.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-vrp.c

--- Comment #12 from vries at gcc dot gnu.org 2012-09-07 09:21:31 UTC ---
Author: vries
Date: Fri Sep  7 09:21:21 2012
New Revision: 191058

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=191058
Log:
2012-09-07  Tom de Vries  <t...@codesourcery.com>

    PR tree-optimization/53986
    * gcc.dg/tree-ssa/vrp80.c: New test.
    * gcc.dg/tree-ssa/vrp80-2.c: Same.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp80-2.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp80.c
Modified:
    trunk/gcc/testsuite/ChangeLog