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)
917def sm86EncodeFloat32PairToBFloat16Pair =
918 (lambda unrestricted guard : (family SM86InstructionGuard) .
919 (lambda unrestricted destination : (family SM86Register) .
920 (lambda unrestricted sourceHigh : (family SM86Register) .
921 (lambda unrestricted sourceLow : (family SM86Register) .
922 (lambda unrestricted control : (family SM86Control) .
923 (sm86EncodeInstructionFields
924 sm86OpcodeFloatPairToPackedHalfPair
925 guard
926 control
927 (sm86InstructionPrependField
928 sm86InstructionNaturalSixteen
929 sm86InstructionNaturalEight
930 (sm86RegisterNatural destination)
931 (sm86InstructionPrependField
932 sm86InstructionNaturalTwentyFour
933 sm86InstructionNaturalEight
934 (sm86RegisterNatural sourceHigh)
935 (sm86InstructionPrependField
936 sm86InstructionNaturalThirtyTwo
937 sm86InstructionNaturalEight
938 (sm86RegisterNatural sourceLow)
939 (sm86InstructionOneWord32Field
940 sm86InstructionNaturalSixtyFour
941 (constructor
942 SM86Unsigned32
943 SM86Unsigned32Value
944 (byte 255)
945 (byte 16)
946 (byte 0)
947 (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.