From efb70b21dff4829e90d4a2b64486657ee57e7450 Mon Sep 17 00:00:00 2001
From: Blaise Tine <tinebp@hotmail.com>
Date: Thu, 7 Oct 2021 13:35:35 -0400
Subject: [PATCH] dpi bug fix

---
 hw/dpi/float_dpi.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/hw/dpi/float_dpi.cpp b/hw/dpi/float_dpi.cpp
index 70d49eae..58cb06aa 100644
--- a/hw/dpi/float_dpi.cpp
+++ b/hw/dpi/float_dpi.cpp
@@ -193,7 +193,7 @@ void dpi_flt(int a, int b, int* result, int* fflags) {
 
   fa.i = a;
   fb.i = b;
-  fr.f = fa.f < fb.f;
+  fr.i = fa.f < fb.f;
 
   *result = fr.i;
   *fflags = 0;
@@ -204,7 +204,7 @@ void dpi_fle(int a, int b, int* result, int* fflags) {
 
   fa.i = a;
   fb.i = b;
-  fr.f = fa.f <= fb.f;
+  fr.i = fa.f <= fb.f;
 
   *result = fr.i;
   *fflags = 0;
@@ -215,7 +215,7 @@ void dpi_feq(int a, int b, int* result, int* fflags) {
 
   fa.i = a;
   fb.i = b;
-  fr.f = fa.f == fb.f;
+  fr.i = fa.f == fb.f;
 
   *result = fr.i;
   *fflags = 0;