nx_x86_gate.nx
buildroot/runtime/nx_x86_gate.nx
about
nx_x86_gate.nx -- NATIVE correctness gate for nx_x86 (R1.0a). Three hand-assembled 16-bit programs:
A: MOV/ADD/INC then CMP AX,8 ; JZ taken -> AX stays 8 (proves the equal/taken branch + flags)
B: same but CMP AX,7 ; JZ NOT taken -> MOV AX,0xFFFF runs (proves the not-equal/not-taken branch)
C: DEC CX / JNZ countdown loop summing AX -> AX=6, CX=0 (proves the loop + DEC flags)
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_x86.nxnx_gate_verdict.nx
imported by: nobody (leaf or entry point)
structs
| none |
consts
| none |
functions
| 9 | func g_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } |
| 10 | func g_pn(v: i64) -> i64 |
| 24 | func g_check(name: *u8, cond: i64) -> i64 |
| 32 | func load_ab(base: i64, cmpval: i64) -> i64 |
| 45 | func main() -> i64 |