code wiki / (root) / nx_f32_softmax_test.nx

nx_f32_softmax_test.nx

buildroot/runtime/nx_f32_softmax_test.nx

2937 B74 linesdepth 6pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic f32
docsdependenciesstructsconstsfunctions

about

nx_f32_softmax_test.nx -- smoke for nx_f32_softmax.nx. Stable softmax KATs. v1 polynomial exp has ~1000 ULP error; downstream softmax probabilities tolerate ~5e-3 relative error for these canonical cases.

dependencies 6 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_f32.nx nx_f32_div.nx nx_f32_exp.nx nx_f32_softmax.nx nx_f32_softmax_test.nx

imports: nx_syscalls.nxnx_tier.nxnx_f32.nxnx_f32_div.nxnx_f32_exp.nxnx_f32_softmax.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_sm_verdict_is_valid sys_mmap nx_f32_softmax _f32_gt nx_f32_sub nx_f32_add nx_f32_classify nx_f32_exp_field nx_f32_mant_field nx_f32_sign nx_f32_mant_field ↻ nx_f32_exp_field ↻ nx_f32_neg nx_f32_classify ↻ nx_f32_sign ↻ nx_f32_sub ↻ 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_div nx_f32_classify ↻ nx_f32_sign ↻ nx_f32_mant_field ↻ nx_f32_exp_field ↻ _ulp_diff_pos nx_f32_add ↻

structs

none

consts

none

functions

14func _ulp_diff_pos(a: i64, b: i64) -> i64
called by 1: main
19func main() -> i64