1023def sm86EncodeHMMA16816F32F16 =
1024 (lambda unrestricted guard : (family SM86InstructionGuard) .
1025 (lambda unrestricted destination : (family SM86Register) .
1026 (lambda unrestricted fragmentA : (family SM86Register) .
1027 (lambda unrestricted fragmentB : (family SM86Register) .
1028 (lambda unrestricted accumulator : (family SM86Register) .
1029 (lambda unrestricted control : (family SM86Control) .
1030 (sm86EncodeInstructionFields
1031 sm86OpcodeTensorCoreHalfMatrixMultiplyAccumulate16x8x16Float32
1032 guard
1033 control
1034 (sm86InstructionPrependField
1035 sm86InstructionNaturalSixteen
1036 sm86InstructionNaturalEight
1037 (sm86RegisterNatural destination)
1038 (sm86InstructionPrependField
1039 sm86InstructionNaturalTwentyFour
1040 sm86InstructionNaturalEight
1041 (sm86RegisterNatural fragmentA)
1042 (sm86InstructionPrependField
1043 sm86InstructionNaturalThirtyTwo
1044 sm86InstructionNaturalEight
1045 (sm86RegisterNatural fragmentB)
1046 (sm86InstructionPrependField
1047 sm86InstructionNaturalSixtyFour
1048 sm86InstructionNaturalEight
1049 (sm86RegisterNatural accumulator)
1050 (sm86InstructionOneField
1051 sm86InstructionNaturalSeventyTwo
1052 sm86InstructionNaturalEight
1053 (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.