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)
822def skLoadColumns = (lambda unrestricted seq : Nat . (lambda unrestricted pointer : Nat . (lambda unrestricted wait : Nat .
823 (lambda unrestricted tail : (family SM86Program) .
824 (saFor 16 (lambda unrestricted i : Nat .
825 (let unrestricted k = (naturalDivideUnchecked i 8) in (let unrestricted nt = (naturalModuloUnchecked i 8) in
826 (let unrestricted rowOffset = (naturalMultiply nt (naturalMultiply 8 (naturalMultiply seq saHalfBytes))) in
827 (lambda unrestricted rest : (family SM86Program) .
828 (saLoad (skB 8 k nt) pointer (naturalAdd rowOffset (naturalMultiply k 32)) saSB0 (naturalSelect (naturalIsZero i) wait saWaitNone)
829 (saLoad (succ (skB 8 k nt)) pointer (naturalAdd rowOffset (naturalAdd (naturalMultiply k 32) 16)) saSB0 saWaitNone
830 rest)))))))
831 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.