925def sm86EncodeHalfToFloat =
926 (lambda unrestricted guard : (family SM86InstructionGuard) .
927 (lambda unrestricted destination : (family SM86Register) .
928 (lambda unrestricted source : (family SM86Register) .
929 (lambda unrestricted selector : (family SM86HalfSelector) .
930 (lambda unrestricted control : (family SM86Control) .
931 (sm86EncodeInstructionFields
932 sm86OpcodeHalfToFloat
933 guard
934 control
935 (sm86InstructionPrependField
936 sm86InstructionNaturalSixteen
937 sm86InstructionNaturalEight
938 (sm86RegisterNatural destination)
939 (sm86InstructionPrependField
940 sm86InstructionNaturalTwentyFour
941 sm86InstructionNaturalEight
942 (byte-to-nat (byte 255))
943 (sm86InstructionPrependField
944 sm86InstructionNaturalThirtyTwo
945 sm86InstructionNaturalEight
946 (sm86RegisterNatural source)
947 (sm86InstructionPrependField
948 sm86InstructionNaturalSixty
949 sm86InstructionNaturalOne
950 (sm86HalfSelectorNatural selector)
951 (sm86InstructionPrependField
952 sm86InstructionNaturalSixtyOne
953 sm86InstructionNaturalOne
954 sm86InstructionNaturalOne
955 (sm86InstructionOneWord32Field
956 sm86InstructionNaturalSixtyFour
957 (constructor
958 SM86Unsigned32
959 SM86Unsigned32Value
960 (byte 0)
961 (byte 65)
962 (byte 0)
963 (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.