1311def sm86EncodeFloatNegate =
1312 (lambda unrestricted guard : (family SM86InstructionGuard) .
1313 (lambda unrestricted destination : (family SM86Register) .
1314 (lambda unrestricted source : (family SM86Register) .
1315 (lambda unrestricted control : (family SM86Control) .
1316 (sm86EncodeInstructionFields
1317 sm86OpcodeFloatNegate
1318 guard
1319 control
1320 (sm86InstructionPrependField
1321 sm86InstructionNaturalSixteen
1322 sm86InstructionNaturalEight
1323 (sm86RegisterNatural destination)
1324 (sm86InstructionPrependField
1325 sm86InstructionNaturalTwentyFour
1326 sm86InstructionNaturalEight
1327 (sm86RegisterNatural source)
1328 (sm86InstructionPrependField
1329 sm86InstructionNaturalThirtyTwo
1330 sm86InstructionNaturalEight
1331 (byte-to-nat (byte 255))
1332 (sm86InstructionPrependField
1333 sm86InstructionNaturalSixtyThree
1334 sm86InstructionNaturalOne
1335 sm86InstructionNaturalOne
1336 (sm86InstructionOneField
1337 sm86InstructionNaturalSeventyTwo
1338 sm86InstructionNaturalOne
1339 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.