[libre-riscv-dev] bug in sfpy on FP16 integer initialisation

Jacob Lifshay programmerjake at gmail.com
Wed Jul 17 08:22:42 BST 2019

bug resolved as instance of forgetting to read the docs, see comments on

On Tue, Jul 16, 2019, 23:54 Luke Kenneth Casson Leighton <lkcl at lkcl.net>

> hi bill, (ccing libre-riscv-dev hope you don't mind),
> we've been using sfpy for the purposes of verifying the correctness of
> a full hardware implementation of an IEEE754 FPU, and have been
> extremely happy with it.
> as might be expected, however, with something that comprehensive, it
> was only a matter of time before the full code-coverage ran into an
> issue:
> http://bugs.libre-riscv.org/show_bug.cgi?id=111#c1
> is this a known-issue that has been solved in a more recent update of sfpy?
> we *need* to fix this, because sfpy is a critical hard dependency for
> our project.  we're sponsored by NLnet, and *hypothetically* we could
> arrange for a donation to you for your assistance.
> if we have to fix this ourselves, would you be interested in patches
> or tracking the resultant branch? [note: unfortunately as a libre
> project we cannot use github].
> once again, *really* grateful that you went to the trouble of
> providing python bindings for softfloat-3.
> warmest,
> l.
> _______________________________________________
> libre-riscv-dev mailing list
> libre-riscv-dev at lists.libre-riscv.org
> http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

More information about the libre-riscv-dev mailing list