808def sm86EncodeIntegerToFloat =
809 (lambda unrestricted guard : (family SM86InstructionGuard) .
810 (lambda unrestricted destination : (family SM86Register) .
811 (lambda unrestricted source : (family SM86Register) .
812 (lambda unrestricted control : (family SM86Control) .
813 (sm86EncodeInstructionFields
814 sm86OpcodeIntegerToFloat
815 guard
816 control
817 (sm86InstructionPrependField
818 sm86InstructionNaturalSixteen
819 sm86InstructionNaturalEight
820 (sm86RegisterNatural destination)
821 (sm86InstructionPrependField
822 sm86InstructionNaturalThirtyTwo
823 sm86InstructionNaturalEight
824 (sm86RegisterNatural source)
825 (sm86InstructionPrependField
826 sm86InstructionNaturalSeventyTwo
827 sm86InstructionNaturalEight
828 (byte-to-nat (byte 20))
829 (sm86InstructionOneField
830 sm86InstructionNaturalEighty
831 sm86InstructionNaturalEight
832 (byte-to-nat (byte 32)))))))))))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.