nx_adc_acc_kat.nx
buildroot/runtime/nx_adc_acc_kat.nx
about
nx_adc_acc_kat.nx -- isolated KAT for the G3 __adc_acc intrinsic with DIRECT
3-word {acc0,acc1,acc2} assertions. REQUIRED before the consumer swap: the
byte-exact multiply fuzz CANNOT catch a mis-encoded adcq or a swapped
8(%r11)/16(%r11) offset whose corruption lands outside the compared 512-bit
window (FIX-8). Includes the FIX-6 carry-equivalence boundary (cy1 <= 1).
__adc_acc(acc_ptr, lo, hi): acc0+=lo (carry); acc1+=hi+carry (carry); acc2+=carry.
exit 0 = all correct; nonzero encodes the failing case+word. license_tier: ORIGINAL
dependencies 1 imports · 0 importers
imports: nx_syscalls.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
| 11 | func chk(acc: *i64, e0: i64, e1: i64, e2: i64, code: i64) -> i64 called by 1: main |
| 18 | func main() -> i64 |