code wiki / (root) / nx_deflate_bytes_consumed_test.nx

nx_deflate_bytes_consumed_test.nx

buildroot/runtime/nx_deflate_bytes_consumed_test.nx

2674 B90 linesdepth 6pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic deflate
docsdependenciesstructsconstsfunctions

about

nx_deflate_bytes_consumed_test.nx -- check whether bytes_consumed is correct for the 61-byte dynamic-Huffman fixture. nx_zlib_inflate uses bytes_consumed to compute the trailer offset: trailer_off = 2 + def_r.bytes_consumed If this is wrong by N, nx_zlib reads adler32 bytes from the wrong position and reports MISMATCH. Expected: bytes_consumed == 61.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_deflate.nx nx_deflate_bytes_consumed_test

imports: nx_syscalls.nxnx_deflate.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 nx_deflate_inflate sys_mmap ↻ nx_bitstream_alloc sys_mmap ↻ _deflate_inflate_block nx_bitstream_read_lsb nx_bitstream_bits_remainin _bs_peek_byte nx_bitstream_byte_align nx_bitstream_read_byte_ali nx_bitstream_byte_align ↻ _deflate_build_static_litl sys_mmap ↻ nx_huffman_build sys_mmap ↻ _deflate_build_static_dist sys_mmap ↻ nx_huffman_build ↻ _deflate_decode_huffman_bl nx_huffman_decode_lsb nx_bitstream_read_lsb ↻ _deflate_length_base _deflate_length_extra nx_bitstream_read_lsb ↻ _deflate_distance_base _deflate_distance_extra _deflate_copy_overlap sys_mmap ↻ _deflate_build_dynamic_tre nx_bitstream_read_lsb ↻ sys_mmap ↻ _deflate_cl_order nx_huffman_build ↻ nx_huffman_decode_lsb ↻ _deflate_bytes_consumed

structs

none

consts

none

functions

14func main() -> i64