From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 30 Oct 2018 07:53:07 +0000 (+0000)
Subject: modify debug statement on WRITE_FRD to display hex of number
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ab141d5f2ac37f052b4751d1cb05b3002d1cb9cd;p=riscv-isa-sim.git

modify debug statement on WRITE_FRD to display hex of number
---

diff --git a/riscv/sv_insn_redirect.cc b/riscv/sv_insn_redirect.cc
index 684952f..d02fcb0 100644
--- a/riscv/sv_insn_redirect.cc
+++ b/riscv/sv_insn_redirect.cc
@@ -6,8 +6,8 @@
 
 void (sv_proc_t::WRITE_FRD)(sv_float32_t value)
 {
-    fprintf(stderr, "WRITE_FRD sv_float32_t %f\n",
-            (float)((float32_t)value).v);
+    fprintf(stderr, "WRITE_FRD sv_float32_t %lx\n",
+            ((float32_t)value).v);
     DO_WRITE_FREG( _insn->rd(), freg(value) );
 }