mips.c (mips_file_start): Add support for flagging 32-bit code with -mfp64 floating-point.

	* config/mips/mips.c (mips_file_start): Add support for
	flagging 32-bit code with -mfp64 floating-point.

From-SVN: r130313

gcc/ChangeLog

+2007-11-20  Thiemo Seufer  <ths@mips.com>
+
+	* config/mips/mips.c (mips_file_start): Add support for
+	flagging 32-bit code with -mfp64 floating-point.
+
 2007-11-20  Jakub Jelinek  <jakub@redhat.com>
 
 	PR c/34146

gcc/config/mips/mips.c

@@ -7086,7 +7086,9 @@ mips_file_start (void)
 
 #ifdef HAVE_AS_GNU_ATTRIBUTE
       fprintf (asm_out_file, "\t.gnu_attribute 4, %d\n",
-	       TARGET_HARD_FLOAT_ABI ? (TARGET_DOUBLE_FLOAT ? 1 : 2) : 3);
+	       (TARGET_HARD_FLOAT_ABI
+		? (TARGET_DOUBLE_FLOAT
+		   ? ((!TARGET_64BIT && TARGET_FLOAT64) ? 4 : 1) : 2) : 3));
 #endif
     }