1208def sm86EncodeFloatFusedMultiplyAdd =
1209 (lambda unrestricted guard : (family SM86InstructionGuard) .
1210 (lambda unrestricted destination : (family SM86Register) .
1211 (lambda unrestricted left : (family SM86Register) .
1212 (lambda unrestricted right : (family SM86Register) .
1213 (lambda unrestricted addend : (family SM86Register) .
1214 (lambda unrestricted control : (family SM86Control) .
1215 (sm86EncodeInstructionFields
1216 sm86OpcodeFloatFusedMultiplyAdd
1217 guard
1218 control
1219 (sm86InstructionPrependField
1220 sm86InstructionNaturalSixteen
1221 sm86InstructionNaturalEight
1222 (sm86RegisterNatural destination)
1223 (sm86InstructionPrependField
1224 sm86InstructionNaturalTwentyFour
1225 sm86InstructionNaturalEight
1226 (sm86RegisterNatural left)
1227 (sm86InstructionPrependField
1228 sm86InstructionNaturalThirtyTwo
1229 sm86InstructionNaturalEight
1230 (sm86RegisterNatural right)
1231 (sm86InstructionOneField
1232 sm86InstructionNaturalSixtyFour
1233 sm86InstructionNaturalEight
1234 (sm86RegisterNatural addend))))))))))))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.