[Bug tree-optimization/76783] [7 Regression] wrong code with conditional vector assignment @ -Og

[rguenth at gcc dot gnu.org]

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  <rguenther@suse.de>

        Backport from mainline
        2016-08-16  Richard Biener  <rguenther@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  <rguenther@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