1684def sm86EncodeStoreGlobalWide =
1685 (lambda unrestricted guard : (family SM86InstructionGuard) .
1686 (lambda unrestricted address : (family SM86Register) .
1687 (lambda unrestricted value : (family SM86Register) .
1688 (lambda unrestricted offset : (family SM86Unsigned32) .
1689 (lambda unrestricted control : (family SM86Control) .
1690 (sm86EncodeInstructionFields
1691 sm86OpcodeStoreGlobal
1692 guard
1693 control
1694 (sm86InstructionPrependField
1695 sm86InstructionNaturalTwentyFour
1696 sm86InstructionNaturalEight
1697 (sm86RegisterNatural address)
1698 (sm86InstructionPrependField
1699 sm86InstructionNaturalThirtyTwo
1700 sm86InstructionNaturalEight
1701 (sm86RegisterNatural value)
1702 (sm86InstructionPrependField
1703 sm86InstructionNaturalForty
1704 sm86GlobalOffsetFieldBits
1705 (sm86Unsigned32Natural offset)
1706 (sm86InstructionOneWord32Field
1707 sm86InstructionNaturalSixtyFour
1708 (constructor
1709 SM86Unsigned32
1710 SM86Unsigned32Value
1711 (byte 4)
1712 (byte 29)
1713 (byte 16)
1714 (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.