code wiki / (root) / _selfhost_compile_if_false.nx

_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}