843def sm86EncodeFloat32PairToHalf2 =
844 (lambda unrestricted guard : (family SM86InstructionGuard) .
845 (lambda unrestricted destination : (family SM86Register) .
846 (lambda unrestricted sourceHigh : (family SM86Register) .
847 (lambda unrestricted sourceLow : (family SM86Register) .
848 (lambda unrestricted control : (family SM86Control) .
849 (sm86EncodeInstructionFields
850 sm86OpcodeFloatPairToPackedHalfPair
851 guard
852 control
853 (sm86InstructionPrependField
854 sm86InstructionNaturalSixteen
855 sm86InstructionNaturalEight
856 (sm86RegisterNatural destination)
857 (sm86InstructionPrependField
858 sm86InstructionNaturalTwentyFour
859 sm86InstructionNaturalEight
860 (sm86RegisterNatural sourceHigh)
861 (sm86InstructionPrependField
862 sm86InstructionNaturalThirtyTwo
863 sm86InstructionNaturalEight
864 (sm86RegisterNatural sourceLow)
865 (sm86InstructionOneWord32Field
866 sm86InstructionNaturalSixtyFour
867 (constructor
868 SM86Unsigned32
869 SM86Unsigned32Value
870 (byte 255)
871 (byte 0)
872 (byte 0)
873 (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.