636def sm86EncodeIntegerAdd3Immediate =
637 (lambda unrestricted guard : (family SM86InstructionGuard) .
638 (lambda unrestricted destination : (family SM86Register) .
639 (lambda unrestricted left : (family SM86Register) .
640 (lambda unrestricted immediate : (family SM86Unsigned32) .
641 (lambda unrestricted control : (family SM86Control) .
642 (sm86EncodeInstructionFields
643 sm86OpcodeIntegerAddThreeImmediate
644 guard
645 control
646 (sm86InstructionPrependField
647 sm86InstructionNaturalSixteen
648 sm86InstructionNaturalEight
649 (sm86RegisterNatural destination)
650 (sm86InstructionPrependField
651 sm86InstructionNaturalTwentyFour
652 sm86InstructionNaturalEight
653 (sm86RegisterNatural left)
654 (sm86InstructionPrependWord32Field
655 sm86InstructionNaturalThirtyTwo
656 immediate
657 (sm86InstructionPrependField
658 sm86InstructionNaturalSixtyFour
659 sm86InstructionNaturalEight
660 (byte-to-nat (byte 255))
661 (sm86InstructionPrependField
662 sm86InstructionNaturalEightyOne
663 sm86InstructionNaturalThree
664 (byte-to-nat (byte 7))
665 (sm86InstructionOneField
666 sm86InstructionNaturalEightyFour
667 sm86InstructionNaturalThree
668 (byte-to-nat (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.