wasm-float-transpiler
(WIP) Softfloats for WebAssembly
Wasm Float Transpiler
Converts a wasm file with floating point instructions (f32, f64) to one without such instructions.
The instructions are replaced with deterministic software implementations of these instructions.
Usage
In order to include the softfloat implementation in your project,
choose one of the wasm-soft-float-* backend crates as a dependency and include it in your build by adding a
pub use wasm_soft_floats_*::*; to your project.
Check out the backends folder for the complete set of backend options and their supported operations.
Your best bet is probably wasm-soft-float-bs based on the Berkeley Softfloat library. It covers almost all instructions.
Example lib.rs:
pub use wasm_soft_float_bs::*;
#[no_mangle]
pub extern "C" fn test(a: f32, b: f32) -> f32 {
a + b
}
Then compile your project and call wasm-float-transpiler on your wasm file, like this:
wasm-float-transpiler my_project.wasm output.wasm
The resulting output.wasm file now contains your finished WebAssembly without any trace of floating
point operations and with only the softfloat functions that you actually use.
Example
Check out the examples folder. To compile the examples run:
cd examples
cargo build --target wasm32-unknown-unknown --release --workspace
cd ..
To then transpile the resulting wasm, run:
cargo run -p wasm-float-transpiler -- ./examples/target/wasm32-unknown-unknown/release/basic_wasm_float.wasm output.wasm