https://gcc.gnu.org/bugzilla/show_bug.cgi?id=76783
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Tue Aug 23 13:49:00 2016 New Revision: 239699 URL: https://gcc.gnu.org/viewcvs?rev=239699&root=gcc&view=rev Log: 2016-08-23 Richard Biener <rguent...@suse.de> Backport from mainline 2016-08-16 Richard Biener <rguent...@suse.de> PR tree-optimization/76783 * tree-ssa-propagate.c (ssa_prop_init): Use RPO order. Clear BB visited flags at start. * gcc.dg/pr76783.c: New testcase. * gcc.dg/tree-ssa/pr69270-2.c: Adjust. 2016-08-12 Richard Biener <rguent...@suse.de> PR tree-optimization/72851 * tree-ssa-propagate.c: Include cfganal.h. Rewrite block and stmt worklists to use bitmaps indexed in execution order. (executable_blocks, cfg_blocks_num, cfg_blocks_tail, cfg_blocks_head, bb_in_list, interesting_ssa_edges, varying_ssa_edges): Remove. (cfg_blocks): Make a bitmap. (bb_to_cfg_order, cfg_order_to_bb, ssa_edge_worklist, uid_to_stmt): New globals. (cfg_blocks_empty_p): Adjust. (cfg_blocks_add): Likewise. (cfg_blocks_get): Likewise. (add_ssa_edge): Likewise. (add_control_edge): Likewise. (simulate_stmt): Likewise. (process_ssa_edge_worklist): Likewise. (simulate_block): Likewise. (ssa_prop_init): Compute PRE order and stmt UIDs. (ssa_prop_fini): Adjust. (ssa_propagate): Adjust. * gcc.dg/torture/pr72851.c: New testcase. Added: branches/gcc-6-branch/gcc/testsuite/gcc.dg/pr76783.c branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr72851.c Modified: branches/gcc-6-branch/gcc/ChangeLog branches/gcc-6-branch/gcc/testsuite/ChangeLog branches/gcc-6-branch/gcc/testsuite/gcc.dg/tree-ssa/pr69270-2.c branches/gcc-6-branch/gcc/tree-ssa-propagate.c
