jhauser-ucberkeley

> - What are the development goals of SoftFloat? > * why was it originally written and who are its target users? The original version of SoftFloat was created to...

> The source in QEMU's tree is based on SoftFloat2a due to later incompatibilities in the licensing. It has also seen a number of additions over time including specialisation for...

The Berkeley HardFloat sources are all still "pre-release", with very limited documentation and support. If all goes well, the first complete release will be sometime in 2018. If I'm not...

This issue will be addressed in the first complete release, sometime in 2018.

All of the inline-defined functions are believed to have out-of-line versions, assuming you make all the files correctly. If you can name a specific function for which this is not...

> `softfloat_countLeadingZeros32` is defined when `build/Linux-x86_64-GCC/platform.h` is included, so the out-of-line version in `source/s_countLeadingZeros32.c` is `#ifdef`-ed out. Okay, I see the problem; it's the inline functions in `opts-GCC.h`, which were...