776def sm86EncodeFloatMultiply =
777 (lambda unrestricted guard : (family SM86InstructionGuard) .
778 (lambda unrestricted destination : (family SM86Register) .
779 (lambda unrestricted left : (family SM86Register) .
780 (lambda unrestricted right : (family SM86Register) .
781 (lambda unrestricted control : (family SM86Control) .
782 (sm86EncodeInstructionFields
783 sm86OpcodeFloatMultiply
784 guard
785 control
786 (sm86InstructionPrependField
787 sm86InstructionNaturalSixteen
788 sm86InstructionNaturalEight
789 (sm86RegisterNatural destination)
790 (sm86InstructionPrependField
791 sm86InstructionNaturalTwentyFour
792 sm86InstructionNaturalEight
793 (sm86RegisterNatural left)
794 (sm86InstructionPrependField
795 sm86InstructionNaturalThirtyTwo
796 sm86InstructionNaturalEight
797 (sm86RegisterNatural right)
798 (sm86InstructionOneWord32Field
799 sm86InstructionNaturalSixtyFour
800 (constructor
801 SM86Unsigned32
802 SM86Unsigned32Value
803 (byte 0)
804 (byte 0)
805 (byte 64)
806 (byte 0))))))))))))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.