1652def sm86EncodeStoreGlobal =
1653 (lambda unrestricted guard : (family SM86InstructionGuard) .
1654 (lambda unrestricted address : (family SM86Register) .
1655 (lambda unrestricted value : (family SM86Register) .
1656 (lambda unrestricted offset : (family SM86Unsigned32) .
1657 (lambda unrestricted control : (family SM86Control) .
1658 (sm86EncodeInstructionFields
1659 sm86OpcodeStoreGlobal
1660 guard
1661 control
1662 (sm86InstructionPrependField
1663 sm86InstructionNaturalTwentyFour
1664 sm86InstructionNaturalEight
1665 (sm86RegisterNatural address)
1666 (sm86InstructionPrependField
1667 sm86InstructionNaturalThirtyTwo
1668 sm86InstructionNaturalEight
1669 (sm86RegisterNatural value)
1670 (sm86InstructionPrependField
1671 sm86InstructionNaturalForty
1672 sm86GlobalOffsetFieldBits
1673 (sm86Unsigned32Natural offset)
1674 (sm86InstructionOneWord32Field
1675 sm86InstructionNaturalSixtyFour
1676 (constructor
1677 SM86Unsigned32
1678 SM86Unsigned32Value
1679 (byte 4)
1680 (byte 25)
1681 (byte 16)
1682 (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.