960def sm86EncodeBFloat16ToFloat =
961 (lambda unrestricted guard : (family SM86InstructionGuard) .
962 (lambda unrestricted destination : (family SM86Register) .
963 (lambda unrestricted source : (family SM86Register) .
964 (lambda unrestricted selector : (family SM86HalfSelector) .
965 (lambda unrestricted control : (family SM86Control) .
966 (sm86EncodeInstructionFields
967 sm86OpcodePermuteImmediate
968 guard
969 control
970 (sm86InstructionPrependField
971 sm86InstructionNaturalSixteen
972 sm86InstructionNaturalEight
973 (sm86RegisterNatural destination)
974 (sm86InstructionPrependField
975 sm86InstructionNaturalTwentyFour
976 sm86InstructionNaturalEight
977 (sm86RegisterNatural source)
978 (sm86InstructionPrependWord32Field
979 sm86InstructionNaturalThirtyTwo
980 (sm86BFloat16WidenSelector selector)
981 (sm86InstructionOneField
982 sm86InstructionNaturalSixtyFour
983 sm86InstructionNaturalEight
984 (byte-to-nat (byte 255))))))))))))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.