1675def sm86EncodeReduceGlobalAddFloat32 =
1676 (lambda unrestricted guard : (family SM86InstructionGuard) .
1677 (lambda unrestricted address : (family SM86Register) .
1678 (lambda unrestricted value : (family SM86Register) .
1679 (lambda unrestricted offset : (family SM86Unsigned32) .
1680 (lambda unrestricted control : (family SM86Control) .
1681 (sm86EncodeInstructionFields
1682 sm86OpcodeReduceGlobalAddFloat32
1683 guard
1684 control
1685 (sm86InstructionPrependField
1686 sm86InstructionNaturalTwentyFour
1687 sm86InstructionNaturalEight
1688 (sm86RegisterNatural address)
1689 (sm86InstructionPrependField
1690 sm86InstructionNaturalThirtyTwo
1691 sm86InstructionNaturalEight
1692 (sm86RegisterNatural value)
1693 (sm86InstructionPrependField
1694 sm86InstructionNaturalForty
1695 sm86InstructionNaturalTwentyFour
1696 (sm86Unsigned32Natural offset)
1697 (sm86InstructionOneWord32Field
1698 sm86InstructionNaturalSixtyFour
1699 (constructor
1700 SM86Unsigned32
1701 SM86Unsigned32Value
1702 (byte 132)
1703 (byte 231)
1704 (byte 16)
1705 (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.