963def sfpLdsm = (lambda unrestricted d : Nat . (lambda unrestricted lane : Nat . (lambda unrestricted offset : Nat .
964 (lambda unrestricted transposed : Nat . (lambda unrestricted wait : Nat .
965 (constructor SM86InstructionBody SM86LoadSharedMatrix (saR d) (saR lane) (saU offset)
966 (constructor SM86SharedMatrixCount SM86SharedMatrix4)
967 (eliminate StdBool (lambda unrestricted c : (family StdBool) . (family SM86SharedMatrixTranspose)) (stdBoolFromNatural transposed)
968 (branch StdTrue . (constructor SM86SharedMatrixTranspose SM86SharedMatrixTransposed))
969 (branch StdFalse . (constructor SM86SharedMatrixTranspose SM86SharedMatrixNotTransposed)))
970 (saCtl saSB1 wait)))))))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.