[libre-riscv-dev] div/mod algorithm written in python

Jacob Lifshay programmerjake at gmail.com
Mon Jul 8 22:22:42 BST 2019

For verifying frsqrt, we could use the bigfloat library (python bindings to
mpfr). It supports emulating different ieee 754-2008 fp formats. We will
have to remember that ieee 754-2008 defines sqrt(-0) to be -0 and rsqrt(-0)
to be -infinity (not +infinity).


More information about the libre-riscv-dev mailing list