C = A B + R, the residual added in the product's epilogue (C and R
distinct planes)
1497def cgTiledAdding =
1498 (lambda unrestricted a : (family TiledProductLayout) . (lambda unrestricted b : (family TiledProductLayout) .
1499 (lambda unrestricted m : Nat . (lambda unrestricted n : Nat . (lambda unrestricted k : Nat .
1500 (lambda unrestricted c : Nat . (lambda unrestricted left : Nat . (lambda unrestricted right : Nat . (lambda unrestricted r : Nat .
1501 (cgTiledLaunch 1 a b m n k
1502 (cgPointer (cgArgument 0) c (cgPointer (cgArgument 1) left (cgPointer (cgArgument 2) right
1503 (cgPointer (cgArgument 3) r cgNoSlots))))))))))))))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.