993def sm86EncodeFloatArithmetic =
994 (lambda unrestricted guard : (family SM86InstructionGuard) .
995 (lambda unrestricted operation : (family SM86FloatOperation) .
996 (lambda unrestricted destination : (family SM86Register) .
997 (lambda unrestricted left : (family SM86Register) .
998 (lambda unrestricted right : (family SM86Register) .
999 (lambda unrestricted addend : (family SM86Register) .
1000 (lambda unrestricted modifiers : (family SM86FloatModifiers) .
1001 (lambda unrestricted control : (family SM86Control) .
1002 (eliminate SM86FloatModifiers (lambda unrestricted current : (family SM86FloatModifiers) . (family SM86InstructionEncodingResult)) modifiers
1003 (branch SM86FloatModifiersValue rounding flush saturate negateLeft absoluteLeft negateRight absoluteRight negateAddend .
1004 (sm86EncodeInstructionFields
1005 (sm86FloatOperationOpcode operation)
1006 guard
1007 control
1008 (sm86InstructionPrependField 16 8 (sm86RegisterNatural destination)
1009 (sm86InstructionPrependField 24 8 (sm86RegisterNatural left)
1010 (sm86InstructionPrependField 32 8 (sm86RegisterNatural right)
1011 (sm86InstructionPrependField 62 1 absoluteRight
1012 (sm86InstructionPrependField 63 1 negateRight
1013 (sm86InstructionPrependField 64 8 (naturalSelect (sm86FloatOperationFused operation) (sm86RegisterNatural addend) 0)
1014 (sm86InstructionPrependField 72 1 negateLeft
1015 (sm86InstructionPrependField 73 1 absoluteLeft
1016 (sm86InstructionPrependField 75 1 negateAddend
1017 (sm86InstructionPrependField 77 1 saturate
1018 (sm86InstructionPrependField 78 2 (sm86RoundingNatural rounding)
1019 (sm86InstructionPrependField 80 1 flush
1020 (sm86InstructionOneField 86 1 (sm86FloatOperationMultiplies operation)))))))))))))))))))))))))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.