re PR target/39592 (Revision 145272 breaks -ansi -msse)

	PR target/39592
	* config/i386/i386.md (*floatunssi<mode>2_1, two unnamed
	define_splits, floatunssi<mode>2): Require x87 conversions from
	DImode to be permitted.

testsuite:
	* gcc.target/i386/pr39592-1.c: New test.

From-SVN: r145342

gcc/ChangeLog

 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
 
+	PR target/39592
+	* config/i386/i386.md (*floatunssi<mode>2_1, two unnamed
+	define_splits, floatunssi<mode>2): Require x87 conversions from
+	DImode to be permitted.
+
+2009-03-31  Joseph Myers  <joseph@codesourcery.com>
+
 	PR preprocessor/15638
 	* c-common.c (c_cpp_error): Handle CPP_DL_FATAL.
 

gcc/config/i386/i386.md

@@ -5654,7 +5654,7 @@
    (clobber (match_operand:DI 2 "memory_operand" "=m,m"))
    (clobber (match_scratch:SI 3 "=X,x"))]
   "!TARGET_64BIT
-   && TARGET_80387 && X87_ENABLE_FLOAT (<X87MODEF:MODE>mode, SImode)
+   && TARGET_80387 && X87_ENABLE_FLOAT (<X87MODEF:MODE>mode, DImode)
    && TARGET_SSE"
   "#"
   [(set_attr "type" "multi")
@@ -5667,7 +5667,7 @@
    (clobber (match_operand:DI 2 "memory_operand" ""))
    (clobber (match_scratch:SI 3 ""))]
   "!TARGET_64BIT
-   && TARGET_80387 && X87_ENABLE_FLOAT (<X87MODEF:MODE>mode, SImode)
+   && TARGET_80387 && X87_ENABLE_FLOAT (<X87MODEF:MODE>mode, DImode)
    && TARGET_SSE
    && reload_completed"
   [(set (match_dup 2) (match_dup 1))
@@ -5682,7 +5682,7 @@
    (clobber (match_operand:DI 2 "memory_operand" ""))
    (clobber (match_scratch:SI 3 ""))]
   "!TARGET_64BIT
-   && TARGET_80387 && X87_ENABLE_FLOAT (<X87MODEF:MODE>mode, SImode)
+   && TARGET_80387 && X87_ENABLE_FLOAT (<X87MODEF:MODE>mode, DImode)
    && TARGET_SSE
    && reload_completed"
   [(set (match_dup 2) (match_dup 3))
@@ -5701,7 +5701,7 @@
       (clobber (match_dup 2))
       (clobber (match_scratch:SI 3 ""))])]
   "!TARGET_64BIT
-   && ((TARGET_80387 && X87_ENABLE_FLOAT (<X87MODEF:MODE>mode, SImode)
+   && ((TARGET_80387 && X87_ENABLE_FLOAT (<X87MODEF:MODE>mode, DImode)
 	&& TARGET_SSE)
        || (SSE_FLOAT_MODE_P (<MODE>mode) && TARGET_SSE_MATH))"
 {

gcc/testsuite/ChangeLog

 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
 
+	PR target/39592
+	* gcc.target/i386/pr39592-1.c: New test.
+
+2009-03-31  Joseph Myers  <joseph@codesourcery.com>
+
 	PR preprocessor/15638
 	* gcc.dg/cpp/missing-header-1.c: New test.
 	* gcc.dg/cpp/include2.c: Only test #include <>.  Expect

gcc/testsuite/gcc.target/i386/pr39592-1.c

+/* Test for ICE with C99-conforming excess precision and -msse.  PR
+   39592.  */
+/* { dg-do compile } */
+/* { dg-options "-ansi -msse" } */
+
+double
+foo (unsigned long var)
+{
+  return var;
+}