re PR target/27946 (double to long long and back to double stores to the stack)

2008-03-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR target/27947
        * config/rs6000/rs6000.md (floatdidf2): Discouraging fprs and
        encouraging but not allowing gprs for input;
        change the input constraint to !f#r.
        (fix_truncdfdi2): Discouraging fprs and encouraging but not allowing
        gprs for output;
        change the output constraint to !f#r.


2008-03-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR target/27947
        * gcc.target/powerpc/ppc64-double-1.c: New testcase.

From-SVN: r133438

gcc/ChangeLog

+2008-03-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
+
+	PR target/27947
+	* config/rs6000/rs6000.md (floatdidf2): Discouraging fprs and
+	encouraging but not allowing gprs for input;
+	change the input constraint to !f#r.
+	(fix_truncdfdi2): Discouraging fprs and encouraging but not allowing
+	gprs for output;
+	change the output constraint to !f#r.
+
 2008-03-21  Uros Bizjak  <ubizjak@gmail.com>
 
 	PR target/13958

gcc/config/rs6000/rs6000.md

@@ -6126,7 +6126,7 @@
 
 (define_insn "floatdidf2"
   [(set (match_operand:DF 0 "gpc_reg_operand" "=f")
-	(float:DF (match_operand:DI 1 "gpc_reg_operand" "*f")))]
+	(float:DF (match_operand:DI 1 "gpc_reg_operand" "!f#r")))]
   "TARGET_POWERPC64 && TARGET_HARD_FLOAT && TARGET_FPRS"
   "fcfid %0,%1"
   [(set_attr "type" "fp")])
@@ -6173,7 +6173,7 @@
   "")
 
 (define_insn "fix_truncdfdi2"
-  [(set (match_operand:DI 0 "gpc_reg_operand" "=*f")
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=!f#r")
 	(fix:DI (match_operand:DF 1 "gpc_reg_operand" "f")))]
   "TARGET_POWERPC64 && TARGET_HARD_FLOAT && TARGET_FPRS"
   "fctidz %0,%1"
@@ -6202,7 +6202,7 @@
 ;; from double rounding.
 (define_insn_and_split "floatdisf2_internal1"
   [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
-        (float:SF (match_operand:DI 1 "gpc_reg_operand" "*f")))
+        (float:SF (match_operand:DI 1 "gpc_reg_operand" "!f#r")))
    (clobber (match_scratch:DF 2 "=f"))]
   "TARGET_POWERPC64 && TARGET_HARD_FLOAT && TARGET_FPRS"
   "#"

gcc/testsuite/ChangeLog

+2008-03-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
+
+	PR target/27947
+	* gcc.target/powerpc/ppc64-double-1.c: New testcase.
+
 2008-03-21  Thomas Koenig  <tkoenig@gcc.gnu.org>
 
 	PR libfortran/32972

gcc/testsuite/gcc.target/powerpc/ppc64-double-1.c

+// { dg-do compile }
+// { dg-options "-O2 -mpowerpc64" }
+// { dg-final { scan-assembler-not "stfd"  }  }
+
+// The register allocator should have allocated the temporary long long value in a floating point register.
+
+double
+d2ll2d (double d)
+{
+        return (double)(long long)d;
+}