(ASM_OUTPUT_DOUBLE): Use new REAL_VALUE... macros.
authorRichard Stallman <rms@gnu.org>
Wed, 31 Mar 1993 20:40:45 +0000 (20:40 +0000)
committerRichard Stallman <rms@gnu.org>
Wed, 31 Mar 1993 20:40:45 +0000 (20:40 +0000)
From-SVN: r3958

gcc/config/vax/vaxv.h

index d526c19eba7310b24f515ca3244660804704d788..7d7ca458a698f76accf96c3d1d721746a9f443d6 100644 (file)
@@ -61,5 +61,8 @@ output_file_directive ((FILE), main_input_filename)
 }
 
 #undef ASM_OUTPUT_DOUBLE
-#define ASM_OUTPUT_DOUBLE(FILE,VALUE)  \
-  fprintf (FILE, "\t.double 0d%.20e\n", (VALUE))
+#define ASM_OUTPUT_DOUBLE(FILE,VALUE)                  \
+do { char dstr[30];                                    \
+     REAL_VALUE_TO_DECIMAL (VALUE, "%.20e", dstr);     \
+     fprintf (FILE, "\t.double 0d%s\n", dstr);         \
+   } while (0)