From f66af4aa7fe664c2a2b3172b1a32002c6d5317f8 Mon Sep 17 00:00:00 2001 From: Vladimir Makarov Date: Fri, 12 Dec 2014 20:11:10 +0000 Subject: [PATCH] re PR rtl-optimization/64110 (ICE: Max. number of generated reload insns per insn is achieved (90)) 2014-12-12 Vladimir Makarov PR target/64110 * lra-constraints.c (process_alt_operands): Refuse alternative when reload pseudo of given class can not hold value of given mode. 2014-12-12 Vladimir Makarov PR target/64110 * gcc.target/i386/pr64110.c: New. From-SVN: r218688 --- gcc/ChangeLog | 7 +++++++ gcc/lra-constraints.c | 23 +++++++++++++++++++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.target/i386/pr64110.c | 17 +++++++++++++++++ 4 files changed, 52 insertions(+) create mode 100644 gcc/testsuite/gcc.target/i386/pr64110.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3a200321b49..689c4fdd985 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2014-12-12 Vladimir Makarov + + PR target/64110 + * lra-constraints.c (process_alt_operands): Refuse alternative + when reload pseudo of given class can not hold value of given + mode. + 2014-12-12 Thomas Schwinge * gimple-walk.c (walk_gimple_op) : Also check diff --git a/gcc/lra-constraints.c b/gcc/lra-constraints.c index e9d8bf60765..e0d4c1950d7 100644 --- a/gcc/lra-constraints.c +++ b/gcc/lra-constraints.c @@ -2267,6 +2267,29 @@ process_alt_operands (int only_alternative) goto fail; } + /* Alternative loses if it required class pseudo can not + hold value of required mode. Such insns can be + described by insn definitions with mode iterators. + Don't use ira_prohibited_class_mode_regs here as it + is common practice for constraints to use a class + which does not have actually enough regs to hold the + value (e.g. x86 AREG for mode requiring more one + general reg). */ + if (GET_MODE (*curr_id->operand_loc[nop]) != VOIDmode + && ! hard_reg_set_empty_p (this_alternative_set) + && ! HARD_REGNO_MODE_OK (ira_class_hard_regs + [this_alternative][0], + GET_MODE (*curr_id->operand_loc[nop]))) + { + if (lra_dump_file != NULL) + fprintf + (lra_dump_file, + " alt=%d: reload pseudo for op %d " + " can not hold the mode value -- refuse\n", + nalt, nop); + goto fail; + } + /* Check strong discouragement of reload of non-constant into class THIS_ALTERNATIVE. */ if (! CONSTANT_P (op) && ! no_regs_p diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f2502ff70fc..d0796b640f6 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2014-12-12 Vladimir Makarov + + PR target/64110 + * gcc.target/i386/pr64110.c: New. + 2014-12-12 Thomas Schwinge * c-c++-common/gomp/nesting-1.c: New file. diff --git a/gcc/testsuite/gcc.target/i386/pr64110.c b/gcc/testsuite/gcc.target/i386/pr64110.c new file mode 100644 index 00000000000..84d884374cd --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr64110.c @@ -0,0 +1,17 @@ +/* { dg-do compile } */ +/* { dg-options "-O3 -march=core-avx2" } */ + +int foo (void); +int a; +short *b; + +void +bar (short x) +{ + while (a--) + { + int i, j = foo (); + for (i = 0; i < j; ++i) + *b++ = x; + } +} -- 2.30.2