HMMA.16816.F32.BF16: the binary16 tile product's encoding with bit 82 set
987def sm86EncodeHMMA16816F32BF16 =
988 (lambda unrestricted guard : (family SM86InstructionGuard) .
989 (lambda unrestricted destination : (family SM86Register) .
990 (lambda unrestricted fragmentA : (family SM86Register) .
991 (lambda unrestricted fragmentB : (family SM86Register) .
992 (lambda unrestricted accumulator : (family SM86Register) .
993 (lambda unrestricted control : (family SM86Control) .
994 (sm86EncodeInstructionFields
995 sm86OpcodeTensorCoreHalfMatrixMultiplyAccumulate16x8x16Float32
996 guard
997 control
998 (sm86InstructionPrependField
999 sm86InstructionNaturalSixteen
1000 sm86InstructionNaturalEight
1001 (sm86RegisterNatural destination)
1002 (sm86InstructionPrependField
1003 sm86InstructionNaturalTwentyFour
1004 sm86InstructionNaturalEight
1005 (sm86RegisterNatural fragmentA)
1006 (sm86InstructionPrependField
1007 sm86InstructionNaturalThirtyTwo
1008 sm86InstructionNaturalEight
1009 (sm86RegisterNatural fragmentB)
1010 (sm86InstructionPrependField
1011 sm86InstructionNaturalSixtyFour
1012 sm86InstructionNaturalEight
1013 (sm86RegisterNatural accumulator)
1014 (sm86InstructionPrependField
1015 sm86InstructionNaturalSeventyTwo
1016 sm86InstructionNaturalEight
1017 (byte-to-nat (byte 24))
1018 (sm86InstructionOneField
1019 sm86InstructionNaturalEighty
1020 sm86InstructionNaturalEight
1021 (byte-to-nat (byte 4)))))))))))))))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.