code wiki / (root) / nx_a64_probe.nx

nx_a64_probe.nx

buildroot/runtime/nx_a64_probe.nx

389 B8 linesdepth 0pulls 0 transitivereach 0 importersview sourcekind probe
docsdependenciesstructsconstsfunctions

about

nx_a64_probe.nx -- trivial R-ARM.0 probe: does the sovereign compiler emit aarch64? KAT: (7*5)+(7-5) = 37 -- same value the existing nx_a64_runproof_gate proves, so the emulator/encoder subset is known to cover it. license_tier: ORIGINAL

dependencies 0 imports · 0 importers

imports: none

imported by: nobody (leaf or entry point)

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

main a64_probe_mul

structs

none

consts

none

functions

4func a64_probe_mul(a: i64, b: i64) -> i64 { return a * b }
called by 1: main
5func main() -> i64
calls 1: a64_probe_mul