| commit | fe5bcb9cc5c46f59abfadae0170fc1f826500101 | |
| author | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Fri, 17 Mar 2017 15:01:56 +0000 (17 15:01 +0000) | ||
| committer | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Fri, 17 Mar 2017 15:01:56 +0000 (17 15:01 +0000) | ||
| tree | bafecb847a08eb5bb194630c81535b709ace0748 | treesnapshot (tar.gz zip) |
| parent | 2d27e5c1a638dae2775b781ea17a5e87d7dff1a5 | commitdiff |
PR tree-optimization/71437
* tree-vrp.c (simplify_stmt_for_jump_threading): Lookup the
conditional in the hash table first.
(vrp_dom_walker::before_dom_children): Extract condition from
ASSERT_EXPR. Record condition, its inverion and any implied
conditions as well.
PR tree-optimization/71437
* gcc.dg/tree-ssa/pr71437.c: New test.
* gcc.dg/tree-ssa/20040305-1.c: Test earlier dump.
* gcc.dg/tree-ssa/ssa-dom-thread-4.c: Adjust for jump threads
now caught by VRP, but which were previously caught by DOM.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@246225 138bc75d-0d04-0410-961f-82ee72b054a4
* tree-vrp.c (simplify_stmt_for_jump_threading): Lookup the
conditional in the hash table first.
(vrp_dom_walker::before_dom_children): Extract condition from
ASSERT_EXPR. Record condition, its inverion and any implied
conditions as well.
PR tree-optimization/71437
* gcc.dg/tree-ssa/pr71437.c: New test.
* gcc.dg/tree-ssa/20040305-1.c: Test earlier dump.
* gcc.dg/tree-ssa/ssa-dom-thread-4.c: Adjust for jump threads
now caught by VRP, but which were previously caught by DOM.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@246225 138bc75d-0d04-0410-961f-82ee72b054a4