From 50919d13a394428f3c1394863c5e13e23e3a6fb0 Mon Sep 17 00:00:00 2001 From: Andrey Belevantsev Date: Fri, 9 Nov 2012 16:28:21 +0400 Subject: [PATCH] re PR rtl-optimization/54472 (ICE (spill_failure): unable to find a register to spill in class 'AREG' with -O -fschedule-insns -fselective-scheduling) PR rtl-optimization/54472 * sel-sched-ir.c (has_dependence_note_reg_set): Handle implicit sets. (has_dependence_note_reg_clobber, has_dependence_note_reg_use): Likewise. * gcc.dg/pr54472.c: New test. From-SVN: r193358 --- gcc/ChangeLog | 8 ++++++++ gcc/sel-sched-ir.c | 6 +++--- gcc/testsuite/ChangeLog | 6 ++++++ gcc/testsuite/gcc.dg/pr54472.c | 9 +++++++++ 4 files changed, 26 insertions(+), 3 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/pr54472.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f8f19bad0e4..37566fc02ea 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2012-11-09 Andrey Belevantsev + + PR rtl-optimization/54472 + + * sel-sched-ir.c (has_dependence_note_reg_set): Handle implicit sets. + (has_dependence_note_reg_clobber, + has_dependence_note_reg_use): Likewise. + 2012-11-09 Eric Botcazou * config/i386/i386.c (release_scratch_register_on_entry): Also adjust diff --git a/gcc/sel-sched-ir.c b/gcc/sel-sched-ir.c index 7b0f51242cf..e0239dc3637 100644 --- a/gcc/sel-sched-ir.c +++ b/gcc/sel-sched-ir.c @@ -3185,7 +3185,7 @@ has_dependence_note_reg_set (int regno) || reg_last->clobbers != NULL) *dsp = (*dsp & ~SPECULATIVE) | DEP_OUTPUT; - if (reg_last->uses) + if (reg_last->uses || reg_last->implicit_sets) *dsp = (*dsp & ~SPECULATIVE) | DEP_ANTI; } } @@ -3205,7 +3205,7 @@ has_dependence_note_reg_clobber (int regno) if (reg_last->sets) *dsp = (*dsp & ~SPECULATIVE) | DEP_OUTPUT; - if (reg_last->uses) + if (reg_last->uses || reg_last->implicit_sets) *dsp = (*dsp & ~SPECULATIVE) | DEP_ANTI; } } @@ -3225,7 +3225,7 @@ has_dependence_note_reg_use (int regno) if (reg_last->sets) *dsp = (*dsp & ~SPECULATIVE) | DEP_TRUE; - if (reg_last->clobbers) + if (reg_last->clobbers || reg_last->implicit_sets) *dsp = (*dsp & ~SPECULATIVE) | DEP_ANTI; /* Merge BE_IN_SPEC bits into *DSP when the dependency producer diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 226c5f8cefe..cdf47a9b33b 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2012-11-09 Andrey Belevantsev + + PR rtl-optimization/54472 + + * gcc.dg/pr54472.c: New test. + 2012-11-09 Eric Botcazou * gnat.dg/stack_check3.ad[sb]: New test. diff --git a/gcc/testsuite/gcc.dg/pr54472.c b/gcc/testsuite/gcc.dg/pr54472.c new file mode 100644 index 00000000000..93952038ec4 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr54472.c @@ -0,0 +1,9 @@ +/* { dg-do compile { target powerpc*-*-* ia64-*-* x86_64-*-* } } */ +/* { dg-options "-O -fschedule-insns -fselective-scheduling" } */ + +int main () +{ + int a[3][3][3]; + __builtin_memset (a, 0, sizeof a); + return 0; +} -- 2.30.2