the diagonal tile's mask: element (row r + 8h, column 8 nt + 2 (lane % 4) + b)
is masked when its column exceeds its row: when 8 nt + b - 8 h exceeds
16 warp + lane / 4 - 2 (lane % 4). saMask holds that plus 64, plus 4096
for every tile after this one, so no element of an earlier tile is masked
259def saMaskTile = (lambda unrestricted tail : (family SM86Program) .
260 (saFor 32 (lambda unrestricted i : Nat .
261 (let unrestricted nt = (naturalDivideUnchecked i 4) in (let unrestricted h = (naturalDivideUnchecked (naturalModuloUnchecked i 4) 2) in
262 (let unrestricted b = (naturalModuloUnchecked i 2) in
263 (let unrestricted threshold = (naturalSaturatingSubtract (naturalAdd (naturalAdd (naturalMultiply 8 nt) b) 63) (naturalMultiply 8 h)) in
264 (lambda unrestricted rest : (family SM86Program) .
265 (saGreater saP0 saMask threshold
266 (saUnless saP0 (constructor SM86InstructionBody SM86MoveImmediate (saR (saElem (saS nt) h b)) (saU saMinusInfinity) saPlain)
267 rest))))))))
268 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.