code wiki / _hdl_build / _pe_jpegseg_test.nx
_pe_jpegseg_test.nx source
↩ module page · 37 lines · 1004 B
1// AUTHORED BY THE NISHI BUILDER (pattern: WIRE_MARKER test) -- KATs computed from the spec at emit time
2import "_pe_jpegseg.nx"
3import "nx_syscalls.nx"
4func main() -> i64 {
5 let b: *u8 = sys_mmap(64)
6 b[0] = 255 as u8
7 b[1] = 216 as u8
8 b[2] = 255 as u8
9 b[3] = 224 as u8
10 b[4] = 0 as u8
11 b[5] = 6 as u8
12 b[6] = 17 as u8
13 b[7] = 34 as u8
14 b[8] = 51 as u8
15 b[9] = 68 as u8
16 b[10] = 255 as u8
17 b[11] = 196 as u8
18 b[12] = 0 as u8
19 b[13] = 4 as u8
20 b[14] = 85 as u8
21 b[15] = 102 as u8
22 b[16] = 255 as u8
23 b[17] = 218 as u8
24 b[18] = 0 as u8
25 b[19] = 4 as u8
26 b[20] = 119 as u8
27 b[21] = 136 as u8
28 let g: *u8 = sys_mmap(16)
29 if _pe_jpegseg_count(b, 22) == 4 {
30 if _pe_jpegseg_find(b, 22, 224) == 6 {
31 if _pe_jpegseg_find(b, 22, 196) == 14 {
32 if _pe_jpegseg_find(b, 22, 153) == 0 - 1 {
33 if _pe_jpegseg_count(b, 21) == 0 - 1 {
34 if _pe_jpegseg_count(g, 4) == 0 - 1 { sys_exit(0) } } } } } }
35 sys_exit(1)
36 return 1
37}