From: Vladimir Makarov <vmakarov@redhat.com>
Date: Fri, 12 Dec 2014 20:11:10 +0000 (+0000)
Subject: re PR rtl-optimization/64110 (ICE: Max. number of generated reload insns per insn... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f66af4aa7fe664c2a2b3172b1a32002c6d5317f8;p=gcc.git

re PR rtl-optimization/64110 (ICE: Max. number of generated reload insns per insn is achieved (90))

2014-12-12  Vladimir Makarov  <vmakarov@redhat.com>

	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  <vmakarov@redhat.com>

	PR target/64110
	* gcc.target/i386/pr64110.c: New.

From-SVN: r218688
---

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  <vmakarov@redhat.com>
+
+	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  <thomas@codesourcery.com>
 
 	* gimple-walk.c (walk_gimple_op) <GIMPLE_OMP_FOR>: 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  <vmakarov@redhat.com>
+
+	PR target/64110
+	* gcc.target/i386/pr64110.c: New.
+
 2014-12-12  Thomas Schwinge  <thomas@codesourcery.com>
 
 	* 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;
+    }
+}