From 997532771156fcc29ded5fba7f5c7ec579311f45 Mon Sep 17 00:00:00 2001
From: Richard Biener <rguenther@suse.de>
Date: Tue, 24 Jun 2014 10:35:30 +0000
Subject: [PATCH] re PR tree-optimization/61572 (ICE: in assign_by_spills, at
 lra-assigns.c:1335)

2014-06-24  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/61572
	* tree-ssa-sink.c (statement_sink_location): Do not sink
	loads from hard registers.

	* gcc.target/i386/pr61572.c: New testcase.

From-SVN: r211933
---
 gcc/ChangeLog                           |  6 ++++
 gcc/testsuite/ChangeLog                 |  5 +++
 gcc/testsuite/gcc.target/i386/pr61572.c | 46 +++++++++++++++++++++++++
 gcc/tree-ssa-sink.c                     |  6 ++++
 4 files changed, 63 insertions(+)
 create mode 100644 gcc/testsuite/gcc.target/i386/pr61572.c

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b82e84021fb..15e16bf877f 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2014-06-24  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/61572
+	* tree-ssa-sink.c (statement_sink_location): Do not sink
+	loads from hard registers.
+
 2014-06-24  Jakub Jelinek  <jakub@redhat.com>
 
 	* gimplify.c (gimplify_omp_for): For #pragma omp for simd iterator
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 279d4ee29ce..9bd9a21da43 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2014-06-24  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/61572
+	* gcc.target/i386/pr61572.c: New testcase.
+
 2014-06-24  Jakub Jelinek  <jakub@redhat.com>
 
 	* gfortran.dg/gomp/udr2.f90 (f7, f9): Add !$omp parallel with
diff --git a/gcc/testsuite/gcc.target/i386/pr61572.c b/gcc/testsuite/gcc.target/i386/pr61572.c
new file mode 100644
index 00000000000..345633393b6
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr61572.c
@@ -0,0 +1,46 @@
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+
+struct autofs_sb_info
+{
+  int exp_timeout;
+};
+void *f;
+int g;
+static int fn1 (struct autofs_sb_info *p1)
+{
+  int a, b;
+  a = (
+       {
+       register __typeof__(0) c
+#if defined __x86_64__
+       asm("rdx")
+#endif
+       ;
+       b = c;
+       int d;
+       __typeof__(0) e;
+       e = p1->exp_timeout / 1000;
+       switch (0)
+       default:
+       asm("" : "=a"(d) : "0"(e), ""(0));
+       d;
+       });
+  if (a)
+    return 1;
+  if (b)
+    p1->exp_timeout = 0;
+  return 0;
+}
+
+int fn2 ()
+{
+  struct autofs_sb_info *h = f;
+  switch (g)
+    {
+      case 0 ?:
+0 : return fn1 (h);
+      default:
+    return 0;
+    }
+}
diff --git a/gcc/tree-ssa-sink.c b/gcc/tree-ssa-sink.c
index f7485ef0efa..fb7310dd114 100644
--- a/gcc/tree-ssa-sink.c
+++ b/gcc/tree-ssa-sink.c
@@ -374,6 +374,12 @@ statement_sink_location (gimple stmt, basic_block frombb,
 	 nearest to commondom.  */
       if (gimple_vuse (stmt))
 	{
+	  /* Do not sink loads from hard registers.  */
+	  if (gimple_assign_single_p (stmt)
+	      && TREE_CODE (gimple_assign_rhs1 (stmt)) == VAR_DECL
+	      && DECL_HARD_REGISTER (gimple_assign_rhs1 (stmt)))
+	    return false;
+
 	  imm_use_iterator imm_iter;
 	  use_operand_p use_p;
 	  basic_block found = NULL;