; Hacker's Delight, page 22, comparison predicates 
1 var 8 x
2 var 8 y 

3 slt 1 1 2 

4 sub 8 1 2
5 xor 8 1 2
6 xor 8 4 1
7 and 8 5 6
8 xor 8 4 7
9 slice 1 8 7 7
10 eq 1 3 9

11 and 8 1 -2
12 xnor 8 1 2
13 and 8 12 4
14 or 8 11 13
15 slice 1 14 7 7
16 eq 1 3 15

17 slte 1 1 2

18 or 8 1 -2
19 sub 8 2 1
20 or 8 5 -19
21 and 8 18 20
22 slice 1 21 7 7 
23 eq 1 17 22

24 one 3
25 sra 8 12 24
26 add 8 25 11
27 slice 1 26 7 7
28 eq 1 17 27

29 or 1 -10 -16 
30 or 1 -23 -28
31 or 1 29 30
32 root 1 31