code wiki / (root) / nx_smoke_asm_b3.nx

nx_smoke_asm_b3.nx source

↩ module page · 17 lines · 575 B

1// nx_safety_envelope: 2// intended_use: AUTO_APPLIED -- primitive-specific tuning queued 3// sil_target: SIL1 4// evidence: [bulk_applied_2026-05-16, see-file-comment-for-detail] 5// verdict: NOT_YET_EVALUATED 6 7import "nx_syscalls.nx" 8import "nxasm_v2.nx" 9 10func main() -> i64 { 11 let s: *u8 = ".text\n.globl main\nmain:\nsd ra, 8(sp)\nli a0, 30\nret\n" 12 var sl: i64 = 0 13 while s[sl] != 0 { sl = sl + 1 } 14 let out: *u8 = alloc(64) 15 let n: i64 = assemble(s, sl, out, 64) 16 return __syscall(93, n & 0xFF, 0, 0, 0, 0, 0) 17}