transposed rows ([64][T] half) as the B fragments of a product over the
sub-tile's 32 positions: slices kk 0..1, n-tiles nt 0..7 (the 64 columns)
2361def skLoadColumns = (lambda unrestricted seq : Nat . (lambda unrestricted pointer : Nat . (lambda unrestricted wait : Nat .
2362 (lambda unrestricted tail : (family SM86Program) .
2363 (saFor 16 (lambda unrestricted i : Nat .
2364 (let unrestricted k = (naturalDivideUnchecked i 8) in (let unrestricted nt = (naturalModuloUnchecked i 8) in
2365 (let unrestricted rowOffset = (naturalMultiply nt (naturalMultiply 8 (naturalMultiply seq saHalfBytes))) in
2366 (lambda unrestricted rest : (family SM86Program) .
2367 (saLoad (skB 8 k nt) pointer (naturalAdd rowOffset (naturalMultiply k 32)) saSB0 (naturalSelect (naturalIsZero i) wait saWaitNone)
2368 (saLoad (succ (skB 8 k nt)) pointer (naturalAdd rowOffset (naturalAdd (naturalMultiply k 32) 16)) saSB0 saWaitNone
2369 rest)))))))
2370 tail)))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.