1105def sm86EncodeFloatAdd =
1106 (lambda unrestricted guard : (family SM86InstructionGuard) .
1107 (lambda unrestricted destination : (family SM86Register) .
1108 (lambda unrestricted left : (family SM86Register) .
1109 (lambda unrestricted right : (family SM86Register) .
1110 (lambda unrestricted control : (family SM86Control) .
1111 (sm86EncodeInstructionFields
1112 sm86OpcodeFloatAdd
1113 guard
1114 control
1115 (sm86InstructionPrependField
1116 sm86InstructionNaturalSixteen
1117 sm86InstructionNaturalEight
1118 (sm86RegisterNatural destination)
1119 (sm86InstructionPrependField
1120 sm86InstructionNaturalTwentyFour
1121 sm86InstructionNaturalEight
1122 (sm86RegisterNatural left)
1123 (sm86InstructionOneField
1124 sm86InstructionNaturalThirtyTwo
1125 sm86InstructionNaturalEight
1126 (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.