From: Jacob Lifshay <programmerjake@gmail.com>
Date: Wed, 12 Oct 2022 00:13:09 +0000 (-0700)
Subject: put a reasonable reason to use DOUBLE()
X-Git-Tag: opf_rfc_ls005_v1~89
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=07d1eac91c7007954fed88332d495a42cd59afef;p=libreriscv.git

put a reasonable reason to use DOUBLE()

lfd using DOUBLE is a completely bogus reason -- lfd doesn't use DOUBLE because it doesn't need to convert from f32 to f64.
---

diff --git a/openpower/sv/rfc/ls002/discussion.mdwn b/openpower/sv/rfc/ls002/discussion.mdwn
index 679a32805..77705be5b 100644
--- a/openpower/sv/rfc/ls002/discussion.mdwn
+++ b/openpower/sv/rfc/ls002/discussion.mdwn
@@ -225,4 +225,6 @@ comparative analogy as a Programmer's Note.
 
 **Should the use of DOUBLE() be bypassed?**
 
-No, because lfd uses it, to normalise the FP value
+No, because we specifically want to be able to express all possible f32 values,
+including denormal values. those denormal values require normalization to get
+the corresponding f64 values.