From 628162eabeaddc4079107d467a55b1d0362e5cbd Mon Sep 17 00:00:00 2001
From: Jakub Jelinek <jakub@redhat.com>
Date: Mon, 6 Dec 2010 20:31:57 +0100
Subject: [PATCH] re PR target/43897 (IA-64 asm clobbers are ignored)

	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: r167516
---
 gcc/ChangeLog                           |  4 ++++
 gcc/config/ia64/ia64.c                  | 11 +++++++++++
 gcc/testsuite/ChangeLog                 |  3 +++
 gcc/testsuite/gcc.target/ia64/pr43897.c | 12 ++++++++++++
 4 files changed, 30 insertions(+)
 create mode 100644 gcc/testsuite/gcc.target/ia64/pr43897.c

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 48c60c039c32..cc1d2c6f05eb 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,9 @@
 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 tree-optimization/46528
 	PR debug/46338
 	* profile.c (branch_prob): Make sure last is never set to a debug
diff --git a/gcc/config/ia64/ia64.c b/gcc/config/ia64/ia64.c
index 0c2d20eaf6e0..f789d00ebc66 100644
--- a/gcc/config/ia64/ia64.c
+++ b/gcc/config/ia64/ia64.c
@@ -6320,6 +6320,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 f64afd425725..b0ed62160eac 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2010-12-06  Jakub Jelinek  <jakub@redhat.com>
 
+	PR target/43897
+	* gcc.target/ia64/pr43897.c: New test.
+
 	PR debug/46771
 	* gcc.dg/pr46771.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;
+}