nx_g17_probe.nx
buildroot/runtime/nx_g17_probe.nx
about
nx_g17_probe.nx -- emits ONE provable div (masked -> nonneg) and ONE
sign-unknown div, so the asm shows G17 fired (bare shrq) on the first and
kept the bias dance (sarq $63) on the second. Not a bench; an asm witness.
license_tier: ORIGINAL No hw writes (Rule 26).
dependencies 1 imports · 0 importers
imports: nx_syscalls_x86_64.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 6 | func g17_provable(x: i64) -> i64 { let m: i64 = x & 1023 return m / 8 } called by 1: main |
| 7 | func g17_unknown(x: i64) -> i64 { return x / 8 } called by 1: main |
| 8 | func main() -> i64 |