1498def sm86EncodeStoreGlobal =
1499 (lambda unrestricted guard : (family SM86InstructionGuard) .
1500 (lambda unrestricted address : (family SM86Register) .
1501 (lambda unrestricted value : (family SM86Register) .
1502 (lambda unrestricted offset : (family SM86Unsigned32) .
1503 (lambda unrestricted control : (family SM86Control) .
1504 (sm86EncodeInstructionFields
1505 sm86OpcodeStoreGlobal
1506 guard
1507 control
1508 (sm86InstructionPrependField
1509 sm86InstructionNaturalTwentyFour
1510 sm86InstructionNaturalEight
1511 (sm86RegisterNatural address)
1512 (sm86InstructionPrependField
1513 sm86InstructionNaturalThirtyTwo
1514 sm86InstructionNaturalEight
1515 (sm86RegisterNatural value)
1516 (sm86InstructionPrependField
1517 sm86InstructionNaturalForty
1518 sm86InstructionNaturalTwentyFour
1519 (sm86Unsigned32Natural offset)
1520 (sm86InstructionOneWord32Field
1521 sm86InstructionNaturalSixtyFour
1522 (constructor
1523 SM86Unsigned32
1524 SM86Unsigned32Value
1525 (byte 4)
1526 (byte 25)
1527 (byte 16)
1528 (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.