1073def sm86EncodeHMMA16816F32F16 =
1074 (lambda unrestricted guard : (family SM86InstructionGuard) .
1075 (lambda unrestricted destination : (family SM86Register) .
1076 (lambda unrestricted fragmentA : (family SM86Register) .
1077 (lambda unrestricted fragmentB : (family SM86Register) .
1078 (lambda unrestricted accumulator : (family SM86Register) .
1079 (lambda unrestricted control : (family SM86Control) .
1080 (sm86EncodeInstructionFields
1081 sm86OpcodeTensorCoreHalfMatrixMultiplyAccumulate16x8x16Float32
1082 guard
1083 control
1084 (sm86InstructionPrependField
1085 sm86InstructionNaturalSixteen
1086 sm86InstructionNaturalEight
1087 (sm86RegisterNatural destination)
1088 (sm86InstructionPrependField
1089 sm86InstructionNaturalTwentyFour
1090 sm86InstructionNaturalEight
1091 (sm86RegisterNatural fragmentA)
1092 (sm86InstructionPrependField
1093 sm86InstructionNaturalThirtyTwo
1094 sm86InstructionNaturalEight
1095 (sm86RegisterNatural fragmentB)
1096 (sm86InstructionPrependField
1097 sm86InstructionNaturalSixtyFour
1098 sm86InstructionNaturalEight
1099 (sm86RegisterNatural accumulator)
1100 (sm86InstructionOneField
1101 sm86InstructionNaturalSeventyTwo
1102 sm86InstructionNaturalEight
1103 (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.