code wiki / _hdl_build / nx_vsubpel_q_gate.nx

nx_vsubpel_q_gate.nx

buildroot/runtime/_hdl_build/nx_vsubpel_q_gate.nx

3569 B60 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_vsubpel_q_gate.nx -- proves QUARTER-pel motion (nx_vsubpel qp_refine) beats half-pel when content moves by a quarter pixel: half-pel can only land on 0 / 0.5, so a 0.25px shift leaves a residual it can't remove, while quarter-pel lands exactly on 0.25 -> ~zero residual. The H.264/VP9 motion-precision rung past half-pel.

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_gate_emit_lib.nx nx_vsubpel.nx nx_gate_verdict.nx nx_vsubpel_q_gate.nx

imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_vsubpel.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

9func g_abs(v: i64) -> i64 { if v < 0 { return 0 - v } return v }
11func sad_at(cur: *u8, prev: *u8, W: i64, cx: i64, cy: i64, px: i64, py: i64, qx: i64, qy: i64, T: i64) -> i64
18func main() -> i64