1055def sm86EncodeFloatAdd =
1056 (lambda unrestricted guard : (family SM86InstructionGuard) .
1057 (lambda unrestricted destination : (family SM86Register) .
1058 (lambda unrestricted left : (family SM86Register) .
1059 (lambda unrestricted right : (family SM86Register) .
1060 (lambda unrestricted control : (family SM86Control) .
1061 (sm86EncodeInstructionFields
1062 sm86OpcodeFloatAdd
1063 guard
1064 control
1065 (sm86InstructionPrependField
1066 sm86InstructionNaturalSixteen
1067 sm86InstructionNaturalEight
1068 (sm86RegisterNatural destination)
1069 (sm86InstructionPrependField
1070 sm86InstructionNaturalTwentyFour
1071 sm86InstructionNaturalEight
1072 (sm86RegisterNatural left)
1073 (sm86InstructionOneField
1074 sm86InstructionNaturalThirtyTwo
1075 sm86InstructionNaturalEight
1076 (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.