From 969e811dc6ed792f1c6386e5b7141e444294f4d6 Mon Sep 17 00:00:00 2001
From: Richard Stallman <rms@gnu.org>
Date: Wed, 31 Mar 1993 20:40:45 +0000
Subject: [PATCH] (ASM_OUTPUT_DOUBLE): Use new REAL_VALUE... macros.

From-SVN: r3958
---
 gcc/config/vax/vaxv.h | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/gcc/config/vax/vaxv.h b/gcc/config/vax/vaxv.h
index d526c19eba7..7d7ca458a69 100644
--- a/gcc/config/vax/vaxv.h
+++ b/gcc/config/vax/vaxv.h
@@ -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)
-- 
2.30.2