From 19f693555e6306279aab4fd0ce30db83ff9e2246 Mon Sep 17 00:00:00 2001 From: krebbel Date: Tue, 22 Nov 2011 19:52:34 +0000 Subject: 2011-11-22 Andreas Krebbel * postreload.c (reload_combine): Mark reg_state as invalid at volatile insns if there has been a use already. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@181631 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 5 +++++ gcc/postreload.c | 18 ++++++++++++++---- 2 files changed, 19 insertions(+), 4 deletions(-) (limited to 'gcc') diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ba48cc1f2cb..700e833677b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2011-11-22 Andreas Krebbel + + * postreload.c (reload_combine): Mark reg_state as invalid at + volatile insns if there has been a use already. + 2011-11-21 Aldy Hernandez * opts.c (finish_options): Do not fail for -fgnu-tm. diff --git a/gcc/postreload.c b/gcc/postreload.c index 886d024926c..5c189129445 100644 --- a/gcc/postreload.c +++ b/gcc/postreload.c @@ -1312,11 +1312,21 @@ reload_combine (void) is and then later disable any optimization that would cross it. */ if (LABEL_P (insn)) last_label_ruid = reload_combine_ruid; - else if (BARRIER_P (insn) - || (INSN_P (insn) && volatile_insn_p (PATTERN (insn)))) - for (r = 0; r < FIRST_PSEUDO_REGISTER; r++) - if (! fixed_regs[r]) + else if (BARRIER_P (insn)) + { + /* Crossing a barrier resets all the use information. */ + for (r = 0; r < FIRST_PSEUDO_REGISTER; r++) + if (! fixed_regs[r]) reg_state[r].use_index = RELOAD_COMBINE_MAX_USES; + } + else if (INSN_P (insn) && volatile_insn_p (PATTERN (insn))) + /* Optimizations across insns being marked as volatile must be + prevented. All the usage information is invalidated + here. */ + for (r = 0; r < FIRST_PSEUDO_REGISTER; r++) + if (! fixed_regs[r] + && reg_state[r].use_index != RELOAD_COMBINE_MAX_USES) + reg_state[r].use_index = -1; if (! NONDEBUG_INSN_P (insn)) continue; -- cgit v1.2.1