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)
872def skLoadColumns = (lambda unrestricted seq : Nat . (lambda unrestricted pointer : Nat . (lambda unrestricted wait : Nat .
873 (lambda unrestricted tail : (family SM86Program) .
874 (saFor 16 (lambda unrestricted i : Nat .
875 (let unrestricted k = (naturalDivideUnchecked i 8) in (let unrestricted nt = (naturalModuloUnchecked i 8) in
876 (let unrestricted rowOffset = (naturalMultiply nt (naturalMultiply 8 (naturalMultiply seq saHalfBytes))) in
877 (lambda unrestricted rest : (family SM86Program) .
878 (saLoad (skB 8 k nt) pointer (naturalAdd rowOffset (naturalMultiply k 32)) saSB0 (naturalSelect (naturalIsZero i) wait saWaitNone)
879 (saLoad (succ (skB 8 k nt)) pointer (naturalAdd rowOffset (naturalAdd (naturalMultiply k 32) 16)) saSB0 saWaitNone
880 rest)))))))
881 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.