code wiki / _hdl_build / _wb_walk_test.nx

_wb_walk_test.nx source

↩ module page · 62 lines · 1475 B

1// AUTHORED BY THE NISHI BUILDER (pattern: STRUCT_WALK test) -- KATs computed from the table at emit time 2import "_wb_walk.nx" 3import "nx_syscalls.nx" 4func main() -> i64 { 5 let b: *u8 = sys_mmap(512) 6 b[0] = 85 as u8 7 b[1] = 85 as u8 8 b[2] = 85 as u8 9 b[3] = 85 as u8 10 b[4] = 85 as u8 11 b[5] = 85 as u8 12 b[6] = 85 as u8 13 b[7] = 85 as u8 14 b[8] = 85 as u8 15 b[9] = 85 as u8 16 b[10] = 85 as u8 17 b[11] = 85 as u8 18 b[12] = 85 as u8 19 b[13] = 85 as u8 20 b[14] = 85 as u8 21 b[15] = 85 as u8 22 b[16] = 85 as u8 23 b[17] = 85 as u8 24 b[18] = 85 as u8 25 b[19] = 85 as u8 26 b[20] = 85 as u8 27 b[21] = 85 as u8 28 b[22] = 85 as u8 29 b[23] = 85 as u8 30 b[24] = 85 as u8 31 b[25] = 85 as u8 32 b[26] = 85 as u8 33 b[27] = 85 as u8 34 b[28] = 85 as u8 35 b[29] = 85 as u8 36 b[30] = 85 as u8 37 b[31] = 85 as u8 38 b[32] = 85 as u8 39 b[33] = 85 as u8 40 b[34] = 2 as u8 41 b[35] = 102 as u8 42 b[36] = 102 as u8 43 b[37] = 0 as u8 44 b[38] = 3 as u8 45 b[39] = 102 as u8 46 b[40] = 102 as u8 47 b[41] = 102 as u8 48 b[42] = 0 as u8 49 b[43] = 4 as u8 50 b[44] = 119 as u8 51 b[45] = 119 as u8 52 b[46] = 119 as u8 53 b[47] = 119 as u8 54 let out: *i64 = sys_mmap(32) as *i64 55 if _wb_walk_locate(b, 48, out) == 0 { 56 if out[0] == 44 { 57 if out[1] == 4 { 58 if _wb_walk_locate(b, 47, out) == 0 - 1 { 59 if _wb_walk_locate(b, 3, out) == 0 - 1 { sys_exit(0) } } } } } 60 sys_exit(1) 61 return 1 62}