code wiki / (root) / nx_h264_chroma_dc_gate.nx

nx_h264_chroma_dc_gate.nx

buildroot/runtime/nx_h264_chroma_dc_gate.nx

3704 B90 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic h264

docs dependencies structs consts functions

about

nx_h264_chroma_dc_gate.nx -- validate chroma DC scaling (spec 8.5.11.2). Oracles (hand-computed from the spec, independent of the impl loop): c=[1,0,0,0] qP=0 -> f=[1,1,1,1], LS=160, sh=0 -> dcC=asr(160,5)=5 each c=[1,0,0,0] qP=6 -> sh=1 -> dcC=asr(320,5)=10 each c=[0,0,0,1] qP=0 -> f=[1,-1,-1,1] -> dcC=[5,-5,-5,5] linearity: scale(2c)==2*scale(c) Exit 0/1. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

imports: nx_syscalls.nxnx_h264_chroma.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

none

functions

11	func gp(fd: i64, s: *u8) -> i64 called by 1: main calls 1: sys_write
17	func gnum(fd: i64, v: i64) -> i64 called by 1: main calls 2: sys_mmap sys_write
29	func setc(c: *i64, a: i64, b: i64, d: i64, e: i64) -> i64 { c[0]=a; c[1]=b; c[2]=d; c[3]=e; return 0 } called by 1: main
31	func main() -> i64 calls 8: sys_openat_append gp sys_mmap setc nx_h264_chroma_dc_scale gnum+2