aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/zfinx.adoc5
1 files changed, 1 insertions, 4 deletions
diff --git a/src/zfinx.adoc b/src/zfinx.adoc
index b47ee49..762329a 100644
--- a/src/zfinx.adoc
+++ b/src/zfinx.adoc
@@ -57,10 +57,7 @@ floating-point and integer operands. Hence, the need for NaN boxing is
diminished.
Sign-extending 32-bit floating-point numbers when held in RV64 `x`
-registers matches the existing RV64 calling conventions, which require
-all 32-bit types to be sign-extended when passed or returned in `x`
-registers. To keep the architecture more regular, we extend this pattern
-to 16-bit floating-point numbers in both RV32 and RV64.
+registers is compatible with the existing RV64 calling conventions, which leave bits 63-32 undefined when passing a 32-bit floating point value in `x` registers. To keep the architecture more regular, we extend this pattern to 16-bit floating-point numbers in both RV32 and RV64.
====
=== Zdinx