projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ffa315) | patch
re PR tree-optimization/78496 (Missed opportunities for jump threading)
authorJeff Law <law@redhat.com>
Sat, 6 May 2017 15:03:40 +0000 (09:03 -0600)
committerJeff Law <law@gcc.gnu.org>
Sat, 6 May 2017 15:03:40 +0000 (09:03 -0600)
commit973dfbb4a63ba7c580e4de0c99b4970ef159631c
tree4c8e6a9ca78122f5f070154b3bc851d9e0c3ed1ctree
parent8ffa3150d30b90a11aba7d7bba3c6462b6461101commit | diff
re PR tree-optimization/78496 (Missed opportunities for jump threading)

PR tree-optimization/78496
* tree-vrp.c (simplify_assert_expr_using_ranges): New function.
(simplify_stmt_using_ranges): Call it.
(vrp_dom_walker::before_dom_children): Extract equivalences
from an ASSERT_EXPR with an equality comparison against a
constant.

PR tree-optimization/78496
* gcc.dg/tree-ssa/ssa-thread-16.c: New test.
* gcc.dg/tree-ssa/ssa-thread-17.c: New test.

From-SVN: r247721
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/ssa-thread-16.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/tree-ssa/ssa-thread-17.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history