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 nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ 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 ↻

structs

none

consts

none

functions

14func main() -> i64