1633def sm86EncodePredicateGreater =
1634 (lambda unrestricted guard : (family SM86InstructionGuard) .
1635 (lambda unrestricted predicate : (family SM86Predicate) .
1636 (lambda unrestricted source : (family SM86Register) .
1637 (lambda unrestricted immediate : (family SM86Unsigned32) .
1638 (lambda unrestricted control : (family SM86Control) .
1639 (app
1640 (lambda unrestricted predicateControl : (family SM86Control) .
1641 (sm86EncodeInstructionFields
1642 sm86OpcodePredicateGreaterThanImmediate
1643 guard
1644 predicateControl
1645 (sm86InstructionPrependField
1646 sm86InstructionNaturalTwentyFour
1647 sm86InstructionNaturalEight
1648 (sm86RegisterNatural source)
1649 (sm86InstructionPrependWord32Field
1650 sm86InstructionNaturalThirtyTwo
1651 immediate
1652 (sm86InstructionPrependWord32Field
1653 sm86InstructionNaturalSixtyFour
1654 (constructor
1655 SM86Unsigned32
1656 SM86Unsigned32Value
1657 (byte 112)
1658 (byte 64)
1659 (byte 240)
1660 (byte 3))
1661 (sm86InstructionOneField
1662 sm86InstructionNaturalEightyOne
1663 sm86InstructionNaturalThree
1664 (byte-to-nat (sm86PredicateNumber predicate))))))))
1665 (eliminate
1666 SM86Control
1667 (lambda unrestricted current : (family SM86Control) . (family SM86Control))
1668 control
1669 (branch
1670 SM86ControlValue
1671 stall
1672 yieldMode
1673 writeBarrier
1674 readBarrier
1675 waitMask
1676 reuseMask
1677 .
1678 (constructor
1679 SM86Control
1680 SM86ControlValue
1681 (byte 15)
1682 yieldMode
1683 writeBarrier
1684 readBarrier
1685 waitMask
1686 reuseMask)))))))))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.