projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18b10d7) | patch
re PR middle-end/35691 (Missed (a == 0) && (b == 0) into (a|(typeof(a)(b)) == 0 when...
authorJakub Jelinek <jakub@redhat.com>
Tue, 26 Sep 2017 13:58:11 +0000 (15:58 +0200)
committerJakub Jelinek <jakub@gcc.gnu.org>
Tue, 26 Sep 2017 13:58:11 +0000 (15:58 +0200)
commitcaab37632257b7b002da791d6372ab9136e0d54f
tree1a330899c3f451ef600431b3536b3ee28f914a59tree
parent18b10d78d4344427e269e20f07117029daa52a97commit | diff
re PR middle-end/35691 (Missed (a == 0) && (b == 0) into (a|(typeof(a)(b)) == 0 when the types don't match)

PR middle-end/35691
* tree-ssa-reassoc.c (update_range_test): Dump r->exp each time
if it is different SSA_NAME.
(optimize_range_tests_cmp_bitwise): New function.
(optimize_range_tests): Call it.

* gcc.dg/pr35691-5.c: New test.
* gcc.dg/pr35691-6.c: New test.

From-SVN: r253201
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/pr35691-5.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/pr35691-6.c [new file with mode: 0644] blob
gcc/tree-ssa-reassoc.c diff | blob | history