1185def sm86EncodeFloatAdd =
1186 (lambda unrestricted guard : (family SM86InstructionGuard) .
1187 (lambda unrestricted destination : (family SM86Register) .
1188 (lambda unrestricted left : (family SM86Register) .
1189 (lambda unrestricted right : (family SM86Register) .
1190 (lambda unrestricted control : (family SM86Control) .
1191 (sm86EncodeInstructionFields
1192 sm86OpcodeFloatAdd
1193 guard
1194 control
1195 (sm86InstructionPrependField
1196 sm86InstructionNaturalSixteen
1197 sm86InstructionNaturalEight
1198 (sm86RegisterNatural destination)
1199 (sm86InstructionPrependField
1200 sm86InstructionNaturalTwentyFour
1201 sm86InstructionNaturalEight
1202 (sm86RegisterNatural left)
1203 (sm86InstructionOneField
1204 sm86InstructionNaturalThirtyTwo
1205 sm86InstructionNaturalEight
1206 (sm86RegisterNatural right))))))))))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.