code wiki / _hdl_build / _pe_f64atan_test.nx
_pe_f64atan_test.nx source
↩ module page · 24 lines · 1092 B
1// AUTHORED BY THE NISHI BUILDER (pattern: MATH_KERNEL ATAN test) -- invariant KATs.
2import "_pe_f64atan.nx"
3import "nx_syscalls.nx"
4func main() -> i64 {
5 var bad: i64 = 0
6 if nx_f64_atan(0) != 0 { bad = bad + 1 }
7 if nx_f64_atan(1 << 63) != (1 << 63) { bad = bad + 1 }
8 if nx_f64_atan(0x7FF8000000000000) != 0x7FF8000000000000 { bad = bad + 1 }
9 if nx_f64_atan(0x7FF0000000000000) != 4609753056924675352 { bad = bad + 1 }
10 if nx_f64_atan(0xFFF0000000000000) != (4609753056924675352 | (1 << 63)) { bad = bad + 1 }
11 let pv: i64 = nx_f64_atan(0x3FF8000000000000)
12 if nx_f64_atan(0xBFF8000000000000) != (pv | (1 << 63)) { bad = bad + 1 }
13 let sa: i64 = nx_f64_atan(0x40047FFFFFFFFFFF)
14 let sb: i64 = nx_f64_atan(0x4004800000000000)
15 let sc: i64 = nx_f64_atan(0x4004800000000001)
16 if sa > sb { bad = bad + 1 }
17 if sb > sc { bad = bad + 1 }
18 let nl: *u8 = sys_mmap(4)
19 nl[0] = 10
20 if bad == 0 { sys_write(1, "ATAN-TEST GREEN" as *u8, 15) } else { sys_write(1, "ATAN-TEST RED" as *u8, 13) }
21 sys_write(1, nl, 1)
22 sys_exit(bad)
23 return bad
24}