C (m x n) = A B, the tiled products (Coppelius.Build.DeviceImages): a block
per tile of C, each operand read where it is stored
1472def cgTiledLaunch =
1473 (lambda unrestricted residual : Nat .
1474 (lambda unrestricted a : (family TiledProductLayout) .
1475 (lambda unrestricted b : (family TiledProductLayout) .
1476 (lambda unrestricted m : Nat .
1477 (lambda unrestricted n : Nat .
1478 (lambda unrestricted k : Nat .
1479 (lambda unrestricted slots : (family StdList (family CgSlot)) .
1480 (let unrestricted tile = (coppeliusTiledTile residual a b m n k) in
1481 (cgLaunch
1482 (cgImage (coppeliusTiledName residual a b m n k))
1483 (naturalDivideUnchecked n (tiledProductSM86BlockN tile))
1484 (naturalDivideUnchecked m (tiledProductSM86BlockM tile))
1485 1
1486 slots)))))))))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.