875def sm86EncodeHalfToFloat =
876 (lambda unrestricted guard : (family SM86InstructionGuard) .
877 (lambda unrestricted destination : (family SM86Register) .
878 (lambda unrestricted source : (family SM86Register) .
879 (lambda unrestricted selector : (family SM86HalfSelector) .
880 (lambda unrestricted control : (family SM86Control) .
881 (sm86EncodeInstructionFields
882 sm86OpcodeHalfToFloat
883 guard
884 control
885 (sm86InstructionPrependField
886 sm86InstructionNaturalSixteen
887 sm86InstructionNaturalEight
888 (sm86RegisterNatural destination)
889 (sm86InstructionPrependField
890 sm86InstructionNaturalTwentyFour
891 sm86InstructionNaturalEight
892 (byte-to-nat (byte 255))
893 (sm86InstructionPrependField
894 sm86InstructionNaturalThirtyTwo
895 sm86InstructionNaturalEight
896 (sm86RegisterNatural source)
897 (sm86InstructionPrependField
898 sm86InstructionNaturalSixty
899 sm86InstructionNaturalOne
900 (sm86HalfSelectorNatural selector)
901 (sm86InstructionPrependField
902 sm86InstructionNaturalSixtyOne
903 sm86InstructionNaturalOne
904 sm86InstructionNaturalOne
905 (sm86InstructionOneWord32Field
906 sm86InstructionNaturalSixtyFour
907 (constructor
908 SM86Unsigned32
909 SM86Unsigned32Value
910 (byte 0)
911 (byte 65)
912 (byte 0)
913 (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.