code wiki / _hdl_build / nx_simd_sse_shuf_gate.nx

nx_simd_sse_shuf_gate.nx

buildroot/runtime/_hdl_build/nx_simd_sse_shuf_gate.nx

4880 B117 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic simd

docs dependencies structs consts functions

about

nx_simd_sse_shuf_gate.nx -- SOVEREIGN 128-bit pshufd run-KAT (rung R2+R3: 3-OPERAND assembler + packed dword shuffle), on REAL x86 silicon, NO gcc/ qemu/binutils. AUTHOR=ORGAN, no-false-green. Proves (a) the assembler now parses a THIRD operand (the prerequisite for pshufd AND all VEX/EVEX 256/512-bit ops), and (b) pshufd routes lanes by its imm control byte. src=[11,22,33,44] (4x u32): POS: pshufd $2 -> dst lane0 = src[2] = 33 -> exit(33). NEG: pshufd $0 -> dst lane0 = src[0] = 11 -> exit(11). GREEN iff pos==33 AND neg==11 AND pos!=neg (distinct => the imm genuinely selects the lane, and op0=imm/op1=src/op2=dst threaded correctly). Completes the sovereign 128-bit integer SIMD surface. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

imports: nx_syscalls.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

structs

none

consts

16	const ASM_TOOL: *u8 = "_offc/nxasm_x86_main.elf"
17	const SV_LOG: *u8 = "knowledge/status/simd_vec_kat.log"

functions

19	func gw(fd: i64, s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(fd, s, n); return 0 } called by 2: write_shuf_s g_emit calls 1: sys_write
20	func gwn(fd: i64, v: i64) -> i64 called by 2: write_shuf_s g_emit calls 2: sys_mmap sys_write
31	func g_run(path: u8, argv: i64) -> i64 called by 1: asm_and_run calls 8: sys_mmap sys_openat_wr sys_fork sys_dup3 sys_execve sys_exit+2
51	func asm_and_run(spath: u8, elfpath: u8) -> i64 called by 1: main calls 2: sys_mmap g_run
65	func write_shuf_s(path: *u8, sel: i64) -> i64 called by 1: main calls 4: sys_openat_wr gw gwn sys_close
86	func g_emit(fd: i64, pos: i64, neg: i64, ok: i64) -> i64 called by 1: main calls 2: gw gwn
94	func main() -> i64 calls 8: write_shuf_s asm_and_run g_emit sys_openat_append sys_close gv_ctr+2