1231def sm86EncodeFloatNegate =
1232 (lambda unrestricted guard : (family SM86InstructionGuard) .
1233 (lambda unrestricted destination : (family SM86Register) .
1234 (lambda unrestricted source : (family SM86Register) .
1235 (lambda unrestricted control : (family SM86Control) .
1236 (sm86EncodeInstructionFields
1237 sm86OpcodeFloatNegate
1238 guard
1239 control
1240 (sm86InstructionPrependField
1241 sm86InstructionNaturalSixteen
1242 sm86InstructionNaturalEight
1243 (sm86RegisterNatural destination)
1244 (sm86InstructionPrependField
1245 sm86InstructionNaturalTwentyFour
1246 sm86InstructionNaturalEight
1247 (sm86RegisterNatural source)
1248 (sm86InstructionPrependField
1249 sm86InstructionNaturalThirtyTwo
1250 sm86InstructionNaturalEight
1251 (byte-to-nat (byte 255))
1252 (sm86InstructionPrependField
1253 sm86InstructionNaturalSixtyThree
1254 sm86InstructionNaturalOne
1255 sm86InstructionNaturalOne
1256 (sm86InstructionOneField
1257 sm86InstructionNaturalSeventyTwo
1258 sm86InstructionNaturalOne
1259 sm86InstructionNaturalOne))))))))))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.