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