projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c8129f) | patch
diamonds are not valid execution threads for jump threading
authorSebastian Pop <s.pop@samsung.com>
Wed, 25 Mar 2015 22:49:47 +0000 (22:49 +0000)
committerSebastian Pop <spop@gcc.gnu.org>
Wed, 25 Mar 2015 22:49:47 +0000 (22:49 +0000)
commit71e3f77e8c49516ee5f94c7b6af114dcd460e8df
tree2a9776a037b33ebf45a601fe46032ded61b9bc3ctree
parent9c8129f563e1788f5ff6ad041d8ece56d575a05ccommit | diff
diamonds are not valid execution threads for jump threading

PR tree-optimization/65177
* tree-ssa-threadupdate.c (verify_seme): Renamed verify_jump_thread.
(bb_in_bbs): New.
(duplicate_seme_region): Renamed duplicate_thread_path.  Redirect all
edges not adjacent on the path to the original code.

* gcc.dg/tree-ssa/ssa-dom-thread-10.c: New.

From-SVN: r221675
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-10.c [new file with mode: 0644] blob
gcc/tree-ssa-threadupdate.c diff | blob | history