(ASM_OUTPUT_DOUBLE): Deleted, use default version.

From-SVN: r5576

gcc/config/i386/bsd.h

@@ -127,9 +127,3 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
 
 /* Don't split DBX symbols into continuations.  */
 #define DBX_CONTIN_LENGTH 0
-
-/* This is how to output an assembler line defining a `double' constant.  */
-
-#undef ASM_OUTPUT_DOUBLE
-#define ASM_OUTPUT_DOUBLE(FILE,VALUE)  \
-  fprintf (FILE, "\t.double 0d%.20e\n", (VALUE))

gcc/config/i386/sco4.h

@@ -79,20 +79,3 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
     -DM_COFF -DM_BITFIELDS -DM_WORDSWAP \
     %{scointl:-D_M_INTERNAT -DM_INTERNAT} \
     %{traditional:-D_KR -D_SVID -D_NO_PROTOTYPE}}}}"
-
-/* Assembler bugs are suspected in floating constants.
-   So output them as hex.  */
-
-#undef ASM_OUTPUT_DOUBLE
-#define ASM_OUTPUT_DOUBLE(FILE,VALUE)  \
-do { long l[2];						\
-     REAL_VALUE_TO_TARGET_DOUBLE (VALUE, l);		\
-     fprintf (FILE, "%s 0x%x,0x%x\n", ASM_LONG, l[0], l[1]); \
-   } while (0)
-
-#undef ASM_OUTPUT_FLOAT
-#define ASM_OUTPUT_FLOAT(FILE,VALUE)  \
-do { long l;					\
-     REAL_VALUE_TO_TARGET_SINGLE (VALUE, l);	\
-     fprintf ((FILE), "%s 0x%x\n", ASM_LONG, l);	\
-   } while (0)