[Bug tree-optimization/52558] write introduction incorrect wrt the C++11 memory model

[aldyh at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52558

--- Comment #18 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2012-05-31 19:46:49 UTC ---
Author: aldyh
Date: Thu May 31 19:46:43 2012
New Revision: 188081

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=188081
Log:
        PR tree-optimization/52558
        * cfg.c (alloc_aux_for_edge): Fix comment.
        (alloc_aux_for_edge): Remove static.
        * basic-block.h (alloc_aux_for_edge): Protoize.
        * tree-ssa-loop-im.c (execute_sm_if_changed): New.
        (execute_sm_if_changed_flag): New.
        (execute_sm_if_changed_flag_set): New.
        (execute_sm): Do not generate data races unless requested.
        (tree_ssa_lim_initialize): Call alloc_aux_for_edges.
        (tree_ssa_lim_finalize): Call free_aux_for_edges.
        * gimple.h (block_in_transaction): New.
        (gimple_in_transaction): Use block_in_transaction.


Added:
    trunk/gcc/testsuite/gcc.dg/pr52558-1.c
    trunk/gcc/testsuite/gcc.dg/pr52558-2.c
    trunk/gcc/testsuite/gcc.dg/tm/reg-promotion.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/basic-block.h
    trunk/gcc/cfg.c
    trunk/gcc/gimple.h
    trunk/gcc/tree-ssa-loop-im.c