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)
967def sm86EncodeFloat32PairToBFloat16Pair =
968 (lambda unrestricted guard : (family SM86InstructionGuard) .
969 (lambda unrestricted destination : (family SM86Register) .
970 (lambda unrestricted sourceHigh : (family SM86Register) .
971 (lambda unrestricted sourceLow : (family SM86Register) .
972 (lambda unrestricted control : (family SM86Control) .
973 (sm86EncodeInstructionFields
974 sm86OpcodeFloatPairToPackedHalfPair
975 guard
976 control
977 (sm86InstructionPrependField
978 sm86InstructionNaturalSixteen
979 sm86InstructionNaturalEight
980 (sm86RegisterNatural destination)
981 (sm86InstructionPrependField
982 sm86InstructionNaturalTwentyFour
983 sm86InstructionNaturalEight
984 (sm86RegisterNatural sourceHigh)
985 (sm86InstructionPrependField
986 sm86InstructionNaturalThirtyTwo
987 sm86InstructionNaturalEight
988 (sm86RegisterNatural sourceLow)
989 (sm86InstructionOneWord32Field
990 sm86InstructionNaturalSixtyFour
991 (constructor
992 SM86Unsigned32
993 SM86Unsigned32Value
994 (byte 255)
995 (byte 16)
996 (byte 0)
997 (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.