re PR tree-optimization/77664 (Missed optimization: signed int >= 0 && < unsigned...
authorJakub Jelinek <jakub@gcc.gnu.org>
Fri, 7 Oct 2016 09:33:47 +0000 (11:33 +0200)
committerJakub Jelinek <jakub@gcc.gnu.org>
Fri, 7 Oct 2016 09:33:47 +0000 (11:33 +0200)
commita93cdc5c6f1d56226c3ef7b69423a4074783de34
tree834010f00642c9146308937f43b74e43fcdbbc0a
parent533144bccdb4d411669b229f437c8cf193d47bb5
re PR tree-optimization/77664 (Missed optimization: signed int >= 0 && < unsigned short)

PR tree-optimization/77664
* tree-ssa-reassoc.c (update_range_test): Also clear low and high
for the other ranges.
(optimize_range_tests_diff): Fix up formatting.
(optimize_range_tests_var_bound): New function.
(optimize_range_tests): Use it.

* gcc.dg/tree-ssa/pr77664.c: New test.
* gcc.dg/pr77664.c: New test.

From-SVN: r240858
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/pr77664.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/pr77664.c [new file with mode: 0644]
gcc/tree-ssa-reassoc.c