1181def sm86EncodeFloatNegate =
1182 (lambda unrestricted guard : (family SM86InstructionGuard) .
1183 (lambda unrestricted destination : (family SM86Register) .
1184 (lambda unrestricted source : (family SM86Register) .
1185 (lambda unrestricted control : (family SM86Control) .
1186 (sm86EncodeInstructionFields
1187 sm86OpcodeFloatNegate
1188 guard
1189 control
1190 (sm86InstructionPrependField
1191 sm86InstructionNaturalSixteen
1192 sm86InstructionNaturalEight
1193 (sm86RegisterNatural destination)
1194 (sm86InstructionPrependField
1195 sm86InstructionNaturalTwentyFour
1196 sm86InstructionNaturalEight
1197 (sm86RegisterNatural source)
1198 (sm86InstructionPrependField
1199 sm86InstructionNaturalThirtyTwo
1200 sm86InstructionNaturalEight
1201 (byte-to-nat (byte 255))
1202 (sm86InstructionPrependField
1203 sm86InstructionNaturalSixtyThree
1204 sm86InstructionNaturalOne
1205 sm86InstructionNaturalOne
1206 (sm86InstructionOneField
1207 sm86InstructionNaturalSeventyTwo
1208 sm86InstructionNaturalOne
1209 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.