diff options
author | Richard Henderson <rth@redhat.com> | 2012-11-06 10:55:39 -0800 |
---|---|---|
committer | Richard Henderson <rth@redhat.com> | 2012-11-06 11:54:22 -0800 |
commit | d814526fd29bd7b2b9fae89bc021b54dfbdf5193 (patch) | |
tree | 6b40a329a0f9b6404d9fe0b3813a7908fa3e6731 | |
parent | 153f105a2d99cc762b03a8dac21c0c816c47adbe (diff) | |
download | gcc-d814526fd29bd7b2b9fae89bc021b54dfbdf5193.tar.gz |
Prevent "illegal" block sharing within transactions.
* tree-ssa-pre.c (compute_avail): Do not consider is_tm_ending_fndecl
calls as available.
-rw-r--r-- | gcc/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/tree-ssa-pre.c | 7 |
2 files changed, 12 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 316f55b7421..77e8954074b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2012-11-06 Richard Henderson <rth@redhat.com> + + * tree-ssa-pre.c (compute_avail): Do not consider is_tm_ending_fndecl + calls as available. + 2012-11-06 Uros Bizjak <ubizjak@gmail.com> * config/i386/i386.c (ix86_init_machine_status): Do not diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index 191de51b75d..b3edc670bf8 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -3805,6 +3805,13 @@ compute_avail (void) if (gimple_call_internal_p (stmt)) continue; + // We cannot value number the builtins that end transactions. + // ??? The alternative being unsharing BBs in the tm_init pass. + if (flag_tm + && (gimple_call_flags (stmt) & ECF_TM_BUILTIN) + && is_tm_ending_fndecl (gimple_call_fndecl (stmt))) + continue; + copy_reference_ops_from_call (stmt, &ops); vn_reference_lookup_pieces (gimple_vuse (stmt), 0, gimple_expr_type (stmt), |