fx_exp_test.nx
buildroot/runtime/fx_exp_test.nx
about
fx_exp_test.nx -- KAT for the fixed-point base-2 exponential family
(fx_exp2 / fx_exp10 / fx_expe / fx_pow), the inverse of fx_log2.
Run via the sovereign native lane:
_offc/nx_compile_x86_native.elf fx_exp_test.nx > t.s
as t.s -o t.o && ld -o t.elf t.o && ./t.elf ; echo $?
Exit 0 = all assertions PASS; exit N = assertion N failed.
Powers of two are EXACT; irrationals/round-trips are bounded (the
fixed-point algorithm is deterministic, so the band is a tight
correctness window, not a fudge factor). Prints the key values first.
dependencies 2 imports · 0 importers
imports: fx.nxnx_syscalls.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 15 | func within(a: i64, b: i64, tol: i64) -> i64 called by 1: main |
| 21 | func _emit(v: i64) -> i64 |
| 31 | func main() -> i64 |