nx_smoke_nxc_pipeline15.nx source
↩ module page · 48 lines · 1721 B
1// Same as pipeline13 but allocate huge locs to rule out overflow.
2// nx_safety_envelope:
3// intended_use: AUTO_APPLIED -- primitive-specific tuning queued
4// sil_target: SIL1
5// evidence: [bulk_applied_2026-05-16, see-file-comment-for-detail]
6// verdict: NOT_YET_EVALUATED
7
8import "nx_syscalls.nx"
9import "nx_types.nx"
10import "nx_lex_kinds.nx"
11import "nx_outbuf.nx"
12import "nx_ir.nx"
13import "nx_tokenizer.nx"
14import "nx_parse.nx"
15import "nx_opt.nx"
16import "nx_regalloc.nx"
17import "elf_writer.nx"
18
19func main() -> i64 {
20 let demo: *u8 = "func main() -> i64 { return __syscall(93, 30, 0, 0, 0, 0, 0) }"
21 let toks: *Tok = lex_source(demo, 4096)
22 let m: *Module = parse_module(toks, 0 as *Module)
23 var fi: i64 = 0
24 while fi < m.n_functions {
25 let fn_base: i64 = m.functions as i64
26 let f: *Function = (fn_base + fi * 176) as *Function
27 opt_run(f)
28 // Huge locs allocation to rule out slot overflow.
29 let locs_raw: *u8 = sys_mmap(65536)
30 let locs: *ValueLoc = locs_raw as *ValueLoc
31 let cs_raw: *u8 = sys_mmap(64)
32 let cs: *i64 = cs_raw as *i64
33 *cs = 0
34 let cs_fpr_raw: *u8 = sys_mmap(16)
35 let cs_fpr: *i64 = cs_fpr_raw as *i64
36 *cs_fpr = 0
37 let sb_raw: *u8 = sys_mmap(64)
38 let sb: *i64 = sb_raw as *i64
39 *sb = 0
40 regalloc_function(f, locs, cs, cs_fpr, sb)
41 fi = fi + 1
42 }
43 let fresh_code: *u8 = sys_mmap(64)
44 fresh_code[0] = 0x67; fresh_code[1] = 0x80; fresh_code[2] = 0; fresh_code[3] = 0
45 let n: i64 = write_elf(fresh_code, 4, 2)
46 if n < 0 { return __syscall(93, 50, 0, 0, 0, 0, 0) }
47 return __syscall(93, 42, 0, 0, 0, 0, 0)
48}