1	.text
2power9:
3	cnttzd      3,13
4	cnttzd.     4,14
5	cnttzw      5,15
6	cnttzw.     6,16
7	modsd       10,20,21
8	modsw       11,21,22
9	modud       12,22,23
10	moduw       13,23,24
11	bcdcfn.     3,4,0
12	bcdcfn.     3,4,1
13	bcdcfsq.    4,5,0
14	bcdcfsq.    4,5,1
15	bcdcfz.     5,6,0
16	bcdcfz.     5,6,1
17	bcdcpsgn.   6,7,8
18	bcdctn.     7,8
19	bcdctsq.    8,9
20	bcdctz.     9,10,0
21	bcdctz.     9,10,1
22	bcdsetsgn.  10,11,0
23	bcdsetsgn.  10,11,1
24	bcdsr.      11,12,13,0
25	bcdsr.      11,12,13,1
26	bcds.       12,13,14,0
27	bcds.       12,13,14,1
28	bcdtrunc.   13,14,15,0
29	bcdtrunc.   13,14,15,1
30	bcdus.      14,15,16
31	bcdutrunc.  15,16,17
32	lxvll       20,0,21
33	lxvll       20,10,21
34	stxvll      21,0,11
35	stxvll      21,10,11
36	vmul10cuq   22,23
37	vmul10ecuq  23,24,25
38	vmul10euq   24,25,26
39	vmul10uq    25,26
40	xsaddqp     10,11,12
41	xsaddqpo    11,12,12
42	xsrqpi      0,20,30,0
43	xsrqpi      1,20,30,0
44	xsrqpi      0,20,30,3
45	xsrqpi      1,20,30,3
46	xsrqpix     0,21,31,0
47	xsrqpix     1,21,31,0
48	xsrqpix     0,21,31,3
49	xsrqpix     1,21,31,3
50	xsmulqp     12,13,14
51	xsmulqpo    13,14,15
52	xsrqpxp     0,22,23,0
53	xsrqpxp     1,22,23,0
54	xsrqpxp     0,22,23,3
55	xsrqpxp     1,22,23,3
56	xscpsgnqp   14,15,16
57	xscmpoqp    0,15,16
58	xscmpoqp    7,15,16
59	xscmpexpqp  0,16,17
60	xscmpexpqp  7,16,17
61	xsmaddqp    17,18,19
62	xsmaddqpo   18,19,20
63	xsmsubqp    19,20,21
64	xsmsubqpo   20,21,22
65	xsnmaddqp   21,22,23
66	xsnmaddqpo  22,23,24
67	xsnmsubqp   23,24,25
68	xsnmsubqpo  24,25,26
69	xssubqp     25,26,27
70	xssubqpo    26,27,28
71	xsdivqp     27,28,29
72	xsdivqpo    28,29,30
73	xscmpuqp    0,29,30
74	xscmpuqp    7,29,30
75	xststdcqp   0,30,0
76	xststdcqp   7,30,0
77	xststdcqp   0,31,0x7f
78	xststdcqp   7,31,0x7f
79	xsabsqp     10,11
80	xsxexpqp    11,12
81	xsnabsqp    12,13
82	xsnegqp     13,14
83	xsxsigqp    14,15
84	xssqrtqp    15,16
85	xssqrtqpo   16,17
86	xscvqpuwz   17,18
87	xscvudqp    18,19
88	xscvqpswz   19,20
89	xscvsdqp    20,21
90	xscvqpudz   21,22
91	xscvqpdp    22,23
92	xscvqpdpo   23,24
93	xscvdpqp    24,25
94	xscvqpsdz   25,26
95	xsiexpqp    26,27,28
96	vpermr      4,5,6,7
97	vextractub  5,6,0
98	vextractub  5,6,0xf
99	vextractuh  6,7,0
100	vextractuh  6,7,0xf
101	vextractuw  7,8,0
102	vextractuw  7,8,0xf
103	vextractd   8,9,0
104	vextractd   8,9,0xf
105	vinsertb    9,10,0
106	vinsertb    9,10,0xf
107	vinserth    10,11,0
108	vinserth    10,11,0xf
109	vinsertw    11,12,0
110	vinsertw    11,12,0xf
111	vinsertd    12,13,0
112	vinsertd    12,13,0xf
113	mfvsrld     20,45
114	mtvsrws     46,21
115	mtvsrdd     47,0,23
116	mtvsrdd     47,22,23
117	lxvx        50,0,11
118	lxvx        0,10,11
119	lxvwsx      51,0,12
120	lxvwsx      1,10,12
121	lxvh8x      52,0,13
122	lxvh8x      2,10,13
123	lxvb16x     53,0,14
124	lxvb16x     3,10,14
125	stxvx       54,0,15
126	stxvx       4,20,15
127	stxvh8x     55,0,16
128	stxvh8x     5,20,16
129	stxvb16x    56,0,17
130	stxvb16x    6,20,17
131	xxextractuw 4,5,0x0
132	xxextractuw 40,50,0xf
133	xxspltib    4,0x0
134	xxspltib    4,-128
135	xxspltib    41,255
136	xxspltib    41,-1
137	xxinsertw   5,6,0
138	xxinsertw   50,60,0xf
139	xxbrh       6,7
140	xxbrh       56,57
141	xxbrw       7,8
142	xxbrw       57,58
143	xxbrd       8,9
144	xxbrd       58,59
145	xxbrq       9,10
146	xxbrq       59,60
147	lxsd        20,0(0)
148	lxsd        20,0(10)
149	lxsd        20,8(0)
150	lxsd        20,8(10)
151	lxsd        20,-8(0)
152	lxsd        20,-8(10)
153	lxsd        20,32764(0)
154	lxsd        20,32764(10)
155	lxsd        20,-32768(0)
156	lxsd        20,-32768(10)
157	lxssp       30,0(0)
158	lxssp       30,0(11)
159	lxssp       30,8(0)
160	lxssp       30,8(11)
161	lxssp       30,-8(0)
162	lxssp       30,-8(11)
163	lxssp       30,32764(0)
164	lxssp       30,32764(11)
165	lxssp       30,-32768(0)
166	lxssp       30,-32768(11)
167	lxv         40,0(0)
168	lxv         40,0(12)
169	lxv         40,16(0)
170	lxv         40,16(12)
171	lxv         40,-16(0)
172	lxv         10,-16(12)
173	lxv         10,32752(0)
174	lxv         10,32752(12)
175	lxv         10,-32768(0)
176	lxv         10,-32768(12)
177	stxsd       21,0(0)
178	stxsd       21,0(10)
179	stxsd       21,8(0)
180	stxsd       21,8(10)
181	stxsd       21,-8(0)
182	stxsd       21,-8(10)
183	stxsd       21,32764(0)
184	stxsd       21,32764(10)
185	stxsd       21,-32768(0)
186	stxsd       21,-32768(10)
187	stxssp      31,0(0)
188	stxssp      31,0(11)
189	stxssp      31,8(0)
190	stxssp      31,8(11)
191	stxssp      31,-8(0)
192	stxssp      31,-8(11)
193	stxssp      31,32764(0)
194	stxssp      31,32764(11)
195	stxssp      31,-32768(0)
196	stxssp      31,-32768(11)
197	stxv        41,0(0)
198	stxv        41,0(12)
199	stxv        41,16(0)
200	stxv        41,16(12)
201	stxv        41,-16(0)
202	stxv        11,-16(12)
203	stxv        11,32752(0)
204	stxv        11,32752(12)
205	stxv        11,-32768(0)
206	stxv        11,-32768(12)
207	xxperm      20,22,24
208	xxperm      40,42,44
209	xxpermr     21,23,25
210	xxpermr     41,43,45
211	extswsli    12,20,0
212	extswsli    12,20,1
213	extswsli    12,20,63
214	extswsli.   13,21,0
215	extswsli.   13,21,1
216	extswsli.   13,21,63
217	vrlwmi      14,22,23
218	vrldmi      15,23,24
219	vrlwnm      16,24,25
220	vrldnm      17,25,26
221	vbpermd     18,26,27
222	vnegw       19,20
223	vnegd       20,21
224	vprtybw     21,22
225	vprtybd     22,23
226	vprtybq     23,24
227	vextsb2w    24,25
228	vextsh2w    25,26
229	vextsb2d    26,27
230	vextsh2d    27,28
231	vextsw2d    28,29
232	vctzb       29,30
233	vctzh       30,31
234	vctzw       31,30
235	vctzd       30,29
236	lxsibzx     10,0,20
237	lxsibzx     50,10,20
238	lxsihzx     11,0,21
239	lxsihzx     51,11,21
240	stxsibx     12,0,22
241	stxsibx     52,12,22
242	stxsihx     13,0,23
243	stxsihx     53,13,23
244	maddhd      10,11,12,13
245	maddhdu     20,21,22,23
246	maddld      2,3,4,5
247	xscmpexpdp  0,10,20
248	xscmpexpdp  7,40,50
249	xsiexpdp    41,11,21
250	xststdcdp   0,11,0x7f
251	xststdcdp   7,41,0x7f
252	xststdcsp   0,11,0x7f
253	xststdcsp   7,41,0x7f
254	xsxexpdp    13,43
255	xsxsigdp    14,44
256	xviexpdp    45,46,47
257	xviexpsp    46,47,48
258	xvtstdcdp   54,55,0
259	xvtstdcdp   54,55,0x7f
260	xvtstdcsp   55,56,0
261	xvtstdcsp   55,56,0x7f
262	xvxexpdp    57,58
263	xvxexpsp    58,59
264	xvxsigdp    59,60
265	xvxsigsp    60,61
266	cmpeqb      0,6,7
267	cmpeqb      7,6,7
268	cmprb       0,0,8,9
269	cmprb       7,0,8,9
270	cmprb       0,1,8,9
271	cmprb       7,1,8,9
272	setb        15,0
273	setb        15,7
274	lxvl        26,0,10
275	lxvl        56,20,10
276	stxvl       27,0,11
277	stxvl       57,21,11
278	vclzlsbb    20,30
279	vctzlsbb    21,31
280	vcmpneb     10,11,12
281	vcmpneb.    20,21,22
282	vcmpneh     11,12,13
283	vcmpneh.    21,22,23
284	vcmpnew     12,13,14
285	vcmpnew.    22,23,24
286	vcmpnezb    13,14,15
287	vcmpnezb.   23,24,25
288	vcmpnezh    14,15,16
289	vcmpnezh.   24,25,26
290	vcmpnezw    15,16,17
291	vcmpnezw.   25,26,27
292	vextublx    16,17,10
293	vextubrx    17,18,11
294	vextuhlx    18,19,12
295	vextuhrx    19,20,13
296	vextuwlx    20,21,14
297	vextuwrx    21,22,15
298	dtstsfi     0,0,3
299	dtstsfi     7,0x3f,3
300	dtstsfiq    0,0,4
301	dtstsfiq    7,0x3f,4
302	xscvhpdp    40,50
303	xscvdphp    41,51
304	xvcvhpsp    42,52
305	xvcvsphp    43,53
306	lnia        3
307	addpcis     3,0
308	subpcis     3,0
309	addpcis     4,1
310	subpcis     4,-1
311	addpcis     5,-2
312	subpcis     5,2
313	addpcis     6,0x7fff
314	subpcis     6,-0x7fff
315	addpcis     7,-0x8000
316	subpcis     7,0x8000
317	slbsync
318	slbiag      10
319	slbieg      10,11
320	slbmfee     3,4
321	slbmfee     3,4,0
322	slbmfee     3,4,1
323	slbmfev     4,5
324	slbmfev     4,5,0
325	slbmfev     4,5,1
326	tlbie       3,4
327	tlbie       3,4,0,0,0
328	tlbie       3,4,3,1,1
329	tlbiel      3
330	tlbiel      3,0,0,0,0
331	tlbiel      3,4,3,1,1
332	copy        12,13
333	paste.      10,11
334	cpabort
335	hwsync
336	sync
337	sync        0
338	lwsync
339	sync        1
340	ptesync
341	sync        2
342	ldat        20,0,0x0
343	ldat        20,10,0x1c
344	lwat        21,0,0x0
345	lwat        21,11,0x1c
346	stdat       22,0,0x0
347	stdat       22,12,0x1c
348	stwat       23,0,0x0
349	stwat       23,13,0x1c
350	urfid
351	rmieg       30
352	stop
353	wait
354	wait        0
355	darn        3,0
356	darn        3,1
357	darn        3,2
358	mcrxrx      0
359	mcrxrx      7
360	vslv        20,21,22
361	vsrv        23,24,25
362	msgsync
363	xscmpeqdp   30,40,50
364	xscmpgtdp   31,41,51
365	xscmpgedp   32,42,52
366	xsmincdp    34,44,54
367	xsmaxcdp    35,45,55
368	xsminjdp    36,46,56
369	xsmaxjdp    37,47,57
370	vmsumudm    20,21,22,23
371	addex       11,12,13,0
372	addex       11,12,13,1
373	addex       11,12,13,2
374	mffs        25
375	mffs.       25
376	mffsce      26
377	mffscdrn    27,20
378	mffscdrni   28,0
379	mffscdrni   28,7
380	mffscrn     29,21
381	mffscrni    30,0
382	mffscrni    30,3
383	mffsl       31
384	scv         0
385	scv         127
386	rfscv
387	dcbf	    0,3
388	dcbf	    0,3,0
389	dcbfl	    0,4
390	dcbf	    0,4,1
391	dcbflp	    0,5
392	dcbf	    0,5,3
393	ori	    31,31,0
394	exser
395	msgsndu     3
396	msgclru     27
397