code wiki / _hdl_build / nx_emu_x86_k_test.nx
`nx_emu_x86_k_test.nx` source

1// nx_emu_x86_k_test.nx -- x86 ladder R4 KAT: a real FUNCTION CALL through a stack.
2// Authors:  main { rsp=60000; rdi=37; call add5; exit(rax) }   add5 { rax=rdi+5; ret }
3// add5(37) must return 42 via call/ret over the emulated stack.  expect_exit: 0  license_tier: ORIGINAL
4import "nx_emu_x86_k.nx"
5
6func kt_b(c: *u8, o: i64, b: i64) -> i64 { c[o]=(b & 0xff) as u8; return o+1 }
7func kt_i32(c: *u8, o: i64, v: i64) -> i64 { c[o]=(v&0xff) as u8; c[o+1]=((v>>8)&0xff) as u8; c[o+2]=((v>>16)&0xff) as u8; c[o+3]=((v>>24)&0xff) as u8; return o+4 }
8func kt_puts(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
9func kt_num(v: i64) -> i64 { let b: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m;sys_write(1,"-" as *u8,1)} let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48 as u8;k=1} while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1} var i: i64=0; while i<k{b[i]=t[k-1-i];i=i+1} sys_write(1,b,k); return 0 }
10
11func main() -> i64 {
12    kt_puts("x86 full-system ladder R4: FUNCTION CALL (call/ret over a stack)\n" as *u8)
13    let c: *u8 = sys_mmap(256)
14    let mem: *u8 = sys_mmap(65536)
15    var o: i64 = 0
16    // main: mov rsp, 60000
17    o=kt_b(c,o,0x48); o=kt_b(c,o,0xC7); o=kt_b(c,o,0xC4); o=kt_i32(c,o,60000)
18    // mov rdi, 37
19    o=kt_b(c,o,0x48); o=kt_b(c,o,0xC7); o=kt_b(c,o,0xC7); o=kt_i32(c,o,37)
20    // call add5  (E8 rel32, patched)
21    o=kt_b(c,o,0xE8)
22    let call_imm: i64 = o
23    o=kt_i32(c,o,0)
24    let after_call: i64 = o
25    // mov rdi, rax (48 89 C7) ; mov rax,60 ; syscall
26    o=kt_b(c,o,0x48); o=kt_b(c,o,0x89); o=kt_b(c,o,0xC7)
27    o=kt_b(c,o,0x48); o=kt_b(c,o,0xC7); o=kt_b(c,o,0xC0); o=kt_i32(c,o,60)
28    o=kt_b(c,o,0x0F); o=kt_b(c,o,0x05)
29    // add5:  mov rax, rdi (48 89 F8) ; mov rdx,5 ; add rax,rdx (48 01 D0) ; ret (C3)
30    let add5_off: i64 = o
31    o=kt_b(c,o,0x48); o=kt_b(c,o,0x89); o=kt_b(c,o,0xF8)
32    o=kt_b(c,o,0x48); o=kt_b(c,o,0xC7); o=kt_b(c,o,0xC2); o=kt_i32(c,o,5)
33    o=kt_b(c,o,0x48); o=kt_b(c,o,0x01); o=kt_b(c,o,0xD0)
34    o=kt_b(c,o,0xC3)
35    // patch the call rel32 = add5_off - after_call
36    kt_i32(c, call_imm, add5_off - after_call)
37
38    let rc: i64 = emu_x86_run_k(c, o, mem)
39    kt_puts("  add5(37) via call/ret = " as *u8); kt_num(rc); kt_puts(" (want 42)\n" as *u8)
40    if rc == 42 { kt_puts("X86-FUNC verdict=GREEN (call/ret + stack: the sovereign x86 emu runs FUNCTIONS; R5 modes next)\n" as *u8); sys_exit(0); return 0 }
41    kt_puts("X86-FUNC verdict=RED\n" as *u8); sys_exit(1); return 1
42}
nx_emu_x86_k_test.nx source

`nx_emu_x86_k_test.nx` source
