code wiki / (root) / nx_h264_bframe_reflist_gate.nx

nx_h264_bframe_reflist_gate.nx

buildroot/runtime/nx_h264_bframe_reflist_gate.nx

5932 B121 linesdepth 4pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic h264
docsdependenciesstructsconstsfunctions

about

nx_h264_bframe_reflist_gate.nx -- B-R1: compute POC (display order) for every frame of bframe_test.264 and construct each B-slice's L0/L1 reference lists, verified against hand-derived ground truth: POC (decode order) == 0,2,6,4,8,12,10,14,16,20,18,22 B@POC4 -> L0[0]=2 L1[0]=6 ; B@POC10 -> L0[0]=8 L1[0]=12 ; B@POC18 -> L0[0]=16 L1[0]=20 Exits 0/1. license_tier: ORIGINAL

dependencies 8 imports · 0 importers

nx_syscalls.nx nx_h264_bits.nx nx_h264_sps.nx nx_h264_pps.nx nx_h264_nal.nx nx_h264_slice.nx nx_h264_poc.nx nx_gate_verdict.nx nx_h264_bframe_reflist_gate.nx

imports: nx_syscalls.nxnx_h264_bits.nxnx_h264_sps.nxnx_h264_pps.nxnx_h264_nal.nxnx_h264_slice.nxnx_h264_poc.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

main sys_mmap sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close gp sys_write sys_exit nx_nal_split_annexb nx_h264_unescape_rbsp nx_h264_parse_sps sys_mmap ↻ br_init sys_mmap ↻ br_read_bits br_read_bit br_read_ue br_read_bit ↻ br_read_bits ↻ nx_h264_is_high br_read_se br_read_ue ↻ nx_h264_parse_pps sys_mmap ↻ br_init ↻ br_read_ue ↻ br_read_bits ↻ br_read_se ↻ br_init ↻ nx_h264_parse_slice_header br_read_ue ↻ br_read_bits ↻ br_read_se ↻ nx_h264_poc_type0 gn sys_mmap ↻ sys_write ↻

structs

none

consts

none

functions

15func gp(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 1: main calls 1: sys_write
16func gn(v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
27func main() -> i64
calls 15: sys_mmapsys_read_filegpsys_exitnx_nal_split_annexbnx_h264_unescape_rbsp+9