nx_a64_probe.nx source
↩ module page · 8 lines · 389 B
1// nx_a64_probe.nx -- trivial R-ARM.0 probe: does the sovereign compiler emit aarch64?
2// KAT: (7*5)+(7-5) = 37 -- same value the existing nx_a64_runproof_gate proves, so the
3// emulator/encoder subset is known to cover it. license_tier: ORIGINAL
4func a64_probe_mul(a: i64, b: i64) -> i64 { return a * b }
5func main() -> i64 {
6 let p: i64 = a64_probe_mul(7, 5)
7 return p + (7 - 5)
8}