1153def sm86EncodeHMMA16816F32F16 =
1154 (lambda unrestricted guard : (family SM86InstructionGuard) .
1155 (lambda unrestricted destination : (family SM86Register) .
1156 (lambda unrestricted fragmentA : (family SM86Register) .
1157 (lambda unrestricted fragmentB : (family SM86Register) .
1158 (lambda unrestricted accumulator : (family SM86Register) .
1159 (lambda unrestricted control : (family SM86Control) .
1160 (sm86EncodeInstructionFields
1161 sm86OpcodeTensorCoreHalfMatrixMultiplyAccumulate16x8x16Float32
1162 guard
1163 control
1164 (sm86InstructionPrependField
1165 sm86InstructionNaturalSixteen
1166 sm86InstructionNaturalEight
1167 (sm86RegisterNatural destination)
1168 (sm86InstructionPrependField
1169 sm86InstructionNaturalTwentyFour
1170 sm86InstructionNaturalEight
1171 (sm86RegisterNatural fragmentA)
1172 (sm86InstructionPrependField
1173 sm86InstructionNaturalThirtyTwo
1174 sm86InstructionNaturalEight
1175 (sm86RegisterNatural fragmentB)
1176 (sm86InstructionPrependField
1177 sm86InstructionNaturalSixtyFour
1178 sm86InstructionNaturalEight
1179 (sm86RegisterNatural accumulator)
1180 (sm86InstructionOneField
1181 sm86InstructionNaturalSeventyTwo
1182 sm86InstructionNaturalEight
1183 (byte-to-nat (byte 24))))))))))))))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.