_f32_wat_kat.nx source
↩ module page · 5 lines · 272 B
1// _f32_wat_kat.nx -- minimal f32 program to verify the sovereign wat path emits hardware f32 (f32.add).
2// (3.0 + 4.0) -> truncate -> 7. No imports (pure __f32_* intrinsics).
3func main() -> i64 {
4 return __f32_to_i64(__f32_add(__f32_from_i64(3), __f32_from_i64(4)))
5}