F2FP.BF16.PACK_AB: F2FP.PACK_AB with bit 76 set (the bfloat16 result;
ptxas's encoding for sm_86 and sm_121, 2026-09-25)
1047def sm86EncodeFloat32PairToBFloat16Pair =
1048 (lambda unrestricted guard : (family SM86InstructionGuard) .
1049 (lambda unrestricted destination : (family SM86Register) .
1050 (lambda unrestricted sourceHigh : (family SM86Register) .
1051 (lambda unrestricted sourceLow : (family SM86Register) .
1052 (lambda unrestricted control : (family SM86Control) .
1053 (sm86EncodeInstructionFields
1054 sm86OpcodeFloatPairToPackedHalfPair
1055 guard
1056 control
1057 (sm86InstructionPrependField
1058 sm86InstructionNaturalSixteen
1059 sm86InstructionNaturalEight
1060 (sm86RegisterNatural destination)
1061 (sm86InstructionPrependField
1062 sm86InstructionNaturalTwentyFour
1063 sm86InstructionNaturalEight
1064 (sm86RegisterNatural sourceHigh)
1065 (sm86InstructionPrependField
1066 sm86InstructionNaturalThirtyTwo
1067 sm86InstructionNaturalEight
1068 (sm86RegisterNatural sourceLow)
1069 (sm86InstructionOneWord32Field
1070 sm86InstructionNaturalSixtyFour
1071 (constructor
1072 SM86Unsigned32
1073 SM86Unsigned32Value
1074 (byte 255)
1075 (byte 16)
1076 (byte 0)
1077 (byte 0))))))))))))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.