From: lkcl <lkcl@web>
Date: Tue, 11 Oct 2022 23:36:30 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~90
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=840d13a54f20986a8b66a3202183fb72d5cd44e4;p=libreriscv.git

---

diff --git a/openpower/sv/rfc/ls002/discussion.mdwn b/openpower/sv/rfc/ls002/discussion.mdwn
index 0c5f5739d..679a32805 100644
--- a/openpower/sv/rfc/ls002/discussion.mdwn
+++ b/openpower/sv/rfc/ls002/discussion.mdwn
@@ -56,6 +56,9 @@ an FPR->GPR transfer instruction that can at least get the 32-bits
 of immediate back out as a contiguous undamaged block.  thus adding
 notes that may turn out to be restrictive is inadviseable.
 
+additional note: DOUBLE() has been noted to perform normalisation.
+this would make alternative uses even more unlikely.
+
 **
 4. The instruction names and mnemonics should be more consistent with the
    architecture spec.  In particular, the architecture spec tends to use