_selfhost_compile_if_false.nx source
↩ module page · 74 lines · 1988 B
1// _selfhost_compile_if_false.nx -- compile `if 0 { return 42 } return 7`.
2// Expected runtime exit: 7 (cond=0 -> skip then-block, return 7).
3import "syscalls.nx"
4import "nx_nlex.nx"
5import "nx_nparse.nx"
6import "nx_nir.nx"
7import "nx_nx86.nx"
8
9func main() -> i64 {
10 let src: *u8 = sys_mmap(64)
11 src[0] = 102 as u8 // f
12 src[1] = 117 as u8
13 src[2] = 110 as u8
14 src[3] = 99 as u8
15 src[4] = 32 as u8
16 src[5] = 109 as u8 // m
17 src[6] = 97 as u8
18 src[7] = 105 as u8
19 src[8] = 110 as u8
20 src[9] = 40 as u8
21 src[10] = 41 as u8
22 src[11] = 32 as u8
23 src[12] = 45 as u8
24 src[13] = 62 as u8
25 src[14] = 32 as u8
26 src[15] = 105 as u8
27 src[16] = 54 as u8
28 src[17] = 52 as u8
29 src[18] = 32 as u8
30 src[19] = 123 as u8
31 src[20] = 32 as u8
32 src[21] = 105 as u8 // i
33 src[22] = 102 as u8 // f
34 src[23] = 32 as u8
35 src[24] = 48 as u8 // 0 -- false condition
36 src[25] = 32 as u8
37 src[26] = 123 as u8
38 src[27] = 32 as u8
39 src[28] = 114 as u8
40 src[29] = 101 as u8
41 src[30] = 116 as u8
42 src[31] = 117 as u8
43 src[32] = 114 as u8
44 src[33] = 110 as u8
45 src[34] = 32 as u8
46 src[35] = 52 as u8
47 src[36] = 50 as u8
48 src[37] = 32 as u8
49 src[38] = 125 as u8
50 src[39] = 32 as u8
51 src[40] = 114 as u8
52 src[41] = 101 as u8
53 src[42] = 116 as u8
54 src[43] = 117 as u8
55 src[44] = 114 as u8
56 src[45] = 110 as u8
57 src[46] = 32 as u8
58 src[47] = 55 as u8 // 7
59 src[48] = 32 as u8
60 src[49] = 125 as u8
61
62 let lex: *NxNLexer = nx_nlex_new(src, 50, 64)
63 nx_nlex_run(lex)
64 let parser: *NxNParser = nx_nparse_new(lex, 64)
65 let func_idx: i64 = nx_nparse_run(parser)
66 if func_idx < 0 { return 1 }
67 let ir: *NxIrFunc = nx_nir_lower_func(parser, func_idx, 64)
68 if ir == (0 as *NxIrFunc) { return 2 }
69
70 let asm: *NxAsmBuf = nx_asm_new(4096)
71 nx_nx86_emit_func(asm, src, ir)
72 sys_write(1, asm.buf, asm.len)
73 return 0
74}