diff options
-rw-r--r-- | src/zfinx.adoc | 5 |
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 |