670def sm86EncodeIntegerAdd3Register =
671 (lambda unrestricted guard : (family SM86InstructionGuard) .
672 (lambda unrestricted destination : (family SM86Register) .
673 (lambda unrestricted left : (family SM86Register) .
674 (lambda unrestricted right : (family SM86Register) .
675 (lambda unrestricted control : (family SM86Control) .
676 (sm86EncodeInstructionFields
677 sm86OpcodeIntegerAddThreeRegister
678 guard
679 control
680 (sm86InstructionPrependField
681 sm86InstructionNaturalSixteen
682 sm86InstructionNaturalEight
683 (sm86RegisterNatural destination)
684 (sm86InstructionPrependField
685 sm86InstructionNaturalTwentyFour
686 sm86InstructionNaturalEight
687 (sm86RegisterNatural left)
688 (sm86InstructionPrependField
689 sm86InstructionNaturalThirtyTwo
690 sm86InstructionNaturalEight
691 (sm86RegisterNatural right)
692 (sm86InstructionOneWord32Field
693 sm86InstructionNaturalSixtyFour
694 (constructor
695 SM86Unsigned32
696 SM86Unsigned32Value
697 (byte 255)
698 (byte 224)
699 (byte 255)
700 (byte 7))))))))))))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.