1604def sm86EncodeStoreGlobalWide =
1605 (lambda unrestricted guard : (family SM86InstructionGuard) .
1606 (lambda unrestricted address : (family SM86Register) .
1607 (lambda unrestricted value : (family SM86Register) .
1608 (lambda unrestricted offset : (family SM86Unsigned32) .
1609 (lambda unrestricted control : (family SM86Control) .
1610 (sm86EncodeInstructionFields
1611 sm86OpcodeStoreGlobal
1612 guard
1613 control
1614 (sm86InstructionPrependField
1615 sm86InstructionNaturalTwentyFour
1616 sm86InstructionNaturalEight
1617 (sm86RegisterNatural address)
1618 (sm86InstructionPrependField
1619 sm86InstructionNaturalThirtyTwo
1620 sm86InstructionNaturalEight
1621 (sm86RegisterNatural value)
1622 (sm86InstructionPrependField
1623 sm86InstructionNaturalForty
1624 sm86GlobalOffsetFieldBits
1625 (sm86Unsigned32Natural offset)
1626 (sm86InstructionOneWord32Field
1627 sm86InstructionNaturalSixtyFour
1628 (constructor
1629 SM86Unsigned32
1630 SM86Unsigned32Value
1631 (byte 4)
1632 (byte 29)
1633 (byte 16)
1634 (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.