1078def sm86EncodeFloatFusedMultiplyAdd =
1079 (lambda unrestricted guard : (family SM86InstructionGuard) .
1080 (lambda unrestricted destination : (family SM86Register) .
1081 (lambda unrestricted left : (family SM86Register) .
1082 (lambda unrestricted right : (family SM86Register) .
1083 (lambda unrestricted addend : (family SM86Register) .
1084 (lambda unrestricted control : (family SM86Control) .
1085 (sm86EncodeInstructionFields
1086 sm86OpcodeFloatFusedMultiplyAdd
1087 guard
1088 control
1089 (sm86InstructionPrependField
1090 sm86InstructionNaturalSixteen
1091 sm86InstructionNaturalEight
1092 (sm86RegisterNatural destination)
1093 (sm86InstructionPrependField
1094 sm86InstructionNaturalTwentyFour
1095 sm86InstructionNaturalEight
1096 (sm86RegisterNatural left)
1097 (sm86InstructionPrependField
1098 sm86InstructionNaturalThirtyTwo
1099 sm86InstructionNaturalEight
1100 (sm86RegisterNatural right)
1101 (sm86InstructionOneField
1102 sm86InstructionNaturalSixtyFour
1103 sm86InstructionNaturalEight
1104 (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.