From a73f656d06961071b74948aa11943252b0f470ff Mon Sep 17 00:00:00 2001
From: Santosh Srivatsan <santosh.srivatsan@gmail.com>
Date: Mon, 31 Jan 2022 17:01:14 -0500
Subject: [PATCH] Minor bug fixes

---
 sim/common/rvfloats.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/sim/common/rvfloats.cpp b/sim/common/rvfloats.cpp
index e25fcfa5..9de653a0 100644
--- a/sim/common/rvfloats.cpp
+++ b/sim/common/rvfloats.cpp
@@ -1,4 +1,5 @@
 #include "rvfloats.h"
+#include "xlen.h"
 #include <stdio.h>
 
 extern "C" {
@@ -482,6 +483,8 @@ uint32_t rv_fsgnjn_s(uint64_t a, uint64_t b) {
     return 0xffc00000;
   #endif
 
+  printf("XLEN=%d, FLEN=%d\n", XLEN, FLEN);
+
   int sign = ~b & F32_SIGN;
   int r = sign | (a & ~F32_SIGN);