code wiki / _hdl_build / _pe_f64log_test.nx
_pe_f64log_test.nx source
↩ module page · 18 lines · 849 B
1// AUTHORED BY THE NISHI BUILDER (pattern: MATH_KERNEL test) -- KATs from algorithm invariants.
2import "_pe_f64log.nx"
3import "nx_syscalls.nx"
4func main() -> i64 {
5 var bad: i64 = 0
6 if nx_f64_log(4607182418800017408) != 0 { bad = bad + 1 }
7 if nx_f64_log(0) != 0xFFF0000000000000 { bad = bad + 1 }
8 if nx_f64_log(0x8000000000000000) != 0xFFF0000000000000 { bad = bad + 1 }
9 if nx_f64_log(0xBFF0000000000000) != 0x7FF8000000000000 { bad = bad + 1 }
10 if nx_f64_log(0x7FF0000000000000) != 0x7FF0000000000000 { bad = bad + 1 }
11 if nx_f64_log(0x7FF8000000000000) != 0x7FF8000000000000 { bad = bad + 1 }
12 let nl: *u8 = sys_mmap(4)
13 nl[0] = 10
14 if bad == 0 { sys_write(1, "MATHKERNEL-TEST GREEN" as *u8, 21) } else { sys_write(1, "MATHKERNEL-TEST RED" as *u8, 19) }
15 sys_write(1, nl, 1)
16 sys_exit(bad)
17 return bad
18}