1010def sm86EncodeBFloat16ToFloat =
1011 (lambda unrestricted guard : (family SM86InstructionGuard) .
1012 (lambda unrestricted destination : (family SM86Register) .
1013 (lambda unrestricted source : (family SM86Register) .
1014 (lambda unrestricted selector : (family SM86HalfSelector) .
1015 (lambda unrestricted control : (family SM86Control) .
1016 (sm86EncodeInstructionFields
1017 sm86OpcodePermuteImmediate
1018 guard
1019 control
1020 (sm86InstructionPrependField
1021 sm86InstructionNaturalSixteen
1022 sm86InstructionNaturalEight
1023 (sm86RegisterNatural destination)
1024 (sm86InstructionPrependField
1025 sm86InstructionNaturalTwentyFour
1026 sm86InstructionNaturalEight
1027 (sm86RegisterNatural source)
1028 (sm86InstructionPrependWord32Field
1029 sm86InstructionNaturalThirtyTwo
1030 (sm86BFloat16WidenSelector selector)
1031 (sm86InstructionOneField
1032 sm86InstructionNaturalSixtyFour
1033 sm86InstructionNaturalEight
1034 (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.