code wiki / _hdl_build / nx_vcodec_rdoq2_gate.nx

nx_vcodec_rdoq2_gate.nx

buildroot/runtime/_hdl_build/nx_vcodec_rdoq2_gate.nx

5517 B91 linesdepth 5pulls 15 transitivereach 0 importersview sourcekind gate/prooftopic vcodec
docsdependenciesstructsconstsfunctions

dependencies 3 imports · 0 importers

nx_gate_base.nx nx_syscalls.nx nx_vcodec.nx nx_vcodec_rdoq2_gate.nx

imports: nx_gate_base.nxnx_syscalls.nxnx_vcodec.nx

imported by: nobody (leaf or entry point)

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

main gw sys_write sys_mmap sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close enc_arm rc_enc_init vt2_fwd vt2_1d_fwd vt2_quant_rdoq ve_blen ve_zze vt2_quant rc_block_encode ve_zz_idx rc_enc_ctx rc_enc_bit rc_shift_low rc_p_update ve_zze ↻ ve_blen ↻ vt2_dequant vt2_inv vt2_1d_inv rc_enc_flush rc_shift_low ↻ psnr_cdb gn sys_mmap ↻ sys_write ↻ g2 gn ↻ gw ↻

structs

none

consts

11const NW: i64 = 576
12const NH: i64 = 1024
13const CW: i64 = 256
14const CH: i64 = 192
15const CX0: i64 = 128
16const CY0: i64 = 384 // the visual harness's proven motion-rich region (a 200/420 crop hit STATIC background -> mse~1, empty blocks, useless A/B)

functions

18func grow(name: *u8, ok: i64) -> i64 { if ok==1 { gw(" PASS " as *u8) } else { gw(" FAIL " as *u8) } gw(name); gw("
calls 1: gw
20func gn(v: i64) -> i64
24func g2(v: i64) -> i64 { gn(v/100); gw("." as *u8); let f: i64=v%100; if f<10{gw("0" as *u8)} gn(f); return 0 }
26func psnr_cdb(sse: i64, n: i64) -> i64
38func enc_arm(yuv: *u8, f: i64, qp: i64, rdoq: i64, est: *i64, probs: *i64, rcbuf: *u8, blk: *i64, sse_out: *i64) -> i64
59func main() -> i64