1204def sm86EncodeFloatExtremum =
1205 (lambda unrestricted guard : (family SM86InstructionGuard) .
1206 (lambda unrestricted destination : (family SM86Register) .
1207 (lambda unrestricted left : (family SM86Register) .
1208 (lambda unrestricted right : (family SM86Register) .
1209 (lambda unrestricted extremum : (family SM86FloatExtremum) .
1210 (lambda unrestricted control : (family SM86Control) .
1211 (sm86EncodeInstructionFields
1212 sm86OpcodeFloatMinimumOrMaximum
1213 guard
1214 control
1215 (sm86InstructionPrependField
1216 sm86InstructionNaturalSixteen
1217 sm86InstructionNaturalEight
1218 (sm86RegisterNatural destination)
1219 (sm86InstructionPrependField
1220 sm86InstructionNaturalTwentyFour
1221 sm86InstructionNaturalEight
1222 (sm86RegisterNatural left)
1223 (sm86InstructionPrependField
1224 sm86InstructionNaturalThirtyTwo
1225 sm86InstructionNaturalEight
1226 (sm86RegisterNatural right)
1227 (sm86InstructionOneWord32Field
1228 sm86InstructionNaturalSixtyFour
1229 (sm86FloatExtremumDescriptorWord32 extremum))))))))))))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.