[libre-riscv-dev] [Bug 145] reference FP emulation using algebraic numbers

bugzilla-daemon at libre-riscv.org bugzilla-daemon at libre-riscv.org
Fri Nov 8 10:11:12 GMT 2019


--- Comment #7 from Jacob Lifshay <programmerjake at gmail.com> ---
(In reply to Jacob Lifshay from comment #6)
> I'm mostly going down the list of IEEE 754 operations in order, so will
> probably next be implementing conversions from/to integers, sign
> manipulation, and comparison.

All the above are now implemented, as well as float to float conversions which
I forgot to list.

All tests pass!

> Once those are implemented, simple-soft-float will support all the required
> IEEE 754 operations except for string conversions and stuff that doesn't
> actually process floats (such as status flag manipulation, since that can
> just be done by the user by modifying status_flags directly).

I've now implemented all core IEEE 754 operations except for above exceptions
(assuming I didn't forget something).

I still need to finish implementing properly calculating NaN payloads -- since
that's not needed on RISC-V since it always produces canonical NaNs instead of
propagating payloads, the implementation should produce bit-accurate results
for all input cases for RISC-V.

For other architectures, it calculates bit-accurate results for all cases that
don't produce NaNs, when it produces a NaN, it produces the correct kind
(signaling/quiet) of NaN but the NaN payload is not always correct yet.

Working on rsqrt next, then on the python bindings.

You are receiving this mail because:
You are on the CC list for the bug.

More information about the libre-riscv-dev mailing list