code wiki / (root) / nx_exploop_test.nx

nx_exploop_test.nx

buildroot/runtime/nx_exploop_test.nx

830 B25 linesdepth 5pulls 7 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_exploop_test.nx -- does nx_f32_exp misbehave in a loop / on far-negative inputs (as softmax feeds)? license_tier: ORIGINAL

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_f32.nx nx_f32_div.nx nx_f32_cvt.nx nx_f32_exp.nx nx_exploop_test.nx

imports: nx_syscalls.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_i32_to_f32 nx_f32_neg nx_f32_div nx_f32_classify nx_f32_exp_field nx_f32_mant_field nx_f32_sign nx_f32_mant_field ↻ nx_f32_exp_field ↻ nx_f32_exp nx_f32_classify ↻ 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 ↻ nx_f32_add nx_f32_classify ↻ nx_f32_sign ↻ nx_f32_mant_field ↻ nx_f32_exp_field ↻ nx_f32_is_nan nx_f32_classify ↻ nx_f32_is_inf nx_f32_classify ↻ nx_f32_lt nx_f32_is_nan ↻ nx_f32_is_zero nx_f32_classify ↻

structs

none

consts

none

functions

9func main() -> i64
calls 8: nx_i32_to_f32nx_f32_negnx_f32_divnx_f32_expnx_f32_addnx_f32_is_nan+2