1PPC integer arith insns with two args:
2         add 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
3         add 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
4         add 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
5         add 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
6         add 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
7         add 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 00000000)
8         add ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
9         add ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 00000000)
10         add ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 00000000)
11
12        addo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
13        addo 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
14        addo 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
15        addo 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
16        addo 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
17        addo 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 00000000)
18        addo ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
19        addo ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 00000000)
20        addo ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 00000000)
21
22        addc 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
23        addc 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
24        addc 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
25        addc 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
26        addc 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
27        addc 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 20000000)
28        addc ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
29        addc ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
30        addc ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 20000000)
31
32       addco 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
33       addco 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
34       addco 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
35       addco 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
36       addco 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
37       addco 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 20000000)
38       addco ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
39       addco ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
40       addco ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 20000000)
41
42        divw 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
43        divw 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
44        divw 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
45        divw 0000001cbe991def, ffffffffffffffff => 000000004166e211 (00000000 00000000)
46        divw ffffffffffffffff, 0000001cbe991def => 0000000000000000 (00000000 00000000)
47        divw ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
48
49       divwo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
50       divwo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
51       divwo 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
52       divwo 0000001cbe991def, ffffffffffffffff => 000000004166e211 (00000000 00000000)
53       divwo ffffffffffffffff, 0000001cbe991def => 0000000000000000 (00000000 00000000)
54       divwo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
55
56       divwu 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
57       divwu 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
58       divwu 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
59       divwu 0000001cbe991def, ffffffffffffffff => 0000000000000000 (00000000 00000000)
60       divwu ffffffffffffffff, 0000001cbe991def => 0000000000000001 (00000000 00000000)
61       divwu ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
62
63      divwuo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
64      divwuo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
65      divwuo 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
66      divwuo 0000001cbe991def, ffffffffffffffff => 0000000000000000 (00000000 00000000)
67      divwuo ffffffffffffffff, 0000001cbe991def => 0000000000000001 (00000000 00000000)
68      divwuo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
69
70       mulhw 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
71       mulhw 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
72       mulhw 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
73       mulhw 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
74       mulhw 0000001cbe991def, 0000001cbe991def => 0000000010b56825 (00000000 00000000)
75       mulhw 0000001cbe991def, ffffffffffffffff => 0000000000000000 (00000000 00000000)
76       mulhw ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
77       mulhw ffffffffffffffff, 0000001cbe991def => 0000000000000000 (00000000 00000000)
78       mulhw ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 00000000)
79
80      mulhwu 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
81      mulhwu 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
82      mulhwu 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
83      mulhwu 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
84      mulhwu 0000001cbe991def, 0000001cbe991def => 000000008de7a403 (00000000 00000000)
85      mulhwu 0000001cbe991def, ffffffffffffffff => 00000000be991dee (00000000 00000000)
86      mulhwu ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
87      mulhwu ffffffffffffffff, 0000001cbe991def => 00000000be991dee (00000000 00000000)
88      mulhwu ffffffffffffffff, ffffffffffffffff => 00000000fffffffe (00000000 00000000)
89
90       mullw 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
91       mullw 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
92       mullw 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
93       mullw 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
94       mullw 0000001cbe991def, 0000001cbe991def => 10b568258f2e0521 (00000000 00000000)
95       mullw 0000001cbe991def, ffffffffffffffff => 000000004166e211 (00000000 00000000)
96       mullw ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
97       mullw ffffffffffffffff, 0000001cbe991def => 000000004166e211 (00000000 00000000)
98       mullw ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
99
100      mullwo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
101      mullwo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
102      mullwo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
103      mullwo 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
104      mullwo 0000001cbe991def, 0000001cbe991def => 10b568258f2e0521 (00000000 c0000000)
105      mullwo 0000001cbe991def, ffffffffffffffff => 000000004166e211 (00000000 00000000)
106      mullwo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
107      mullwo ffffffffffffffff, 0000001cbe991def => 000000004166e211 (00000000 00000000)
108      mullwo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
109
110        subf 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
111        subf 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
112        subf 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
113        subf 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
114        subf 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 00000000)
115        subf 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 00000000)
116        subf ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
117        subf ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
118        subf ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 00000000)
119
120       subfo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
121       subfo 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
122       subfo 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
123       subfo 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
124       subfo 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 00000000)
125       subfo 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 00000000)
126       subfo ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
127       subfo ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
128       subfo ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 00000000)
129
130       subfc 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 20000000)
131       subfc 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
132       subfc 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 20000000)
133       subfc 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
134       subfc 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 20000000)
135       subfc 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 20000000)
136       subfc ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
137       subfc ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
138       subfc ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 20000000)
139
140      subfco 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 20000000)
141      subfco 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
142      subfco 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 20000000)
143      subfco 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
144      subfco 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 20000000)
145      subfco 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 20000000)
146      subfco ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
147      subfco ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
148      subfco ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 20000000)
149
150       mulhd 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
151       mulhd 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
152       mulhd 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
153       mulhd 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
154       mulhd 0000001cbe991def, 0000001cbe991def => 000000000000033a (00000000 00000000)
155       mulhd 0000001cbe991def, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
156       mulhd ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
157       mulhd ffffffffffffffff, 0000001cbe991def => ffffffffffffffff (00000000 00000000)
158       mulhd ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 00000000)
159
160      mulhdu 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
161      mulhdu 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
162      mulhdu 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
163      mulhdu 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
164      mulhdu 0000001cbe991def, 0000001cbe991def => 000000000000033a (00000000 00000000)
165      mulhdu 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 00000000)
166      mulhdu ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
167      mulhdu ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 00000000)
168      mulhdu ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 00000000)
169
170       mulld 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
171       mulld 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
172       mulld 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
173       mulld 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
174       mulld 0000001cbe991def, 0000001cbe991def => 3f66304b8f2e0521 (00000000 00000000)
175       mulld 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (00000000 00000000)
176       mulld ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
177       mulld ffffffffffffffff, 0000001cbe991def => ffffffe34166e211 (00000000 00000000)
178       mulld ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
179
180      mulldo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
181      mulldo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
182      mulldo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
183      mulldo 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
184      mulldo 0000001cbe991def, 0000001cbe991def => 3f66304b8f2e0521 (00000000 c0000000)
185      mulldo 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (00000000 00000000)
186      mulldo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
187      mulldo ffffffffffffffff, 0000001cbe991def => ffffffe34166e211 (00000000 00000000)
188      mulldo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
189
190        divd 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
191        divd 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
192        divd 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
193        divd 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
194        divd 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
195        divd 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (00000000 00000000)
196        divd ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
197        divd ffffffffffffffff, 0000001cbe991def => 0000000000000000 (00000000 00000000)
198        divd ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
199
200       divdu 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
201       divdu 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
202       divdu 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
203       divdu 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
204       divdu 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
205       divdu 0000001cbe991def, ffffffffffffffff => 0000000000000000 (00000000 00000000)
206       divdu ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
207       divdu ffffffffffffffff, 0000001cbe991def => 0000000008e7f283 (00000000 00000000)
208       divdu ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
209
210       divdo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 c0000000)
211       divdo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
212       divdo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
213       divdo 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 c0000000)
214       divdo 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
215       divdo 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (00000000 00000000)
216       divdo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 c0000000)
217       divdo ffffffffffffffff, 0000001cbe991def => 0000000000000000 (00000000 00000000)
218       divdo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
219
220      divduo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 c0000000)
221      divduo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
222      divduo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
223      divduo 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 c0000000)
224      divduo 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
225      divduo 0000001cbe991def, ffffffffffffffff => 0000000000000000 (00000000 00000000)
226      divduo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 c0000000)
227      divduo ffffffffffffffff, 0000001cbe991def => 0000000008e7f283 (00000000 00000000)
228      divduo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
229
230PPC integer arith insns with two args with flags update:
231        add. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
232        add. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
233        add. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
234        add. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
235        add. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
236        add. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 00000000)
237        add. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
238        add. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 00000000)
239        add. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 00000000)
240
241       addo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
242       addo. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
243       addo. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
244       addo. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
245       addo. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
246       addo. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 00000000)
247       addo. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
248       addo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 00000000)
249       addo. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 00000000)
250
251       addc. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
252       addc. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
253       addc. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
254       addc. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
255       addc. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
256       addc. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 20000000)
257       addc. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
258       addc. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
259       addc. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 20000000)
260
261      addco. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
262      addco. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
263      addco. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
264      addco. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
265      addco. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
266      addco. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 20000000)
267      addco. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
268      addco. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
269      addco. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 20000000)
270
271       divw. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
272       divw. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
273       divw. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
274       divw. 0000001cbe991def, ffffffffffffffff => 000000004166e211 (40000000 00000000)
275       divw. ffffffffffffffff, 0000001cbe991def => 0000000000000000 (20000000 00000000)
276       divw. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
277
278      divwo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
279      divwo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
280      divwo. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
281      divwo. 0000001cbe991def, ffffffffffffffff => 000000004166e211 (40000000 00000000)
282      divwo. ffffffffffffffff, 0000001cbe991def => 0000000000000000 (20000000 00000000)
283      divwo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
284
285      divwu. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
286      divwu. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
287      divwu. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
288      divwu. 0000001cbe991def, ffffffffffffffff => 0000000000000000 (20000000 00000000)
289      divwu. ffffffffffffffff, 0000001cbe991def => 0000000000000001 (40000000 00000000)
290      divwu. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
291
292     divwuo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
293     divwuo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
294     divwuo. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
295     divwuo. 0000001cbe991def, ffffffffffffffff => 0000000000000000 (20000000 00000000)
296     divwuo. ffffffffffffffff, 0000001cbe991def => 0000000000000001 (40000000 00000000)
297     divwuo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
298
299      mulhw. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
300      mulhw. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
301      mulhw. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
302      mulhw. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
303      mulhw. 0000001cbe991def, 0000001cbe991def => 0000000010b56825 (40000000 00000000)
304      mulhw. 0000001cbe991def, ffffffffffffffff => 0000000000000000 (20000000 00000000)
305      mulhw. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
306      mulhw. ffffffffffffffff, 0000001cbe991def => 0000000000000000 (20000000 00000000)
307      mulhw. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 00000000)
308
309     mulhwu. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
310     mulhwu. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
311     mulhwu. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
312     mulhwu. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
313     mulhwu. 0000001cbe991def, 0000001cbe991def => 000000008de7a403 (80000000 00000000)
314     mulhwu. 0000001cbe991def, ffffffffffffffff => 00000000be991dee (80000000 00000000)
315     mulhwu. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
316     mulhwu. ffffffffffffffff, 0000001cbe991def => 00000000be991dee (80000000 00000000)
317     mulhwu. ffffffffffffffff, ffffffffffffffff => 00000000fffffffe (80000000 00000000)
318
319      mullw. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
320      mullw. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
321      mullw. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
322      mullw. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
323      mullw. 0000001cbe991def, 0000001cbe991def => 10b568258f2e0521 (40000000 00000000)
324      mullw. 0000001cbe991def, ffffffffffffffff => 000000004166e211 (40000000 00000000)
325      mullw. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
326      mullw. ffffffffffffffff, 0000001cbe991def => 000000004166e211 (40000000 00000000)
327      mullw. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
328
329     mullwo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
330     mullwo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
331     mullwo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
332     mullwo. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
333     mullwo. 0000001cbe991def, 0000001cbe991def => 10b568258f2e0521 (50000000 c0000000)
334     mullwo. 0000001cbe991def, ffffffffffffffff => 000000004166e211 (40000000 00000000)
335     mullwo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
336     mullwo. ffffffffffffffff, 0000001cbe991def => 000000004166e211 (40000000 00000000)
337     mullwo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
338
339       subf. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
340       subf. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
341       subf. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
342       subf. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
343       subf. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 00000000)
344       subf. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 00000000)
345       subf. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
346       subf. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
347       subf. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 00000000)
348
349      subfo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
350      subfo. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
351      subfo. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
352      subfo. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
353      subfo. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 00000000)
354      subfo. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 00000000)
355      subfo. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
356      subfo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
357      subfo. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 00000000)
358
359      subfc. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 20000000)
360      subfc. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
361      subfc. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 20000000)
362      subfc. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
363      subfc. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 20000000)
364      subfc. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 20000000)
365      subfc. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
366      subfc. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
367      subfc. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 20000000)
368
369     subfco. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 20000000)
370     subfco. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
371     subfco. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 20000000)
372     subfco. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
373     subfco. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 20000000)
374     subfco. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 20000000)
375     subfco. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
376     subfco. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
377     subfco. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 20000000)
378
379      mulhd. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
380      mulhd. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
381      mulhd. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
382      mulhd. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
383      mulhd. 0000001cbe991def, 0000001cbe991def => 000000000000033a (40000000 00000000)
384      mulhd. 0000001cbe991def, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
385      mulhd. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
386      mulhd. ffffffffffffffff, 0000001cbe991def => ffffffffffffffff (80000000 00000000)
387      mulhd. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 00000000)
388
389     mulhdu. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
390     mulhdu. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
391     mulhdu. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
392     mulhdu. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
393     mulhdu. 0000001cbe991def, 0000001cbe991def => 000000000000033a (40000000 00000000)
394     mulhdu. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 00000000)
395     mulhdu. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
396     mulhdu. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 00000000)
397     mulhdu. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 00000000)
398
399      mulld. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
400      mulld. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
401      mulld. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
402      mulld. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
403      mulld. 0000001cbe991def, 0000001cbe991def => 3f66304b8f2e0521 (40000000 00000000)
404      mulld. 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (80000000 00000000)
405      mulld. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
406      mulld. ffffffffffffffff, 0000001cbe991def => ffffffe34166e211 (80000000 00000000)
407      mulld. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
408
409    mulldo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
410    mulldo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
411    mulldo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
412    mulldo. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
413    mulldo. 0000001cbe991def, 0000001cbe991def => 3f66304b8f2e0521 (50000000 c0000000)
414    mulldo. 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (80000000 00000000)
415    mulldo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
416    mulldo. ffffffffffffffff, 0000001cbe991def => ffffffe34166e211 (80000000 00000000)
417    mulldo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
418
419       divd. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
420       divd. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
421       divd. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
422       divd. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
423       divd. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
424       divd. 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (80000000 00000000)
425       divd. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
426       divd. ffffffffffffffff, 0000001cbe991def => 0000000000000000 (20000000 00000000)
427       divd. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
428
429      divdu. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
430      divdu. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
431      divdu. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
432      divdu. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
433      divdu. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
434      divdu. 0000001cbe991def, ffffffffffffffff => 0000000000000000 (20000000 00000000)
435      divdu. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
436      divdu. ffffffffffffffff, 0000001cbe991def => 0000000008e7f283 (40000000 00000000)
437      divdu. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
438
439      divdo. 0000000000000000, 0000000000000000 => 0000000000000000 (30000000 c0000000)
440      divdo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
441      divdo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
442      divdo. 0000001cbe991def, 0000000000000000 => 0000000000000000 (30000000 c0000000)
443      divdo. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
444      divdo. 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (80000000 00000000)
445      divdo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (30000000 c0000000)
446      divdo. ffffffffffffffff, 0000001cbe991def => 0000000000000000 (20000000 00000000)
447      divdo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
448
449     divduo. 0000000000000000, 0000000000000000 => 0000000000000000 (30000000 c0000000)
450     divduo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
451     divduo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
452     divduo. 0000001cbe991def, 0000000000000000 => 0000000000000000 (30000000 c0000000)
453     divduo. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
454     divduo. 0000001cbe991def, ffffffffffffffff => 0000000000000000 (20000000 00000000)
455     divduo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (30000000 c0000000)
456     divduo. ffffffffffffffff, 0000001cbe991def => 0000000008e7f283 (40000000 00000000)
457     divduo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
458
459PPC integer arith insns with two args and carry:
460        adde 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
461        adde 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
462        adde 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
463        adde 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
464        adde 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
465        adde 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 20000000)
466        adde ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
467        adde ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
468        adde ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 20000000)
469        adde 0000000000000000, 0000000000000000 => 0000000000000001 (00000000 00000000)
470        adde 0000000000000000, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
471        adde 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 20000000)
472        adde 0000001cbe991def, 0000000000000000 => 0000001cbe991df0 (00000000 00000000)
473        adde 0000001cbe991def, 0000001cbe991def => 000000397d323bdf (00000000 00000000)
474        adde 0000001cbe991def, ffffffffffffffff => 0000001cbe991def (00000000 20000000)
475        adde ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 20000000)
476        adde ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
477        adde ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (00000000 20000000)
478
479       addeo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
480       addeo 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
481       addeo 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
482       addeo 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
483       addeo 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
484       addeo 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 20000000)
485       addeo ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
486       addeo ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
487       addeo ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 20000000)
488       addeo 0000000000000000, 0000000000000000 => 0000000000000001 (00000000 00000000)
489       addeo 0000000000000000, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
490       addeo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 20000000)
491       addeo 0000001cbe991def, 0000000000000000 => 0000001cbe991df0 (00000000 00000000)
492       addeo 0000001cbe991def, 0000001cbe991def => 000000397d323bdf (00000000 00000000)
493       addeo 0000001cbe991def, ffffffffffffffff => 0000001cbe991def (00000000 20000000)
494       addeo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 20000000)
495       addeo ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
496       addeo ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (00000000 20000000)
497
498       subfe 0000000000000000, 0000000000000000 => ffffffffffffffff (00000000 00000000)
499       subfe 0000000000000000, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
500       subfe 0000000000000000, ffffffffffffffff => fffffffffffffffe (00000000 20000000)
501       subfe 0000001cbe991def, 0000000000000000 => ffffffe34166e210 (00000000 00000000)
502       subfe 0000001cbe991def, 0000001cbe991def => ffffffffffffffff (00000000 00000000)
503       subfe 0000001cbe991def, ffffffffffffffff => ffffffe34166e20f (00000000 20000000)
504       subfe ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
505       subfe ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
506       subfe ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
507       subfe 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 20000000)
508       subfe 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
509       subfe 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 20000000)
510       subfe 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
511       subfe 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 20000000)
512       subfe 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 20000000)
513       subfe ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
514       subfe ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
515       subfe ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 20000000)
516
517      subfeo 0000000000000000, 0000000000000000 => ffffffffffffffff (00000000 00000000)
518      subfeo 0000000000000000, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
519      subfeo 0000000000000000, ffffffffffffffff => fffffffffffffffe (00000000 20000000)
520      subfeo 0000001cbe991def, 0000000000000000 => ffffffe34166e210 (00000000 00000000)
521      subfeo 0000001cbe991def, 0000001cbe991def => ffffffffffffffff (00000000 00000000)
522      subfeo 0000001cbe991def, ffffffffffffffff => ffffffe34166e20f (00000000 20000000)
523      subfeo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
524      subfeo ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
525      subfeo ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
526      subfeo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 20000000)
527      subfeo 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
528      subfeo 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 20000000)
529      subfeo 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
530      subfeo 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 20000000)
531      subfeo 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 20000000)
532      subfeo ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
533      subfeo ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
534      subfeo ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 20000000)
535
536PPC integer arith insns with two args and carry with flags update:
537       adde. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
538       adde. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
539       adde. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
540       adde. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
541       adde. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
542       adde. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 20000000)
543       adde. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
544       adde. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
545       adde. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 20000000)
546       adde. 0000000000000000, 0000000000000000 => 0000000000000001 (40000000 00000000)
547       adde. 0000000000000000, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
548       adde. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 20000000)
549       adde. 0000001cbe991def, 0000000000000000 => 0000001cbe991df0 (40000000 00000000)
550       adde. 0000001cbe991def, 0000001cbe991def => 000000397d323bdf (40000000 00000000)
551       adde. 0000001cbe991def, ffffffffffffffff => 0000001cbe991def (40000000 20000000)
552       adde. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 20000000)
553       adde. ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
554       adde. ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (80000000 20000000)
555
556      addeo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
557      addeo. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
558      addeo. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
559      addeo. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
560      addeo. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
561      addeo. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 20000000)
562      addeo. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
563      addeo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
564      addeo. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 20000000)
565      addeo. 0000000000000000, 0000000000000000 => 0000000000000001 (40000000 00000000)
566      addeo. 0000000000000000, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
567      addeo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 20000000)
568      addeo. 0000001cbe991def, 0000000000000000 => 0000001cbe991df0 (40000000 00000000)
569      addeo. 0000001cbe991def, 0000001cbe991def => 000000397d323bdf (40000000 00000000)
570      addeo. 0000001cbe991def, ffffffffffffffff => 0000001cbe991def (40000000 20000000)
571      addeo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 20000000)
572      addeo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
573      addeo. ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (80000000 20000000)
574
575      subfe. 0000000000000000, 0000000000000000 => ffffffffffffffff (80000000 00000000)
576      subfe. 0000000000000000, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
577      subfe. 0000000000000000, ffffffffffffffff => fffffffffffffffe (80000000 20000000)
578      subfe. 0000001cbe991def, 0000000000000000 => ffffffe34166e210 (80000000 00000000)
579      subfe. 0000001cbe991def, 0000001cbe991def => ffffffffffffffff (80000000 00000000)
580      subfe. 0000001cbe991def, ffffffffffffffff => ffffffe34166e20f (80000000 20000000)
581      subfe. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
582      subfe. ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
583      subfe. ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
584      subfe. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 20000000)
585      subfe. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
586      subfe. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 20000000)
587      subfe. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
588      subfe. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 20000000)
589      subfe. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 20000000)
590      subfe. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
591      subfe. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
592      subfe. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 20000000)
593
594     subfeo. 0000000000000000, 0000000000000000 => ffffffffffffffff (80000000 00000000)
595     subfeo. 0000000000000000, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
596     subfeo. 0000000000000000, ffffffffffffffff => fffffffffffffffe (80000000 20000000)
597     subfeo. 0000001cbe991def, 0000000000000000 => ffffffe34166e210 (80000000 00000000)
598     subfeo. 0000001cbe991def, 0000001cbe991def => ffffffffffffffff (80000000 00000000)
599     subfeo. 0000001cbe991def, ffffffffffffffff => ffffffe34166e20f (80000000 20000000)
600     subfeo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
601     subfeo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
602     subfeo. ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
603     subfeo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 20000000)
604     subfeo. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
605     subfeo. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 20000000)
606     subfeo. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
607     subfeo. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 20000000)
608     subfeo. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 20000000)
609     subfeo. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
610     subfeo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
611     subfeo. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 20000000)
612
613PPC integer arith insns
614    with one register + one 16 bits immediate args:
615        addi 0000000000000000, 00000000 => 0000000000000000 (00000000 00000000)
616        addi 0000000000000000, 000003e7 => 00000000000003e7 (00000000 00000000)
617        addi 0000000000000000, 0000ffff => ffffffffffffffff (00000000 00000000)
618        addi 0000001cbe991def, 00000000 => 0000001cbe991def (00000000 00000000)
619        addi 0000001cbe991def, 000003e7 => 0000001cbe9921d6 (00000000 00000000)
620        addi 0000001cbe991def, 0000ffff => 0000001cbe991dee (00000000 00000000)
621        addi ffffffffffffffff, 00000000 => ffffffffffffffff (00000000 00000000)
622        addi ffffffffffffffff, 000003e7 => 00000000000003e6 (00000000 00000000)
623        addi ffffffffffffffff, 0000ffff => fffffffffffffffe (00000000 00000000)
624
625       addic 0000000000000000, 00000000 => 0000000000000000 (00000000 00000000)
626       addic 0000000000000000, 000003e7 => 00000000000003e7 (00000000 00000000)
627       addic 0000000000000000, 0000ffff => ffffffffffffffff (00000000 00000000)
628       addic 0000001cbe991def, 00000000 => 0000001cbe991def (00000000 00000000)
629       addic 0000001cbe991def, 000003e7 => 0000001cbe9921d6 (00000000 00000000)
630       addic 0000001cbe991def, 0000ffff => 0000001cbe991dee (00000000 20000000)
631       addic ffffffffffffffff, 00000000 => ffffffffffffffff (00000000 00000000)
632       addic ffffffffffffffff, 000003e7 => 00000000000003e6 (00000000 20000000)
633       addic ffffffffffffffff, 0000ffff => fffffffffffffffe (00000000 20000000)
634
635       addis 0000000000000000, 00000000 => 0000000000000000 (00000000 00000000)
636       addis 0000000000000000, 000003e7 => 0000000003e70000 (00000000 00000000)
637       addis 0000000000000000, 0000ffff => ffffffffffff0000 (00000000 00000000)
638       addis 0000001cbe991def, 00000000 => 0000001cbe991def (00000000 00000000)
639       addis 0000001cbe991def, 000003e7 => 0000001cc2801def (00000000 00000000)
640       addis 0000001cbe991def, 0000ffff => 0000001cbe981def (00000000 00000000)
641       addis ffffffffffffffff, 00000000 => ffffffffffffffff (00000000 00000000)
642       addis ffffffffffffffff, 000003e7 => 0000000003e6ffff (00000000 00000000)
643       addis ffffffffffffffff, 0000ffff => fffffffffffeffff (00000000 00000000)
644
645       mulli 0000000000000000, 00000000 => 0000000000000000 (00000000 00000000)
646       mulli 0000000000000000, 000003e7 => 0000000000000000 (00000000 00000000)
647       mulli 0000000000000000, 0000ffff => 0000000000000000 (00000000 00000000)
648       mulli 0000001cbe991def, 00000000 => 0000000000000000 (00000000 00000000)
649       mulli 0000001cbe991def, 000003e7 => 0000702bc783cfa9 (00000000 00000000)
650       mulli 0000001cbe991def, 0000ffff => ffffffe34166e211 (00000000 00000000)
651       mulli ffffffffffffffff, 00000000 => 0000000000000000 (00000000 00000000)
652       mulli ffffffffffffffff, 000003e7 => fffffffffffffc19 (00000000 00000000)
653       mulli ffffffffffffffff, 0000ffff => 0000000000000001 (00000000 00000000)
654
655      subfic 0000000000000000, 00000000 => 0000000000000000 (00000000 20000000)
656      subfic 0000000000000000, 000003e7 => 00000000000003e7 (00000000 20000000)
657      subfic 0000000000000000, 0000ffff => ffffffffffffffff (00000000 20000000)
658      subfic 0000001cbe991def, 00000000 => ffffffe34166e211 (00000000 00000000)
659      subfic 0000001cbe991def, 000003e7 => ffffffe34166e5f8 (00000000 00000000)
660      subfic 0000001cbe991def, 0000ffff => ffffffe34166e210 (00000000 20000000)
661      subfic ffffffffffffffff, 00000000 => 0000000000000001 (00000000 00000000)
662      subfic ffffffffffffffff, 000003e7 => 00000000000003e8 (00000000 00000000)
663      subfic ffffffffffffffff, 0000ffff => 0000000000000000 (00000000 20000000)
664
665PPC integer arith insns
666    with one register + one 16 bits immediate args with flags update:
667      addic. 0000000000000000, 00000000 => 0000000000000000 (20000000 00000000)
668      addic. 0000000000000000, 000003e7 => 00000000000003e7 (40000000 00000000)
669      addic. 0000000000000000, 0000ffff => ffffffffffffffff (80000000 00000000)
670      addic. 0000001cbe991def, 00000000 => 0000001cbe991def (40000000 00000000)
671      addic. 0000001cbe991def, 000003e7 => 0000001cbe9921d6 (40000000 00000000)
672      addic. 0000001cbe991def, 0000ffff => 0000001cbe991dee (40000000 20000000)
673      addic. ffffffffffffffff, 00000000 => ffffffffffffffff (80000000 00000000)
674      addic. ffffffffffffffff, 000003e7 => 00000000000003e6 (40000000 20000000)
675      addic. ffffffffffffffff, 0000ffff => fffffffffffffffe (80000000 20000000)
676
677PPC integer arith insns with one arg and carry:
678       addme 0000000000000000 => ffffffffffffffff (00000000 00000000)
679       addme 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
680       addme ffffffffffffffff => fffffffffffffffe (00000000 20000000)
681       addme 0000000000000000 => 0000000000000000 (00000000 20000000)
682       addme 0000001cbe991def => 0000001cbe991def (00000000 20000000)
683       addme ffffffffffffffff => ffffffffffffffff (00000000 20000000)
684
685      addmeo 0000000000000000 => ffffffffffffffff (00000000 00000000)
686      addmeo 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
687      addmeo ffffffffffffffff => fffffffffffffffe (00000000 20000000)
688      addmeo 0000000000000000 => 0000000000000000 (00000000 20000000)
689      addmeo 0000001cbe991def => 0000001cbe991def (00000000 20000000)
690      addmeo ffffffffffffffff => ffffffffffffffff (00000000 20000000)
691
692       addze 0000000000000000 => 0000000000000000 (00000000 00000000)
693       addze 0000001cbe991def => 0000001cbe991def (00000000 00000000)
694       addze ffffffffffffffff => ffffffffffffffff (00000000 00000000)
695       addze 0000000000000000 => 0000000000000001 (00000000 00000000)
696       addze 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
697       addze ffffffffffffffff => 0000000000000000 (00000000 20000000)
698
699      addzeo 0000000000000000 => 0000000000000000 (00000000 00000000)
700      addzeo 0000001cbe991def => 0000001cbe991def (00000000 00000000)
701      addzeo ffffffffffffffff => ffffffffffffffff (00000000 00000000)
702      addzeo 0000000000000000 => 0000000000000001 (00000000 00000000)
703      addzeo 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
704      addzeo ffffffffffffffff => 0000000000000000 (00000000 20000000)
705
706      subfme 0000000000000000 => fffffffffffffffe (00000000 20000000)
707      subfme 0000001cbe991def => ffffffe34166e20f (00000000 20000000)
708      subfme ffffffffffffffff => ffffffffffffffff (00000000 00000000)
709      subfme 0000000000000000 => ffffffffffffffff (00000000 20000000)
710      subfme 0000001cbe991def => ffffffe34166e210 (00000000 20000000)
711      subfme ffffffffffffffff => 0000000000000000 (00000000 20000000)
712
713     subfmeo 0000000000000000 => fffffffffffffffe (00000000 20000000)
714     subfmeo 0000001cbe991def => ffffffe34166e20f (00000000 20000000)
715     subfmeo ffffffffffffffff => ffffffffffffffff (00000000 00000000)
716     subfmeo 0000000000000000 => ffffffffffffffff (00000000 20000000)
717     subfmeo 0000001cbe991def => ffffffe34166e210 (00000000 20000000)
718     subfmeo ffffffffffffffff => 0000000000000000 (00000000 20000000)
719
720      subfze 0000000000000000 => ffffffffffffffff (00000000 00000000)
721      subfze 0000001cbe991def => ffffffe34166e210 (00000000 00000000)
722      subfze ffffffffffffffff => 0000000000000000 (00000000 00000000)
723      subfze 0000000000000000 => 0000000000000000 (00000000 20000000)
724      subfze 0000001cbe991def => ffffffe34166e211 (00000000 00000000)
725      subfze ffffffffffffffff => 0000000000000001 (00000000 00000000)
726
727     subfzeo 0000000000000000 => ffffffffffffffff (00000000 00000000)
728     subfzeo 0000001cbe991def => ffffffe34166e210 (00000000 00000000)
729     subfzeo ffffffffffffffff => 0000000000000000 (00000000 00000000)
730     subfzeo 0000000000000000 => 0000000000000000 (00000000 20000000)
731     subfzeo 0000001cbe991def => ffffffe34166e211 (00000000 00000000)
732     subfzeo ffffffffffffffff => 0000000000000001 (00000000 00000000)
733
734PPC integer arith insns with one arg and carry with flags update:
735      addme. 0000000000000000 => ffffffffffffffff (80000000 00000000)
736      addme. 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
737      addme. ffffffffffffffff => fffffffffffffffe (80000000 20000000)
738      addme. 0000000000000000 => 0000000000000000 (20000000 20000000)
739      addme. 0000001cbe991def => 0000001cbe991def (40000000 20000000)
740      addme. ffffffffffffffff => ffffffffffffffff (80000000 20000000)
741
742     addmeo. 0000000000000000 => ffffffffffffffff (80000000 00000000)
743     addmeo. 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
744     addmeo. ffffffffffffffff => fffffffffffffffe (80000000 20000000)
745     addmeo. 0000000000000000 => 0000000000000000 (20000000 20000000)
746     addmeo. 0000001cbe991def => 0000001cbe991def (40000000 20000000)
747     addmeo. ffffffffffffffff => ffffffffffffffff (80000000 20000000)
748
749      addze. 0000000000000000 => 0000000000000000 (20000000 00000000)
750      addze. 0000001cbe991def => 0000001cbe991def (40000000 00000000)
751      addze. ffffffffffffffff => ffffffffffffffff (80000000 00000000)
752      addze. 0000000000000000 => 0000000000000001 (40000000 00000000)
753      addze. 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
754      addze. ffffffffffffffff => 0000000000000000 (20000000 20000000)
755
756     addzeo. 0000000000000000 => 0000000000000000 (20000000 00000000)
757     addzeo. 0000001cbe991def => 0000001cbe991def (40000000 00000000)
758     addzeo. ffffffffffffffff => ffffffffffffffff (80000000 00000000)
759     addzeo. 0000000000000000 => 0000000000000001 (40000000 00000000)
760     addzeo. 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
761     addzeo. ffffffffffffffff => 0000000000000000 (20000000 20000000)
762
763     subfme. 0000000000000000 => fffffffffffffffe (80000000 20000000)
764     subfme. 0000001cbe991def => ffffffe34166e20f (80000000 20000000)
765     subfme. ffffffffffffffff => ffffffffffffffff (80000000 00000000)
766     subfme. 0000000000000000 => ffffffffffffffff (80000000 20000000)
767     subfme. 0000001cbe991def => ffffffe34166e210 (80000000 20000000)
768     subfme. ffffffffffffffff => 0000000000000000 (20000000 20000000)
769
770    subfmeo. 0000000000000000 => fffffffffffffffe (80000000 20000000)
771    subfmeo. 0000001cbe991def => ffffffe34166e20f (80000000 20000000)
772    subfmeo. ffffffffffffffff => ffffffffffffffff (80000000 00000000)
773    subfmeo. 0000000000000000 => ffffffffffffffff (80000000 20000000)
774    subfmeo. 0000001cbe991def => ffffffe34166e210 (80000000 20000000)
775    subfmeo. ffffffffffffffff => 0000000000000000 (20000000 20000000)
776
777     subfze. 0000000000000000 => ffffffffffffffff (80000000 00000000)
778     subfze. 0000001cbe991def => ffffffe34166e210 (80000000 00000000)
779     subfze. ffffffffffffffff => 0000000000000000 (20000000 00000000)
780     subfze. 0000000000000000 => 0000000000000000 (20000000 20000000)
781     subfze. 0000001cbe991def => ffffffe34166e211 (80000000 00000000)
782     subfze. ffffffffffffffff => 0000000000000001 (40000000 00000000)
783
784    subfzeo. 0000000000000000 => ffffffffffffffff (80000000 00000000)
785    subfzeo. 0000001cbe991def => ffffffe34166e210 (80000000 00000000)
786    subfzeo. ffffffffffffffff => 0000000000000000 (20000000 00000000)
787    subfzeo. 0000000000000000 => 0000000000000000 (20000000 20000000)
788    subfzeo. 0000001cbe991def => ffffffe34166e211 (80000000 00000000)
789    subfzeo. ffffffffffffffff => 0000000000000001 (40000000 00000000)
790
791PPC integer population count with one register args, no flags:
792        popcntb 0000000000000000 => 0000000000000000 (00000000 00000000)
793        popcntb 0000001cbe991def => 0000000306040407 (00000000 00000000)
794        popcntb ffffffffffffffff => 0808080808080808 (00000000 00000000)
795
796All done. Tested 79 different instructions
797