code wiki / _hdl_build / _f64_exp_gate_authored.nx

_f64_exp_gate_authored.nx

buildroot/runtime/_hdl_build/_f64_exp_gate_authored.nx

3413 B106 linesdepth 5pulls 9 transitivereach 0 importersview sourcekind tooltopic f64

docs dependencies structs consts functions

about

_f64_exp_gate_authored.nx -- ME1 gate: nx_f64_exp vs mpmath-60dps oracle. 203 vectors (_f64_exp_kat_vectors.nx), expected = correctly-rounded f64 of the 60-digit value. Pass = ULP distance <= 1 on every vector (exp is not claimed correctly-rounded in v1; the bound is MEASURED and printed so the grade is evidence, not optimism). exp results are nonnegative bit patterns, so ULP distance = |got - exp| on raw i64 works directly (NaN handled apart). Markers: EXPBAD i=<n> x=<hex> exp=<hex> got=<hex> ulp=<n> EXP-ULP total=<n> exact=<n> ulp1=<n> worse=<n> max=<n> EXP-GATE verdict=GREEN|RED

dependencies 7 imports · 0 importers

imports: nx_syscalls.nxnx_f64.nxnx_f64_div.nxnx_f64_sqrt.nxnx_f64_cvt.nxnx_f64_exp.nx_f64_exp_kat_vectors.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

22	func f6e_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } called by 1: main calls 1: sys_write
24	func f6e_putn(v: i64) -> i64 called by 1: main calls 2: sys_mmap sys_write
38	func f6e_puthex(v: i64) -> i64 called by 1: main calls 2: sys_mmap sys_write
50	func main() -> i64 calls 7: sys_mmap f64e_kat_fill_all nx_f64_exp nx_f64_is_nan f6e_puts f6e_putn+1