1707def sm86EncodePredicateGreater =
1708 (lambda unrestricted guard : (family SM86InstructionGuard) .
1709 (lambda unrestricted predicate : (family SM86Predicate) .
1710 (lambda unrestricted source : (family SM86Register) .
1711 (lambda unrestricted immediate : (family SM86Unsigned32) .
1712 (lambda unrestricted control : (family SM86Control) .
1713 (app
1714 (lambda unrestricted predicateControl : (family SM86Control) .
1715 (sm86EncodeInstructionFields
1716 sm86OpcodePredicateGreaterThanImmediate
1717 guard
1718 predicateControl
1719 (sm86InstructionPrependField
1720 sm86InstructionNaturalTwentyFour
1721 sm86InstructionNaturalEight
1722 (sm86RegisterNatural source)
1723 (sm86InstructionPrependWord32Field
1724 sm86InstructionNaturalThirtyTwo
1725 immediate
1726 (sm86InstructionPrependWord32Field
1727 sm86InstructionNaturalSixtyFour
1728 (constructor
1729 SM86Unsigned32
1730 SM86Unsigned32Value
1731 (byte 112)
1732 (byte 64)
1733 (byte 240)
1734 (byte 3))
1735 (sm86InstructionOneField
1736 sm86InstructionNaturalEightyOne
1737 sm86InstructionNaturalThree
1738 (byte-to-nat (sm86PredicateNumber predicate))))))))
1739 (eliminate
1740 SM86Control
1741 (lambda unrestricted current : (family SM86Control) . (family SM86Control))
1742 control
1743 (branch
1744 SM86ControlValue
1745 stall
1746 yieldMode
1747 writeBarrier
1748 readBarrier
1749 waitMask
1750 reuseMask
1751 .
1752 (constructor
1753 SM86Control
1754 SM86ControlValue
1755 (byte 15)
1756 yieldMode
1757 writeBarrier
1758 readBarrier
1759 waitMask
1760 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.