1530def sm86EncodeStoreGlobalWide =
1531 (lambda unrestricted guard : (family SM86InstructionGuard) .
1532 (lambda unrestricted address : (family SM86Register) .
1533 (lambda unrestricted value : (family SM86Register) .
1534 (lambda unrestricted offset : (family SM86Unsigned32) .
1535 (lambda unrestricted control : (family SM86Control) .
1536 (sm86EncodeInstructionFields
1537 sm86OpcodeStoreGlobal
1538 guard
1539 control
1540 (sm86InstructionPrependField
1541 sm86InstructionNaturalTwentyFour
1542 sm86InstructionNaturalEight
1543 (sm86RegisterNatural address)
1544 (sm86InstructionPrependField
1545 sm86InstructionNaturalThirtyTwo
1546 sm86InstructionNaturalEight
1547 (sm86RegisterNatural value)
1548 (sm86InstructionPrependField
1549 sm86InstructionNaturalForty
1550 sm86InstructionNaturalTwentyFour
1551 (sm86Unsigned32Natural offset)
1552 (sm86InstructionOneWord32Field
1553 sm86InstructionNaturalSixtyFour
1554 (constructor
1555 SM86Unsigned32
1556 SM86Unsigned32Value
1557 (byte 4)
1558 (byte 29)
1559 (byte 16)
1560 (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.