https://github.com/raulmurillo/softfloat-riscv
SoftFloat-3e and TestFloat-3e for RISC-V
https://github.com/raulmurillo/softfloat-riscv
emulation floating-point risc-v software
Last synced: 7 months ago
JSON representation
SoftFloat-3e and TestFloat-3e for RISC-V
- Host: GitHub
- URL: https://github.com/raulmurillo/softfloat-riscv
- Owner: RaulMurillo
- Created: 2024-10-09T07:30:26.000Z (12 months ago)
- Default Branch: main
- Last Pushed: 2025-02-24T08:57:47.000Z (7 months ago)
- Last Synced: 2025-02-24T09:35:17.674Z (7 months ago)
- Topics: emulation, floating-point, risc-v, software
- Language: C
- Homepage:
- Size: 426 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# softfloat-riscv
Berkley [SoftFloat](http://www.jhauser.us/arithmetic/SoftFloat.html) and
[TestFloat](http://www.jhauser.us/arithmetic/TestFloat.html) for emulating and
testing floating point routines.
This repository combines both and adds explicit support for RISC-V.
For SoftFloat this mean the specialization of the software floating routines to
match RISC-V specified behavior.
For TestFloat this means adding a generic `RISCV` build target.
Both softwares are modified to *emulate* RISC-V behavior, not to be run on RISC-V machines. For that, the a different compiler should be used (see the `Makefile`).
To build and run the modified libraries, execute:
```bash
cd SoftFloat-3e/build/Linux-RISCV-GCC
make all
cd ../../../TestFloat-3e/build/Linux-RISCV-GCC/
make all
./testfloat_gen -rnear_even f64_mulAdd
```