826def sm86EncodeFloatMultiply =
827 (lambda unrestricted guard : (family SM86InstructionGuard) .
828 (lambda unrestricted destination : (family SM86Register) .
829 (lambda unrestricted left : (family SM86Register) .
830 (lambda unrestricted right : (family SM86Register) .
831 (lambda unrestricted control : (family SM86Control) .
832 (sm86EncodeInstructionFields
833 sm86OpcodeFloatMultiply
834 guard
835 control
836 (sm86InstructionPrependField
837 sm86InstructionNaturalSixteen
838 sm86InstructionNaturalEight
839 (sm86RegisterNatural destination)
840 (sm86InstructionPrependField
841 sm86InstructionNaturalTwentyFour
842 sm86InstructionNaturalEight
843 (sm86RegisterNatural left)
844 (sm86InstructionPrependField
845 sm86InstructionNaturalThirtyTwo
846 sm86InstructionNaturalEight
847 (sm86RegisterNatural right)
848 (sm86InstructionOneWord32Field
849 sm86InstructionNaturalSixtyFour
850 (constructor
851 SM86Unsigned32
852 SM86Unsigned32Value
853 (byte 0)
854 (byte 0)
855 (byte 64)
856 (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.