1572def sm86EncodeStoreGlobal =
1573 (lambda unrestricted guard : (family SM86InstructionGuard) .
1574 (lambda unrestricted address : (family SM86Register) .
1575 (lambda unrestricted value : (family SM86Register) .
1576 (lambda unrestricted offset : (family SM86Unsigned32) .
1577 (lambda unrestricted control : (family SM86Control) .
1578 (sm86EncodeInstructionFields
1579 sm86OpcodeStoreGlobal
1580 guard
1581 control
1582 (sm86InstructionPrependField
1583 sm86InstructionNaturalTwentyFour
1584 sm86InstructionNaturalEight
1585 (sm86RegisterNatural address)
1586 (sm86InstructionPrependField
1587 sm86InstructionNaturalThirtyTwo
1588 sm86InstructionNaturalEight
1589 (sm86RegisterNatural value)
1590 (sm86InstructionPrependField
1591 sm86InstructionNaturalForty
1592 sm86GlobalOffsetFieldBits
1593 (sm86Unsigned32Natural offset)
1594 (sm86InstructionOneWord32Field
1595 sm86InstructionNaturalSixtyFour
1596 (constructor
1597 SM86Unsigned32
1598 SM86Unsigned32Value
1599 (byte 4)
1600 (byte 25)
1601 (byte 16)
1602 (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.