• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1# For z196 and above.
2# RUN: llvm-mc -triple s390x-linux-gnu -mcpu=z196 -show-encoding %s | FileCheck %s
3# RUN: llvm-mc -triple s390x-linux-gnu -mcpu=arch9 -show-encoding %s | FileCheck %s
4
5#CHECK: adtra	%f0, %f0, %f0, 0        # encoding: [0xb3,0xd2,0x00,0x00]
6#CHECK: adtra	%f0, %f0, %f0, 15       # encoding: [0xb3,0xd2,0x0f,0x00]
7#CHECK: adtra	%f0, %f0, %f15, 0       # encoding: [0xb3,0xd2,0xf0,0x00]
8#CHECK: adtra	%f0, %f15, %f0, 0       # encoding: [0xb3,0xd2,0x00,0x0f]
9#CHECK: adtra	%f15, %f0, %f0, 0       # encoding: [0xb3,0xd2,0x00,0xf0]
10#CHECK: adtra	%f7, %f8, %f9, 10       # encoding: [0xb3,0xd2,0x9a,0x78]
11
12	adtra	%f0, %f0, %f0, 0
13	adtra	%f0, %f0, %f0, 15
14	adtra	%f0, %f0, %f15, 0
15	adtra	%f0, %f15, %f0, 0
16	adtra	%f15, %f0, %f0, 0
17	adtra	%f7, %f8, %f9, 10
18
19#CHECK: aghik	%r0, %r0, -32768        # encoding: [0xec,0x00,0x80,0x00,0x00,0xd9]
20#CHECK: aghik	%r0, %r0, -1            # encoding: [0xec,0x00,0xff,0xff,0x00,0xd9]
21#CHECK: aghik	%r0, %r0, 0             # encoding: [0xec,0x00,0x00,0x00,0x00,0xd9]
22#CHECK: aghik	%r0, %r0, 1             # encoding: [0xec,0x00,0x00,0x01,0x00,0xd9]
23#CHECK: aghik	%r0, %r0, 32767         # encoding: [0xec,0x00,0x7f,0xff,0x00,0xd9]
24#CHECK: aghik	%r0, %r15, 0            # encoding: [0xec,0x0f,0x00,0x00,0x00,0xd9]
25#CHECK: aghik	%r15, %r0, 0            # encoding: [0xec,0xf0,0x00,0x00,0x00,0xd9]
26#CHECK: aghik	%r7, %r8, -16           # encoding: [0xec,0x78,0xff,0xf0,0x00,0xd9]
27
28	aghik	%r0, %r0, -32768
29	aghik	%r0, %r0, -1
30	aghik	%r0, %r0, 0
31	aghik	%r0, %r0, 1
32	aghik	%r0, %r0, 32767
33	aghik	%r0, %r15, 0
34	aghik	%r15, %r0, 0
35	aghik	%r7, %r8, -16
36
37#CHECK: agrk	%r0, %r0, %r0           # encoding: [0xb9,0xe8,0x00,0x00]
38#CHECK: agrk	%r0, %r0, %r15          # encoding: [0xb9,0xe8,0xf0,0x00]
39#CHECK: agrk	%r0, %r15, %r0          # encoding: [0xb9,0xe8,0x00,0x0f]
40#CHECK: agrk	%r15, %r0, %r0          # encoding: [0xb9,0xe8,0x00,0xf0]
41#CHECK: agrk	%r7, %r8, %r9           # encoding: [0xb9,0xe8,0x90,0x78]
42
43	agrk	%r0,%r0,%r0
44	agrk	%r0,%r0,%r15
45	agrk	%r0,%r15,%r0
46	agrk	%r15,%r0,%r0
47	agrk	%r7,%r8,%r9
48
49#CHECK: ahhhr	%r0, %r0, %r0           # encoding: [0xb9,0xc8,0x00,0x00]
50#CHECK: ahhhr	%r0, %r0, %r15          # encoding: [0xb9,0xc8,0xf0,0x00]
51#CHECK: ahhhr	%r0, %r15, %r0          # encoding: [0xb9,0xc8,0x00,0x0f]
52#CHECK: ahhhr	%r15, %r0, %r0          # encoding: [0xb9,0xc8,0x00,0xf0]
53#CHECK: ahhhr	%r7, %r8, %r9           # encoding: [0xb9,0xc8,0x90,0x78]
54
55	ahhhr	%r0, %r0, %r0
56	ahhhr	%r0, %r0, %r15
57	ahhhr	%r0, %r15, %r0
58	ahhhr	%r15, %r0, %r0
59	ahhhr	%r7, %r8, %r9
60
61#CHECK: ahhlr	%r0, %r0, %r0           # encoding: [0xb9,0xd8,0x00,0x00]
62#CHECK: ahhlr	%r0, %r0, %r15          # encoding: [0xb9,0xd8,0xf0,0x00]
63#CHECK: ahhlr	%r0, %r15, %r0          # encoding: [0xb9,0xd8,0x00,0x0f]
64#CHECK: ahhlr	%r15, %r0, %r0          # encoding: [0xb9,0xd8,0x00,0xf0]
65#CHECK: ahhlr	%r7, %r8, %r9           # encoding: [0xb9,0xd8,0x90,0x78]
66
67	ahhlr	%r0, %r0, %r0
68	ahhlr	%r0, %r0, %r15
69	ahhlr	%r0, %r15, %r0
70	ahhlr	%r15, %r0, %r0
71	ahhlr	%r7, %r8, %r9
72
73#CHECK: ahik	%r0, %r0, -32768        # encoding: [0xec,0x00,0x80,0x00,0x00,0xd8]
74#CHECK: ahik	%r0, %r0, -1            # encoding: [0xec,0x00,0xff,0xff,0x00,0xd8]
75#CHECK: ahik	%r0, %r0, 0             # encoding: [0xec,0x00,0x00,0x00,0x00,0xd8]
76#CHECK: ahik	%r0, %r0, 1             # encoding: [0xec,0x00,0x00,0x01,0x00,0xd8]
77#CHECK: ahik	%r0, %r0, 32767         # encoding: [0xec,0x00,0x7f,0xff,0x00,0xd8]
78#CHECK: ahik	%r0, %r15, 0            # encoding: [0xec,0x0f,0x00,0x00,0x00,0xd8]
79#CHECK: ahik	%r15, %r0, 0            # encoding: [0xec,0xf0,0x00,0x00,0x00,0xd8]
80#CHECK: ahik	%r7, %r8, -16           # encoding: [0xec,0x78,0xff,0xf0,0x00,0xd8]
81
82	ahik	%r0, %r0, -32768
83	ahik	%r0, %r0, -1
84	ahik	%r0, %r0, 0
85	ahik	%r0, %r0, 1
86	ahik	%r0, %r0, 32767
87	ahik	%r0, %r15, 0
88	ahik	%r15, %r0, 0
89	ahik	%r7, %r8, -16
90
91#CHECK: aih	%r0, -2147483648        # encoding: [0xcc,0x08,0x80,0x00,0x00,0x00]
92#CHECK: aih	%r0, -1                 # encoding: [0xcc,0x08,0xff,0xff,0xff,0xff]
93#CHECK: aih	%r0, 0                  # encoding: [0xcc,0x08,0x00,0x00,0x00,0x00]
94#CHECK: aih	%r0, 1                  # encoding: [0xcc,0x08,0x00,0x00,0x00,0x01]
95#CHECK: aih	%r0, 2147483647         # encoding: [0xcc,0x08,0x7f,0xff,0xff,0xff]
96#CHECK: aih	%r15, 0                 # encoding: [0xcc,0xf8,0x00,0x00,0x00,0x00]
97
98	aih	%r0, -1 << 31
99	aih	%r0, -1
100	aih	%r0, 0
101	aih	%r0, 1
102	aih	%r0, (1 << 31) - 1
103	aih	%r15, 0
104
105#CHECK: alghsik	%r0, %r0, -32768        # encoding: [0xec,0x00,0x80,0x00,0x00,0xdb]
106#CHECK: alghsik	%r0, %r0, -1            # encoding: [0xec,0x00,0xff,0xff,0x00,0xdb]
107#CHECK: alghsik	%r0, %r0, 0             # encoding: [0xec,0x00,0x00,0x00,0x00,0xdb]
108#CHECK: alghsik	%r0, %r0, 1             # encoding: [0xec,0x00,0x00,0x01,0x00,0xdb]
109#CHECK: alghsik	%r0, %r0, 32767         # encoding: [0xec,0x00,0x7f,0xff,0x00,0xdb]
110#CHECK: alghsik	%r0, %r15, 0            # encoding: [0xec,0x0f,0x00,0x00,0x00,0xdb]
111#CHECK: alghsik	%r15, %r0, 0            # encoding: [0xec,0xf0,0x00,0x00,0x00,0xdb]
112#CHECK: alghsik	%r7, %r8, -16           # encoding: [0xec,0x78,0xff,0xf0,0x00,0xdb]
113
114	alghsik	%r0, %r0, -32768
115	alghsik	%r0, %r0, -1
116	alghsik	%r0, %r0, 0
117	alghsik	%r0, %r0, 1
118	alghsik	%r0, %r0, 32767
119	alghsik	%r0, %r15, 0
120	alghsik	%r15, %r0, 0
121	alghsik	%r7, %r8, -16
122
123#CHECK: algrk	%r0, %r0, %r0           # encoding: [0xb9,0xea,0x00,0x00]
124#CHECK: algrk	%r0, %r0, %r15          # encoding: [0xb9,0xea,0xf0,0x00]
125#CHECK: algrk	%r0, %r15, %r0          # encoding: [0xb9,0xea,0x00,0x0f]
126#CHECK: algrk	%r15, %r0, %r0          # encoding: [0xb9,0xea,0x00,0xf0]
127#CHECK: algrk	%r7, %r8, %r9           # encoding: [0xb9,0xea,0x90,0x78]
128
129	algrk	%r0,%r0,%r0
130	algrk	%r0,%r0,%r15
131	algrk	%r0,%r15,%r0
132	algrk	%r15,%r0,%r0
133	algrk	%r7,%r8,%r9
134
135#CHECK: alhhhr	%r0, %r0, %r0           # encoding: [0xb9,0xca,0x00,0x00]
136#CHECK: alhhhr	%r0, %r0, %r15          # encoding: [0xb9,0xca,0xf0,0x00]
137#CHECK: alhhhr	%r0, %r15, %r0          # encoding: [0xb9,0xca,0x00,0x0f]
138#CHECK: alhhhr	%r15, %r0, %r0          # encoding: [0xb9,0xca,0x00,0xf0]
139#CHECK: alhhhr	%r7, %r8, %r9           # encoding: [0xb9,0xca,0x90,0x78]
140
141	alhhhr	%r0, %r0, %r0
142	alhhhr	%r0, %r0, %r15
143	alhhhr	%r0, %r15, %r0
144	alhhhr	%r15, %r0, %r0
145	alhhhr	%r7, %r8, %r9
146
147#CHECK: alhhlr	%r0, %r0, %r0           # encoding: [0xb9,0xda,0x00,0x00]
148#CHECK: alhhlr	%r0, %r0, %r15          # encoding: [0xb9,0xda,0xf0,0x00]
149#CHECK: alhhlr	%r0, %r15, %r0          # encoding: [0xb9,0xda,0x00,0x0f]
150#CHECK: alhhlr	%r15, %r0, %r0          # encoding: [0xb9,0xda,0x00,0xf0]
151#CHECK: alhhlr	%r7, %r8, %r9           # encoding: [0xb9,0xda,0x90,0x78]
152
153	alhhlr	%r0, %r0, %r0
154	alhhlr	%r0, %r0, %r15
155	alhhlr	%r0, %r15, %r0
156	alhhlr	%r15, %r0, %r0
157	alhhlr	%r7, %r8, %r9
158
159#CHECK: alhsik	%r0, %r0, -32768        # encoding: [0xec,0x00,0x80,0x00,0x00,0xda]
160#CHECK: alhsik	%r0, %r0, -1            # encoding: [0xec,0x00,0xff,0xff,0x00,0xda]
161#CHECK: alhsik	%r0, %r0, 0             # encoding: [0xec,0x00,0x00,0x00,0x00,0xda]
162#CHECK: alhsik	%r0, %r0, 1             # encoding: [0xec,0x00,0x00,0x01,0x00,0xda]
163#CHECK: alhsik	%r0, %r0, 32767         # encoding: [0xec,0x00,0x7f,0xff,0x00,0xda]
164#CHECK: alhsik	%r0, %r15, 0            # encoding: [0xec,0x0f,0x00,0x00,0x00,0xda]
165#CHECK: alhsik	%r15, %r0, 0            # encoding: [0xec,0xf0,0x00,0x00,0x00,0xda]
166#CHECK: alhsik	%r7, %r8, -16           # encoding: [0xec,0x78,0xff,0xf0,0x00,0xda]
167
168	alhsik	%r0, %r0, -32768
169	alhsik	%r0, %r0, -1
170	alhsik	%r0, %r0, 0
171	alhsik	%r0, %r0, 1
172	alhsik	%r0, %r0, 32767
173	alhsik	%r0, %r15, 0
174	alhsik	%r15, %r0, 0
175	alhsik	%r7, %r8, -16
176
177#CHECK: alrk	%r0, %r0, %r0           # encoding: [0xb9,0xfa,0x00,0x00]
178#CHECK: alrk	%r0, %r0, %r15          # encoding: [0xb9,0xfa,0xf0,0x00]
179#CHECK: alrk	%r0, %r15, %r0          # encoding: [0xb9,0xfa,0x00,0x0f]
180#CHECK: alrk	%r15, %r0, %r0          # encoding: [0xb9,0xfa,0x00,0xf0]
181#CHECK: alrk	%r7, %r8, %r9           # encoding: [0xb9,0xfa,0x90,0x78]
182
183	alrk	%r0,%r0,%r0
184	alrk	%r0,%r0,%r15
185	alrk	%r0,%r15,%r0
186	alrk	%r15,%r0,%r0
187	alrk	%r7,%r8,%r9
188
189#CHECK: alsih	%r0, -2147483648        # encoding: [0xcc,0x0a,0x80,0x00,0x00,0x00]
190#CHECK: alsih	%r0, -1                 # encoding: [0xcc,0x0a,0xff,0xff,0xff,0xff]
191#CHECK: alsih	%r0, 0                  # encoding: [0xcc,0x0a,0x00,0x00,0x00,0x00]
192#CHECK: alsih	%r0, 1                  # encoding: [0xcc,0x0a,0x00,0x00,0x00,0x01]
193#CHECK: alsih	%r0, 2147483647         # encoding: [0xcc,0x0a,0x7f,0xff,0xff,0xff]
194#CHECK: alsih	%r15, 0                 # encoding: [0xcc,0xfa,0x00,0x00,0x00,0x00]
195
196	alsih	%r0, -1 << 31
197	alsih	%r0, -1
198	alsih	%r0, 0
199	alsih	%r0, 1
200	alsih	%r0, (1 << 31) - 1
201	alsih	%r15, 0
202
203#CHECK: alsihn	%r0, -2147483648        # encoding: [0xcc,0x0b,0x80,0x00,0x00,0x00]
204#CHECK: alsihn	%r0, -1                 # encoding: [0xcc,0x0b,0xff,0xff,0xff,0xff]
205#CHECK: alsihn	%r0, 0                  # encoding: [0xcc,0x0b,0x00,0x00,0x00,0x00]
206#CHECK: alsihn	%r0, 1                  # encoding: [0xcc,0x0b,0x00,0x00,0x00,0x01]
207#CHECK: alsihn	%r0, 2147483647         # encoding: [0xcc,0x0b,0x7f,0xff,0xff,0xff]
208#CHECK: alsihn	%r15, 0                 # encoding: [0xcc,0xfb,0x00,0x00,0x00,0x00]
209
210	alsihn	%r0, -1 << 31
211	alsihn	%r0, -1
212	alsihn	%r0, 0
213	alsihn	%r0, 1
214	alsihn	%r0, (1 << 31) - 1
215	alsihn	%r15, 0
216
217#CHECK: ark	%r0, %r0, %r0           # encoding: [0xb9,0xf8,0x00,0x00]
218#CHECK: ark	%r0, %r0, %r15          # encoding: [0xb9,0xf8,0xf0,0x00]
219#CHECK: ark	%r0, %r15, %r0          # encoding: [0xb9,0xf8,0x00,0x0f]
220#CHECK: ark	%r15, %r0, %r0          # encoding: [0xb9,0xf8,0x00,0xf0]
221#CHECK: ark	%r7, %r8, %r9           # encoding: [0xb9,0xf8,0x90,0x78]
222
223	ark	%r0,%r0,%r0
224	ark	%r0,%r0,%r15
225	ark	%r0,%r15,%r0
226	ark	%r15,%r0,%r0
227	ark	%r7,%r8,%r9
228
229#CHECK: axtra	%f0, %f0, %f0, 0        # encoding: [0xb3,0xda,0x00,0x00]
230#CHECK: axtra	%f0, %f0, %f0, 15       # encoding: [0xb3,0xda,0x0f,0x00]
231#CHECK: axtra	%f0, %f0, %f13, 0       # encoding: [0xb3,0xda,0xd0,0x00]
232#CHECK: axtra	%f0, %f13, %f0, 0       # encoding: [0xb3,0xda,0x00,0x0d]
233#CHECK: axtra	%f13, %f0, %f0, 0       # encoding: [0xb3,0xda,0x00,0xd0]
234#CHECK: axtra	%f8, %f8, %f8, 8        # encoding: [0xb3,0xda,0x88,0x88]
235
236	axtra	%f0, %f0, %f0, 0
237	axtra	%f0, %f0, %f0, 15
238	axtra	%f0, %f0, %f13, 0
239	axtra	%f0, %f13, %f0, 0
240	axtra	%f13, %f0, %f0, 0
241	axtra	%f8, %f8, %f8, 8
242
243#CHECK: brcth	%r0, .[[LAB:L.*]]-4294967296 # encoding: [0xcc,0x06,A,A,A,A]
244#CHECK:  fixup A - offset: 2, value: (.[[LAB]]-4294967296)+2, kind: FK_390_PC32DBL
245	brcth	%r0, -0x100000000
246#CHECK: brcth	%r0, .[[LAB:L.*]]-2	# encoding: [0xcc,0x06,A,A,A,A]
247#CHECK:  fixup A - offset: 2, value: (.[[LAB]]-2)+2, kind: FK_390_PC32DBL
248	brcth	%r0, -2
249#CHECK: brcth	%r0, .[[LAB:L.*]]	# encoding: [0xcc,0x06,A,A,A,A]
250#CHECK:  fixup A - offset: 2, value: .[[LAB]]+2, kind: FK_390_PC32DBL
251	brcth	%r0, 0
252#CHECK: brcth	%r0, .[[LAB:L.*]]+4294967294 # encoding: [0xcc,0x06,A,A,A,A]
253#CHECK:  fixup A - offset: 2, value: (.[[LAB]]+4294967294)+2, kind: FK_390_PC32DBL
254	brcth	%r0, 0xfffffffe
255
256#CHECK: brcth	%r0, foo                # encoding: [0xcc,0x06,A,A,A,A]
257# fixup A - offset: 2, value: foo+2, kind: FK_390_PC32DBL
258#CHECK: brcth	%r15, foo               # encoding: [0xcc,0xf6,A,A,A,A]
259# fixup A - offset: 2, value: foo+2, kind: FK_390_PC32DBL
260
261	brcth	%r0,foo
262	brcth	%r15,foo
263
264#CHECK: brcth	%r3, bar+100            # encoding: [0xcc,0x36,A,A,A,A]
265# fixup A - offset: 2, value: (bar+100)+2, kind: FK_390_PC32DBL
266#CHECK: brcth	%r4, bar+100            # encoding: [0xcc,0x46,A,A,A,A]
267# fixup A - offset: 2, value: (bar+100)+2, kind: FK_390_PC32DBL
268
269	brcth	%r3,bar+100
270	brcth	%r4,bar+100
271
272#CHECK: brcth	%r7, frob@PLT           # encoding: [0xcc,0x76,A,A,A,A]
273# fixup A - offset: 2, value: frob@PLT+2, kind: FK_390_PC32DBL
274#CHECK: brcth	%r8, frob@PLT           # encoding: [0xcc,0x86,A,A,A,A]
275# fixup A - offset: 2, value: frob@PLT+2, kind: FK_390_PC32DBL
276
277	brcth	%r7,frob@PLT
278	brcth	%r8,frob@PLT
279
280#CHECK: cdfbra	%f0, 0, %r0, 0          # encoding: [0xb3,0x95,0x00,0x00]
281#CHECK: cdfbra	%f0, 0, %r0, 15         # encoding: [0xb3,0x95,0x0f,0x00]
282#CHECK: cdfbra	%f0, 0, %r15, 0         # encoding: [0xb3,0x95,0x00,0x0f]
283#CHECK: cdfbra	%f0, 15, %r0, 0         # encoding: [0xb3,0x95,0xf0,0x00]
284#CHECK: cdfbra	%f4, 5, %r6, 7          # encoding: [0xb3,0x95,0x57,0x46]
285#CHECK: cdfbra	%f15, 0, %r0, 0         # encoding: [0xb3,0x95,0x00,0xf0]
286
287	cdfbra	%f0, 0, %r0, 0
288	cdfbra	%f0, 0, %r0, 15
289	cdfbra	%f0, 0, %r15, 0
290	cdfbra	%f0, 15, %r0, 0
291	cdfbra	%f4, 5, %r6, 7
292	cdfbra	%f15, 0, %r0, 0
293
294#CHECK: cdftr	%f0, 0, %r0, 0          # encoding: [0xb9,0x51,0x00,0x00]
295#CHECK: cdftr	%f0, 0, %r0, 15         # encoding: [0xb9,0x51,0x0f,0x00]
296#CHECK: cdftr	%f0, 0, %r15, 0         # encoding: [0xb9,0x51,0x00,0x0f]
297#CHECK: cdftr	%f0, 15, %r0, 0         # encoding: [0xb9,0x51,0xf0,0x00]
298#CHECK: cdftr	%f4, 5, %r6, 7          # encoding: [0xb9,0x51,0x57,0x46]
299#CHECK: cdftr	%f15, 0, %r0, 0         # encoding: [0xb9,0x51,0x00,0xf0]
300
301	cdftr	%f0, 0, %r0, 0
302	cdftr	%f0, 0, %r0, 15
303	cdftr	%f0, 0, %r15, 0
304	cdftr	%f0, 15, %r0, 0
305	cdftr	%f4, 5, %r6, 7
306	cdftr	%f15, 0, %r0, 0
307
308#CHECK: cdgbra	%f0, 0, %r0, 0          # encoding: [0xb3,0xa5,0x00,0x00]
309#CHECK: cdgbra	%f0, 0, %r0, 15         # encoding: [0xb3,0xa5,0x0f,0x00]
310#CHECK: cdgbra	%f0, 0, %r15, 0         # encoding: [0xb3,0xa5,0x00,0x0f]
311#CHECK: cdgbra	%f0, 15, %r0, 0         # encoding: [0xb3,0xa5,0xf0,0x00]
312#CHECK: cdgbra	%f4, 5, %r6, 7          # encoding: [0xb3,0xa5,0x57,0x46]
313#CHECK: cdgbra	%f15, 0, %r0, 0         # encoding: [0xb3,0xa5,0x00,0xf0]
314
315	cdgbra	%f0, 0, %r0, 0
316	cdgbra	%f0, 0, %r0, 15
317	cdgbra	%f0, 0, %r15, 0
318	cdgbra	%f0, 15, %r0, 0
319	cdgbra	%f4, 5, %r6, 7
320	cdgbra	%f15, 0, %r0, 0
321
322#CHECK: cdgtra	%f0, 0, %r0, 0          # encoding: [0xb3,0xf1,0x00,0x00]
323#CHECK: cdgtra	%f0, 0, %r0, 15         # encoding: [0xb3,0xf1,0x0f,0x00]
324#CHECK: cdgtra	%f0, 0, %r15, 0         # encoding: [0xb3,0xf1,0x00,0x0f]
325#CHECK: cdgtra	%f0, 15, %r0, 0         # encoding: [0xb3,0xf1,0xf0,0x00]
326#CHECK: cdgtra	%f4, 5, %r6, 7          # encoding: [0xb3,0xf1,0x57,0x46]
327#CHECK: cdgtra	%f15, 0, %r0, 0         # encoding: [0xb3,0xf1,0x00,0xf0]
328
329	cdgtra	%f0, 0, %r0, 0
330	cdgtra	%f0, 0, %r0, 15
331	cdgtra	%f0, 0, %r15, 0
332	cdgtra	%f0, 15, %r0, 0
333	cdgtra	%f4, 5, %r6, 7
334	cdgtra	%f15, 0, %r0, 0
335
336#CHECK: cdlfbr	%f0, 0, %r0, 0          # encoding: [0xb3,0x91,0x00,0x00]
337#CHECK: cdlfbr	%f0, 0, %r0, 15         # encoding: [0xb3,0x91,0x0f,0x00]
338#CHECK: cdlfbr	%f0, 0, %r15, 0         # encoding: [0xb3,0x91,0x00,0x0f]
339#CHECK: cdlfbr	%f0, 15, %r0, 0         # encoding: [0xb3,0x91,0xf0,0x00]
340#CHECK: cdlfbr	%f4, 5, %r6, 7          # encoding: [0xb3,0x91,0x57,0x46]
341#CHECK: cdlfbr	%f15, 0, %r0, 0         # encoding: [0xb3,0x91,0x00,0xf0]
342
343	cdlfbr	%f0, 0, %r0, 0
344	cdlfbr	%f0, 0, %r0, 15
345	cdlfbr	%f0, 0, %r15, 0
346	cdlfbr	%f0, 15, %r0, 0
347	cdlfbr	%f4, 5, %r6, 7
348	cdlfbr	%f15, 0, %r0, 0
349
350#CHECK: cdlftr	%f0, 0, %r0, 0          # encoding: [0xb9,0x53,0x00,0x00]
351#CHECK: cdlftr	%f0, 0, %r0, 15         # encoding: [0xb9,0x53,0x0f,0x00]
352#CHECK: cdlftr	%f0, 0, %r15, 0         # encoding: [0xb9,0x53,0x00,0x0f]
353#CHECK: cdlftr	%f0, 15, %r0, 0         # encoding: [0xb9,0x53,0xf0,0x00]
354#CHECK: cdlftr	%f4, 5, %r6, 7          # encoding: [0xb9,0x53,0x57,0x46]
355#CHECK: cdlftr	%f15, 0, %r0, 0         # encoding: [0xb9,0x53,0x00,0xf0]
356
357	cdlftr	%f0, 0, %r0, 0
358	cdlftr	%f0, 0, %r0, 15
359	cdlftr	%f0, 0, %r15, 0
360	cdlftr	%f0, 15, %r0, 0
361	cdlftr	%f4, 5, %r6, 7
362	cdlftr	%f15, 0, %r0, 0
363
364#CHECK: cdlgbr	%f0, 0, %r0, 0          # encoding: [0xb3,0xa1,0x00,0x00]
365#CHECK: cdlgbr	%f0, 0, %r0, 15         # encoding: [0xb3,0xa1,0x0f,0x00]
366#CHECK: cdlgbr	%f0, 0, %r15, 0         # encoding: [0xb3,0xa1,0x00,0x0f]
367#CHECK: cdlgbr	%f0, 15, %r0, 0         # encoding: [0xb3,0xa1,0xf0,0x00]
368#CHECK: cdlgbr	%f4, 5, %r6, 7          # encoding: [0xb3,0xa1,0x57,0x46]
369#CHECK: cdlgbr	%f15, 0, %r0, 0         # encoding: [0xb3,0xa1,0x00,0xf0]
370
371	cdlgbr	%f0, 0, %r0, 0
372	cdlgbr	%f0, 0, %r0, 15
373	cdlgbr	%f0, 0, %r15, 0
374	cdlgbr	%f0, 15, %r0, 0
375	cdlgbr	%f4, 5, %r6, 7
376	cdlgbr	%f15, 0, %r0, 0
377
378#CHECK: cdlgtr	%f0, 0, %r0, 0          # encoding: [0xb9,0x52,0x00,0x00]
379#CHECK: cdlgtr	%f0, 0, %r0, 15         # encoding: [0xb9,0x52,0x0f,0x00]
380#CHECK: cdlgtr	%f0, 0, %r15, 0         # encoding: [0xb9,0x52,0x00,0x0f]
381#CHECK: cdlgtr	%f0, 15, %r0, 0         # encoding: [0xb9,0x52,0xf0,0x00]
382#CHECK: cdlgtr	%f4, 5, %r6, 7          # encoding: [0xb9,0x52,0x57,0x46]
383#CHECK: cdlgtr	%f15, 0, %r0, 0         # encoding: [0xb9,0x52,0x00,0xf0]
384
385	cdlgtr	%f0, 0, %r0, 0
386	cdlgtr	%f0, 0, %r0, 15
387	cdlgtr	%f0, 0, %r15, 0
388	cdlgtr	%f0, 15, %r0, 0
389	cdlgtr	%f4, 5, %r6, 7
390	cdlgtr	%f15, 0, %r0, 0
391
392#CHECK: cefbra	%f0, 0, %r0, 0          # encoding: [0xb3,0x94,0x00,0x00]
393#CHECK: cefbra	%f0, 0, %r0, 15         # encoding: [0xb3,0x94,0x0f,0x00]
394#CHECK: cefbra	%f0, 0, %r15, 0         # encoding: [0xb3,0x94,0x00,0x0f]
395#CHECK: cefbra	%f0, 15, %r0, 0         # encoding: [0xb3,0x94,0xf0,0x00]
396#CHECK: cefbra	%f4, 5, %r6, 7          # encoding: [0xb3,0x94,0x57,0x46]
397#CHECK: cefbra	%f15, 0, %r0, 0         # encoding: [0xb3,0x94,0x00,0xf0]
398
399	cefbra	%f0, 0, %r0, 0
400	cefbra	%f0, 0, %r0, 15
401	cefbra	%f0, 0, %r15, 0
402	cefbra	%f0, 15, %r0, 0
403	cefbra	%f4, 5, %r6, 7
404	cefbra	%f15, 0, %r0, 0
405
406#CHECK: cegbra	%f0, 0, %r0, 0          # encoding: [0xb3,0xa4,0x00,0x00]
407#CHECK: cegbra	%f0, 0, %r0, 15         # encoding: [0xb3,0xa4,0x0f,0x00]
408#CHECK: cegbra	%f0, 0, %r15, 0         # encoding: [0xb3,0xa4,0x00,0x0f]
409#CHECK: cegbra	%f0, 15, %r0, 0         # encoding: [0xb3,0xa4,0xf0,0x00]
410#CHECK: cegbra	%f4, 5, %r6, 7          # encoding: [0xb3,0xa4,0x57,0x46]
411#CHECK: cegbra	%f15, 0, %r0, 0         # encoding: [0xb3,0xa4,0x00,0xf0]
412
413	cegbra	%f0, 0, %r0, 0
414	cegbra	%f0, 0, %r0, 15
415	cegbra	%f0, 0, %r15, 0
416	cegbra	%f0, 15, %r0, 0
417	cegbra	%f4, 5, %r6, 7
418	cegbra	%f15, 0, %r0, 0
419
420#CHECK: celfbr	%f0, 0, %r0, 0          # encoding: [0xb3,0x90,0x00,0x00]
421#CHECK: celfbr	%f0, 0, %r0, 15         # encoding: [0xb3,0x90,0x0f,0x00]
422#CHECK: celfbr	%f0, 0, %r15, 0         # encoding: [0xb3,0x90,0x00,0x0f]
423#CHECK: celfbr	%f0, 15, %r0, 0         # encoding: [0xb3,0x90,0xf0,0x00]
424#CHECK: celfbr	%f4, 5, %r6, 7          # encoding: [0xb3,0x90,0x57,0x46]
425#CHECK: celfbr	%f15, 0, %r0, 0         # encoding: [0xb3,0x90,0x00,0xf0]
426
427	celfbr	%f0, 0, %r0, 0
428	celfbr	%f0, 0, %r0, 15
429	celfbr	%f0, 0, %r15, 0
430	celfbr	%f0, 15, %r0, 0
431	celfbr	%f4, 5, %r6, 7
432	celfbr	%f15, 0, %r0, 0
433
434#CHECK: celgbr	%f0, 0, %r0, 0          # encoding: [0xb3,0xa0,0x00,0x00]
435#CHECK: celgbr	%f0, 0, %r0, 15         # encoding: [0xb3,0xa0,0x0f,0x00]
436#CHECK: celgbr	%f0, 0, %r15, 0         # encoding: [0xb3,0xa0,0x00,0x0f]
437#CHECK: celgbr	%f0, 15, %r0, 0         # encoding: [0xb3,0xa0,0xf0,0x00]
438#CHECK: celgbr	%f4, 5, %r6, 7          # encoding: [0xb3,0xa0,0x57,0x46]
439#CHECK: celgbr	%f15, 0, %r0, 0         # encoding: [0xb3,0xa0,0x00,0xf0]
440
441	celgbr	%f0, 0, %r0, 0
442	celgbr	%f0, 0, %r0, 15
443	celgbr	%f0, 0, %r15, 0
444	celgbr	%f0, 15, %r0, 0
445	celgbr	%f4, 5, %r6, 7
446	celgbr	%f15, 0, %r0, 0
447
448#CHECK: cfdbra	%r0, 0, %f0, 0          # encoding: [0xb3,0x99,0x00,0x00]
449#CHECK: cfdbra	%r0, 0, %f0, 15         # encoding: [0xb3,0x99,0x0f,0x00]
450#CHECK: cfdbra	%r0, 0, %f15, 0         # encoding: [0xb3,0x99,0x00,0x0f]
451#CHECK: cfdbra	%r0, 15, %f0, 0         # encoding: [0xb3,0x99,0xf0,0x00]
452#CHECK: cfdbra	%r4, 5, %f6, 7          # encoding: [0xb3,0x99,0x57,0x46]
453#CHECK: cfdbra	%r15, 0, %f0, 0         # encoding: [0xb3,0x99,0x00,0xf0]
454
455	cfdbra	%r0, 0, %f0, 0
456	cfdbra	%r0, 0, %f0, 15
457	cfdbra	%r0, 0, %f15, 0
458	cfdbra	%r0, 15, %f0, 0
459	cfdbra	%r4, 5, %f6, 7
460	cfdbra	%r15, 0, %f0, 0
461
462#CHECK: cfdtr	%r0, 0, %f0, 0          # encoding: [0xb9,0x41,0x00,0x00]
463#CHECK: cfdtr	%r0, 0, %f0, 15         # encoding: [0xb9,0x41,0x0f,0x00]
464#CHECK: cfdtr	%r0, 0, %f15, 0         # encoding: [0xb9,0x41,0x00,0x0f]
465#CHECK: cfdtr	%r0, 15, %f0, 0         # encoding: [0xb9,0x41,0xf0,0x00]
466#CHECK: cfdtr	%r4, 5, %f6, 7          # encoding: [0xb9,0x41,0x57,0x46]
467#CHECK: cfdtr	%r15, 0, %f0, 0         # encoding: [0xb9,0x41,0x00,0xf0]
468
469	cfdtr	%r0, 0, %f0, 0
470	cfdtr	%r0, 0, %f0, 15
471	cfdtr	%r0, 0, %f15, 0
472	cfdtr	%r0, 15, %f0, 0
473	cfdtr	%r4, 5, %f6, 7
474	cfdtr	%r15, 0, %f0, 0
475
476#CHECK: cfebra	%r0, 0, %f0, 0          # encoding: [0xb3,0x98,0x00,0x00]
477#CHECK: cfebra	%r0, 0, %f0, 15         # encoding: [0xb3,0x98,0x0f,0x00]
478#CHECK: cfebra	%r0, 0, %f15, 0         # encoding: [0xb3,0x98,0x00,0x0f]
479#CHECK: cfebra	%r0, 15, %f0, 0         # encoding: [0xb3,0x98,0xf0,0x00]
480#CHECK: cfebra	%r4, 5, %f6, 7          # encoding: [0xb3,0x98,0x57,0x46]
481#CHECK: cfebra	%r15, 0, %f0, 0         # encoding: [0xb3,0x98,0x00,0xf0]
482
483	cfebra	%r0, 0, %f0, 0
484	cfebra	%r0, 0, %f0, 15
485	cfebra	%r0, 0, %f15, 0
486	cfebra	%r0, 15, %f0, 0
487	cfebra	%r4, 5, %f6, 7
488	cfebra	%r15, 0, %f0, 0
489
490#CHECK: cfxbra	%r0, 0, %f0, 0          # encoding: [0xb3,0x9a,0x00,0x00]
491#CHECK: cfxbra	%r0, 0, %f0, 15         # encoding: [0xb3,0x9a,0x0f,0x00]
492#CHECK: cfxbra	%r0, 0, %f13, 0         # encoding: [0xb3,0x9a,0x00,0x0d]
493#CHECK: cfxbra	%r0, 15, %f0, 0         # encoding: [0xb3,0x9a,0xf0,0x00]
494#CHECK: cfxbra	%r7, 5, %f8, 9          # encoding: [0xb3,0x9a,0x59,0x78]
495#CHECK: cfxbra	%r15, 0, %f0, 0         # encoding: [0xb3,0x9a,0x00,0xf0]
496
497	cfxbra	%r0, 0, %f0, 0
498	cfxbra	%r0, 0, %f0, 15
499	cfxbra	%r0, 0, %f13, 0
500	cfxbra	%r0, 15, %f0, 0
501	cfxbra	%r7, 5, %f8, 9
502	cfxbra	%r15, 0, %f0, 0
503
504#CHECK: cfxtr	%r0, 0, %f0, 0          # encoding: [0xb9,0x49,0x00,0x00]
505#CHECK: cfxtr	%r0, 0, %f0, 15         # encoding: [0xb9,0x49,0x0f,0x00]
506#CHECK: cfxtr	%r0, 0, %f13, 0         # encoding: [0xb9,0x49,0x00,0x0d]
507#CHECK: cfxtr	%r0, 15, %f0, 0         # encoding: [0xb9,0x49,0xf0,0x00]
508#CHECK: cfxtr	%r7, 5, %f8, 9          # encoding: [0xb9,0x49,0x59,0x78]
509#CHECK: cfxtr	%r15, 0, %f0, 0         # encoding: [0xb9,0x49,0x00,0xf0]
510
511	cfxtr	%r0, 0, %f0, 0
512	cfxtr	%r0, 0, %f0, 15
513	cfxtr	%r0, 0, %f13, 0
514	cfxtr	%r0, 15, %f0, 0
515	cfxtr	%r7, 5, %f8, 9
516	cfxtr	%r15, 0, %f0, 0
517
518#CHECK: cgdbra	%r0, 0, %f0, 0          # encoding: [0xb3,0xa9,0x00,0x00]
519#CHECK: cgdbra	%r0, 0, %f0, 15         # encoding: [0xb3,0xa9,0x0f,0x00]
520#CHECK: cgdbra	%r0, 0, %f15, 0         # encoding: [0xb3,0xa9,0x00,0x0f]
521#CHECK: cgdbra	%r0, 15, %f0, 0         # encoding: [0xb3,0xa9,0xf0,0x00]
522#CHECK: cgdbra	%r4, 5, %f6, 7          # encoding: [0xb3,0xa9,0x57,0x46]
523#CHECK: cgdbra	%r15, 0, %f0, 0         # encoding: [0xb3,0xa9,0x00,0xf0]
524
525	cgdbra	%r0, 0, %f0, 0
526	cgdbra	%r0, 0, %f0, 15
527	cgdbra	%r0, 0, %f15, 0
528	cgdbra	%r0, 15, %f0, 0
529	cgdbra	%r4, 5, %f6, 7
530	cgdbra	%r15, 0, %f0, 0
531
532#CHECK: cgdtra	%r0, 0, %f0, 0          # encoding: [0xb3,0xe1,0x00,0x00]
533#CHECK: cgdtra	%r0, 0, %f0, 15         # encoding: [0xb3,0xe1,0x0f,0x00]
534#CHECK: cgdtra	%r0, 0, %f15, 0         # encoding: [0xb3,0xe1,0x00,0x0f]
535#CHECK: cgdtra	%r0, 15, %f0, 0         # encoding: [0xb3,0xe1,0xf0,0x00]
536#CHECK: cgdtra	%r4, 5, %f6, 7          # encoding: [0xb3,0xe1,0x57,0x46]
537#CHECK: cgdtra	%r15, 0, %f0, 0         # encoding: [0xb3,0xe1,0x00,0xf0]
538
539	cgdtra	%r0, 0, %f0, 0
540	cgdtra	%r0, 0, %f0, 15
541	cgdtra	%r0, 0, %f15, 0
542	cgdtra	%r0, 15, %f0, 0
543	cgdtra	%r4, 5, %f6, 7
544	cgdtra	%r15, 0, %f0, 0
545
546#CHECK: cgebra	%r0, 0, %f0, 0          # encoding: [0xb3,0xa8,0x00,0x00]
547#CHECK: cgebra	%r0, 0, %f0, 15         # encoding: [0xb3,0xa8,0x0f,0x00]
548#CHECK: cgebra	%r0, 0, %f15, 0         # encoding: [0xb3,0xa8,0x00,0x0f]
549#CHECK: cgebra	%r0, 15, %f0, 0         # encoding: [0xb3,0xa8,0xf0,0x00]
550#CHECK: cgebra	%r4, 5, %f6, 7          # encoding: [0xb3,0xa8,0x57,0x46]
551#CHECK: cgebra	%r15, 0, %f0, 0         # encoding: [0xb3,0xa8,0x00,0xf0]
552
553	cgebra	%r0, 0, %f0, 0
554	cgebra	%r0, 0, %f0, 15
555	cgebra	%r0, 0, %f15, 0
556	cgebra	%r0, 15, %f0, 0
557	cgebra	%r4, 5, %f6, 7
558	cgebra	%r15, 0, %f0, 0
559
560#CHECK: cgxbra	%r0, 0, %f0, 0          # encoding: [0xb3,0xaa,0x00,0x00]
561#CHECK: cgxbra	%r0, 0, %f0, 15         # encoding: [0xb3,0xaa,0x0f,0x00]
562#CHECK: cgxbra	%r0, 0, %f13, 0         # encoding: [0xb3,0xaa,0x00,0x0d]
563#CHECK: cgxbra	%r0, 15, %f0, 0         # encoding: [0xb3,0xaa,0xf0,0x00]
564#CHECK: cgxbra	%r7, 5, %f8, 9          # encoding: [0xb3,0xaa,0x59,0x78]
565#CHECK: cgxbra	%r15, 0, %f0, 0         # encoding: [0xb3,0xaa,0x00,0xf0]
566
567	cgxbra	%r0, 0, %f0, 0
568	cgxbra	%r0, 0, %f0, 15
569	cgxbra	%r0, 0, %f13, 0
570	cgxbra	%r0, 15, %f0, 0
571	cgxbra	%r7, 5, %f8, 9
572	cgxbra	%r15, 0, %f0, 0
573
574#CHECK: cgxtra	%r0, 0, %f0, 0          # encoding: [0xb3,0xe9,0x00,0x00]
575#CHECK: cgxtra	%r0, 0, %f0, 15         # encoding: [0xb3,0xe9,0x0f,0x00]
576#CHECK: cgxtra	%r0, 0, %f13, 0         # encoding: [0xb3,0xe9,0x00,0x0d]
577#CHECK: cgxtra	%r0, 15, %f0, 0         # encoding: [0xb3,0xe9,0xf0,0x00]
578#CHECK: cgxtra	%r7, 5, %f8, 9          # encoding: [0xb3,0xe9,0x59,0x78]
579#CHECK: cgxtra	%r15, 0, %f0, 0         # encoding: [0xb3,0xe9,0x00,0xf0]
580
581	cgxtra	%r0, 0, %f0, 0
582	cgxtra	%r0, 0, %f0, 15
583	cgxtra	%r0, 0, %f13, 0
584	cgxtra	%r0, 15, %f0, 0
585	cgxtra	%r7, 5, %f8, 9
586	cgxtra	%r15, 0, %f0, 0
587
588#CHECK: chf	%r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xcd]
589#CHECK: chf	%r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xcd]
590#CHECK: chf	%r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xcd]
591#CHECK: chf	%r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xcd]
592#CHECK: chf	%r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xcd]
593#CHECK: chf	%r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xcd]
594#CHECK: chf	%r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xcd]
595#CHECK: chf	%r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xcd]
596#CHECK: chf	%r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xcd]
597#CHECK: chf	%r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xcd]
598
599	chf	%r0, -524288
600	chf	%r0, -1
601	chf	%r0, 0
602	chf	%r0, 1
603	chf	%r0, 524287
604	chf	%r0, 0(%r1)
605	chf	%r0, 0(%r15)
606	chf	%r0, 524287(%r1,%r15)
607	chf	%r0, 524287(%r15,%r1)
608	chf	%r15, 0
609
610#CHECK: chhr	%r0, %r0                # encoding: [0xb9,0xcd,0x00,0x00]
611#CHECK: chhr	%r0, %r15               # encoding: [0xb9,0xcd,0x00,0x0f]
612#CHECK: chhr	%r15, %r0               # encoding: [0xb9,0xcd,0x00,0xf0]
613#CHECK: chhr	%r7, %r8                # encoding: [0xb9,0xcd,0x00,0x78]
614
615	chhr	%r0,%r0
616	chhr	%r0,%r15
617	chhr	%r15,%r0
618	chhr	%r7,%r8
619
620#CHECK: chlr	%r0, %r0                # encoding: [0xb9,0xdd,0x00,0x00]
621#CHECK: chlr	%r0, %r15               # encoding: [0xb9,0xdd,0x00,0x0f]
622#CHECK: chlr	%r15, %r0               # encoding: [0xb9,0xdd,0x00,0xf0]
623#CHECK: chlr	%r7, %r8                # encoding: [0xb9,0xdd,0x00,0x78]
624
625	chlr	%r0,%r0
626	chlr	%r0,%r15
627	chlr	%r15,%r0
628	chlr	%r7,%r8
629
630#CHECK: cih	%r0, -2147483648        # encoding: [0xcc,0x0d,0x80,0x00,0x00,0x00]
631#CHECK: cih	%r0, -1                 # encoding: [0xcc,0x0d,0xff,0xff,0xff,0xff]
632#CHECK: cih	%r0, 0                  # encoding: [0xcc,0x0d,0x00,0x00,0x00,0x00]
633#CHECK: cih	%r0, 1                  # encoding: [0xcc,0x0d,0x00,0x00,0x00,0x01]
634#CHECK: cih	%r0, 2147483647         # encoding: [0xcc,0x0d,0x7f,0xff,0xff,0xff]
635#CHECK: cih	%r15, 0                 # encoding: [0xcc,0xfd,0x00,0x00,0x00,0x00]
636
637	cih	%r0, -1 << 31
638	cih	%r0, -1
639	cih	%r0, 0
640	cih	%r0, 1
641	cih	%r0, (1 << 31) - 1
642	cih	%r15, 0
643
644#CHECK: clfdbr	%r0, 0, %f0, 0          # encoding: [0xb3,0x9d,0x00,0x00]
645#CHECK: clfdbr	%r0, 0, %f0, 15         # encoding: [0xb3,0x9d,0x0f,0x00]
646#CHECK: clfdbr	%r0, 0, %f15, 0         # encoding: [0xb3,0x9d,0x00,0x0f]
647#CHECK: clfdbr	%r0, 15, %f0, 0         # encoding: [0xb3,0x9d,0xf0,0x00]
648#CHECK: clfdbr	%r4, 5, %f6, 7          # encoding: [0xb3,0x9d,0x57,0x46]
649#CHECK: clfdbr	%r15, 0, %f0, 0         # encoding: [0xb3,0x9d,0x00,0xf0]
650
651	clfdbr	%r0, 0, %f0, 0
652	clfdbr	%r0, 0, %f0, 15
653	clfdbr	%r0, 0, %f15, 0
654	clfdbr	%r0, 15, %f0, 0
655	clfdbr	%r4, 5, %f6, 7
656	clfdbr	%r15, 0, %f0, 0
657
658#CHECK: clfdtr	%r0, 0, %f0, 0          # encoding: [0xb9,0x43,0x00,0x00]
659#CHECK: clfdtr	%r0, 0, %f0, 15         # encoding: [0xb9,0x43,0x0f,0x00]
660#CHECK: clfdtr	%r0, 0, %f15, 0         # encoding: [0xb9,0x43,0x00,0x0f]
661#CHECK: clfdtr	%r0, 15, %f0, 0         # encoding: [0xb9,0x43,0xf0,0x00]
662#CHECK: clfdtr	%r4, 5, %f6, 7          # encoding: [0xb9,0x43,0x57,0x46]
663#CHECK: clfdtr	%r15, 0, %f0, 0         # encoding: [0xb9,0x43,0x00,0xf0]
664
665	clfdtr	%r0, 0, %f0, 0
666	clfdtr	%r0, 0, %f0, 15
667	clfdtr	%r0, 0, %f15, 0
668	clfdtr	%r0, 15, %f0, 0
669	clfdtr	%r4, 5, %f6, 7
670	clfdtr	%r15, 0, %f0, 0
671
672#CHECK: clfebr	%r0, 0, %f0, 0          # encoding: [0xb3,0x9c,0x00,0x00]
673#CHECK: clfebr	%r0, 0, %f0, 15         # encoding: [0xb3,0x9c,0x0f,0x00]
674#CHECK: clfebr	%r0, 0, %f15, 0         # encoding: [0xb3,0x9c,0x00,0x0f]
675#CHECK: clfebr	%r0, 15, %f0, 0         # encoding: [0xb3,0x9c,0xf0,0x00]
676#CHECK: clfebr	%r4, 5, %f6, 7          # encoding: [0xb3,0x9c,0x57,0x46]
677#CHECK: clfebr	%r15, 0, %f0, 0         # encoding: [0xb3,0x9c,0x00,0xf0]
678
679	clfebr	%r0, 0, %f0, 0
680	clfebr	%r0, 0, %f0, 15
681	clfebr	%r0, 0, %f15, 0
682	clfebr	%r0, 15, %f0, 0
683	clfebr	%r4, 5, %f6, 7
684	clfebr	%r15, 0, %f0, 0
685
686#CHECK: clfxbr	%r0, 0, %f0, 0          # encoding: [0xb3,0x9e,0x00,0x00]
687#CHECK: clfxbr	%r0, 0, %f0, 15         # encoding: [0xb3,0x9e,0x0f,0x00]
688#CHECK: clfxbr	%r0, 0, %f13, 0         # encoding: [0xb3,0x9e,0x00,0x0d]
689#CHECK: clfxbr	%r0, 15, %f0, 0         # encoding: [0xb3,0x9e,0xf0,0x00]
690#CHECK: clfxbr	%r7, 5, %f8, 9          # encoding: [0xb3,0x9e,0x59,0x78]
691#CHECK: clfxbr	%r15, 0, %f0, 0         # encoding: [0xb3,0x9e,0x00,0xf0]
692
693	clfxbr	%r0, 0, %f0, 0
694	clfxbr	%r0, 0, %f0, 15
695	clfxbr	%r0, 0, %f13, 0
696	clfxbr	%r0, 15, %f0, 0
697	clfxbr	%r7, 5, %f8, 9
698	clfxbr	%r15, 0, %f0, 0
699
700#CHECK: clfxtr	%r0, 0, %f0, 0          # encoding: [0xb9,0x4b,0x00,0x00]
701#CHECK: clfxtr	%r0, 0, %f0, 15         # encoding: [0xb9,0x4b,0x0f,0x00]
702#CHECK: clfxtr	%r0, 0, %f13, 0         # encoding: [0xb9,0x4b,0x00,0x0d]
703#CHECK: clfxtr	%r0, 15, %f0, 0         # encoding: [0xb9,0x4b,0xf0,0x00]
704#CHECK: clfxtr	%r7, 5, %f8, 9          # encoding: [0xb9,0x4b,0x59,0x78]
705#CHECK: clfxtr	%r15, 0, %f0, 0         # encoding: [0xb9,0x4b,0x00,0xf0]
706
707	clfxtr	%r0, 0, %f0, 0
708	clfxtr	%r0, 0, %f0, 15
709	clfxtr	%r0, 0, %f13, 0
710	clfxtr	%r0, 15, %f0, 0
711	clfxtr	%r7, 5, %f8, 9
712	clfxtr	%r15, 0, %f0, 0
713
714#CHECK: clgdbr	%r0, 0, %f0, 0          # encoding: [0xb3,0xad,0x00,0x00]
715#CHECK: clgdbr	%r0, 0, %f0, 15         # encoding: [0xb3,0xad,0x0f,0x00]
716#CHECK: clgdbr	%r0, 0, %f15, 0         # encoding: [0xb3,0xad,0x00,0x0f]
717#CHECK: clgdbr	%r0, 15, %f0, 0         # encoding: [0xb3,0xad,0xf0,0x00]
718#CHECK: clgdbr	%r4, 5, %f6, 7          # encoding: [0xb3,0xad,0x57,0x46]
719#CHECK: clgdbr	%r15, 0, %f0, 0         # encoding: [0xb3,0xad,0x00,0xf0]
720
721	clgdbr	%r0, 0, %f0, 0
722	clgdbr	%r0, 0, %f0, 15
723	clgdbr	%r0, 0, %f15, 0
724	clgdbr	%r0, 15, %f0, 0
725	clgdbr	%r4, 5, %f6, 7
726	clgdbr	%r15, 0, %f0, 0
727
728#CHECK: clgdtr	%r0, 0, %f0, 0          # encoding: [0xb9,0x42,0x00,0x00]
729#CHECK: clgdtr	%r0, 0, %f0, 15         # encoding: [0xb9,0x42,0x0f,0x00]
730#CHECK: clgdtr	%r0, 0, %f15, 0         # encoding: [0xb9,0x42,0x00,0x0f]
731#CHECK: clgdtr	%r0, 15, %f0, 0         # encoding: [0xb9,0x42,0xf0,0x00]
732#CHECK: clgdtr	%r4, 5, %f6, 7          # encoding: [0xb9,0x42,0x57,0x46]
733#CHECK: clgdtr	%r15, 0, %f0, 0         # encoding: [0xb9,0x42,0x00,0xf0]
734
735	clgdtr	%r0, 0, %f0, 0
736	clgdtr	%r0, 0, %f0, 15
737	clgdtr	%r0, 0, %f15, 0
738	clgdtr	%r0, 15, %f0, 0
739	clgdtr	%r4, 5, %f6, 7
740	clgdtr	%r15, 0, %f0, 0
741
742#CHECK: clgebr	%r0, 0, %f0, 0          # encoding: [0xb3,0xac,0x00,0x00]
743#CHECK: clgebr	%r0, 0, %f0, 15         # encoding: [0xb3,0xac,0x0f,0x00]
744#CHECK: clgebr	%r0, 0, %f15, 0         # encoding: [0xb3,0xac,0x00,0x0f]
745#CHECK: clgebr	%r0, 15, %f0, 0         # encoding: [0xb3,0xac,0xf0,0x00]
746#CHECK: clgebr	%r4, 5, %f6, 7          # encoding: [0xb3,0xac,0x57,0x46]
747#CHECK: clgebr	%r15, 0, %f0, 0         # encoding: [0xb3,0xac,0x00,0xf0]
748
749	clgebr	%r0, 0, %f0, 0
750	clgebr	%r0, 0, %f0, 15
751	clgebr	%r0, 0, %f15, 0
752	clgebr	%r0, 15, %f0, 0
753	clgebr	%r4, 5, %f6, 7
754	clgebr	%r15, 0, %f0, 0
755
756#CHECK: clgxbr	%r0, 0, %f0, 0          # encoding: [0xb3,0xae,0x00,0x00]
757#CHECK: clgxbr	%r0, 0, %f0, 15         # encoding: [0xb3,0xae,0x0f,0x00]
758#CHECK: clgxbr	%r0, 0, %f13, 0         # encoding: [0xb3,0xae,0x00,0x0d]
759#CHECK: clgxbr	%r0, 15, %f0, 0         # encoding: [0xb3,0xae,0xf0,0x00]
760#CHECK: clgxbr	%r7, 5, %f8, 9          # encoding: [0xb3,0xae,0x59,0x78]
761#CHECK: clgxbr	%r15, 0, %f0, 0         # encoding: [0xb3,0xae,0x00,0xf0]
762
763	clgxbr	%r0, 0, %f0, 0
764	clgxbr	%r0, 0, %f0, 15
765	clgxbr	%r0, 0, %f13, 0
766	clgxbr	%r0, 15, %f0, 0
767	clgxbr	%r7, 5, %f8, 9
768	clgxbr	%r15, 0, %f0, 0
769
770#CHECK: clgxtr	%r0, 0, %f0, 0          # encoding: [0xb9,0x4a,0x00,0x00]
771#CHECK: clgxtr	%r0, 0, %f0, 15         # encoding: [0xb9,0x4a,0x0f,0x00]
772#CHECK: clgxtr	%r0, 0, %f13, 0         # encoding: [0xb9,0x4a,0x00,0x0d]
773#CHECK: clgxtr	%r0, 15, %f0, 0         # encoding: [0xb9,0x4a,0xf0,0x00]
774#CHECK: clgxtr	%r7, 5, %f8, 9          # encoding: [0xb9,0x4a,0x59,0x78]
775#CHECK: clgxtr	%r15, 0, %f0, 0         # encoding: [0xb9,0x4a,0x00,0xf0]
776
777	clgxtr	%r0, 0, %f0, 0
778	clgxtr	%r0, 0, %f0, 15
779	clgxtr	%r0, 0, %f13, 0
780	clgxtr	%r0, 15, %f0, 0
781	clgxtr	%r7, 5, %f8, 9
782	clgxtr	%r15, 0, %f0, 0
783
784#CHECK: clhf	%r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xcf]
785#CHECK: clhf	%r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xcf]
786#CHECK: clhf	%r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xcf]
787#CHECK: clhf	%r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xcf]
788#CHECK: clhf	%r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xcf]
789#CHECK: clhf	%r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xcf]
790#CHECK: clhf	%r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xcf]
791#CHECK: clhf	%r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xcf]
792#CHECK: clhf	%r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xcf]
793#CHECK: clhf	%r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xcf]
794
795	clhf	%r0, -524288
796	clhf	%r0, -1
797	clhf	%r0, 0
798	clhf	%r0, 1
799	clhf	%r0, 524287
800	clhf	%r0, 0(%r1)
801	clhf	%r0, 0(%r15)
802	clhf	%r0, 524287(%r1,%r15)
803	clhf	%r0, 524287(%r15,%r1)
804	clhf	%r15, 0
805
806#CHECK: clhhr	%r0, %r0                # encoding: [0xb9,0xcf,0x00,0x00]
807#CHECK: clhhr	%r0, %r15               # encoding: [0xb9,0xcf,0x00,0x0f]
808#CHECK: clhhr	%r15, %r0               # encoding: [0xb9,0xcf,0x00,0xf0]
809#CHECK: clhhr	%r7, %r8                # encoding: [0xb9,0xcf,0x00,0x78]
810
811	clhhr	%r0,%r0
812	clhhr	%r0,%r15
813	clhhr	%r15,%r0
814	clhhr	%r7,%r8
815
816#CHECK: clhlr	%r0, %r0                # encoding: [0xb9,0xdf,0x00,0x00]
817#CHECK: clhlr	%r0, %r15               # encoding: [0xb9,0xdf,0x00,0x0f]
818#CHECK: clhlr	%r15, %r0               # encoding: [0xb9,0xdf,0x00,0xf0]
819#CHECK: clhlr	%r7, %r8                # encoding: [0xb9,0xdf,0x00,0x78]
820
821	clhlr	%r0,%r0
822	clhlr	%r0,%r15
823	clhlr	%r15,%r0
824	clhlr	%r7,%r8
825
826#CHECK: clih	%r0, 0                  # encoding: [0xcc,0x0f,0x00,0x00,0x00,0x00]
827#CHECK: clih	%r0, 1                  # encoding: [0xcc,0x0f,0x00,0x00,0x00,0x01]
828#CHECK: clih	%r0, 4294967295         # encoding: [0xcc,0x0f,0xff,0xff,0xff,0xff]
829#CHECK: clih	%r15, 0                 # encoding: [0xcc,0xff,0x00,0x00,0x00,0x00]
830
831	clih	%r0, 0
832	clih	%r0, 1
833	clih	%r0, (1 << 32) - 1
834	clih	%r15, 0
835
836#CHECK: cxfbra	%f0, 0, %r0, 0          # encoding: [0xb3,0x96,0x00,0x00]
837#CHECK: cxfbra	%f0, 0, %r0, 15         # encoding: [0xb3,0x96,0x0f,0x00]
838#CHECK: cxfbra	%f0, 0, %r15, 0         # encoding: [0xb3,0x96,0x00,0x0f]
839#CHECK: cxfbra	%f0, 15, %r0, 0         # encoding: [0xb3,0x96,0xf0,0x00]
840#CHECK: cxfbra	%f4, 5, %r9, 10         # encoding: [0xb3,0x96,0x5a,0x49]
841#CHECK: cxfbra	%f13, 0, %r0, 0         # encoding: [0xb3,0x96,0x00,0xd0]
842
843	cxfbra	%f0, 0, %r0, 0
844	cxfbra	%f0, 0, %r0, 15
845	cxfbra	%f0, 0, %r15, 0
846	cxfbra	%f0, 15, %r0, 0
847	cxfbra	%f4, 5, %r9, 10
848	cxfbra	%f13, 0, %r0, 0
849
850#CHECK: cxftr	%f0, 0, %r0, 0          # encoding: [0xb9,0x59,0x00,0x00]
851#CHECK: cxftr	%f0, 0, %r0, 15         # encoding: [0xb9,0x59,0x0f,0x00]
852#CHECK: cxftr	%f0, 0, %r15, 0         # encoding: [0xb9,0x59,0x00,0x0f]
853#CHECK: cxftr	%f0, 15, %r0, 0         # encoding: [0xb9,0x59,0xf0,0x00]
854#CHECK: cxftr	%f4, 5, %r9, 10         # encoding: [0xb9,0x59,0x5a,0x49]
855#CHECK: cxftr	%f13, 0, %r0, 0         # encoding: [0xb9,0x59,0x00,0xd0]
856
857	cxftr	%f0, 0, %r0, 0
858	cxftr	%f0, 0, %r0, 15
859	cxftr	%f0, 0, %r15, 0
860	cxftr	%f0, 15, %r0, 0
861	cxftr	%f4, 5, %r9, 10
862	cxftr	%f13, 0, %r0, 0
863
864#CHECK: cxgbra	%f0, 0, %r0, 0          # encoding: [0xb3,0xa6,0x00,0x00]
865#CHECK: cxgbra	%f0, 0, %r0, 15         # encoding: [0xb3,0xa6,0x0f,0x00]
866#CHECK: cxgbra	%f0, 0, %r15, 0         # encoding: [0xb3,0xa6,0x00,0x0f]
867#CHECK: cxgbra	%f0, 15, %r0, 0         # encoding: [0xb3,0xa6,0xf0,0x00]
868#CHECK: cxgbra	%f4, 5, %r9, 10         # encoding: [0xb3,0xa6,0x5a,0x49]
869#CHECK: cxgbra	%f13, 0, %r0, 0         # encoding: [0xb3,0xa6,0x00,0xd0]
870
871	cxgbra	%f0, 0, %r0, 0
872	cxgbra	%f0, 0, %r0, 15
873	cxgbra	%f0, 0, %r15, 0
874	cxgbra	%f0, 15, %r0, 0
875	cxgbra	%f4, 5, %r9, 10
876	cxgbra	%f13, 0, %r0, 0
877
878#CHECK: cxgtra	%f0, 0, %r0, 0          # encoding: [0xb3,0xf9,0x00,0x00]
879#CHECK: cxgtra	%f0, 0, %r0, 15         # encoding: [0xb3,0xf9,0x0f,0x00]
880#CHECK: cxgtra	%f0, 0, %r15, 0         # encoding: [0xb3,0xf9,0x00,0x0f]
881#CHECK: cxgtra	%f0, 15, %r0, 0         # encoding: [0xb3,0xf9,0xf0,0x00]
882#CHECK: cxgtra	%f4, 5, %r9, 10         # encoding: [0xb3,0xf9,0x5a,0x49]
883#CHECK: cxgtra	%f13, 0, %r0, 0         # encoding: [0xb3,0xf9,0x00,0xd0]
884
885	cxgtra	%f0, 0, %r0, 0
886	cxgtra	%f0, 0, %r0, 15
887	cxgtra	%f0, 0, %r15, 0
888	cxgtra	%f0, 15, %r0, 0
889	cxgtra	%f4, 5, %r9, 10
890	cxgtra	%f13, 0, %r0, 0
891
892#CHECK: cxlfbr	%f0, 0, %r0, 0          # encoding: [0xb3,0x92,0x00,0x00]
893#CHECK: cxlfbr	%f0, 0, %r0, 15         # encoding: [0xb3,0x92,0x0f,0x00]
894#CHECK: cxlfbr	%f0, 0, %r15, 0         # encoding: [0xb3,0x92,0x00,0x0f]
895#CHECK: cxlfbr	%f0, 15, %r0, 0         # encoding: [0xb3,0x92,0xf0,0x00]
896#CHECK: cxlfbr	%f4, 5, %r9, 10         # encoding: [0xb3,0x92,0x5a,0x49]
897#CHECK: cxlfbr	%f13, 0, %r0, 0         # encoding: [0xb3,0x92,0x00,0xd0]
898
899	cxlfbr	%f0, 0, %r0, 0
900	cxlfbr	%f0, 0, %r0, 15
901	cxlfbr	%f0, 0, %r15, 0
902	cxlfbr	%f0, 15, %r0, 0
903	cxlfbr	%f4, 5, %r9, 10
904	cxlfbr	%f13, 0, %r0, 0
905
906#CHECK: cxlftr	%f0, 0, %r0, 0          # encoding: [0xb9,0x5b,0x00,0x00]
907#CHECK: cxlftr	%f0, 0, %r0, 15         # encoding: [0xb9,0x5b,0x0f,0x00]
908#CHECK: cxlftr	%f0, 0, %r15, 0         # encoding: [0xb9,0x5b,0x00,0x0f]
909#CHECK: cxlftr	%f0, 15, %r0, 0         # encoding: [0xb9,0x5b,0xf0,0x00]
910#CHECK: cxlftr	%f4, 5, %r9, 10         # encoding: [0xb9,0x5b,0x5a,0x49]
911#CHECK: cxlftr	%f13, 0, %r0, 0         # encoding: [0xb9,0x5b,0x00,0xd0]
912
913	cxlftr	%f0, 0, %r0, 0
914	cxlftr	%f0, 0, %r0, 15
915	cxlftr	%f0, 0, %r15, 0
916	cxlftr	%f0, 15, %r0, 0
917	cxlftr	%f4, 5, %r9, 10
918	cxlftr	%f13, 0, %r0, 0
919
920#CHECK: cxlgbr	%f0, 0, %r0, 0          # encoding: [0xb3,0xa2,0x00,0x00]
921#CHECK: cxlgbr	%f0, 0, %r0, 15         # encoding: [0xb3,0xa2,0x0f,0x00]
922#CHECK: cxlgbr	%f0, 0, %r15, 0         # encoding: [0xb3,0xa2,0x00,0x0f]
923#CHECK: cxlgbr	%f0, 15, %r0, 0         # encoding: [0xb3,0xa2,0xf0,0x00]
924#CHECK: cxlgbr	%f4, 5, %r9, 10         # encoding: [0xb3,0xa2,0x5a,0x49]
925#CHECK: cxlgbr	%f13, 0, %r0, 0         # encoding: [0xb3,0xa2,0x00,0xd0]
926
927	cxlgbr	%f0, 0, %r0, 0
928	cxlgbr	%f0, 0, %r0, 15
929	cxlgbr	%f0, 0, %r15, 0
930	cxlgbr	%f0, 15, %r0, 0
931	cxlgbr	%f4, 5, %r9, 10
932	cxlgbr	%f13, 0, %r0, 0
933
934#CHECK: cxlgtr	%f0, 0, %r0, 0          # encoding: [0xb9,0x5a,0x00,0x00]
935#CHECK: cxlgtr	%f0, 0, %r0, 15         # encoding: [0xb9,0x5a,0x0f,0x00]
936#CHECK: cxlgtr	%f0, 0, %r15, 0         # encoding: [0xb9,0x5a,0x00,0x0f]
937#CHECK: cxlgtr	%f0, 15, %r0, 0         # encoding: [0xb9,0x5a,0xf0,0x00]
938#CHECK: cxlgtr	%f4, 5, %r9, 10         # encoding: [0xb9,0x5a,0x5a,0x49]
939#CHECK: cxlgtr	%f13, 0, %r0, 0         # encoding: [0xb9,0x5a,0x00,0xd0]
940
941	cxlgtr	%f0, 0, %r0, 0
942	cxlgtr	%f0, 0, %r0, 15
943	cxlgtr	%f0, 0, %r15, 0
944	cxlgtr	%f0, 15, %r0, 0
945	cxlgtr	%f4, 5, %r9, 10
946	cxlgtr	%f13, 0, %r0, 0
947
948#CHECK: ddtra	%f0, %f0, %f0, 0        # encoding: [0xb3,0xd1,0x00,0x00]
949#CHECK: ddtra	%f0, %f0, %f0, 15       # encoding: [0xb3,0xd1,0x0f,0x00]
950#CHECK: ddtra	%f0, %f0, %f15, 0       # encoding: [0xb3,0xd1,0xf0,0x00]
951#CHECK: ddtra	%f0, %f15, %f0, 0       # encoding: [0xb3,0xd1,0x00,0x0f]
952#CHECK: ddtra	%f15, %f0, %f0, 0       # encoding: [0xb3,0xd1,0x00,0xf0]
953#CHECK: ddtra	%f7, %f8, %f9, 10       # encoding: [0xb3,0xd1,0x9a,0x78]
954
955	ddtra	%f0, %f0, %f0, 0
956	ddtra	%f0, %f0, %f0, 15
957	ddtra	%f0, %f0, %f15, 0
958	ddtra	%f0, %f15, %f0, 0
959	ddtra	%f15, %f0, %f0, 0
960	ddtra	%f7, %f8, %f9, 10
961
962#CHECK: dxtra	%f0, %f0, %f0, 0        # encoding: [0xb3,0xd9,0x00,0x00]
963#CHECK: dxtra	%f0, %f0, %f0, 15       # encoding: [0xb3,0xd9,0x0f,0x00]
964#CHECK: dxtra	%f0, %f0, %f13, 0       # encoding: [0xb3,0xd9,0xd0,0x00]
965#CHECK: dxtra	%f0, %f13, %f0, 0       # encoding: [0xb3,0xd9,0x00,0x0d]
966#CHECK: dxtra	%f13, %f0, %f0, 0       # encoding: [0xb3,0xd9,0x00,0xd0]
967#CHECK: dxtra	%f8, %f8, %f8, 8        # encoding: [0xb3,0xd9,0x88,0x88]
968
969	dxtra	%f0, %f0, %f0, 0
970	dxtra	%f0, %f0, %f0, 15
971	dxtra	%f0, %f0, %f13, 0
972	dxtra	%f0, %f13, %f0, 0
973	dxtra	%f13, %f0, %f0, 0
974	dxtra	%f8, %f8, %f8, 8
975
976#CHECK: fidbra	%f0, 0, %f0, 0          # encoding: [0xb3,0x5f,0x00,0x00]
977#CHECK: fidbra	%f0, 0, %f0, 15         # encoding: [0xb3,0x5f,0x0f,0x00]
978#CHECK: fidbra	%f0, 0, %f15, 0         # encoding: [0xb3,0x5f,0x00,0x0f]
979#CHECK: fidbra	%f0, 15, %f0, 0         # encoding: [0xb3,0x5f,0xf0,0x00]
980#CHECK: fidbra	%f4, 5, %f6, 7          # encoding: [0xb3,0x5f,0x57,0x46]
981#CHECK: fidbra	%f15, 0, %f0, 0         # encoding: [0xb3,0x5f,0x00,0xf0]
982
983	fidbra	%f0, 0, %f0, 0
984	fidbra	%f0, 0, %f0, 15
985	fidbra	%f0, 0, %f15, 0
986	fidbra	%f0, 15, %f0, 0
987	fidbra	%f4, 5, %f6, 7
988	fidbra	%f15, 0, %f0, 0
989
990#CHECK: fiebra	%f0, 0, %f0, 0          # encoding: [0xb3,0x57,0x00,0x00]
991#CHECK: fiebra	%f0, 0, %f0, 15         # encoding: [0xb3,0x57,0x0f,0x00]
992#CHECK: fiebra	%f0, 0, %f15, 0         # encoding: [0xb3,0x57,0x00,0x0f]
993#CHECK: fiebra	%f0, 15, %f0, 0         # encoding: [0xb3,0x57,0xf0,0x00]
994#CHECK: fiebra	%f4, 5, %f6, 7          # encoding: [0xb3,0x57,0x57,0x46]
995#CHECK: fiebra	%f15, 0, %f0, 0         # encoding: [0xb3,0x57,0x00,0xf0]
996
997	fiebra	%f0, 0, %f0, 0
998	fiebra	%f0, 0, %f0, 15
999	fiebra	%f0, 0, %f15, 0
1000	fiebra	%f0, 15, %f0, 0
1001	fiebra	%f4, 5, %f6, 7
1002	fiebra	%f15, 0, %f0, 0
1003
1004#CHECK: fixbra	%f0, 0, %f0, 0          # encoding: [0xb3,0x47,0x00,0x00]
1005#CHECK: fixbra	%f0, 0, %f0, 15         # encoding: [0xb3,0x47,0x0f,0x00]
1006#CHECK: fixbra	%f0, 0, %f13, 0         # encoding: [0xb3,0x47,0x00,0x0d]
1007#CHECK: fixbra	%f0, 15, %f0, 0         # encoding: [0xb3,0x47,0xf0,0x00]
1008#CHECK: fixbra	%f4, 5, %f8, 9          # encoding: [0xb3,0x47,0x59,0x48]
1009#CHECK: fixbra	%f13, 0, %f0, 0         # encoding: [0xb3,0x47,0x00,0xd0]
1010
1011	fixbra	%f0, 0, %f0, 0
1012	fixbra	%f0, 0, %f0, 15
1013	fixbra	%f0, 0, %f13, 0
1014	fixbra	%f0, 15, %f0, 0
1015	fixbra	%f4, 5, %f8, 9
1016	fixbra	%f13, 0, %f0, 0
1017
1018#CHECK: kmctr	%r2, %r2, %r2           # encoding: [0xb9,0x2d,0x20,0x22]
1019#CHECK: kmctr	%r2, %r8, %r14          # encoding: [0xb9,0x2d,0x80,0x2e]
1020#CHECK: kmctr	%r14, %r8, %r2          # encoding: [0xb9,0x2d,0x80,0xe2]
1021#CHECK: kmctr	%r6, %r8, %r10          # encoding: [0xb9,0x2d,0x80,0x6a]
1022
1023	kmctr	%r2, %r2, %r2
1024	kmctr	%r2, %r8, %r14
1025	kmctr	%r14, %r8, %r2
1026	kmctr	%r6, %r8, %r10
1027
1028#CHECK: kmf	%r2, %r2                # encoding: [0xb9,0x2a,0x00,0x22]
1029#CHECK: kmf	%r2, %r14               # encoding: [0xb9,0x2a,0x00,0x2e]
1030#CHECK: kmf	%r14, %r2               # encoding: [0xb9,0x2a,0x00,0xe2]
1031#CHECK: kmf	%r6, %r10               # encoding: [0xb9,0x2a,0x00,0x6a]
1032
1033	kmf	%r2, %r2
1034	kmf	%r2, %r14
1035	kmf	%r14, %r2
1036	kmf	%r6, %r10
1037
1038#CHECK: kmo	%r2, %r2                # encoding: [0xb9,0x2b,0x00,0x22]
1039#CHECK: kmo	%r2, %r14               # encoding: [0xb9,0x2b,0x00,0x2e]
1040#CHECK: kmo	%r14, %r2               # encoding: [0xb9,0x2b,0x00,0xe2]
1041#CHECK: kmo	%r6, %r10               # encoding: [0xb9,0x2b,0x00,0x6a]
1042
1043	kmo	%r2, %r2
1044	kmo	%r2, %r14
1045	kmo	%r14, %r2
1046	kmo	%r6, %r10
1047
1048#CHECK: laa	%r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf8]
1049#CHECK: laa	%r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xf8]
1050#CHECK: laa	%r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf8]
1051#CHECK: laa	%r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xf8]
1052#CHECK: laa	%r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf8]
1053#CHECK: laa	%r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf8]
1054#CHECK: laa	%r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf8]
1055#CHECK: laa	%r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xf8]
1056#CHECK: laa	%r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xf8]
1057#CHECK: laa	%r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf8]
1058#CHECK: laa	%r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf8]
1059
1060	laa	%r0, %r0, -524288
1061	laa	%r0, %r0, -1
1062	laa	%r0, %r0, 0
1063	laa	%r0, %r0, 1
1064	laa	%r0, %r0, 524287
1065	laa	%r0, %r0, 0(%r1)
1066	laa	%r0, %r0, 0(%r15)
1067	laa	%r0, %r0, 524287(%r1)
1068	laa	%r0, %r0, 524287(%r15)
1069	laa	%r0, %r15, 0
1070	laa	%r15, %r0, 0
1071
1072#CHECK: laag	%r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe8]
1073#CHECK: laag	%r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xe8]
1074#CHECK: laag	%r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe8]
1075#CHECK: laag	%r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xe8]
1076#CHECK: laag	%r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe8]
1077#CHECK: laag	%r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe8]
1078#CHECK: laag	%r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe8]
1079#CHECK: laag	%r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xe8]
1080#CHECK: laag	%r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xe8]
1081#CHECK: laag	%r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe8]
1082#CHECK: laag	%r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe8]
1083
1084	laag	%r0, %r0, -524288
1085	laag	%r0, %r0, -1
1086	laag	%r0, %r0, 0
1087	laag	%r0, %r0, 1
1088	laag	%r0, %r0, 524287
1089	laag	%r0, %r0, 0(%r1)
1090	laag	%r0, %r0, 0(%r15)
1091	laag	%r0, %r0, 524287(%r1)
1092	laag	%r0, %r0, 524287(%r15)
1093	laag	%r0, %r15, 0
1094	laag	%r15, %r0, 0
1095
1096#CHECK: laal	%r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xfa]
1097#CHECK: laal	%r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xfa]
1098#CHECK: laal	%r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xfa]
1099#CHECK: laal	%r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xfa]
1100#CHECK: laal	%r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xfa]
1101#CHECK: laal	%r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xfa]
1102#CHECK: laal	%r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xfa]
1103#CHECK: laal	%r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xfa]
1104#CHECK: laal	%r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xfa]
1105#CHECK: laal	%r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xfa]
1106#CHECK: laal	%r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xfa]
1107
1108	laal	%r0, %r0, -524288
1109	laal	%r0, %r0, -1
1110	laal	%r0, %r0, 0
1111	laal	%r0, %r0, 1
1112	laal	%r0, %r0, 524287
1113	laal	%r0, %r0, 0(%r1)
1114	laal	%r0, %r0, 0(%r15)
1115	laal	%r0, %r0, 524287(%r1)
1116	laal	%r0, %r0, 524287(%r15)
1117	laal	%r0, %r15, 0
1118	laal	%r15, %r0, 0
1119
1120#CHECK: laalg	%r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xea]
1121#CHECK: laalg	%r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xea]
1122#CHECK: laalg	%r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xea]
1123#CHECK: laalg	%r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xea]
1124#CHECK: laalg	%r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xea]
1125#CHECK: laalg	%r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xea]
1126#CHECK: laalg	%r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xea]
1127#CHECK: laalg	%r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xea]
1128#CHECK: laalg	%r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xea]
1129#CHECK: laalg	%r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xea]
1130#CHECK: laalg	%r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xea]
1131
1132	laalg	%r0, %r0, -524288
1133	laalg	%r0, %r0, -1
1134	laalg	%r0, %r0, 0
1135	laalg	%r0, %r0, 1
1136	laalg	%r0, %r0, 524287
1137	laalg	%r0, %r0, 0(%r1)
1138	laalg	%r0, %r0, 0(%r15)
1139	laalg	%r0, %r0, 524287(%r1)
1140	laalg	%r0, %r0, 524287(%r15)
1141	laalg	%r0, %r15, 0
1142	laalg	%r15, %r0, 0
1143
1144#CHECK: lan	%r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf4]
1145#CHECK: lan	%r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xf4]
1146#CHECK: lan	%r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf4]
1147#CHECK: lan	%r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xf4]
1148#CHECK: lan	%r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf4]
1149#CHECK: lan	%r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf4]
1150#CHECK: lan	%r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf4]
1151#CHECK: lan	%r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xf4]
1152#CHECK: lan	%r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xf4]
1153#CHECK: lan	%r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf4]
1154#CHECK: lan	%r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf4]
1155
1156	lan	%r0, %r0, -524288
1157	lan	%r0, %r0, -1
1158	lan	%r0, %r0, 0
1159	lan	%r0, %r0, 1
1160	lan	%r0, %r0, 524287
1161	lan	%r0, %r0, 0(%r1)
1162	lan	%r0, %r0, 0(%r15)
1163	lan	%r0, %r0, 524287(%r1)
1164	lan	%r0, %r0, 524287(%r15)
1165	lan	%r0, %r15, 0
1166	lan	%r15, %r0, 0
1167
1168#CHECK: lang	%r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe4]
1169#CHECK: lang	%r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xe4]
1170#CHECK: lang	%r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe4]
1171#CHECK: lang	%r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xe4]
1172#CHECK: lang	%r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe4]
1173#CHECK: lang	%r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe4]
1174#CHECK: lang	%r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe4]
1175#CHECK: lang	%r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xe4]
1176#CHECK: lang	%r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xe4]
1177#CHECK: lang	%r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe4]
1178#CHECK: lang	%r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe4]
1179
1180	lang	%r0, %r0, -524288
1181	lang	%r0, %r0, -1
1182	lang	%r0, %r0, 0
1183	lang	%r0, %r0, 1
1184	lang	%r0, %r0, 524287
1185	lang	%r0, %r0, 0(%r1)
1186	lang	%r0, %r0, 0(%r15)
1187	lang	%r0, %r0, 524287(%r1)
1188	lang	%r0, %r0, 524287(%r15)
1189	lang	%r0, %r15, 0
1190	lang	%r15, %r0, 0
1191
1192#CHECK: lao	%r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf6]
1193#CHECK: lao	%r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xf6]
1194#CHECK: lao	%r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf6]
1195#CHECK: lao	%r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xf6]
1196#CHECK: lao	%r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf6]
1197#CHECK: lao	%r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf6]
1198#CHECK: lao	%r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf6]
1199#CHECK: lao	%r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xf6]
1200#CHECK: lao	%r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xf6]
1201#CHECK: lao	%r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf6]
1202#CHECK: lao	%r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf6]
1203
1204	lao	%r0, %r0, -524288
1205	lao	%r0, %r0, -1
1206	lao	%r0, %r0, 0
1207	lao	%r0, %r0, 1
1208	lao	%r0, %r0, 524287
1209	lao	%r0, %r0, 0(%r1)
1210	lao	%r0, %r0, 0(%r15)
1211	lao	%r0, %r0, 524287(%r1)
1212	lao	%r0, %r0, 524287(%r15)
1213	lao	%r0, %r15, 0
1214	lao	%r15, %r0, 0
1215
1216#CHECK: laog	%r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe6]
1217#CHECK: laog	%r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xe6]
1218#CHECK: laog	%r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe6]
1219#CHECK: laog	%r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xe6]
1220#CHECK: laog	%r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe6]
1221#CHECK: laog	%r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe6]
1222#CHECK: laog	%r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe6]
1223#CHECK: laog	%r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xe6]
1224#CHECK: laog	%r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xe6]
1225#CHECK: laog	%r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe6]
1226#CHECK: laog	%r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe6]
1227
1228	laog	%r0, %r0, -524288
1229	laog	%r0, %r0, -1
1230	laog	%r0, %r0, 0
1231	laog	%r0, %r0, 1
1232	laog	%r0, %r0, 524287
1233	laog	%r0, %r0, 0(%r1)
1234	laog	%r0, %r0, 0(%r15)
1235	laog	%r0, %r0, 524287(%r1)
1236	laog	%r0, %r0, 524287(%r15)
1237	laog	%r0, %r15, 0
1238	laog	%r15, %r0, 0
1239
1240#CHECK: lax	%r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf7]
1241#CHECK: lax	%r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xf7]
1242#CHECK: lax	%r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf7]
1243#CHECK: lax	%r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xf7]
1244#CHECK: lax	%r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf7]
1245#CHECK: lax	%r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf7]
1246#CHECK: lax	%r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf7]
1247#CHECK: lax	%r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xf7]
1248#CHECK: lax	%r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xf7]
1249#CHECK: lax	%r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf7]
1250#CHECK: lax	%r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf7]
1251
1252	lax	%r0, %r0, -524288
1253	lax	%r0, %r0, -1
1254	lax	%r0, %r0, 0
1255	lax	%r0, %r0, 1
1256	lax	%r0, %r0, 524287
1257	lax	%r0, %r0, 0(%r1)
1258	lax	%r0, %r0, 0(%r15)
1259	lax	%r0, %r0, 524287(%r1)
1260	lax	%r0, %r0, 524287(%r15)
1261	lax	%r0, %r15, 0
1262	lax	%r15, %r0, 0
1263
1264#CHECK: laxg	%r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe7]
1265#CHECK: laxg	%r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xe7]
1266#CHECK: laxg	%r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe7]
1267#CHECK: laxg	%r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xe7]
1268#CHECK: laxg	%r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe7]
1269#CHECK: laxg	%r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe7]
1270#CHECK: laxg	%r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe7]
1271#CHECK: laxg	%r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xe7]
1272#CHECK: laxg	%r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xe7]
1273#CHECK: laxg	%r0, %r15, 0            # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe7]
1274#CHECK: laxg	%r15, %r0, 0            # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe7]
1275
1276	laxg	%r0, %r0, -524288
1277	laxg	%r0, %r0, -1
1278	laxg	%r0, %r0, 0
1279	laxg	%r0, %r0, 1
1280	laxg	%r0, %r0, 524287
1281	laxg	%r0, %r0, 0(%r1)
1282	laxg	%r0, %r0, 0(%r15)
1283	laxg	%r0, %r0, 524287(%r1)
1284	laxg	%r0, %r0, 524287(%r15)
1285	laxg	%r0, %r15, 0
1286	laxg	%r15, %r0, 0
1287
1288#CHECK: lbh	%r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc0]
1289#CHECK: lbh	%r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc0]
1290#CHECK: lbh	%r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc0]
1291#CHECK: lbh	%r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc0]
1292#CHECK: lbh	%r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc0]
1293#CHECK: lbh	%r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc0]
1294#CHECK: lbh	%r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc0]
1295#CHECK: lbh	%r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc0]
1296#CHECK: lbh	%r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc0]
1297#CHECK: lbh	%r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc0]
1298
1299	lbh	%r0, -524288
1300	lbh	%r0, -1
1301	lbh	%r0, 0
1302	lbh	%r0, 1
1303	lbh	%r0, 524287
1304	lbh	%r0, 0(%r1)
1305	lbh	%r0, 0(%r15)
1306	lbh	%r0, 524287(%r1,%r15)
1307	lbh	%r0, 524287(%r15,%r1)
1308	lbh	%r15, 0
1309
1310#CHECK: ldxbra	%f0, 0, %f0, 0          # encoding: [0xb3,0x45,0x00,0x00]
1311#CHECK: ldxbra	%f0, 0, %f0, 15         # encoding: [0xb3,0x45,0x0f,0x00]
1312#CHECK: ldxbra	%f0, 0, %f13, 0         # encoding: [0xb3,0x45,0x00,0x0d]
1313#CHECK: ldxbra	%f0, 15, %f0, 0         # encoding: [0xb3,0x45,0xf0,0x00]
1314#CHECK: ldxbra	%f4, 5, %f8, 9          # encoding: [0xb3,0x45,0x59,0x48]
1315#CHECK: ldxbra	%f13, 0, %f0, 0         # encoding: [0xb3,0x45,0x00,0xd0]
1316
1317	ldxbra	%f0, 0, %f0, 0
1318	ldxbra	%f0, 0, %f0, 15
1319	ldxbra	%f0, 0, %f13, 0
1320	ldxbra	%f0, 15, %f0, 0
1321	ldxbra	%f4, 5, %f8, 9
1322	ldxbra	%f13, 0, %f0, 0
1323
1324#CHECK: ledbra	%f0, 0, %f0, 0          # encoding: [0xb3,0x44,0x00,0x00]
1325#CHECK: ledbra	%f0, 0, %f0, 15         # encoding: [0xb3,0x44,0x0f,0x00]
1326#CHECK: ledbra	%f0, 0, %f15, 0         # encoding: [0xb3,0x44,0x00,0x0f]
1327#CHECK: ledbra	%f0, 15, %f0, 0         # encoding: [0xb3,0x44,0xf0,0x00]
1328#CHECK: ledbra	%f4, 5, %f6, 7          # encoding: [0xb3,0x44,0x57,0x46]
1329#CHECK: ledbra	%f15, 0, %f0, 0         # encoding: [0xb3,0x44,0x00,0xf0]
1330
1331	ledbra	%f0, 0, %f0, 0
1332	ledbra	%f0, 0, %f0, 15
1333	ledbra	%f0, 0, %f15, 0
1334	ledbra	%f0, 15, %f0, 0
1335	ledbra	%f4, 5, %f6, 7
1336	ledbra	%f15, 0, %f0, 0
1337
1338#CHECK: lexbra	%f0, 0, %f0, 0          # encoding: [0xb3,0x46,0x00,0x00]
1339#CHECK: lexbra	%f0, 0, %f0, 15         # encoding: [0xb3,0x46,0x0f,0x00]
1340#CHECK: lexbra	%f0, 0, %f13, 0         # encoding: [0xb3,0x46,0x00,0x0d]
1341#CHECK: lexbra	%f0, 15, %f0, 0         # encoding: [0xb3,0x46,0xf0,0x00]
1342#CHECK: lexbra	%f4, 5, %f8, 9          # encoding: [0xb3,0x46,0x59,0x48]
1343#CHECK: lexbra	%f13, 0, %f0, 0         # encoding: [0xb3,0x46,0x00,0xd0]
1344
1345	lexbra	%f0, 0, %f0, 0
1346	lexbra	%f0, 0, %f0, 15
1347	lexbra	%f0, 0, %f13, 0
1348	lexbra	%f0, 15, %f0, 0
1349	lexbra	%f4, 5, %f8, 9
1350	lexbra	%f13, 0, %f0, 0
1351
1352#CHECK: lfh	%r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xca]
1353#CHECK: lfh	%r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xca]
1354#CHECK: lfh	%r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xca]
1355#CHECK: lfh	%r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xca]
1356#CHECK: lfh	%r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xca]
1357#CHECK: lfh	%r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xca]
1358#CHECK: lfh	%r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xca]
1359#CHECK: lfh	%r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xca]
1360#CHECK: lfh	%r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xca]
1361#CHECK: lfh	%r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xca]
1362
1363	lfh	%r0, -524288
1364	lfh	%r0, -1
1365	lfh	%r0, 0
1366	lfh	%r0, 1
1367	lfh	%r0, 524287
1368	lfh	%r0, 0(%r1)
1369	lfh	%r0, 0(%r15)
1370	lfh	%r0, 524287(%r1,%r15)
1371	lfh	%r0, 524287(%r15,%r1)
1372	lfh	%r15, 0
1373
1374#CHECK: lhh	%r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc4]
1375#CHECK: lhh	%r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc4]
1376#CHECK: lhh	%r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc4]
1377#CHECK: lhh	%r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc4]
1378#CHECK: lhh	%r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc4]
1379#CHECK: lhh	%r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc4]
1380#CHECK: lhh	%r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc4]
1381#CHECK: lhh	%r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc4]
1382#CHECK: lhh	%r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc4]
1383#CHECK: lhh	%r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc4]
1384
1385	lhh	%r0, -524288
1386	lhh	%r0, -1
1387	lhh	%r0, 0
1388	lhh	%r0, 1
1389	lhh	%r0, 524287
1390	lhh	%r0, 0(%r1)
1391	lhh	%r0, 0(%r15)
1392	lhh	%r0, 524287(%r1,%r15)
1393	lhh	%r0, 524287(%r15,%r1)
1394	lhh	%r15, 0
1395
1396#CHECK: llch	%r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc2]
1397#CHECK: llch	%r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc2]
1398#CHECK: llch	%r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc2]
1399#CHECK: llch	%r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc2]
1400#CHECK: llch	%r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc2]
1401#CHECK: llch	%r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc2]
1402#CHECK: llch	%r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc2]
1403#CHECK: llch	%r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc2]
1404#CHECK: llch	%r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc2]
1405#CHECK: llch	%r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc2]
1406
1407	llch	%r0, -524288
1408	llch	%r0, -1
1409	llch	%r0, 0
1410	llch	%r0, 1
1411	llch	%r0, 524287
1412	llch	%r0, 0(%r1)
1413	llch	%r0, 0(%r15)
1414	llch	%r0, 524287(%r1,%r15)
1415	llch	%r0, 524287(%r15,%r1)
1416	llch	%r15, 0
1417
1418#CHECK: llhh	%r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc6]
1419#CHECK: llhh	%r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc6]
1420#CHECK: llhh	%r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc6]
1421#CHECK: llhh	%r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc6]
1422#CHECK: llhh	%r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc6]
1423#CHECK: llhh	%r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc6]
1424#CHECK: llhh	%r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc6]
1425#CHECK: llhh	%r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc6]
1426#CHECK: llhh	%r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc6]
1427#CHECK: llhh	%r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc6]
1428
1429	llhh	%r0, -524288
1430	llhh	%r0, -1
1431	llhh	%r0, 0
1432	llhh	%r0, 1
1433	llhh	%r0, 524287
1434	llhh	%r0, 0(%r1)
1435	llhh	%r0, 0(%r15)
1436	llhh	%r0, 524287(%r1,%r15)
1437	llhh	%r0, 524287(%r15,%r1)
1438	llhh	%r15, 0
1439
1440#CHECK: loc	%r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf2]
1441#CHECK: loc	%r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf2]
1442#CHECK: loc	%r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf2]
1443#CHECK: loc	%r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf2]
1444#CHECK: loc	%r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf2]
1445#CHECK: loc	%r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf2]
1446#CHECK: loc	%r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf2]
1447#CHECK: loc	%r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xf2]
1448
1449	loc	%r0,0,0
1450	loc	%r0,0,15
1451	loc	%r0,-524288,0
1452	loc	%r0,524287,0
1453	loc	%r0,0(%r1),0
1454	loc	%r0,0(%r15),0
1455	loc	%r15,0,0
1456	loc	%r1,4095(%r2),3
1457
1458#CHECK: loco   %r1, 2(%r3)              # encoding: [0xeb,0x11,0x30,0x02,0x00,0xf2]
1459#CHECK: loch   %r1, 2(%r3)              # encoding: [0xeb,0x12,0x30,0x02,0x00,0xf2]
1460#CHECK: locp   %r1, 2(%r3)              # encoding: [0xeb,0x12,0x30,0x02,0x00,0xf2]
1461#CHECK: locnle %r1, 2(%r3)              # encoding: [0xeb,0x13,0x30,0x02,0x00,0xf2]
1462#CHECK: locl   %r1, 2(%r3)              # encoding: [0xeb,0x14,0x30,0x02,0x00,0xf2]
1463#CHECK: locm   %r1, 2(%r3)              # encoding: [0xeb,0x14,0x30,0x02,0x00,0xf2]
1464#CHECK: locnhe %r1, 2(%r3)              # encoding: [0xeb,0x15,0x30,0x02,0x00,0xf2]
1465#CHECK: loclh  %r1, 2(%r3)              # encoding: [0xeb,0x16,0x30,0x02,0x00,0xf2]
1466#CHECK: locne  %r1, 2(%r3)              # encoding: [0xeb,0x17,0x30,0x02,0x00,0xf2]
1467#CHECK: locnz  %r1, 2(%r3)              # encoding: [0xeb,0x17,0x30,0x02,0x00,0xf2]
1468#CHECK: loce   %r1, 2(%r3)              # encoding: [0xeb,0x18,0x30,0x02,0x00,0xf2]
1469#CHECK: locz   %r1, 2(%r3)              # encoding: [0xeb,0x18,0x30,0x02,0x00,0xf2]
1470#CHECK: locnlh %r1, 2(%r3)              # encoding: [0xeb,0x19,0x30,0x02,0x00,0xf2]
1471#CHECK: loche  %r1, 2(%r3)              # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xf2]
1472#CHECK: locnl  %r1, 2(%r3)              # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xf2]
1473#CHECK: locnm  %r1, 2(%r3)              # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xf2]
1474#CHECK: locle  %r1, 2(%r3)              # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xf2]
1475#CHECK: locnh  %r1, 2(%r3)              # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xf2]
1476#CHECK: locnp  %r1, 2(%r3)              # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xf2]
1477#CHECK: locno  %r1, 2(%r3)              # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xf2]
1478
1479	loco   %r1,2(%r3)
1480	loch   %r1,2(%r3)
1481	locp   %r1,2(%r3)
1482	locnle %r1,2(%r3)
1483	locl   %r1,2(%r3)
1484	locm   %r1,2(%r3)
1485	locnhe %r1,2(%r3)
1486	loclh  %r1,2(%r3)
1487	locne  %r1,2(%r3)
1488	locnz  %r1,2(%r3)
1489	loce   %r1,2(%r3)
1490	locz   %r1,2(%r3)
1491	locnlh %r1,2(%r3)
1492	loche  %r1,2(%r3)
1493	locnl  %r1,2(%r3)
1494	locnm  %r1,2(%r3)
1495	locle  %r1,2(%r3)
1496	locnh  %r1,2(%r3)
1497	locnp  %r1,2(%r3)
1498	locno  %r1,2(%r3)
1499
1500#CHECK: locg	%r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe2]
1501#CHECK: locg	%r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe2]
1502#CHECK: locg	%r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe2]
1503#CHECK: locg	%r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe2]
1504#CHECK: locg	%r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe2]
1505#CHECK: locg	%r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe2]
1506#CHECK: locg	%r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe2]
1507#CHECK: locg	%r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xe2]
1508
1509	locg	%r0,0,0
1510	locg	%r0,0,15
1511	locg	%r0,-524288,0
1512	locg	%r0,524287,0
1513	locg	%r0,0(%r1),0
1514	locg	%r0,0(%r15),0
1515	locg	%r15,0,0
1516	locg	%r1,4095(%r2),3
1517
1518#CHECK: locgo   %r1, 2(%r3)             # encoding: [0xeb,0x11,0x30,0x02,0x00,0xe2]
1519#CHECK: locgh   %r1, 2(%r3)             # encoding: [0xeb,0x12,0x30,0x02,0x00,0xe2]
1520#CHECK: locgp   %r1, 2(%r3)             # encoding: [0xeb,0x12,0x30,0x02,0x00,0xe2]
1521#CHECK: locgnle %r1, 2(%r3)             # encoding: [0xeb,0x13,0x30,0x02,0x00,0xe2]
1522#CHECK: locgl   %r1, 2(%r3)             # encoding: [0xeb,0x14,0x30,0x02,0x00,0xe2]
1523#CHECK: locgm   %r1, 2(%r3)             # encoding: [0xeb,0x14,0x30,0x02,0x00,0xe2]
1524#CHECK: locgnhe %r1, 2(%r3)             # encoding: [0xeb,0x15,0x30,0x02,0x00,0xe2]
1525#CHECK: locglh  %r1, 2(%r3)             # encoding: [0xeb,0x16,0x30,0x02,0x00,0xe2]
1526#CHECK: locgne  %r1, 2(%r3)             # encoding: [0xeb,0x17,0x30,0x02,0x00,0xe2]
1527#CHECK: locgnz  %r1, 2(%r3)             # encoding: [0xeb,0x17,0x30,0x02,0x00,0xe2]
1528#CHECK: locge   %r1, 2(%r3)             # encoding: [0xeb,0x18,0x30,0x02,0x00,0xe2]
1529#CHECK: locgz   %r1, 2(%r3)             # encoding: [0xeb,0x18,0x30,0x02,0x00,0xe2]
1530#CHECK: locgnlh %r1, 2(%r3)             # encoding: [0xeb,0x19,0x30,0x02,0x00,0xe2]
1531#CHECK: locghe  %r1, 2(%r3)             # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xe2]
1532#CHECK: locgnl  %r1, 2(%r3)             # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xe2]
1533#CHECK: locgnm  %r1, 2(%r3)             # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xe2]
1534#CHECK: locgle  %r1, 2(%r3)             # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xe2]
1535#CHECK: locgnh  %r1, 2(%r3)             # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xe2]
1536#CHECK: locgnp  %r1, 2(%r3)             # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xe2]
1537#CHECK: locgno  %r1, 2(%r3)             # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xe2]
1538
1539	locgo   %r1,2(%r3)
1540	locgh   %r1,2(%r3)
1541	locgp   %r1,2(%r3)
1542	locgnle %r1,2(%r3)
1543	locgl   %r1,2(%r3)
1544	locgm   %r1,2(%r3)
1545	locgnhe %r1,2(%r3)
1546	locglh  %r1,2(%r3)
1547	locgne  %r1,2(%r3)
1548	locgnz  %r1,2(%r3)
1549	locge   %r1,2(%r3)
1550	locgz   %r1,2(%r3)
1551	locgnlh %r1,2(%r3)
1552	locghe  %r1,2(%r3)
1553	locgnl  %r1,2(%r3)
1554	locgnm  %r1,2(%r3)
1555	locgle  %r1,2(%r3)
1556	locgnh  %r1,2(%r3)
1557	locgnp  %r1,2(%r3)
1558	locgno  %r1,2(%r3)
1559
1560#CHECK: locgr	%r1, %r2, 0             # encoding: [0xb9,0xe2,0x00,0x12]
1561#CHECK: locgr	%r1, %r2, 15            # encoding: [0xb9,0xe2,0xf0,0x12]
1562
1563	locgr	%r1,%r2,0
1564	locgr	%r1,%r2,15
1565
1566#CHECK: locgro   %r1, %r3               # encoding: [0xb9,0xe2,0x10,0x13]
1567#CHECK: locgrh   %r1, %r3               # encoding: [0xb9,0xe2,0x20,0x13]
1568#CHECK: locgrp   %r1, %r3               # encoding: [0xb9,0xe2,0x20,0x13]
1569#CHECK: locgrnle %r1, %r3               # encoding: [0xb9,0xe2,0x30,0x13]
1570#CHECK: locgrl   %r1, %r3               # encoding: [0xb9,0xe2,0x40,0x13]
1571#CHECK: locgrm   %r1, %r3               # encoding: [0xb9,0xe2,0x40,0x13]
1572#CHECK: locgrnhe %r1, %r3               # encoding: [0xb9,0xe2,0x50,0x13]
1573#CHECK: locgrlh  %r1, %r3               # encoding: [0xb9,0xe2,0x60,0x13]
1574#CHECK: locgrne  %r1, %r3               # encoding: [0xb9,0xe2,0x70,0x13]
1575#CHECK: locgrnz  %r1, %r3               # encoding: [0xb9,0xe2,0x70,0x13]
1576#CHECK: locgre   %r1, %r3               # encoding: [0xb9,0xe2,0x80,0x13]
1577#CHECK: locgrz   %r1, %r3               # encoding: [0xb9,0xe2,0x80,0x13]
1578#CHECK: locgrnlh %r1, %r3               # encoding: [0xb9,0xe2,0x90,0x13]
1579#CHECK: locgrhe  %r1, %r3               # encoding: [0xb9,0xe2,0xa0,0x13]
1580#CHECK: locgrnl  %r1, %r3               # encoding: [0xb9,0xe2,0xb0,0x13]
1581#CHECK: locgrnm  %r1, %r3               # encoding: [0xb9,0xe2,0xb0,0x13]
1582#CHECK: locgrle  %r1, %r3               # encoding: [0xb9,0xe2,0xc0,0x13]
1583#CHECK: locgrnh  %r1, %r3               # encoding: [0xb9,0xe2,0xd0,0x13]
1584#CHECK: locgrnp  %r1, %r3               # encoding: [0xb9,0xe2,0xd0,0x13]
1585#CHECK: locgrno  %r1, %r3               # encoding: [0xb9,0xe2,0xe0,0x13]
1586
1587	locgro   %r1,%r3
1588	locgrh   %r1,%r3
1589	locgrp   %r1,%r3
1590	locgrnle %r1,%r3
1591	locgrl   %r1,%r3
1592	locgrm   %r1,%r3
1593	locgrnhe %r1,%r3
1594	locgrlh  %r1,%r3
1595	locgrne  %r1,%r3
1596	locgrnz  %r1,%r3
1597	locgre   %r1,%r3
1598	locgrz   %r1,%r3
1599	locgrnlh %r1,%r3
1600	locgrhe  %r1,%r3
1601	locgrnl  %r1,%r3
1602	locgrnm  %r1,%r3
1603	locgrle  %r1,%r3
1604	locgrnh  %r1,%r3
1605	locgrnp  %r1,%r3
1606	locgrno  %r1,%r3
1607
1608#CHECK: locr	%r1, %r2, 0             # encoding: [0xb9,0xf2,0x00,0x12]
1609#CHECK: locr	%r1, %r2, 15            # encoding: [0xb9,0xf2,0xf0,0x12]
1610
1611	locr	%r1,%r2,0
1612	locr	%r1,%r2,15
1613
1614#CHECK: locro   %r1, %r3                # encoding: [0xb9,0xf2,0x10,0x13]
1615#CHECK: locrh   %r1, %r3                # encoding: [0xb9,0xf2,0x20,0x13]
1616#CHECK: locrp   %r1, %r3                # encoding: [0xb9,0xf2,0x20,0x13]
1617#CHECK: locrnle %r1, %r3                # encoding: [0xb9,0xf2,0x30,0x13]
1618#CHECK: locrl   %r1, %r3                # encoding: [0xb9,0xf2,0x40,0x13]
1619#CHECK: locrm   %r1, %r3                # encoding: [0xb9,0xf2,0x40,0x13]
1620#CHECK: locrnhe %r1, %r3                # encoding: [0xb9,0xf2,0x50,0x13]
1621#CHECK: locrlh  %r1, %r3                # encoding: [0xb9,0xf2,0x60,0x13]
1622#CHECK: locrne  %r1, %r3                # encoding: [0xb9,0xf2,0x70,0x13]
1623#CHECK: locrnz  %r1, %r3                # encoding: [0xb9,0xf2,0x70,0x13]
1624#CHECK: locre   %r1, %r3                # encoding: [0xb9,0xf2,0x80,0x13]
1625#CHECK: locrz   %r1, %r3                # encoding: [0xb9,0xf2,0x80,0x13]
1626#CHECK: locrnlh %r1, %r3                # encoding: [0xb9,0xf2,0x90,0x13]
1627#CHECK: locrhe  %r1, %r3                # encoding: [0xb9,0xf2,0xa0,0x13]
1628#CHECK: locrnl  %r1, %r3                # encoding: [0xb9,0xf2,0xb0,0x13]
1629#CHECK: locrnm  %r1, %r3                # encoding: [0xb9,0xf2,0xb0,0x13]
1630#CHECK: locrle  %r1, %r3                # encoding: [0xb9,0xf2,0xc0,0x13]
1631#CHECK: locrnh  %r1, %r3                # encoding: [0xb9,0xf2,0xd0,0x13]
1632#CHECK: locrnp  %r1, %r3                # encoding: [0xb9,0xf2,0xd0,0x13]
1633#CHECK: locrno  %r1, %r3                # encoding: [0xb9,0xf2,0xe0,0x13]
1634
1635	locro   %r1,%r3
1636	locrh   %r1,%r3
1637	locrp   %r1,%r3
1638	locrnle %r1,%r3
1639	locrl   %r1,%r3
1640	locrm   %r1,%r3
1641	locrnhe %r1,%r3
1642	locrlh  %r1,%r3
1643	locrne  %r1,%r3
1644	locrnz  %r1,%r3
1645	locre   %r1,%r3
1646	locrz   %r1,%r3
1647	locrnlh %r1,%r3
1648	locrhe  %r1,%r3
1649	locrnl  %r1,%r3
1650	locrnm  %r1,%r3
1651	locrle  %r1,%r3
1652	locrnh  %r1,%r3
1653	locrnp  %r1,%r3
1654	locrno  %r1,%r3
1655
1656#CHECK: lpd	%r0, 0, 0               # encoding: [0xc8,0x04,0x00,0x00,0x00,0x00]
1657#CHECK: lpd	%r2, 0(%r1), 0(%r15)    # encoding: [0xc8,0x24,0x10,0x00,0xf0,0x00]
1658#CHECK: lpd	%r2, 1(%r1), 0(%r15)    # encoding: [0xc8,0x24,0x10,0x01,0xf0,0x00]
1659#CHECK: lpd	%r2, 4095(%r1), 0(%r15) # encoding: [0xc8,0x24,0x1f,0xff,0xf0,0x00]
1660#CHECK: lpd	%r2, 0(%r1), 1(%r15)    # encoding: [0xc8,0x24,0x10,0x00,0xf0,0x01]
1661#CHECK: lpd	%r2, 0(%r1), 4095(%r15) # encoding: [0xc8,0x24,0x10,0x00,0xff,0xff]
1662
1663	lpd	%r0, 0, 0
1664	lpd	%r2, 0(%r1), 0(%r15)
1665	lpd	%r2, 1(%r1), 0(%r15)
1666	lpd	%r2, 4095(%r1), 0(%r15)
1667	lpd	%r2, 0(%r1), 1(%r15)
1668	lpd	%r2, 0(%r1), 4095(%r15)
1669
1670#CHECK: lpdg	%r0, 0, 0               # encoding: [0xc8,0x05,0x00,0x00,0x00,0x00]
1671#CHECK: lpdg	%r2, 0(%r1), 0(%r15)    # encoding: [0xc8,0x25,0x10,0x00,0xf0,0x00]
1672#CHECK: lpdg	%r2, 1(%r1), 0(%r15)    # encoding: [0xc8,0x25,0x10,0x01,0xf0,0x00]
1673#CHECK: lpdg	%r2, 4095(%r1), 0(%r15) # encoding: [0xc8,0x25,0x1f,0xff,0xf0,0x00]
1674#CHECK: lpdg	%r2, 0(%r1), 1(%r15)    # encoding: [0xc8,0x25,0x10,0x00,0xf0,0x01]
1675#CHECK: lpdg	%r2, 0(%r1), 4095(%r15) # encoding: [0xc8,0x25,0x10,0x00,0xff,0xff]
1676
1677	lpdg	%r0, 0, 0
1678	lpdg	%r2, 0(%r1), 0(%r15)
1679	lpdg	%r2, 1(%r1), 0(%r15)
1680	lpdg	%r2, 4095(%r1), 0(%r15)
1681	lpdg	%r2, 0(%r1), 1(%r15)
1682	lpdg	%r2, 0(%r1), 4095(%r15)
1683
1684#CHECK: mdtra	%f0, %f0, %f0, 0        # encoding: [0xb3,0xd0,0x00,0x00]
1685#CHECK: mdtra	%f0, %f0, %f0, 15       # encoding: [0xb3,0xd0,0x0f,0x00]
1686#CHECK: mdtra	%f0, %f0, %f15, 0       # encoding: [0xb3,0xd0,0xf0,0x00]
1687#CHECK: mdtra	%f0, %f15, %f0, 0       # encoding: [0xb3,0xd0,0x00,0x0f]
1688#CHECK: mdtra	%f15, %f0, %f0, 0       # encoding: [0xb3,0xd0,0x00,0xf0]
1689#CHECK: mdtra	%f7, %f8, %f9, 10       # encoding: [0xb3,0xd0,0x9a,0x78]
1690
1691	mdtra	%f0, %f0, %f0, 0
1692	mdtra	%f0, %f0, %f0, 15
1693	mdtra	%f0, %f0, %f15, 0
1694	mdtra	%f0, %f15, %f0, 0
1695	mdtra	%f15, %f0, %f0, 0
1696	mdtra	%f7, %f8, %f9, 10
1697
1698#CHECK: mxtra	%f0, %f0, %f0, 0        # encoding: [0xb3,0xd8,0x00,0x00]
1699#CHECK: mxtra	%f0, %f0, %f0, 15       # encoding: [0xb3,0xd8,0x0f,0x00]
1700#CHECK: mxtra	%f0, %f0, %f13, 0       # encoding: [0xb3,0xd8,0xd0,0x00]
1701#CHECK: mxtra	%f0, %f13, %f0, 0       # encoding: [0xb3,0xd8,0x00,0x0d]
1702#CHECK: mxtra	%f13, %f0, %f0, 0       # encoding: [0xb3,0xd8,0x00,0xd0]
1703#CHECK: mxtra	%f8, %f8, %f8, 8        # encoding: [0xb3,0xd8,0x88,0x88]
1704
1705	mxtra	%f0, %f0, %f0, 0
1706	mxtra	%f0, %f0, %f0, 15
1707	mxtra	%f0, %f0, %f13, 0
1708	mxtra	%f0, %f13, %f0, 0
1709	mxtra	%f13, %f0, %f0, 0
1710	mxtra	%f8, %f8, %f8, 8
1711
1712#CHECK: ngrk	%r0, %r0, %r0           # encoding: [0xb9,0xe4,0x00,0x00]
1713#CHECK: ngrk	%r0, %r0, %r15          # encoding: [0xb9,0xe4,0xf0,0x00]
1714#CHECK: ngrk	%r0, %r15, %r0          # encoding: [0xb9,0xe4,0x00,0x0f]
1715#CHECK: ngrk	%r15, %r0, %r0          # encoding: [0xb9,0xe4,0x00,0xf0]
1716#CHECK: ngrk	%r7, %r8, %r9           # encoding: [0xb9,0xe4,0x90,0x78]
1717
1718	ngrk	%r0,%r0,%r0
1719	ngrk	%r0,%r0,%r15
1720	ngrk	%r0,%r15,%r0
1721	ngrk	%r15,%r0,%r0
1722	ngrk	%r7,%r8,%r9
1723
1724#CHECK: nrk	%r0, %r0, %r0           # encoding: [0xb9,0xf4,0x00,0x00]
1725#CHECK: nrk	%r0, %r0, %r15          # encoding: [0xb9,0xf4,0xf0,0x00]
1726#CHECK: nrk	%r0, %r15, %r0          # encoding: [0xb9,0xf4,0x00,0x0f]
1727#CHECK: nrk	%r15, %r0, %r0          # encoding: [0xb9,0xf4,0x00,0xf0]
1728#CHECK: nrk	%r7, %r8, %r9           # encoding: [0xb9,0xf4,0x90,0x78]
1729
1730	nrk	%r0,%r0,%r0
1731	nrk	%r0,%r0,%r15
1732	nrk	%r0,%r15,%r0
1733	nrk	%r15,%r0,%r0
1734	nrk	%r7,%r8,%r9
1735
1736#CHECK: ogrk	%r0, %r0, %r0           # encoding: [0xb9,0xe6,0x00,0x00]
1737#CHECK: ogrk	%r0, %r0, %r15          # encoding: [0xb9,0xe6,0xf0,0x00]
1738#CHECK: ogrk	%r0, %r15, %r0          # encoding: [0xb9,0xe6,0x00,0x0f]
1739#CHECK: ogrk	%r15, %r0, %r0          # encoding: [0xb9,0xe6,0x00,0xf0]
1740#CHECK: ogrk	%r7, %r8, %r9           # encoding: [0xb9,0xe6,0x90,0x78]
1741
1742	ogrk	%r0,%r0,%r0
1743	ogrk	%r0,%r0,%r15
1744	ogrk	%r0,%r15,%r0
1745	ogrk	%r15,%r0,%r0
1746	ogrk	%r7,%r8,%r9
1747
1748#CHECK: ork	%r0, %r0, %r0           # encoding: [0xb9,0xf6,0x00,0x00]
1749#CHECK: ork	%r0, %r0, %r15          # encoding: [0xb9,0xf6,0xf0,0x00]
1750#CHECK: ork	%r0, %r15, %r0          # encoding: [0xb9,0xf6,0x00,0x0f]
1751#CHECK: ork	%r15, %r0, %r0          # encoding: [0xb9,0xf6,0x00,0xf0]
1752#CHECK: ork	%r7, %r8, %r9           # encoding: [0xb9,0xf6,0x90,0x78]
1753
1754	ork	%r0,%r0,%r0
1755	ork	%r0,%r0,%r15
1756	ork	%r0,%r15,%r0
1757	ork	%r15,%r0,%r0
1758	ork	%r7,%r8,%r9
1759
1760#CHECK: pcc                             # encoding: [0xb9,0x2c,0x00,0x00]
1761
1762	pcc
1763
1764#CHECK: pckmo                           # encoding: [0xb9,0x28,0x00,0x00]
1765
1766	pckmo
1767
1768#CHECK: popcnt	%r0, %r0                # encoding: [0xb9,0xe1,0x00,0x00]
1769#CHECK: popcnt	%r0, %r15               # encoding: [0xb9,0xe1,0x00,0x0f]
1770#CHECK: popcnt	%r15, %r0               # encoding: [0xb9,0xe1,0x00,0xf0]
1771#CHECK: popcnt	%r7, %r8                # encoding: [0xb9,0xe1,0x00,0x78]
1772
1773	popcnt	%r0,%r0
1774	popcnt	%r0,%r15
1775	popcnt	%r15,%r0
1776	popcnt	%r7,%r8
1777
1778#CHECK: risbhg	%r0, %r0, 0, 0, 0       # encoding: [0xec,0x00,0x00,0x00,0x00,0x5d]
1779#CHECK: risbhg	%r0, %r0, 0, 0, 63      # encoding: [0xec,0x00,0x00,0x00,0x3f,0x5d]
1780#CHECK: risbhg	%r0, %r0, 0, 255, 0     # encoding: [0xec,0x00,0x00,0xff,0x00,0x5d]
1781#CHECK: risbhg	%r0, %r0, 255, 0, 0     # encoding: [0xec,0x00,0xff,0x00,0x00,0x5d]
1782#CHECK: risbhg	%r0, %r15, 0, 0, 0      # encoding: [0xec,0x0f,0x00,0x00,0x00,0x5d]
1783#CHECK: risbhg	%r15, %r0, 0, 0, 0      # encoding: [0xec,0xf0,0x00,0x00,0x00,0x5d]
1784#CHECK: risbhg	%r4, %r5, 6, 7, 8       # encoding: [0xec,0x45,0x06,0x07,0x08,0x5d]
1785
1786	risbhg	%r0,%r0,0,0,0
1787	risbhg	%r0,%r0,0,0,63
1788	risbhg	%r0,%r0,0,255,0
1789	risbhg	%r0,%r0,255,0,0
1790	risbhg	%r0,%r15,0,0,0
1791	risbhg	%r15,%r0,0,0,0
1792	risbhg	%r4,%r5,6,7,8
1793
1794#CHECK: risblg	%r0, %r0, 0, 0, 0       # encoding: [0xec,0x00,0x00,0x00,0x00,0x51]
1795#CHECK: risblg	%r0, %r0, 0, 0, 63      # encoding: [0xec,0x00,0x00,0x00,0x3f,0x51]
1796#CHECK: risblg	%r0, %r0, 0, 255, 0     # encoding: [0xec,0x00,0x00,0xff,0x00,0x51]
1797#CHECK: risblg	%r0, %r0, 255, 0, 0     # encoding: [0xec,0x00,0xff,0x00,0x00,0x51]
1798#CHECK: risblg	%r0, %r15, 0, 0, 0      # encoding: [0xec,0x0f,0x00,0x00,0x00,0x51]
1799#CHECK: risblg	%r15, %r0, 0, 0, 0      # encoding: [0xec,0xf0,0x00,0x00,0x00,0x51]
1800#CHECK: risblg	%r4, %r5, 6, 7, 8       # encoding: [0xec,0x45,0x06,0x07,0x08,0x51]
1801
1802	risblg	%r0,%r0,0,0,0
1803	risblg	%r0,%r0,0,0,63
1804	risblg	%r0,%r0,0,255,0
1805	risblg	%r0,%r0,255,0,0
1806	risblg	%r0,%r15,0,0,0
1807	risblg	%r15,%r0,0,0,0
1808	risblg	%r4,%r5,6,7,8
1809
1810#CHECK: rrbm	%r0, %r0                # encoding: [0xb9,0xae,0x00,0x00]
1811#CHECK: rrbm	%r0, %r15               # encoding: [0xb9,0xae,0x00,0x0f]
1812#CHECK: rrbm	%r15, %r0               # encoding: [0xb9,0xae,0x00,0xf0]
1813#CHECK: rrbm	%r7, %r8                # encoding: [0xb9,0xae,0x00,0x78]
1814#CHECK: rrbm	%r15, %r15              # encoding: [0xb9,0xae,0x00,0xff]
1815
1816	rrbm	%r0,%r0
1817	rrbm	%r0,%r15
1818	rrbm	%r15,%r0
1819	rrbm	%r7,%r8
1820	rrbm	%r15,%r15
1821
1822#CHECK: sdtra	%f0, %f0, %f0, 0        # encoding: [0xb3,0xd3,0x00,0x00]
1823#CHECK: sdtra	%f0, %f0, %f0, 15       # encoding: [0xb3,0xd3,0x0f,0x00]
1824#CHECK: sdtra	%f0, %f0, %f15, 0       # encoding: [0xb3,0xd3,0xf0,0x00]
1825#CHECK: sdtra	%f0, %f15, %f0, 0       # encoding: [0xb3,0xd3,0x00,0x0f]
1826#CHECK: sdtra	%f15, %f0, %f0, 0       # encoding: [0xb3,0xd3,0x00,0xf0]
1827#CHECK: sdtra	%f7, %f8, %f9, 10       # encoding: [0xb3,0xd3,0x9a,0x78]
1828
1829	sdtra	%f0, %f0, %f0, 0
1830	sdtra	%f0, %f0, %f0, 15
1831	sdtra	%f0, %f0, %f15, 0
1832	sdtra	%f0, %f15, %f0, 0
1833	sdtra	%f15, %f0, %f0, 0
1834	sdtra	%f7, %f8, %f9, 10
1835
1836#CHECK: sgrk	%r0, %r0, %r0           # encoding: [0xb9,0xe9,0x00,0x00]
1837#CHECK: sgrk	%r0, %r0, %r15          # encoding: [0xb9,0xe9,0xf0,0x00]
1838#CHECK: sgrk	%r0, %r15, %r0          # encoding: [0xb9,0xe9,0x00,0x0f]
1839#CHECK: sgrk	%r15, %r0, %r0          # encoding: [0xb9,0xe9,0x00,0xf0]
1840#CHECK: sgrk	%r7, %r8, %r9           # encoding: [0xb9,0xe9,0x90,0x78]
1841
1842	sgrk	%r0,%r0,%r0
1843	sgrk	%r0,%r0,%r15
1844	sgrk	%r0,%r15,%r0
1845	sgrk	%r15,%r0,%r0
1846	sgrk	%r7,%r8,%r9
1847
1848#CHECK: shhhr	%r0, %r0, %r0           # encoding: [0xb9,0xc9,0x00,0x00]
1849#CHECK: shhhr	%r0, %r0, %r15          # encoding: [0xb9,0xc9,0xf0,0x00]
1850#CHECK: shhhr	%r0, %r15, %r0          # encoding: [0xb9,0xc9,0x00,0x0f]
1851#CHECK: shhhr	%r15, %r0, %r0          # encoding: [0xb9,0xc9,0x00,0xf0]
1852#CHECK: shhhr	%r7, %r8, %r9           # encoding: [0xb9,0xc9,0x90,0x78]
1853
1854	shhhr	%r0, %r0, %r0
1855	shhhr	%r0, %r0, %r15
1856	shhhr	%r0, %r15, %r0
1857	shhhr	%r15, %r0, %r0
1858	shhhr	%r7, %r8, %r9
1859
1860#CHECK: shhlr	%r0, %r0, %r0           # encoding: [0xb9,0xd9,0x00,0x00]
1861#CHECK: shhlr	%r0, %r0, %r15          # encoding: [0xb9,0xd9,0xf0,0x00]
1862#CHECK: shhlr	%r0, %r15, %r0          # encoding: [0xb9,0xd9,0x00,0x0f]
1863#CHECK: shhlr	%r15, %r0, %r0          # encoding: [0xb9,0xd9,0x00,0xf0]
1864#CHECK: shhlr	%r7, %r8, %r9           # encoding: [0xb9,0xd9,0x90,0x78]
1865
1866	shhlr	%r0, %r0, %r0
1867	shhlr	%r0, %r0, %r15
1868	shhlr	%r0, %r15, %r0
1869	shhlr	%r15, %r0, %r0
1870	shhlr	%r7, %r8, %r9
1871
1872#CHECK: slak	%r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xdd]
1873#CHECK: slak	%r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xdd]
1874#CHECK: slak	%r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xdd]
1875#CHECK: slak	%r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xdd]
1876#CHECK: slak	%r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xdd]
1877#CHECK: slak	%r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xdd]
1878#CHECK: slak	%r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xdd]
1879#CHECK: slak	%r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xdd]
1880#CHECK: slak	%r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xdd]
1881#CHECK: slak	%r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xdd]
1882#CHECK: slak	%r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xdd]
1883#CHECK: slak	%r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xdd]
1884
1885	slak	%r0,%r0,0
1886	slak	%r15,%r1,0
1887	slak	%r1,%r15,0
1888	slak	%r15,%r15,0
1889	slak	%r0,%r0,-524288
1890	slak	%r0,%r0,-1
1891	slak	%r0,%r0,1
1892	slak	%r0,%r0,524287
1893	slak	%r0,%r0,0(%r1)
1894	slak	%r0,%r0,0(%r15)
1895	slak	%r0,%r0,524287(%r1)
1896	slak	%r0,%r0,524287(%r15)
1897
1898#CHECK: slgrk	%r0, %r0, %r0           # encoding: [0xb9,0xeb,0x00,0x00]
1899#CHECK: slgrk	%r0, %r0, %r15          # encoding: [0xb9,0xeb,0xf0,0x00]
1900#CHECK: slgrk	%r0, %r15, %r0          # encoding: [0xb9,0xeb,0x00,0x0f]
1901#CHECK: slgrk	%r15, %r0, %r0          # encoding: [0xb9,0xeb,0x00,0xf0]
1902#CHECK: slgrk	%r7, %r8, %r9           # encoding: [0xb9,0xeb,0x90,0x78]
1903
1904	slgrk	%r0,%r0,%r0
1905	slgrk	%r0,%r0,%r15
1906	slgrk	%r0,%r15,%r0
1907	slgrk	%r15,%r0,%r0
1908	slgrk	%r7,%r8,%r9
1909
1910#CHECK: slhhhr	%r0, %r0, %r0           # encoding: [0xb9,0xcb,0x00,0x00]
1911#CHECK: slhhhr	%r0, %r0, %r15          # encoding: [0xb9,0xcb,0xf0,0x00]
1912#CHECK: slhhhr	%r0, %r15, %r0          # encoding: [0xb9,0xcb,0x00,0x0f]
1913#CHECK: slhhhr	%r15, %r0, %r0          # encoding: [0xb9,0xcb,0x00,0xf0]
1914#CHECK: slhhhr	%r7, %r8, %r9           # encoding: [0xb9,0xcb,0x90,0x78]
1915
1916	slhhhr	%r0, %r0, %r0
1917	slhhhr	%r0, %r0, %r15
1918	slhhhr	%r0, %r15, %r0
1919	slhhhr	%r15, %r0, %r0
1920	slhhhr	%r7, %r8, %r9
1921
1922#CHECK: slhhlr	%r0, %r0, %r0           # encoding: [0xb9,0xdb,0x00,0x00]
1923#CHECK: slhhlr	%r0, %r0, %r15          # encoding: [0xb9,0xdb,0xf0,0x00]
1924#CHECK: slhhlr	%r0, %r15, %r0          # encoding: [0xb9,0xdb,0x00,0x0f]
1925#CHECK: slhhlr	%r15, %r0, %r0          # encoding: [0xb9,0xdb,0x00,0xf0]
1926#CHECK: slhhlr	%r7, %r8, %r9           # encoding: [0xb9,0xdb,0x90,0x78]
1927
1928	slhhlr	%r0, %r0, %r0
1929	slhhlr	%r0, %r0, %r15
1930	slhhlr	%r0, %r15, %r0
1931	slhhlr	%r15, %r0, %r0
1932	slhhlr	%r7, %r8, %r9
1933
1934#CHECK: sllk	%r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xdf]
1935#CHECK: sllk	%r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xdf]
1936#CHECK: sllk	%r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xdf]
1937#CHECK: sllk	%r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xdf]
1938#CHECK: sllk	%r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xdf]
1939#CHECK: sllk	%r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xdf]
1940#CHECK: sllk	%r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xdf]
1941#CHECK: sllk	%r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xdf]
1942#CHECK: sllk	%r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xdf]
1943#CHECK: sllk	%r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xdf]
1944#CHECK: sllk	%r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xdf]
1945#CHECK: sllk	%r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xdf]
1946
1947	sllk	%r0,%r0,0
1948	sllk	%r15,%r1,0
1949	sllk	%r1,%r15,0
1950	sllk	%r15,%r15,0
1951	sllk	%r0,%r0,-524288
1952	sllk	%r0,%r0,-1
1953	sllk	%r0,%r0,1
1954	sllk	%r0,%r0,524287
1955	sllk	%r0,%r0,0(%r1)
1956	sllk	%r0,%r0,0(%r15)
1957	sllk	%r0,%r0,524287(%r1)
1958	sllk	%r0,%r0,524287(%r15)
1959
1960#CHECK: slrk	%r0, %r0, %r0           # encoding: [0xb9,0xfb,0x00,0x00]
1961#CHECK: slrk	%r0, %r0, %r15          # encoding: [0xb9,0xfb,0xf0,0x00]
1962#CHECK: slrk	%r0, %r15, %r0          # encoding: [0xb9,0xfb,0x00,0x0f]
1963#CHECK: slrk	%r15, %r0, %r0          # encoding: [0xb9,0xfb,0x00,0xf0]
1964#CHECK: slrk	%r7, %r8, %r9           # encoding: [0xb9,0xfb,0x90,0x78]
1965
1966	slrk	%r0,%r0,%r0
1967	slrk	%r0,%r0,%r15
1968	slrk	%r0,%r15,%r0
1969	slrk	%r15,%r0,%r0
1970	slrk	%r7,%r8,%r9
1971
1972#CHECK: srak	%r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xdc]
1973#CHECK: srak	%r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xdc]
1974#CHECK: srak	%r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xdc]
1975#CHECK: srak	%r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xdc]
1976#CHECK: srak	%r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xdc]
1977#CHECK: srak	%r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xdc]
1978#CHECK: srak	%r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xdc]
1979#CHECK: srak	%r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xdc]
1980#CHECK: srak	%r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xdc]
1981#CHECK: srak	%r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xdc]
1982#CHECK: srak	%r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xdc]
1983#CHECK: srak	%r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xdc]
1984
1985	srak	%r0,%r0,0
1986	srak	%r15,%r1,0
1987	srak	%r1,%r15,0
1988	srak	%r15,%r15,0
1989	srak	%r0,%r0,-524288
1990	srak	%r0,%r0,-1
1991	srak	%r0,%r0,1
1992	srak	%r0,%r0,524287
1993	srak	%r0,%r0,0(%r1)
1994	srak	%r0,%r0,0(%r15)
1995	srak	%r0,%r0,524287(%r1)
1996	srak	%r0,%r0,524287(%r15)
1997
1998#CHECK: srk	%r0, %r0, %r0           # encoding: [0xb9,0xf9,0x00,0x00]
1999#CHECK: srk	%r0, %r0, %r15          # encoding: [0xb9,0xf9,0xf0,0x00]
2000#CHECK: srk	%r0, %r15, %r0          # encoding: [0xb9,0xf9,0x00,0x0f]
2001#CHECK: srk	%r15, %r0, %r0          # encoding: [0xb9,0xf9,0x00,0xf0]
2002#CHECK: srk	%r7, %r8, %r9           # encoding: [0xb9,0xf9,0x90,0x78]
2003
2004	srk	%r0,%r0,%r0
2005	srk	%r0,%r0,%r15
2006	srk	%r0,%r15,%r0
2007	srk	%r15,%r0,%r0
2008	srk	%r7,%r8,%r9
2009
2010#CHECK: srlk	%r0, %r0, 0             # encoding: [0xeb,0x00,0x00,0x00,0x00,0xde]
2011#CHECK: srlk	%r15, %r1, 0            # encoding: [0xeb,0xf1,0x00,0x00,0x00,0xde]
2012#CHECK: srlk	%r1, %r15, 0            # encoding: [0xeb,0x1f,0x00,0x00,0x00,0xde]
2013#CHECK: srlk	%r15, %r15, 0           # encoding: [0xeb,0xff,0x00,0x00,0x00,0xde]
2014#CHECK: srlk	%r0, %r0, -524288       # encoding: [0xeb,0x00,0x00,0x00,0x80,0xde]
2015#CHECK: srlk	%r0, %r0, -1            # encoding: [0xeb,0x00,0x0f,0xff,0xff,0xde]
2016#CHECK: srlk	%r0, %r0, 1             # encoding: [0xeb,0x00,0x00,0x01,0x00,0xde]
2017#CHECK: srlk	%r0, %r0, 524287        # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xde]
2018#CHECK: srlk	%r0, %r0, 0(%r1)        # encoding: [0xeb,0x00,0x10,0x00,0x00,0xde]
2019#CHECK: srlk	%r0, %r0, 0(%r15)       # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xde]
2020#CHECK: srlk	%r0, %r0, 524287(%r1)   # encoding: [0xeb,0x00,0x1f,0xff,0x7f,0xde]
2021#CHECK: srlk	%r0, %r0, 524287(%r15)  # encoding: [0xeb,0x00,0xff,0xff,0x7f,0xde]
2022
2023	srlk	%r0,%r0,0
2024	srlk	%r15,%r1,0
2025	srlk	%r1,%r15,0
2026	srlk	%r15,%r15,0
2027	srlk	%r0,%r0,-524288
2028	srlk	%r0,%r0,-1
2029	srlk	%r0,%r0,1
2030	srlk	%r0,%r0,524287
2031	srlk	%r0,%r0,0(%r1)
2032	srlk	%r0,%r0,0(%r15)
2033	srlk	%r0,%r0,524287(%r1)
2034	srlk	%r0,%r0,524287(%r15)
2035
2036#CHECK: srnmb	0                       # encoding: [0xb2,0xb8,0x00,0x00]
2037#CHECK: srnmb	0(%r1)                  # encoding: [0xb2,0xb8,0x10,0x00]
2038#CHECK: srnmb	0(%r15)                 # encoding: [0xb2,0xb8,0xf0,0x00]
2039#CHECK: srnmb	4095                    # encoding: [0xb2,0xb8,0x0f,0xff]
2040#CHECK: srnmb	4095(%r1)               # encoding: [0xb2,0xb8,0x1f,0xff]
2041#CHECK: srnmb	4095(%r15)              # encoding: [0xb2,0xb8,0xff,0xff]
2042
2043	srnmb	0
2044	srnmb	0(%r1)
2045	srnmb	0(%r15)
2046	srnmb	4095
2047	srnmb	4095(%r1)
2048	srnmb	4095(%r15)
2049
2050#CHECK: stch	%r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc3]
2051#CHECK: stch	%r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc3]
2052#CHECK: stch	%r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc3]
2053#CHECK: stch	%r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc3]
2054#CHECK: stch	%r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc3]
2055#CHECK: stch	%r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc3]
2056#CHECK: stch	%r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc3]
2057#CHECK: stch	%r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc3]
2058#CHECK: stch	%r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc3]
2059#CHECK: stch	%r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc3]
2060
2061	stch	%r0, -524288
2062	stch	%r0, -1
2063	stch	%r0, 0
2064	stch	%r0, 1
2065	stch	%r0, 524287
2066	stch	%r0, 0(%r1)
2067	stch	%r0, 0(%r15)
2068	stch	%r0, 524287(%r1,%r15)
2069	stch	%r0, 524287(%r15,%r1)
2070	stch	%r15, 0
2071
2072#CHECK: stfh	%r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xcb]
2073#CHECK: stfh	%r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xcb]
2074#CHECK: stfh	%r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xcb]
2075#CHECK: stfh	%r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xcb]
2076#CHECK: stfh	%r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xcb]
2077#CHECK: stfh	%r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xcb]
2078#CHECK: stfh	%r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xcb]
2079#CHECK: stfh	%r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xcb]
2080#CHECK: stfh	%r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xcb]
2081#CHECK: stfh	%r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xcb]
2082
2083	stfh	%r0, -524288
2084	stfh	%r0, -1
2085	stfh	%r0, 0
2086	stfh	%r0, 1
2087	stfh	%r0, 524287
2088	stfh	%r0, 0(%r1)
2089	stfh	%r0, 0(%r15)
2090	stfh	%r0, 524287(%r1,%r15)
2091	stfh	%r0, 524287(%r15,%r1)
2092	stfh	%r15, 0
2093
2094#CHECK: sthh	%r0, -524288            # encoding: [0xe3,0x00,0x00,0x00,0x80,0xc7]
2095#CHECK: sthh	%r0, -1                 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0xc7]
2096#CHECK: sthh	%r0, 0                  # encoding: [0xe3,0x00,0x00,0x00,0x00,0xc7]
2097#CHECK: sthh	%r0, 1                  # encoding: [0xe3,0x00,0x00,0x01,0x00,0xc7]
2098#CHECK: sthh	%r0, 524287             # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0xc7]
2099#CHECK: sthh	%r0, 0(%r1)             # encoding: [0xe3,0x00,0x10,0x00,0x00,0xc7]
2100#CHECK: sthh	%r0, 0(%r15)            # encoding: [0xe3,0x00,0xf0,0x00,0x00,0xc7]
2101#CHECK: sthh	%r0, 524287(%r1,%r15)   # encoding: [0xe3,0x01,0xff,0xff,0x7f,0xc7]
2102#CHECK: sthh	%r0, 524287(%r15,%r1)   # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0xc7]
2103#CHECK: sthh	%r15, 0                 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0xc7]
2104
2105	sthh	%r0, -524288
2106	sthh	%r0, -1
2107	sthh	%r0, 0
2108	sthh	%r0, 1
2109	sthh	%r0, 524287
2110	sthh	%r0, 0(%r1)
2111	sthh	%r0, 0(%r15)
2112	sthh	%r0, 524287(%r1,%r15)
2113	sthh	%r0, 524287(%r15,%r1)
2114	sthh	%r15, 0
2115
2116#CHECK: stoc	%r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xf3]
2117#CHECK: stoc	%r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xf3]
2118#CHECK: stoc	%r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xf3]
2119#CHECK: stoc	%r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xf3]
2120#CHECK: stoc	%r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xf3]
2121#CHECK: stoc	%r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xf3]
2122#CHECK: stoc	%r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xf3]
2123#CHECK: stoc	%r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xf3]
2124
2125	stoc	%r0,0,0
2126	stoc	%r0,0,15
2127	stoc	%r0,-524288,0
2128	stoc	%r0,524287,0
2129	stoc	%r0,0(%r1),0
2130	stoc	%r0,0(%r15),0
2131	stoc	%r15,0,0
2132	stoc	%r1,4095(%r2),3
2133
2134#CHECK: stoco   %r1, 2(%r3)             # encoding: [0xeb,0x11,0x30,0x02,0x00,0xf3]
2135#CHECK: stoch   %r1, 2(%r3)             # encoding: [0xeb,0x12,0x30,0x02,0x00,0xf3]
2136#CHECK: stocp   %r1, 2(%r3)             # encoding: [0xeb,0x12,0x30,0x02,0x00,0xf3]
2137#CHECK: stocnle %r1, 2(%r3)             # encoding: [0xeb,0x13,0x30,0x02,0x00,0xf3]
2138#CHECK: stocl   %r1, 2(%r3)             # encoding: [0xeb,0x14,0x30,0x02,0x00,0xf3]
2139#CHECK: stocm   %r1, 2(%r3)             # encoding: [0xeb,0x14,0x30,0x02,0x00,0xf3]
2140#CHECK: stocnhe %r1, 2(%r3)             # encoding: [0xeb,0x15,0x30,0x02,0x00,0xf3]
2141#CHECK: stoclh  %r1, 2(%r3)             # encoding: [0xeb,0x16,0x30,0x02,0x00,0xf3]
2142#CHECK: stocne  %r1, 2(%r3)             # encoding: [0xeb,0x17,0x30,0x02,0x00,0xf3]
2143#CHECK: stocnz  %r1, 2(%r3)             # encoding: [0xeb,0x17,0x30,0x02,0x00,0xf3]
2144#CHECK: stoce   %r1, 2(%r3)             # encoding: [0xeb,0x18,0x30,0x02,0x00,0xf3]
2145#CHECK: stocz   %r1, 2(%r3)             # encoding: [0xeb,0x18,0x30,0x02,0x00,0xf3]
2146#CHECK: stocnlh %r1, 2(%r3)             # encoding: [0xeb,0x19,0x30,0x02,0x00,0xf3]
2147#CHECK: stoche  %r1, 2(%r3)             # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xf3]
2148#CHECK: stocnl  %r1, 2(%r3)             # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xf3]
2149#CHECK: stocnm  %r1, 2(%r3)             # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xf3]
2150#CHECK: stocle  %r1, 2(%r3)             # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xf3]
2151#CHECK: stocnh  %r1, 2(%r3)             # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xf3]
2152#CHECK: stocnp  %r1, 2(%r3)             # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xf3]
2153#CHECK: stocno  %r1, 2(%r3)             # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xf3]
2154
2155	stoco   %r1,2(%r3)
2156	stoch   %r1,2(%r3)
2157	stocp   %r1,2(%r3)
2158	stocnle %r1,2(%r3)
2159	stocl   %r1,2(%r3)
2160	stocm   %r1,2(%r3)
2161	stocnhe %r1,2(%r3)
2162	stoclh  %r1,2(%r3)
2163	stocne  %r1,2(%r3)
2164	stocnz  %r1,2(%r3)
2165	stoce   %r1,2(%r3)
2166	stocz   %r1,2(%r3)
2167	stocnlh %r1,2(%r3)
2168	stoche  %r1,2(%r3)
2169	stocnl  %r1,2(%r3)
2170	stocnm  %r1,2(%r3)
2171	stocle  %r1,2(%r3)
2172	stocnh  %r1,2(%r3)
2173	stocnp  %r1,2(%r3)
2174	stocno  %r1,2(%r3)
2175
2176#CHECK: stocg	%r0, 0, 0               # encoding: [0xeb,0x00,0x00,0x00,0x00,0xe3]
2177#CHECK: stocg	%r0, 0, 15              # encoding: [0xeb,0x0f,0x00,0x00,0x00,0xe3]
2178#CHECK: stocg	%r0, -524288, 0         # encoding: [0xeb,0x00,0x00,0x00,0x80,0xe3]
2179#CHECK: stocg	%r0, 524287, 0          # encoding: [0xeb,0x00,0x0f,0xff,0x7f,0xe3]
2180#CHECK: stocg	%r0, 0(%r1), 0          # encoding: [0xeb,0x00,0x10,0x00,0x00,0xe3]
2181#CHECK: stocg	%r0, 0(%r15), 0         # encoding: [0xeb,0x00,0xf0,0x00,0x00,0xe3]
2182#CHECK: stocg	%r15, 0, 0              # encoding: [0xeb,0xf0,0x00,0x00,0x00,0xe3]
2183#CHECK: stocg	%r1, 4095(%r2), 3       # encoding: [0xeb,0x13,0x2f,0xff,0x00,0xe3]
2184
2185	stocg	%r0,0,0
2186	stocg	%r0,0,15
2187	stocg	%r0,-524288,0
2188	stocg	%r0,524287,0
2189	stocg	%r0,0(%r1),0
2190	stocg	%r0,0(%r15),0
2191	stocg	%r15,0,0
2192	stocg	%r1,4095(%r2),3
2193
2194#CHECK: stocgo   %r1, 2(%r3)            # encoding: [0xeb,0x11,0x30,0x02,0x00,0xe3]
2195#CHECK: stocgh   %r1, 2(%r3)            # encoding: [0xeb,0x12,0x30,0x02,0x00,0xe3]
2196#CHECK: stocgp   %r1, 2(%r3)            # encoding: [0xeb,0x12,0x30,0x02,0x00,0xe3]
2197#CHECK: stocgnle %r1, 2(%r3)            # encoding: [0xeb,0x13,0x30,0x02,0x00,0xe3]
2198#CHECK: stocgl   %r1, 2(%r3)            # encoding: [0xeb,0x14,0x30,0x02,0x00,0xe3]
2199#CHECK: stocgm   %r1, 2(%r3)            # encoding: [0xeb,0x14,0x30,0x02,0x00,0xe3]
2200#CHECK: stocgnhe %r1, 2(%r3)            # encoding: [0xeb,0x15,0x30,0x02,0x00,0xe3]
2201#CHECK: stocglh  %r1, 2(%r3)            # encoding: [0xeb,0x16,0x30,0x02,0x00,0xe3]
2202#CHECK: stocgne  %r1, 2(%r3)            # encoding: [0xeb,0x17,0x30,0x02,0x00,0xe3]
2203#CHECK: stocgnz  %r1, 2(%r3)            # encoding: [0xeb,0x17,0x30,0x02,0x00,0xe3]
2204#CHECK: stocge   %r1, 2(%r3)            # encoding: [0xeb,0x18,0x30,0x02,0x00,0xe3]
2205#CHECK: stocgz   %r1, 2(%r3)            # encoding: [0xeb,0x18,0x30,0x02,0x00,0xe3]
2206#CHECK: stocgnlh %r1, 2(%r3)            # encoding: [0xeb,0x19,0x30,0x02,0x00,0xe3]
2207#CHECK: stocghe  %r1, 2(%r3)            # encoding: [0xeb,0x1a,0x30,0x02,0x00,0xe3]
2208#CHECK: stocgnl  %r1, 2(%r3)            # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xe3]
2209#CHECK: stocgnm  %r1, 2(%r3)            # encoding: [0xeb,0x1b,0x30,0x02,0x00,0xe3]
2210#CHECK: stocgle  %r1, 2(%r3)            # encoding: [0xeb,0x1c,0x30,0x02,0x00,0xe3]
2211#CHECK: stocgnh  %r1, 2(%r3)            # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xe3]
2212#CHECK: stocgnp  %r1, 2(%r3)            # encoding: [0xeb,0x1d,0x30,0x02,0x00,0xe3]
2213#CHECK: stocgno  %r1, 2(%r3)            # encoding: [0xeb,0x1e,0x30,0x02,0x00,0xe3]
2214
2215	stocgo   %r1,2(%r3)
2216	stocgh   %r1,2(%r3)
2217	stocgp   %r1,2(%r3)
2218	stocgnle %r1,2(%r3)
2219	stocgl   %r1,2(%r3)
2220	stocgm   %r1,2(%r3)
2221	stocgnhe %r1,2(%r3)
2222	stocglh  %r1,2(%r3)
2223	stocgne  %r1,2(%r3)
2224	stocgnz  %r1,2(%r3)
2225	stocge   %r1,2(%r3)
2226	stocgz   %r1,2(%r3)
2227	stocgnlh %r1,2(%r3)
2228	stocghe  %r1,2(%r3)
2229	stocgnl  %r1,2(%r3)
2230	stocgnm  %r1,2(%r3)
2231	stocgle  %r1,2(%r3)
2232	stocgnh  %r1,2(%r3)
2233	stocgnp  %r1,2(%r3)
2234	stocgno  %r1,2(%r3)
2235
2236#CHECK: sxtra	%f0, %f0, %f0, 0        # encoding: [0xb3,0xdb,0x00,0x00]
2237#CHECK: sxtra	%f0, %f0, %f0, 15       # encoding: [0xb3,0xdb,0x0f,0x00]
2238#CHECK: sxtra	%f0, %f0, %f13, 0       # encoding: [0xb3,0xdb,0xd0,0x00]
2239#CHECK: sxtra	%f0, %f13, %f0, 0       # encoding: [0xb3,0xdb,0x00,0x0d]
2240#CHECK: sxtra	%f13, %f0, %f0, 0       # encoding: [0xb3,0xdb,0x00,0xd0]
2241#CHECK: sxtra	%f8, %f8, %f8, 8        # encoding: [0xb3,0xdb,0x88,0x88]
2242
2243	sxtra	%f0, %f0, %f0, 0
2244	sxtra	%f0, %f0, %f0, 15
2245	sxtra	%f0, %f0, %f13, 0
2246	sxtra	%f0, %f13, %f0, 0
2247	sxtra	%f13, %f0, %f0, 0
2248	sxtra	%f8, %f8, %f8, 8
2249
2250#CHECK: xgrk	%r0, %r0, %r0           # encoding: [0xb9,0xe7,0x00,0x00]
2251#CHECK: xgrk	%r0, %r0, %r15          # encoding: [0xb9,0xe7,0xf0,0x00]
2252#CHECK: xgrk	%r0, %r15, %r0          # encoding: [0xb9,0xe7,0x00,0x0f]
2253#CHECK: xgrk	%r15, %r0, %r0          # encoding: [0xb9,0xe7,0x00,0xf0]
2254#CHECK: xgrk	%r7, %r8, %r9           # encoding: [0xb9,0xe7,0x90,0x78]
2255
2256	xgrk	%r0,%r0,%r0
2257	xgrk	%r0,%r0,%r15
2258	xgrk	%r0,%r15,%r0
2259	xgrk	%r15,%r0,%r0
2260	xgrk	%r7,%r8,%r9
2261
2262#CHECK: xrk	%r0, %r0, %r0           # encoding: [0xb9,0xf7,0x00,0x00]
2263#CHECK: xrk	%r0, %r0, %r15          # encoding: [0xb9,0xf7,0xf0,0x00]
2264#CHECK: xrk	%r0, %r15, %r0          # encoding: [0xb9,0xf7,0x00,0x0f]
2265#CHECK: xrk	%r15, %r0, %r0          # encoding: [0xb9,0xf7,0x00,0xf0]
2266#CHECK: xrk	%r7, %r8, %r9           # encoding: [0xb9,0xf7,0x90,0x78]
2267
2268	xrk	%r0,%r0,%r0
2269	xrk	%r0,%r0,%r15
2270	xrk	%r0,%r15,%r0
2271	xrk	%r15,%r0,%r0
2272	xrk	%r7,%r8,%r9
2273