1090def sm86EncodeBFloat16ToFloat =
1091 (lambda unrestricted guard : (family SM86InstructionGuard) .
1092 (lambda unrestricted destination : (family SM86Register) .
1093 (lambda unrestricted source : (family SM86Register) .
1094 (lambda unrestricted selector : (family SM86HalfSelector) .
1095 (lambda unrestricted control : (family SM86Control) .
1096 (sm86EncodeInstructionFields
1097 sm86OpcodePermuteImmediate
1098 guard
1099 control
1100 (sm86InstructionPrependField
1101 sm86InstructionNaturalSixteen
1102 sm86InstructionNaturalEight
1103 (sm86RegisterNatural destination)
1104 (sm86InstructionPrependField
1105 sm86InstructionNaturalTwentyFour
1106 sm86InstructionNaturalEight
1107 (sm86RegisterNatural source)
1108 (sm86InstructionPrependWord32Field
1109 sm86InstructionNaturalThirtyTwo
1110 (sm86BFloat16WidenSelector selector)
1111 (sm86InstructionOneField
1112 sm86InstructionNaturalSixtyFour
1113 sm86InstructionNaturalEight
1114 (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.