From: Jakub Jelinek <jakub@redhat.com>
Date: Tue, 7 Dec 2010 15:32:58 +0000 (+0100)
Subject: backport: re PR target/43897 (IA-64 asm clobbers are ignored)
X-Git-Tag: releases/gcc-4.5.2~52
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8b0af3cff7684951d9b2a35c3f9c80fbea946a54;p=thirdparty%2Fgcc.git

backport: re PR target/43897 (IA-64 asm clobbers are ignored)

	Backport from mainline
	2010-12-06  Jakub Jelinek  <jakub@redhat.com>

	PR target/43897
	* config/ia64/ia64.c (rtx_needs_barrier): Handle asm CLOBBER
	as a store into that register.

	* gcc.target/ia64/pr43897.c: New test.

From-SVN: r167551
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d9637215765e..abecb83026df 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -2,6 +2,10 @@
 
 	Backport from mainline
 	2010-12-06  Jakub Jelinek  <jakub@redhat.com>
+ 
+	PR target/43897
+	* config/ia64/ia64.c (rtx_needs_barrier): Handle asm CLOBBER
+	as a store into that register.
 
 	PR rtl-optimization/46777
 	* cfglayout.c (duplicate_insn_chain): Avoid duplicating
diff --git a/gcc/config/ia64/ia64.c b/gcc/config/ia64/ia64.c
index e632fdc76091..6a5625a6ee68 100644
--- a/gcc/config/ia64/ia64.c
+++ b/gcc/config/ia64/ia64.c
@@ -6050,6 +6050,17 @@ rtx_needs_barrier (rtx x, struct reg_flags flags, int pred)
 	      break;
 
 	    case CLOBBER:
+	      if (REG_P (XEXP (pat, 0))
+		  && extract_asm_operands (x) != NULL_RTX
+		  && REGNO (XEXP (pat, 0)) != AR_UNAT_REGNUM)
+		{
+		  new_flags.is_write = 1;
+		  need_barrier |= rtx_needs_barrier (XEXP (pat, 0),
+						     new_flags, pred);
+		  new_flags = flags;
+		}
+	      break;
+
 	    case RETURN:
 	      break;
 
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 20be75c0dd22..5a0e2d0803d3 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -2,6 +2,9 @@
 
 	Backport from mainline
 	2010-12-06  Jakub Jelinek  <jakub@redhat.com>
+ 
+	PR target/43897
+	* gcc.target/ia64/pr43897.c: New test.
 
 	PR rtl-optimization/46777
 	* gcc.dg/pr46777.c: New test.
diff --git a/gcc/testsuite/gcc.target/ia64/pr43897.c b/gcc/testsuite/gcc.target/ia64/pr43897.c
new file mode 100644
index 000000000000..fb73e86923aa
--- /dev/null
+++ b/gcc/testsuite/gcc.target/ia64/pr43897.c
@@ -0,0 +1,12 @@
+/* PR target/43897 */
+/* { dg-do assemble } */
+/* { dg-options "-O2" } */
+
+int
+sub (int i)
+{
+  float tmp;
+  if (i)
+    __asm__ __volatile__ ("frcpa.s0 %0,p1=f0,f0":"=f" (tmp)::"p1");
+  return i + 10;
+}