893def sm86EncodeFloat32PairToHalf2 =
894 (lambda unrestricted guard : (family SM86InstructionGuard) .
895 (lambda unrestricted destination : (family SM86Register) .
896 (lambda unrestricted sourceHigh : (family SM86Register) .
897 (lambda unrestricted sourceLow : (family SM86Register) .
898 (lambda unrestricted control : (family SM86Control) .
899 (sm86EncodeInstructionFields
900 sm86OpcodeFloatPairToPackedHalfPair
901 guard
902 control
903 (sm86InstructionPrependField
904 sm86InstructionNaturalSixteen
905 sm86InstructionNaturalEight
906 (sm86RegisterNatural destination)
907 (sm86InstructionPrependField
908 sm86InstructionNaturalTwentyFour
909 sm86InstructionNaturalEight
910 (sm86RegisterNatural sourceHigh)
911 (sm86InstructionPrependField
912 sm86InstructionNaturalThirtyTwo
913 sm86InstructionNaturalEight
914 (sm86RegisterNatural sourceLow)
915 (sm86InstructionOneWord32Field
916 sm86InstructionNaturalSixtyFour
917 (constructor
918 SM86Unsigned32
919 SM86Unsigned32Value
920 (byte 255)
921 (byte 0)
922 (byte 0)
923 (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.