1755def sm86EncodeReduceGlobalAddFloat32 =
1756 (lambda unrestricted guard : (family SM86InstructionGuard) .
1757 (lambda unrestricted address : (family SM86Register) .
1758 (lambda unrestricted value : (family SM86Register) .
1759 (lambda unrestricted offset : (family SM86Unsigned32) .
1760 (lambda unrestricted control : (family SM86Control) .
1761 (sm86EncodeInstructionFields
1762 sm86OpcodeReduceGlobalAddFloat32
1763 guard
1764 control
1765 (sm86InstructionPrependField
1766 sm86InstructionNaturalTwentyFour
1767 sm86InstructionNaturalEight
1768 (sm86RegisterNatural address)
1769 (sm86InstructionPrependField
1770 sm86InstructionNaturalThirtyTwo
1771 sm86InstructionNaturalEight
1772 (sm86RegisterNatural value)
1773 (sm86InstructionPrependField
1774 sm86InstructionNaturalForty
1775 sm86InstructionNaturalTwentyFour
1776 (sm86Unsigned32Natural offset)
1777 (sm86InstructionOneWord32Field
1778 sm86InstructionNaturalSixtyFour
1779 (constructor
1780 SM86Unsigned32
1781 SM86Unsigned32Value
1782 (byte 132)
1783 (byte 231)
1784 (byte 16)
1785 (byte 12))))))))))))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.