code wiki / (root) / _nx_bits_clz64_oracle.nx

_nx_bits_clz64_oracle.nx

buildroot/runtime/_nx_bits_clz64_oracle.nx

2418 B71 linesdepth 4pulls 6 transitivereach 0 importersview sourcekind tooltopic nx
docsdependenciesstructsconstsfunctions

about

_nx_bits_clz64_oracle.nx Paired correctness oracle for nx_bits_clz64 / nx_bits_ctz64 (composed from two 32-bit intrinsics). Each must match a portable reference implementation (the legacy Knuth linear-scan) on the curated input set.

dependencies 3 imports · 0 importers

syscalls.nx nx_bits.nx nx_loop.nx _nx_bits_clz64_oracle.nx

imports: syscalls.nxnx_bits.nxnx_loop.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_bits_clz64 _ref_clz64 nx_loop_begin sys_mmap nx_loop_step nx_clock_monotonic_ns sys_mmap ↻ sys_clock_gettime_mono nx_loop_break nx_bits_ctz64 _ref_ctz64 nx_loop_begin ↻ nx_loop_step ↻ nx_loop_break ↻

structs

none

consts

none

functions

16func _ref_clz64(x: i64) -> i64
called by 1: main calls 3: nx_loop_beginnx_loop_stepnx_loop_break
34func _ref_ctz64(x: i64) -> i64
called by 1: main calls 3: nx_loop_beginnx_loop_stepnx_loop_break
51func main() -> i64
calls 4: nx_bits_clz64_ref_clz64nx_bits_ctz64_ref_ctz64