code wiki / (root) / nx_jpeg_idct_test.nx

nx_jpeg_idct_test.nx

buildroot/runtime/nx_jpeg_idct_test.nx

3797 B98 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic jpeg

docs dependencies structs consts functions

about

nx_jpeg_idct_test.nx -- KAT for 8x8 inverse DCT. Test cases: A. DC-only block: F[0,0]=N, all other coeffs 0 -> flat output N/8. B. Single high-frequency coeff via dc_only_block helper sanity. C. cosine table bijection-ish spot checks. Substrate-honesty: this KAT does NOT yet do a 64-coefficient IEEE-1180 conformance test; that requires comparison against a reference implementation per sec 4.1 of IEEE 1180 and is queued once the full decode pipeline can ingest a JPEG and we have libjpeg reference output to diff against. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

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

20	func _fail(n: i64) -> i64 called by 1: main calls 2: sys_mmap sys_write
40	func main() -> i64 calls 6: sys_mmap nx_jpeg_idct_init_cos_table _fail nx_jpeg_idct_dc_only_block nx_jpeg_idct_8x8 sys_write