code wiki / x86
topic: x86
21 modules sharing the x86 name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_x86.nx | Implements a 16-bit real-mode x86 CPU skeleton for running COM-style programs and DOS interrupts. | 405 | 22 |
| nx_x86_64.nx | x86_64 Linux SysV asm emitter (foundation; session 1). | 1065 | 85 |
| nx_x86_64_arith_test.nx | session 4 smoke for mul/div/shift/bitwise. | 69 | 1 |
| nx_x86_64_branch_test.nx | session 3 smoke for cmp/setcc/branch. | 110 | 2 |
| nx_x86_64_call_test.nx | session 5 smoke for call / return. | 82 | 1 |
| nx_x86_64_ctx.nx | IR-driven codegen for x86_64 (session 6). | 3382 | 81 |
| nx_x86_64_ctx_test.nx | session 6 smoke for IR-driven x86_64 codegen. | 50 | 1 |
| nx_x86_64_loadstore_test.nx | session 2 smoke for load/store/GEP. | 100 | 1 |
| nx_x86_64_module_test.nx | session 7 prove: module-level emission. | 53 | 1 |
| nx_x86_64_test.nx | foundation smoke for the x86_64 emit library. | 67 | 1 |
| nx_x86_basic_test.nx | minimal syscall-free smoke for x86_64. | 70 | 3 |
| nx_x86_dos_gate.nx | R1.1: run a REAL DOS .COM on the sovereign x86 emulator. Hello-World program: | 79 | 4 |
| nx_x86_dosfs_gate.nx | R-DOS1: Nishi-DOS file I/O over a sovereign virtual FS (our own, clean-room). | 88 | 4 |
| nx_x86_gate.nx | NATIVE correctness gate for nx_x86 (R1.0a). Three hand-assembled 16-bit programs: | 88 | 5 |
| nx_x86_kat_gate.nx | SOVEREIGN x86_64 backend run-KAT gate (the gold per-ISA emit-proof tier, | 69 | 5 |
| nx_x86_modrm_gate.nx | R1.0b: ModR/M + memory operands. Program round-trips a value through memory via | 76 | 4 |
| nx_x86_open_diag2_test.nx | try /etc/passwd to check path encoding. | 29 | 1 |
| nx_x86_open_diag_test.nx | diagnose sys_openat on x86_64 native. | 25 | 1 |
| nx_x86_regalloc.nx | genuine x86_64 register allocation (G1 keystone). | 1833 | 45 |
| nx_x86_syscall_test.nx | minimal x86_64 syscall surface smoke. | 35 | 1 |
| nx_x86_wasm_gate.nx | R1.0a WASM proof: compiles nx_x86.nx to wasm via the sovereign pipeline and runs | 110 | 10 |