code wiki / (root) / _nx_bits_bswap_oracle.nx

_nx_bits_bswap_oracle.nx

buildroot/runtime/_nx_bits_bswap_oracle.nx

1558 B32 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind tooltopic nx
docsdependenciesstructsconstsfunctions

about

_nx_bits_bswap_oracle.nx -- correctness paired oracle for nx_bits_bswap64 / nx_bits_bswap32 (intrinsic) vs SOFT SWAR.

dependencies 2 imports · 0 importers

syscalls.nx nx_bits.nx _nx_bits_bswap_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_bswap64 nx_bits_bswap64_soft nx_bits_bswap32 nx_bits_bswap32_soft

structs

none

consts

none

functions

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