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
1473def cgTiledLaunch =
1474 (lambda unrestricted residual : Nat .
1475 (lambda unrestricted a : (family TiledProductLayout) .
1476 (lambda unrestricted b : (family TiledProductLayout) .
1477 (lambda unrestricted m : Nat .
1478 (lambda unrestricted n : Nat .
1479 (lambda unrestricted k : Nat .
1480 (lambda unrestricted slots : (family StdList (family CgSlot)) .
1481 (let unrestricted tile = (coppeliusTiledTile residual a b m n k) in
1482 (cgLaunch
1483 (cgImage (coppeliusTiledName residual a b m n k))
1484 (naturalDivideUnchecked n (tiledProductSM86BlockN tile))
1485 (naturalDivideUnchecked m (tiledProductSM86BlockM tile))
1486 1
1487 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.