projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b00587) | patch
re PR tree-optimization/52267 (a&~N where N has all the bits set up till a specific...
authorJakub Jelinek <jakub@redhat.com>
Thu, 15 Mar 2012 10:37:27 +0000 (11:37 +0100)
committerJakub Jelinek <jakub@gcc.gnu.org>
Thu, 15 Mar 2012 10:37:27 +0000 (11:37 +0100)
commitad193f32c80b2d5f5c62f00b5cfd729bc12e6cd1
tree77aecfd6b916ce801be2e438b3519d7a71e36ce5tree
parent9b00587cc213a16fa28499416d970e63f3a7fedbcommit | diff
re PR tree-optimization/52267 (a&~N where N has all the bits set up till a specific point can be folded to ((unsigned)a) < N)

PR tree-optimization/52267
* tree-vrp.c (masked_increment): New function.
(register_edge_assert_for_2): Derive ASSERT_EXPRs
from (X & CST1) cmp CST2 tests.

* gcc.dg/pr52267.c: New test.
* gcc.dg/tree-ssa/vrp65.c: New test.
* gcc.dg/tree-ssa/vrp66.c: New test.

From-SVN: r185427
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/pr52267.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/tree-ssa/vrp65.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/tree-ssa/vrp66.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history