From 158b4c6fd957b77dfcc01e7a89cca5b8bad277d8 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 20 Jul 2022 19:30:39 +0200
Subject: elab-vhdl_debug: disp fp64 values

---
 src/synth/elab-vhdl_debug.adb        | 2 +-
 src/synth/elab-vhdl_values-debug.adb | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/synth')

diff --git a/src/synth/elab-vhdl_debug.adb b/src/synth/elab-vhdl_debug.adb
index ea7736193..75132f49c 100644
--- a/src/synth/elab-vhdl_debug.adb
+++ b/src/synth/elab-vhdl_debug.adb
@@ -193,7 +193,7 @@ package body Elab.Vhdl_Debug is
          when Type_Array =>
             Disp_Value_Array (M, Vtype);
          when Type_Float =>
-            Put ("*float*");
+            Put_Fp64 (Read_Fp64 (M));
          when Type_Slice =>
             Put ("*slice*");
          when Type_File =>
diff --git a/src/synth/elab-vhdl_values-debug.adb b/src/synth/elab-vhdl_values-debug.adb
index bd174f6b0..0466bcde2 100644
--- a/src/synth/elab-vhdl_values-debug.adb
+++ b/src/synth/elab-vhdl_values-debug.adb
@@ -265,7 +265,8 @@ package body Elab.Vhdl_Values.Debug is
          when Type_File =>
             Put ("file");
          when Type_Float =>
-            Put ("float");
+            Put ("float: ");
+            Put_Fp64 (Read_Fp64 (M.Mem));
          when Type_Slice =>
             Put ("slice");
          when Type_Unbounded_Vector =>
-- 
cgit v1.2.3