; Hacker's Delight, page 24, comparison predicates 
1 var 32 x
2 var 32 y 
3 const 32 10000000000000000000000000000000
4 slt 1 1 2

5 add 32 1 3
6 add 32 2 3
7 ulte 1 6 5
8 eq 1 4 -7

9 slte 1 1 2
10 ulte 1 5 6
11 eq 1 9 10

12 sgt 1 1 2
13 eq 1 -10 12

14 sgte 1 1 2
15 eq 1 7 14 

16 ult 1 1 2
17 ulte 1 2 1
18 eq 1 16 -17

19 ugt 1 1 2 
20 ulte 1 1 2
21 eq 1 19 -20

22 ugte 1 1 2
23 ulte 1 2 1
24 eq 1 22 23

25 or 1 -8 -11
26 or 1 -13 -15
27 or 1 -18 -21
28 or 1 25 26
29 or 1 27 28
30 or 1 29 -24
31 root 1 30