code wiki / (root) / _nx_bits_rotate_oracle.nx

_nx_bits_rotate_oracle.nx

buildroot/runtime/_nx_bits_rotate_oracle.nx

1555 B33 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind tooltopic nx
docsdependenciesstructsconstsfunctions

about

_nx_bits_rotate_oracle.nx -- correctness paired oracle for nx_bits_rotl64 / nx_bits_rotr64 (intrinsic) vs SOFT shift+or.

dependencies 2 imports · 0 importers

syscalls.nx nx_bits.nx _nx_bits_rotate_oracle.nx

imports: syscalls.nxnx_bits.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_rotl64 nx_bits_rotl64_soft nx_bits_rotr64 nx_bits_rotr64_soft

structs

none

consts

none

functions

7func main() -> i64
calls 4: nx_bits_rotl64nx_bits_rotl64_softnx_bits_rotr64nx_bits_rotr64_soft