code wiki / (root) / nx_f32_exp_test.nx

nx_f32_exp_test.nx

buildroot/runtime/nx_f32_exp_test.nx

1909 B56 linesdepth 5pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic f32
docsdependenciesstructsconstsfunctions

about

nx_f32_exp_test.nx -- smoke for nx_f32_exp.nx. Tolerance check: 6-term Taylor on |r| <= 0.347 gives ~4-8 ULPs of f32 error in the worst case. Our KATs accept up to 64 ULP difference to leave headroom for accumulator + ldexp errors.

dependencies 6 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_f32.nx nx_f32_div.nx nx_f32_cvt.nx nx_f32_exp.nx nx_f32_exp_test.nx

imports: nx_syscalls.nxnx_tier.nxnx_f32.nxnx_f32_div.nxnx_f32_cvt.nxnx_f32_exp.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_f32_exp nx_f32_classify nx_f32_exp_field nx_f32_mant_field nx_f32_sign _f32_to_i32_rne nx_f32_classify ↻ nx_f32_sign ↻ nx_f32_exp_field ↻ nx_f32_mant_field ↻ nx_i32_to_f32 _f32_ldexp nx_f32_classify ↻ nx_f32_exp_field ↻ nx_f32_sign ↻ _ulp_diff_pos

structs

none

consts

none

functions

17func _ulp_diff_pos(a: i64, b: i64) -> i64
called by 1: main
22func main() -> i64