1787def sm86EncodePredicateGreater =
1788 (lambda unrestricted guard : (family SM86InstructionGuard) .
1789 (lambda unrestricted predicate : (family SM86Predicate) .
1790 (lambda unrestricted source : (family SM86Register) .
1791 (lambda unrestricted immediate : (family SM86Unsigned32) .
1792 (lambda unrestricted control : (family SM86Control) .
1793 (app
1794 (lambda unrestricted predicateControl : (family SM86Control) .
1795 (sm86EncodeInstructionFields
1796 sm86OpcodePredicateGreaterThanImmediate
1797 guard
1798 predicateControl
1799 (sm86InstructionPrependField
1800 sm86InstructionNaturalTwentyFour
1801 sm86InstructionNaturalEight
1802 (sm86RegisterNatural source)
1803 (sm86InstructionPrependWord32Field
1804 sm86InstructionNaturalThirtyTwo
1805 immediate
1806 (sm86InstructionPrependWord32Field
1807 sm86InstructionNaturalSixtyFour
1808 (constructor
1809 SM86Unsigned32
1810 SM86Unsigned32Value
1811 (byte 112)
1812 (byte 64)
1813 (byte 240)
1814 (byte 3))
1815 (sm86InstructionOneField
1816 sm86InstructionNaturalEightyOne
1817 sm86InstructionNaturalThree
1818 (byte-to-nat (sm86PredicateNumber predicate))))))))
1819 (eliminate
1820 SM86Control
1821 (lambda unrestricted current : (family SM86Control) . (family SM86Control))
1822 control
1823 (branch
1824 SM86ControlValue
1825 stall
1826 yieldMode
1827 writeBarrier
1828 readBarrier
1829 waitMask
1830 reuseMask
1831 .
1832 (constructor
1833 SM86Control
1834 SM86ControlValue
1835 (byte 15)
1836 yieldMode
1837 writeBarrier
1838 readBarrier
1839 waitMask
1840 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.