?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
[ThinLTO] Add code comment. NFC
[llvm-complete.git] / test / MC / SystemZ / insn-good-z14.s
blob1fcdcb4ccab08509c1d7f97a9f562b1ecbc0e00c
1 # For z14 and above.
2 # RUN: llvm-mc -triple s390x-linux-gnu -mcpu=z14 -show-encoding %s \
3 # RUN: | FileCheck %s
4 # RUN: llvm-mc -triple s390x-linux-gnu -mcpu=arch12 -show-encoding %s \
5 # RUN: | FileCheck %s
6
7 #CHECK: agh %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x38]
8 #CHECK: agh %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x38]
9 #CHECK: agh %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x38]
10 #CHECK: agh %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x38]
11 #CHECK: agh %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x38]
12 #CHECK: agh %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x38]
13 #CHECK: agh %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x38]
14 #CHECK: agh %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x38]
15 #CHECK: agh %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x38]
16 #CHECK: agh %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x38]
17
18 agh %r0, -524288
19 agh %r0, -1
20 agh %r0, 0
21 agh %r0, 1
22 agh %r0, 524287
23 agh %r0, 0(%r1)
24 agh %r0, 0(%r15)
25 agh %r0, 524287(%r1,%r15)
26 agh %r0, 524287(%r15,%r1)
27 agh %r15, 0
28
29 #CHECK: bi -524288 # encoding: [0xe3,0xf0,0x00,0x00,0x80,0x47]
30 #CHECK: bi -1 # encoding: [0xe3,0xf0,0x0f,0xff,0xff,0x47]
31 #CHECK: bi 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x47]
32 #CHECK: bi 1 # encoding: [0xe3,0xf0,0x00,0x01,0x00,0x47]
33 #CHECK: bi 524287 # encoding: [0xe3,0xf0,0x0f,0xff,0x7f,0x47]
34 #CHECK: bi 0(%r1) # encoding: [0xe3,0xf0,0x10,0x00,0x00,0x47]
35 #CHECK: bi 0(%r15) # encoding: [0xe3,0xf0,0xf0,0x00,0x00,0x47]
36 #CHECK: bi 524287(%r1,%r15) # encoding: [0xe3,0xf1,0xff,0xff,0x7f,0x47]
37 #CHECK: bi 524287(%r15,%r1) # encoding: [0xe3,0xff,0x1f,0xff,0x7f,0x47]
38
39 bi -524288
40 bi -1
41 bi 0
42 bi 1
43 bi 524287
44 bi 0(%r1)
45 bi 0(%r15)
46 bi 524287(%r1,%r15)
47 bi 524287(%r15,%r1)
48
49 #CHECK: bic 0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x47]
50 #CHECK: bic 0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x47]
51 #CHECK: bic 0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x47]
52 #CHECK: bic 0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x47]
53 #CHECK: bic 0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x47]
54 #CHECK: bic 0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x47]
55 #CHECK: bic 0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x47]
56 #CHECK: bic 0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x47]
57 #CHECK: bic 0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x47]
58 #CHECK: bic 15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x47]
59
60 bic 0, -524288
61 bic 0, -1
62 bic 0, 0
63 bic 0, 1
64 bic 0, 524287
65 bic 0, 0(%r1)
66 bic 0, 0(%r15)
67 bic 0, 524287(%r1,%r15)
68 bic 0, 524287(%r15,%r1)
69 bic 15, 0
70
71 #CHECK: bic 1, 0(%r7) # encoding: [0xe3,0x10,0x70,0x00,0x00,0x47]
72 #CHECK: bio 0(%r15) # encoding: [0xe3,0x10,0xf0,0x00,0x00,0x47]
73
74 bic 1, 0(%r7)
75 bio 0(%r15)
76
77 #CHECK: bic 2, 0(%r7) # encoding: [0xe3,0x20,0x70,0x00,0x00,0x47]
78 #CHECK: bih 0(%r15) # encoding: [0xe3,0x20,0xf0,0x00,0x00,0x47]
79
80 bic 2, 0(%r7)
81 bih 0(%r15)
82
83 #CHECK: bic 3, 0(%r7) # encoding: [0xe3,0x30,0x70,0x00,0x00,0x47]
84 #CHECK: binle 0(%r15) # encoding: [0xe3,0x30,0xf0,0x00,0x00,0x47]
85
86 bic 3, 0(%r7)
87 binle 0(%r15)
88
89 #CHECK: bic 4, 0(%r7) # encoding: [0xe3,0x40,0x70,0x00,0x00,0x47]
90 #CHECK: bil 0(%r15) # encoding: [0xe3,0x40,0xf0,0x00,0x00,0x47]
91
92 bic 4, 0(%r7)
93 bil 0(%r15)
94
95 #CHECK: bic 5, 0(%r7) # encoding: [0xe3,0x50,0x70,0x00,0x00,0x47]
96 #CHECK: binhe 0(%r15) # encoding: [0xe3,0x50,0xf0,0x00,0x00,0x47]
97
98 bic 5, 0(%r7)
99 binhe 0(%r15)
100
101 #CHECK: bic 6, 0(%r7) # encoding: [0xe3,0x60,0x70,0x00,0x00,0x47]
102 #CHECK: bilh 0(%r15) # encoding: [0xe3,0x60,0xf0,0x00,0x00,0x47]
103
104 bic 6, 0(%r7)
105 bilh 0(%r15)
106
107 #CHECK: bic 7, 0(%r7) # encoding: [0xe3,0x70,0x70,0x00,0x00,0x47]
108 #CHECK: bine 0(%r15) # encoding: [0xe3,0x70,0xf0,0x00,0x00,0x47]
109
110 bic 7, 0(%r7)
111 bine 0(%r15)
112
113 #CHECK: bic 8, 0(%r7) # encoding: [0xe3,0x80,0x70,0x00,0x00,0x47]
114 #CHECK: bie 0(%r15) # encoding: [0xe3,0x80,0xf0,0x00,0x00,0x47]
115
116 bic 8, 0(%r7)
117 bie 0(%r15)
118
119 #CHECK: bic 9, 0(%r7) # encoding: [0xe3,0x90,0x70,0x00,0x00,0x47]
120 #CHECK: binlh 0(%r15) # encoding: [0xe3,0x90,0xf0,0x00,0x00,0x47]
121
122 bic 9, 0(%r7)
123 binlh 0(%r15)
124
125 #CHECK: bic 10, 0(%r7) # encoding: [0xe3,0xa0,0x70,0x00,0x00,0x47]
126 #CHECK: bihe 0(%r15) # encoding: [0xe3,0xa0,0xf0,0x00,0x00,0x47]
127
128 bic 10, 0(%r7)
129 bihe 0(%r15)
130
131 #CHECK: bic 11, 0(%r7) # encoding: [0xe3,0xb0,0x70,0x00,0x00,0x47]
132 #CHECK: binl 0(%r15) # encoding: [0xe3,0xb0,0xf0,0x00,0x00,0x47]
133
134 bic 11, 0(%r7)
135 binl 0(%r15)
136
137 #CHECK: bic 12, 0(%r7) # encoding: [0xe3,0xc0,0x70,0x00,0x00,0x47]
138 #CHECK: bile 0(%r15) # encoding: [0xe3,0xc0,0xf0,0x00,0x00,0x47]
139
140 bic 12, 0(%r7)
141 bile 0(%r15)
142
143 #CHECK: bic 13, 0(%r7) # encoding: [0xe3,0xd0,0x70,0x00,0x00,0x47]
144 #CHECK: binh 0(%r15) # encoding: [0xe3,0xd0,0xf0,0x00,0x00,0x47]
145
146 bic 13, 0(%r7)
147 binh 0(%r15)
148
149 #CHECK: bic 14, 0(%r7) # encoding: [0xe3,0xe0,0x70,0x00,0x00,0x47]
150 #CHECK: bino 0(%r15) # encoding: [0xe3,0xe0,0xf0,0x00,0x00,0x47]
151
152 bic 14, 0(%r7)
153 bino 0(%r15)
154
155 #CHECK: irbm %r0, %r0 # encoding: [0xb9,0xac,0x00,0x00]
156 #CHECK: irbm %r0, %r15 # encoding: [0xb9,0xac,0x00,0x0f]
157 #CHECK: irbm %r15, %r0 # encoding: [0xb9,0xac,0x00,0xf0]
158 #CHECK: irbm %r7, %r8 # encoding: [0xb9,0xac,0x00,0x78]
159 #CHECK: irbm %r15, %r15 # encoding: [0xb9,0xac,0x00,0xff]
160
161 irbm %r0,%r0
162 irbm %r0,%r15
163 irbm %r15,%r0
164 irbm %r7,%r8
165 irbm %r15,%r15
166
167 #CHECK: kma %r2, %r2, %r2 # encoding: [0xb9,0x29,0x20,0x22]
168 #CHECK: kma %r2, %r8, %r14 # encoding: [0xb9,0x29,0x80,0x2e]
169 #CHECK: kma %r14, %r8, %r2 # encoding: [0xb9,0x29,0x80,0xe2]
170 #CHECK: kma %r6, %r8, %r10 # encoding: [0xb9,0x29,0x80,0x6a]
171
172 kma %r2, %r2, %r2
173 kma %r2, %r8, %r14
174 kma %r14, %r8, %r2
175 kma %r6, %r8, %r10
176
177 #CHECK: lgg %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x4c]
178 #CHECK: lgg %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x4c]
179 #CHECK: lgg %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x4c]
180 #CHECK: lgg %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x4c]
181 #CHECK: lgg %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x4c]
182 #CHECK: lgg %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x4c]
183 #CHECK: lgg %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x4c]
184 #CHECK: lgg %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x4c]
185 #CHECK: lgg %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x4c]
186 #CHECK: lgg %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x4c]
187
188 lgg %r0, -524288
189 lgg %r0, -1
190 lgg %r0, 0
191 lgg %r0, 1
192 lgg %r0, 524287
193 lgg %r0, 0(%r1)
194 lgg %r0, 0(%r15)
195 lgg %r0, 524287(%r1,%r15)
196 lgg %r0, 524287(%r15,%r1)
197 lgg %r15, 0
198
199 #CHECK: lgsc %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x4d]
200 #CHECK: lgsc %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x4d]
201 #CHECK: lgsc %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x4d]
202 #CHECK: lgsc %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x4d]
203 #CHECK: lgsc %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x4d]
204 #CHECK: lgsc %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x4d]
205 #CHECK: lgsc %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x4d]
206 #CHECK: lgsc %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x4d]
207 #CHECK: lgsc %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x4d]
208
209 lgsc %r0, -524288
210 lgsc %r0, -1
211 lgsc %r0, 0
212 lgsc %r0, 1
213 lgsc %r0, 524287
214 lgsc %r0, 0(%r1)
215 lgsc %r0, 0(%r15)
216 lgsc %r0, 524287(%r1,%r15)
217 lgsc %r0, 524287(%r15,%r1)
218
219 #CHECK: llgfsg %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x48]
220 #CHECK: llgfsg %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x48]
221 #CHECK: llgfsg %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x48]
222 #CHECK: llgfsg %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x48]
223 #CHECK: llgfsg %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x48]
224 #CHECK: llgfsg %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x48]
225 #CHECK: llgfsg %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x48]
226 #CHECK: llgfsg %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x48]
227 #CHECK: llgfsg %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x48]
228 #CHECK: llgfsg %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x48]
229
230 llgfsg %r0, -524288
231 llgfsg %r0, -1
232 llgfsg %r0, 0
233 llgfsg %r0, 1
234 llgfsg %r0, 524287
235 llgfsg %r0, 0(%r1)
236 llgfsg %r0, 0(%r15)
237 llgfsg %r0, 524287(%r1,%r15)
238 llgfsg %r0, 524287(%r15,%r1)
239 llgfsg %r15, 0
240
241 #CHECK: mg %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x84]
242 #CHECK: mg %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x84]
243 #CHECK: mg %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x84]
244 #CHECK: mg %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x84]
245 #CHECK: mg %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x84]
246 #CHECK: mg %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x84]
247 #CHECK: mg %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x84]
248 #CHECK: mg %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x84]
249 #CHECK: mg %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x84]
250 #CHECK: mg %r14, 0 # encoding: [0xe3,0xe0,0x00,0x00,0x00,0x84]
251
252 mg %r0, -524288
253 mg %r0, -1
254 mg %r0, 0
255 mg %r0, 1
256 mg %r0, 524287
257 mg %r0, 0(%r1)
258 mg %r0, 0(%r15)
259 mg %r0, 524287(%r1,%r15)
260 mg %r0, 524287(%r15,%r1)
261 mg %r14, 0
262
263 #CHECK: mgh %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x3c]
264 #CHECK: mgh %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x3c]
265 #CHECK: mgh %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x3c]
266 #CHECK: mgh %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x3c]
267 #CHECK: mgh %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x3c]
268 #CHECK: mgh %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x3c]
269 #CHECK: mgh %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x3c]
270 #CHECK: mgh %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x3c]
271 #CHECK: mgh %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x3c]
272 #CHECK: mgh %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x3c]
273
274 mgh %r0, -524288
275 mgh %r0, -1
276 mgh %r0, 0
277 mgh %r0, 1
278 mgh %r0, 524287
279 mgh %r0, 0(%r1)
280 mgh %r0, 0(%r15)
281 mgh %r0, 524287(%r1,%r15)
282 mgh %r0, 524287(%r15,%r1)
283 mgh %r15, 0
284
285 #CHECK: mgrk %r0, %r0, %r0 # encoding: [0xb9,0xec,0x00,0x00]
286 #CHECK: mgrk %r0, %r0, %r15 # encoding: [0xb9,0xec,0xf0,0x00]
287 #CHECK: mgrk %r0, %r15, %r0 # encoding: [0xb9,0xec,0x00,0x0f]
288 #CHECK: mgrk %r14, %r0, %r0 # encoding: [0xb9,0xec,0x00,0xe0]
289 #CHECK: mgrk %r6, %r8, %r9 # encoding: [0xb9,0xec,0x90,0x68]
290
291 mgrk %r0,%r0,%r0
292 mgrk %r0,%r0,%r15
293 mgrk %r0,%r15,%r0
294 mgrk %r14,%r0,%r0
295 mgrk %r6,%r8,%r9
296
297 #CHECK: msc %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x53]
298 #CHECK: msc %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x53]
299 #CHECK: msc %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x53]
300 #CHECK: msc %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x53]
301 #CHECK: msc %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x53]
302 #CHECK: msc %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x53]
303 #CHECK: msc %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x53]
304 #CHECK: msc %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x53]
305 #CHECK: msc %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x53]
306 #CHECK: msc %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x53]
307
308 msc %r0, -524288
309 msc %r0, -1
310 msc %r0, 0
311 msc %r0, 1
312 msc %r0, 524287
313 msc %r0, 0(%r1)
314 msc %r0, 0(%r15)
315 msc %r0, 524287(%r1,%r15)
316 msc %r0, 524287(%r15,%r1)
317 msc %r15, 0
318
319 #CHECK: msgc %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x83]
320 #CHECK: msgc %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x83]
321 #CHECK: msgc %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x83]
322 #CHECK: msgc %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x83]
323 #CHECK: msgc %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x83]
324 #CHECK: msgc %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x83]
325 #CHECK: msgc %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x83]
326 #CHECK: msgc %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x83]
327 #CHECK: msgc %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x83]
328 #CHECK: msgc %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x83]
329
330 msgc %r0, -524288
331 msgc %r0, -1
332 msgc %r0, 0
333 msgc %r0, 1
334 msgc %r0, 524287
335 msgc %r0, 0(%r1)
336 msgc %r0, 0(%r15)
337 msgc %r0, 524287(%r1,%r15)
338 msgc %r0, 524287(%r15,%r1)
339 msgc %r15, 0
340
341 #CHECK: msrkc %r0, %r0, %r0 # encoding: [0xb9,0xfd,0x00,0x00]
342 #CHECK: msrkc %r0, %r0, %r15 # encoding: [0xb9,0xfd,0xf0,0x00]
343 #CHECK: msrkc %r0, %r15, %r0 # encoding: [0xb9,0xfd,0x00,0x0f]
344 #CHECK: msrkc %r15, %r0, %r0 # encoding: [0xb9,0xfd,0x00,0xf0]
345 #CHECK: msrkc %r7, %r8, %r9 # encoding: [0xb9,0xfd,0x90,0x78]
346
347 msrkc %r0,%r0,%r0
348 msrkc %r0,%r0,%r15
349 msrkc %r0,%r15,%r0
350 msrkc %r15,%r0,%r0
351 msrkc %r7,%r8,%r9
352
353 #CHECK: msgrkc %r0, %r0, %r0 # encoding: [0xb9,0xed,0x00,0x00]
354 #CHECK: msgrkc %r0, %r0, %r15 # encoding: [0xb9,0xed,0xf0,0x00]
355 #CHECK: msgrkc %r0, %r15, %r0 # encoding: [0xb9,0xed,0x00,0x0f]
356 #CHECK: msgrkc %r15, %r0, %r0 # encoding: [0xb9,0xed,0x00,0xf0]
357 #CHECK: msgrkc %r7, %r8, %r9 # encoding: [0xb9,0xed,0x90,0x78]
358
359 msgrkc %r0,%r0,%r0
360 msgrkc %r0,%r0,%r15
361 msgrkc %r0,%r15,%r0
362 msgrkc %r15,%r0,%r0
363 msgrkc %r7,%r8,%r9
364
365 #CHECK: prno %r2, %r2 # encoding: [0xb9,0x3c,0x00,0x22]
366 #CHECK: prno %r2, %r14 # encoding: [0xb9,0x3c,0x00,0x2e]
367 #CHECK: prno %r14, %r2 # encoding: [0xb9,0x3c,0x00,0xe2]
368 #CHECK: prno %r6, %r10 # encoding: [0xb9,0x3c,0x00,0x6a]
369
370 prno %r2, %r2
371 prno %r2, %r14
372 prno %r14, %r2
373 prno %r6, %r10
374
375 #CHECK: sgh %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x39]
376 #CHECK: sgh %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x39]
377 #CHECK: sgh %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x39]
378 #CHECK: sgh %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x39]
379 #CHECK: sgh %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x39]
380 #CHECK: sgh %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x39]
381 #CHECK: sgh %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x39]
382 #CHECK: sgh %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x39]
383 #CHECK: sgh %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x39]
384 #CHECK: sgh %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x39]
385
386 sgh %r0, -524288
387 sgh %r0, -1
388 sgh %r0, 0
389 sgh %r0, 1
390 sgh %r0, 524287
391 sgh %r0, 0(%r1)
392 sgh %r0, 0(%r15)
393 sgh %r0, 524287(%r1,%r15)
394 sgh %r0, 524287(%r15,%r1)
395 sgh %r15, 0
396
397 #CHECK: stgsc %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x49]
398 #CHECK: stgsc %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x49]
399 #CHECK: stgsc %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x49]
400 #CHECK: stgsc %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x49]
401 #CHECK: stgsc %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x49]
402 #CHECK: stgsc %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x49]
403 #CHECK: stgsc %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x49]
404 #CHECK: stgsc %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x49]
405 #CHECK: stgsc %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x49]
406
407 stgsc %r0, -524288
408 stgsc %r0, -1
409 stgsc %r0, 0
410 stgsc %r0, 1
411 stgsc %r0, 524287
412 stgsc %r0, 0(%r1)
413 stgsc %r0, 0(%r15)
414 stgsc %r0, 524287(%r1,%r15)
415 stgsc %r0, 524287(%r15,%r1)
416
417 #CHECK: vap %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x71]
418 #CHECK: vap %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x71]
419 #CHECK: vap %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x71]
420 #CHECK: vap %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x71]
421 #CHECK: vap %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x71]
422 #CHECK: vap %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x71]
423 #CHECK: vap %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x71]
424
425 vap %v0, %v0, %v0, 0, 0
426 vap %v0, %v0, %v0, 0, 15
427 vap %v0, %v0, %v0, 255, 0
428 vap %v0, %v0, %v31, 0, 0
429 vap %v0, %v31, %v0, 0, 0
430 vap %v31, %v0, %v0, 0, 0
431 vap %v13, %v17, %v21, 0x79, 11
432
433 #CHECK: vbperm %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x85]
434 #CHECK: vbperm %v0, %v0, %v15 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x85]
435 #CHECK: vbperm %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x85]
436 #CHECK: vbperm %v0, %v15, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x85]
437 #CHECK: vbperm %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x85]
438 #CHECK: vbperm %v15, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x85]
439 #CHECK: vbperm %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x85]
440 #CHECK: vbperm %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x0a,0x85]
441
442 vbperm %v0, %v0, %v0
443 vbperm %v0, %v0, %v15
444 vbperm %v0, %v0, %v31
445 vbperm %v0, %v15, %v0
446 vbperm %v0, %v31, %v0
447 vbperm %v15, %v0, %v0
448 vbperm %v31, %v0, %v0
449 vbperm %v18, %v3, %v20
450
451 #CHECK: vcp %v0, %v0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x77]
452 #CHECK: vcp %v0, %v0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x77]
453 #CHECK: vcp %v15, %v0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x77]
454 #CHECK: vcp %v31, %v0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x77]
455 #CHECK: vcp %v0, %v15, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x77]
456 #CHECK: vcp %v0, %v31, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x77]
457 #CHECK: vcp %v3, %v18, 4 # encoding: [0xe6,0x03,0x20,0x40,0x02,0x77]
458
459 vcp %v0, %v0, 0
460 vcp %v0, %v0, 15
461 vcp %v15, %v0, 0
462 vcp %v31, %v0, 0
463 vcp %v0, %v15, 0
464 vcp %v0, %v31, 0
465 vcp %v3, %v18, 4
466
467 #CHECK: vcvb %r0, %v0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x50]
468 #CHECK: vcvb %r0, %v0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x50]
469 #CHECK: vcvb %r15, %v0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x50]
470 #CHECK: vcvb %r0, %v15, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x50]
471 #CHECK: vcvb %r0, %v31, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x50]
472 #CHECK: vcvb %r3, %v18, 4 # encoding: [0xe6,0x32,0x00,0x40,0x04,0x50]
473
474 vcvb %r0, %v0, 0
475 vcvb %r0, %v0, 15
476 vcvb %r15, %v0, 0
477 vcvb %r0, %v15, 0
478 vcvb %r0, %v31, 0
479 vcvb %r3, %v18, 4
480
481 #CHECK: vcvbg %r0, %v0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x52]
482 #CHECK: vcvbg %r0, %v0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x52]
483 #CHECK: vcvbg %r15, %v0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x52]
484 #CHECK: vcvbg %r0, %v15, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x52]
485 #CHECK: vcvbg %r0, %v31, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x52]
486 #CHECK: vcvbg %r3, %v18, 4 # encoding: [0xe6,0x32,0x00,0x40,0x04,0x52]
487
488 vcvbg %r0, %v0, 0
489 vcvbg %r0, %v0, 15
490 vcvbg %r15, %v0, 0
491 vcvbg %r0, %v15, 0
492 vcvbg %r0, %v31, 0
493 vcvbg %r3, %v18, 4
494
495 #CHECK: vcvd %v0, %r0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x58]
496 #CHECK: vcvd %v0, %r0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x58]
497 #CHECK: vcvd %v0, %r0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x58]
498 #CHECK: vcvd %v0, %r15, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x58]
499 #CHECK: vcvd %v15, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x58]
500 #CHECK: vcvd %v31, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x58]
501 #CHECK: vcvd %v18, %r9, 52, 11 # encoding: [0xe6,0x29,0x00,0xb3,0x48,0x58]
502
503 vcvd %v0, %r0, 0, 0
504 vcvd %v0, %r0, 0, 15
505 vcvd %v0, %r0, 255, 0
506 vcvd %v0, %r15, 0, 0
507 vcvd %v15, %r0, 0, 0
508 vcvd %v31, %r0, 0, 0
509 vcvd %v18, %r9, 0x34, 11
510
511 #CHECK: vcvdg %v0, %r0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x5a]
512 #CHECK: vcvdg %v0, %r0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x5a]
513 #CHECK: vcvdg %v0, %r0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x5a]
514 #CHECK: vcvdg %v0, %r15, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x5a]
515 #CHECK: vcvdg %v15, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x5a]
516 #CHECK: vcvdg %v31, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x5a]
517 #CHECK: vcvdg %v18, %r9, 52, 11 # encoding: [0xe6,0x29,0x00,0xb3,0x48,0x5a]
518
519 vcvdg %v0, %r0, 0, 0
520 vcvdg %v0, %r0, 0, 15
521 vcvdg %v0, %r0, 255, 0
522 vcvdg %v0, %r15, 0, 0
523 vcvdg %v15, %r0, 0, 0
524 vcvdg %v31, %r0, 0, 0
525 vcvdg %v18, %r9, 0x34, 11
526
527 #CHECK: vdp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x7a]
528 #CHECK: vdp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x7a]
529 #CHECK: vdp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x7a]
530 #CHECK: vdp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x7a]
531 #CHECK: vdp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x7a]
532 #CHECK: vdp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x7a]
533 #CHECK: vdp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x7a]
534
535 vdp %v0, %v0, %v0, 0, 0
536 vdp %v0, %v0, %v0, 0, 15
537 vdp %v0, %v0, %v0, 255, 0
538 vdp %v0, %v0, %v31, 0, 0
539 vdp %v0, %v31, %v0, 0, 0
540 vdp %v31, %v0, %v0, 0, 0
541 vdp %v13, %v17, %v21, 0x79, 11
542
543 #CHECK: vfasb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe3]
544 #CHECK: vfasb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe3]
545 #CHECK: vfasb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe3]
546 #CHECK: vfasb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe3]
547 #CHECK: vfasb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe3]
548
549 vfasb %v0, %v0, %v0
550 vfasb %v0, %v0, %v31
551 vfasb %v0, %v31, %v0
552 vfasb %v31, %v0, %v0
553 vfasb %v18, %v3, %v20
554
555 #CHECK: vfcesb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe8]
556 #CHECK: vfcesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe8]
557 #CHECK: vfcesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe8]
558 #CHECK: vfcesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe8]
559 #CHECK: vfcesb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe8]
560
561 vfcesb %v0, %v0, %v0
562 vfcesb %v0, %v0, %v31
563 vfcesb %v0, %v31, %v0
564 vfcesb %v31, %v0, %v0
565 vfcesb %v18, %v3, %v20
566
567 #CHECK: vfcesbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x10,0x20,0xe8]
568 #CHECK: vfcesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x22,0xe8]
569 #CHECK: vfcesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xe8]
570 #CHECK: vfcesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xe8]
571 #CHECK: vfcesbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x10,0x2a,0xe8]
572
573 vfcesbs %v0, %v0, %v0
574 vfcesbs %v0, %v0, %v31
575 vfcesbs %v0, %v31, %v0
576 vfcesbs %v31, %v0, %v0
577 vfcesbs %v18, %v3, %v20
578
579 #CHECK: vfchsb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xeb]
580 #CHECK: vfchsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xeb]
581 #CHECK: vfchsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xeb]
582 #CHECK: vfchsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xeb]
583 #CHECK: vfchsb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xeb]
584
585 vfchsb %v0, %v0, %v0
586 vfchsb %v0, %v0, %v31
587 vfchsb %v0, %v31, %v0
588 vfchsb %v31, %v0, %v0
589 vfchsb %v18, %v3, %v20
590
591 #CHECK: vfchsbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x10,0x20,0xeb]
592 #CHECK: vfchsbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x22,0xeb]
593 #CHECK: vfchsbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xeb]
594 #CHECK: vfchsbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xeb]
595 #CHECK: vfchsbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x10,0x2a,0xeb]
596
597 vfchsbs %v0, %v0, %v0
598 vfchsbs %v0, %v0, %v31
599 vfchsbs %v0, %v31, %v0
600 vfchsbs %v31, %v0, %v0
601 vfchsbs %v18, %v3, %v20
602
603 #CHECK: vfchesb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xea]
604 #CHECK: vfchesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xea]
605 #CHECK: vfchesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xea]
606 #CHECK: vfchesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xea]
607 #CHECK: vfchesb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xea]
608
609 vfchesb %v0, %v0, %v0
610 vfchesb %v0, %v0, %v31
611 vfchesb %v0, %v31, %v0
612 vfchesb %v31, %v0, %v0
613 vfchesb %v18, %v3, %v20
614
615 #CHECK: vfchesbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x10,0x20,0xea]
616 #CHECK: vfchesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x22,0xea]
617 #CHECK: vfchesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xea]
618 #CHECK: vfchesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xea]
619 #CHECK: vfchesbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x10,0x2a,0xea]
620
621 vfchesbs %v0, %v0, %v0
622 vfchesbs %v0, %v0, %v31
623 vfchesbs %v0, %v31, %v0
624 vfchesbs %v31, %v0, %v0
625 vfchesbs %v18, %v3, %v20
626
627 #CHECK: vfdsb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe5]
628 #CHECK: vfdsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe5]
629 #CHECK: vfdsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe5]
630 #CHECK: vfdsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe5]
631 #CHECK: vfdsb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe5]
632
633 vfdsb %v0, %v0, %v0
634 vfdsb %v0, %v0, %v31
635 vfdsb %v0, %v31, %v0
636 vfdsb %v31, %v0, %v0
637 vfdsb %v18, %v3, %v20
638
639 #CHECK: vfisb %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xc7]
640 #CHECK: vfisb %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x20,0xc7]
641 #CHECK: vfisb %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x20,0xc7]
642 #CHECK: vfisb %v0, %v0, 7, 0 # encoding: [0xe7,0x00,0x00,0x07,0x20,0xc7]
643 #CHECK: vfisb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xc7]
644 #CHECK: vfisb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xc7]
645 #CHECK: vfisb %v14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0x24,0xc7]
646
647 vfisb %v0, %v0, 0, 0
648 vfisb %v0, %v0, 0, 15
649 vfisb %v0, %v0, 4, 0
650 vfisb %v0, %v0, 7, 0
651 vfisb %v0, %v31, 0, 0
652 vfisb %v31, %v0, 0, 0
653 vfisb %v14, %v17, 4, 10
654
655 #CHECK: vfkedb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xe8]
656 #CHECK: vfkedb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x32,0xe8]
657 #CHECK: vfkedb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x34,0xe8]
658 #CHECK: vfkedb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x38,0xe8]
659 #CHECK: vfkedb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x3a,0xe8]
660
661 vfkedb %v0, %v0, %v0
662 vfkedb %v0, %v0, %v31
663 vfkedb %v0, %v31, %v0
664 vfkedb %v31, %v0, %v0
665 vfkedb %v18, %v3, %v20
666
667 #CHECK: vfkedbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x30,0xe8]
668 #CHECK: vfkedbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x32,0xe8]
669 #CHECK: vfkedbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x34,0xe8]
670 #CHECK: vfkedbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x38,0xe8]
671 #CHECK: vfkedbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x3a,0xe8]
672
673 vfkedbs %v0, %v0, %v0
674 vfkedbs %v0, %v0, %v31
675 vfkedbs %v0, %v31, %v0
676 vfkedbs %v31, %v0, %v0
677 vfkedbs %v18, %v3, %v20
678
679 #CHECK: vfkesb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x20,0xe8]
680 #CHECK: vfkesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x22,0xe8]
681 #CHECK: vfkesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x24,0xe8]
682 #CHECK: vfkesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x28,0xe8]
683 #CHECK: vfkesb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x2a,0xe8]
684
685 vfkesb %v0, %v0, %v0
686 vfkesb %v0, %v0, %v31
687 vfkesb %v0, %v31, %v0
688 vfkesb %v31, %v0, %v0
689 vfkesb %v18, %v3, %v20
690
691 #CHECK: vfkesbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x20,0xe8]
692 #CHECK: vfkesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x22,0xe8]
693 #CHECK: vfkesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x24,0xe8]
694 #CHECK: vfkesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x28,0xe8]
695 #CHECK: vfkesbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x2a,0xe8]
696
697 vfkesbs %v0, %v0, %v0
698 vfkesbs %v0, %v0, %v31
699 vfkesbs %v0, %v31, %v0
700 vfkesbs %v31, %v0, %v0
701 vfkesbs %v18, %v3, %v20
702
703 #CHECK: vfkhdb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xeb]
704 #CHECK: vfkhdb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x32,0xeb]
705 #CHECK: vfkhdb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x34,0xeb]
706 #CHECK: vfkhdb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x38,0xeb]
707 #CHECK: vfkhdb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x3a,0xeb]
708
709 vfkhdb %v0, %v0, %v0
710 vfkhdb %v0, %v0, %v31
711 vfkhdb %v0, %v31, %v0
712 vfkhdb %v31, %v0, %v0
713 vfkhdb %v18, %v3, %v20
714
715 #CHECK: vfkhdbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x30,0xeb]
716 #CHECK: vfkhdbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x32,0xeb]
717 #CHECK: vfkhdbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x34,0xeb]
718 #CHECK: vfkhdbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x38,0xeb]
719 #CHECK: vfkhdbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x3a,0xeb]
720
721 vfkhdbs %v0, %v0, %v0
722 vfkhdbs %v0, %v0, %v31
723 vfkhdbs %v0, %v31, %v0
724 vfkhdbs %v31, %v0, %v0
725 vfkhdbs %v18, %v3, %v20
726
727 #CHECK: vfkhsb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x20,0xeb]
728 #CHECK: vfkhsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x22,0xeb]
729 #CHECK: vfkhsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x24,0xeb]
730 #CHECK: vfkhsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x28,0xeb]
731 #CHECK: vfkhsb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x2a,0xeb]
732
733 vfkhsb %v0, %v0, %v0
734 vfkhsb %v0, %v0, %v31
735 vfkhsb %v0, %v31, %v0
736 vfkhsb %v31, %v0, %v0
737 vfkhsb %v18, %v3, %v20
738
739 #CHECK: vfkhsbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x20,0xeb]
740 #CHECK: vfkhsbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x22,0xeb]
741 #CHECK: vfkhsbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x24,0xeb]
742 #CHECK: vfkhsbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x28,0xeb]
743 #CHECK: vfkhsbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x2a,0xeb]
744
745 vfkhsbs %v0, %v0, %v0
746 vfkhsbs %v0, %v0, %v31
747 vfkhsbs %v0, %v31, %v0
748 vfkhsbs %v31, %v0, %v0
749 vfkhsbs %v18, %v3, %v20
750
751 #CHECK: vfkhedb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xea]
752 #CHECK: vfkhedb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x32,0xea]
753 #CHECK: vfkhedb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x34,0xea]
754 #CHECK: vfkhedb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x38,0xea]
755 #CHECK: vfkhedb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x3a,0xea]
756
757 vfkhedb %v0, %v0, %v0
758 vfkhedb %v0, %v0, %v31
759 vfkhedb %v0, %v31, %v0
760 vfkhedb %v31, %v0, %v0
761 vfkhedb %v18, %v3, %v20
762
763 #CHECK: vfkhedbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x30,0xea]
764 #CHECK: vfkhedbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x32,0xea]
765 #CHECK: vfkhedbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x34,0xea]
766 #CHECK: vfkhedbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x38,0xea]
767 #CHECK: vfkhedbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x3a,0xea]
768
769 vfkhedbs %v0, %v0, %v0
770 vfkhedbs %v0, %v0, %v31
771 vfkhedbs %v0, %v31, %v0
772 vfkhedbs %v31, %v0, %v0
773 vfkhedbs %v18, %v3, %v20
774
775 #CHECK: vfkhesb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x20,0xea]
776 #CHECK: vfkhesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x22,0xea]
777 #CHECK: vfkhesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x24,0xea]
778 #CHECK: vfkhesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x28,0xea]
779 #CHECK: vfkhesb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x2a,0xea]
780
781 vfkhesb %v0, %v0, %v0
782 vfkhesb %v0, %v0, %v31
783 vfkhesb %v0, %v31, %v0
784 vfkhesb %v31, %v0, %v0
785 vfkhesb %v18, %v3, %v20
786
787 #CHECK: vfkhesbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x20,0xea]
788 #CHECK: vfkhesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x22,0xea]
789 #CHECK: vfkhesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x24,0xea]
790 #CHECK: vfkhesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x28,0xea]
791 #CHECK: vfkhesbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x2a,0xea]
792
793 vfkhesbs %v0, %v0, %v0
794 vfkhesbs %v0, %v0, %v31
795 vfkhesbs %v0, %v31, %v0
796 vfkhesbs %v31, %v0, %v0
797 vfkhesbs %v18, %v3, %v20
798
799 #CHECK: vfpsosb %v0, %v0, 3 # encoding: [0xe7,0x00,0x00,0x30,0x20,0xcc]
800 #CHECK: vfpsosb %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x20,0xcc]
801 #CHECK: vfpsosb %v0, %v15, 3 # encoding: [0xe7,0x0f,0x00,0x30,0x20,0xcc]
802 #CHECK: vfpsosb %v0, %v31, 3 # encoding: [0xe7,0x0f,0x00,0x30,0x24,0xcc]
803 #CHECK: vfpsosb %v15, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x30,0x20,0xcc]
804 #CHECK: vfpsosb %v31, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x30,0x28,0xcc]
805 #CHECK: vfpsosb %v14, %v17, 7 # encoding: [0xe7,0xe1,0x00,0x70,0x24,0xcc]
806
807 vfpsosb %v0, %v0, 3
808 vfpsosb %v0, %v0, 15
809 vfpsosb %v0, %v15, 3
810 vfpsosb %v0, %v31, 3
811 vfpsosb %v15, %v0, 3
812 vfpsosb %v31, %v0, 3
813 vfpsosb %v14, %v17, 7
814
815 #CHECK: vflcsb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xcc]
816 #CHECK: vflcsb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xcc]
817 #CHECK: vflcsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xcc]
818 #CHECK: vflcsb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xcc]
819 #CHECK: vflcsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xcc]
820 #CHECK: vflcsb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xcc]
821
822 vflcsb %v0, %v0
823 vflcsb %v0, %v15
824 vflcsb %v0, %v31
825 vflcsb %v15, %v0
826 vflcsb %v31, %v0
827 vflcsb %v14, %v17
828
829 #CHECK: vflnsb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x10,0x20,0xcc]
830 #CHECK: vflnsb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x10,0x20,0xcc]
831 #CHECK: vflnsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xcc]
832 #CHECK: vflnsb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x20,0xcc]
833 #CHECK: vflnsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xcc]
834 #CHECK: vflnsb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x10,0x24,0xcc]
835
836 vflnsb %v0, %v0
837 vflnsb %v0, %v15
838 vflnsb %v0, %v31
839 vflnsb %v15, %v0
840 vflnsb %v31, %v0
841 vflnsb %v14, %v17
842
843 #CHECK: vflpsb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x20,0x20,0xcc]
844 #CHECK: vflpsb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x20,0x20,0xcc]
845 #CHECK: vflpsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x20,0x24,0xcc]
846 #CHECK: vflpsb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x20,0x20,0xcc]
847 #CHECK: vflpsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x20,0x28,0xcc]
848 #CHECK: vflpsb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x20,0x24,0xcc]
849
850 vflpsb %v0, %v0
851 vflpsb %v0, %v15
852 vflpsb %v0, %v31
853 vflpsb %v15, %v0
854 vflpsb %v31, %v0
855 vflpsb %v14, %v17
856
857 #CHECK: vfll %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc4]
858 #CHECK: vfll %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc4]
859 #CHECK: vfll %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xc4]
860 #CHECK: vfll %v0, %v15, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xc4]
861 #CHECK: vfll %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc4]
862 #CHECK: vfll %v15, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xc4]
863 #CHECK: vfll %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc4]
864 #CHECK: vfll %v14, %v17, 11, 9 # encoding: [0xe7,0xe1,0x00,0x09,0xb4,0xc4]
865
866 vfll %v0, %v0, 0, 0
867 vfll %v0, %v0, 15, 0
868 vfll %v0, %v0, 0, 15
869 vfll %v0, %v15, 0, 0
870 vfll %v0, %v31, 0, 0
871 vfll %v15, %v0, 0, 0
872 vfll %v31, %v0, 0, 0
873 vfll %v14, %v17, 11, 9
874
875 #CHECK: vflls %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xc4]
876 #CHECK: vflls %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xc4]
877 #CHECK: vflls %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xc4]
878 #CHECK: vflls %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xc4]
879 #CHECK: vflls %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xc4]
880 #CHECK: vflls %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xc4]
881
882 vflls %v0, %v0
883 vflls %v0, %v15
884 vflls %v0, %v31
885 vflls %v15, %v0
886 vflls %v31, %v0
887 vflls %v14, %v17
888
889 #CHECK: vflr %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc5]
890 #CHECK: vflr %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc5]
891 #CHECK: vflr %v0, %v0, 0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xc5]
892 #CHECK: vflr %v0, %v0, 0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x00,0xc5]
893 #CHECK: vflr %v0, %v0, 0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x00,0xc5]
894 #CHECK: vflr %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc5]
895 #CHECK: vflr %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc5]
896 #CHECK: vflr %v14, %v17, 11, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0xb4,0xc5]
897
898 vflr %v0, %v0, 0, 0, 0
899 vflr %v0, %v0, 15, 0, 0
900 vflr %v0, %v0, 0, 0, 15
901 vflr %v0, %v0, 0, 4, 0
902 vflr %v0, %v0, 0, 12, 0
903 vflr %v0, %v31, 0, 0, 0
904 vflr %v31, %v0, 0, 0, 0
905 vflr %v14, %v17, 11, 4, 10
906
907 #CHECK: vflrd %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xc5]
908 #CHECK: vflrd %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x30,0xc5]
909 #CHECK: vflrd %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xc5]
910 #CHECK: vflrd %v0, %v0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc5]
911 #CHECK: vflrd %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xc5]
912 #CHECK: vflrd %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xc5]
913 #CHECK: vflrd %v14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0x34,0xc5]
914
915 vflrd %v0, %v0, 0, 0
916 vflrd %v0, %v0, 0, 15
917 vflrd %v0, %v0, 4, 0
918 vflrd %v0, %v0, 12, 0
919 vflrd %v0, %v31, 0, 0
920 vflrd %v31, %v0, 0, 0
921 vflrd %v14, %v17, 4, 10
922
923 #CHECK: vfmax %v0, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xef]
924 #CHECK: vfmax %v0, %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xef]
925 #CHECK: vfmax %v0, %v0, %v0, 0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xef]
926 #CHECK: vfmax %v0, %v0, %v0, 0, 0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x00,0xef]
927 #CHECK: vfmax %v0, %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xef]
928 #CHECK: vfmax %v0, %v31, %v0, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xef]
929 #CHECK: vfmax %v31, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xef]
930 #CHECK: vfmax %v18, %v3, %v20, 11, 9, 12 # encoding: [0xe7,0x23,0x40,0xc9,0xba,0xef]
931
932 vfmax %v0, %v0, %v0, 0, 0, 0
933 vfmax %v0, %v0, %v0, 15, 0, 0
934 vfmax %v0, %v0, %v0, 0, 15, 0
935 vfmax %v0, %v0, %v0, 0, 0, 4
936 vfmax %v0, %v0, %v31, 0, 0, 0
937 vfmax %v0, %v31, %v0, 0, 0, 0
938 vfmax %v31, %v0, %v0, 0, 0, 0
939 vfmax %v18, %v3, %v20, 11, 9, 12
940
941 #CHECK: vfmaxdb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xef]
942 #CHECK: vfmaxdb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x30,0xef]
943 #CHECK: vfmaxdb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xef]
944 #CHECK: vfmaxdb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xef]
945 #CHECK: vfmaxdb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xef]
946 #CHECK: vfmaxdb %v18, %v3, %v20, 12 # encoding: [0xe7,0x23,0x40,0xc0,0x3a,0xef]
947
948 vfmaxdb %v0, %v0, %v0, 0
949 vfmaxdb %v0, %v0, %v0, 4
950 vfmaxdb %v0, %v0, %v31, 0
951 vfmaxdb %v0, %v31, %v0, 0
952 vfmaxdb %v31, %v0, %v0, 0
953 vfmaxdb %v18, %v3, %v20, 12
954
955 #CHECK: vfmaxsb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xef]
956 #CHECK: vfmaxsb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x20,0xef]
957 #CHECK: vfmaxsb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xef]
958 #CHECK: vfmaxsb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xef]
959 #CHECK: vfmaxsb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xef]
960 #CHECK: vfmaxsb %v18, %v3, %v20, 12 # encoding: [0xe7,0x23,0x40,0xc0,0x2a,0xef]
961
962 vfmaxsb %v0, %v0, %v0, 0
963 vfmaxsb %v0, %v0, %v0, 4
964 vfmaxsb %v0, %v0, %v31, 0
965 vfmaxsb %v0, %v31, %v0, 0
966 vfmaxsb %v31, %v0, %v0, 0
967 vfmaxsb %v18, %v3, %v20, 12
968
969 #CHECK: vfmin %v0, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xee]
970 #CHECK: vfmin %v0, %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xee]
971 #CHECK: vfmin %v0, %v0, %v0, 0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xee]
972 #CHECK: vfmin %v0, %v0, %v0, 0, 0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x00,0xee]
973 #CHECK: vfmin %v0, %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xee]
974 #CHECK: vfmin %v0, %v31, %v0, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xee]
975 #CHECK: vfmin %v31, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xee]
976 #CHECK: vfmin %v18, %v3, %v20, 11, 9, 12 # encoding: [0xe7,0x23,0x40,0xc9,0xba,0xee]
977
978 vfmin %v0, %v0, %v0, 0, 0, 0
979 vfmin %v0, %v0, %v0, 15, 0, 0
980 vfmin %v0, %v0, %v0, 0, 15, 0
981 vfmin %v0, %v0, %v0, 0, 0, 4
982 vfmin %v0, %v0, %v31, 0, 0, 0
983 vfmin %v0, %v31, %v0, 0, 0, 0
984 vfmin %v31, %v0, %v0, 0, 0, 0
985 vfmin %v18, %v3, %v20, 11, 9, 12
986
987 #CHECK: vfmindb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xee]
988 #CHECK: vfmindb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x30,0xee]
989 #CHECK: vfmindb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xee]
990 #CHECK: vfmindb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xee]
991 #CHECK: vfmindb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xee]
992 #CHECK: vfmindb %v18, %v3, %v20, 12 # encoding: [0xe7,0x23,0x40,0xc0,0x3a,0xee]
993
994 vfmindb %v0, %v0, %v0, 0
995 vfmindb %v0, %v0, %v0, 4
996 vfmindb %v0, %v0, %v31, 0
997 vfmindb %v0, %v31, %v0, 0
998 vfmindb %v31, %v0, %v0, 0
999 vfmindb %v18, %v3, %v20, 12
1000
1001 #CHECK: vfminsb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xee]
1002 #CHECK: vfminsb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x20,0xee]
1003 #CHECK: vfminsb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xee]
1004 #CHECK: vfminsb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xee]
1005 #CHECK: vfminsb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xee]
1006 #CHECK: vfminsb %v18, %v3, %v20, 12 # encoding: [0xe7,0x23,0x40,0xc0,0x2a,0xee]
1007
1008 vfminsb %v0, %v0, %v0, 0
1009 vfminsb %v0, %v0, %v0, 4
1010 vfminsb %v0, %v0, %v31, 0
1011 vfminsb %v0, %v31, %v0, 0
1012 vfminsb %v31, %v0, %v0, 0
1013 vfminsb %v18, %v3, %v20, 12
1014
1015 #CHECK: vfmasb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x02,0x00,0x00,0x8f]
1016 #CHECK: vfmasb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x8f]
1017 #CHECK: vfmasb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x8f]
1018 #CHECK: vfmasb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x8f]
1019 #CHECK: vfmasb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x8f]
1020 #CHECK: vfmasb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x00,0x97,0x8f]
1021
1022 vfmasb %v0, %v0, %v0, %v0
1023 vfmasb %v0, %v0, %v0, %v31
1024 vfmasb %v0, %v0, %v31, %v0
1025 vfmasb %v0, %v31, %v0, %v0
1026 vfmasb %v31, %v0, %v0, %v0
1027 vfmasb %v13, %v17, %v21, %v25
1028
1029 #CHECK: vfmsb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe7]
1030 #CHECK: vfmsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe7]
1031 #CHECK: vfmsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe7]
1032 #CHECK: vfmsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe7]
1033 #CHECK: vfmsb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe7]
1034
1035 vfmsb %v0, %v0, %v0
1036 vfmsb %v0, %v0, %v31
1037 vfmsb %v0, %v31, %v0
1038 vfmsb %v31, %v0, %v0
1039 vfmsb %v18, %v3, %v20
1040
1041 #CHECK: vfmssb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x02,0x00,0x00,0x8e]
1042 #CHECK: vfmssb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x8e]
1043 #CHECK: vfmssb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x8e]
1044 #CHECK: vfmssb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x8e]
1045 #CHECK: vfmssb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x8e]
1046 #CHECK: vfmssb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x00,0x97,0x8e]
1047
1048 vfmssb %v0, %v0, %v0, %v0
1049 vfmssb %v0, %v0, %v0, %v31
1050 vfmssb %v0, %v0, %v31, %v0
1051 vfmssb %v0, %v31, %v0, %v0
1052 vfmssb %v31, %v0, %v0, %v0
1053 vfmssb %v13, %v17, %v21, %v25
1054
1055 #CHECK: vfnma %v0, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x9f]
1056 #CHECK: vfnma %v0, %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0x9f]
1057 #CHECK: vfnma %v0, %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0x9f]
1058 #CHECK: vfnma %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x9f]
1059 #CHECK: vfnma %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x9f]
1060 #CHECK: vfnma %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x9f]
1061 #CHECK: vfnma %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x9f]
1062 #CHECK: vfnma %v13, %v17, %v21, %v25, 9, 11 # encoding: [0xe7,0xd1,0x5b,0x09,0x97,0x9f]
1063
1064 vfnma %v0, %v0, %v0, %v0, 0, 0
1065 vfnma %v0, %v0, %v0, %v0, 0, 15
1066 vfnma %v0, %v0, %v0, %v0, 15, 0
1067 vfnma %v0, %v0, %v0, %v31, 0, 0
1068 vfnma %v0, %v0, %v31, %v0, 0, 0
1069 vfnma %v0, %v31, %v0, %v0, 0, 0
1070 vfnma %v31, %v0, %v0, %v0, 0, 0
1071 vfnma %v13, %v17, %v21, %v25, 9, 11
1072
1073 #CHECK: vfnmadb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x03,0x00,0x00,0x9f]
1074 #CHECK: vfnmadb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0x9f]
1075 #CHECK: vfnmadb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0x9f]
1076 #CHECK: vfnmadb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0x9f]
1077 #CHECK: vfnmadb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0x9f]
1078 #CHECK: vfnmadb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x00,0x97,0x9f]
1079
1080 vfnmadb %v0, %v0, %v0, %v0
1081 vfnmadb %v0, %v0, %v0, %v31
1082 vfnmadb %v0, %v0, %v31, %v0
1083 vfnmadb %v0, %v31, %v0, %v0
1084 vfnmadb %v31, %v0, %v0, %v0
1085 vfnmadb %v13, %v17, %v21, %v25
1086
1087 #CHECK: vfnmasb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x02,0x00,0x00,0x9f]
1088 #CHECK: vfnmasb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x9f]
1089 #CHECK: vfnmasb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x9f]
1090 #CHECK: vfnmasb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x9f]
1091 #CHECK: vfnmasb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x9f]
1092 #CHECK: vfnmasb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x00,0x97,0x9f]
1093
1094 vfnmasb %v0, %v0, %v0, %v0
1095 vfnmasb %v0, %v0, %v0, %v31
1096 vfnmasb %v0, %v0, %v31, %v0
1097 vfnmasb %v0, %v31, %v0, %v0
1098 vfnmasb %v31, %v0, %v0, %v0
1099 vfnmasb %v13, %v17, %v21, %v25
1100
1101 #CHECK: vfnms %v0, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x9e]
1102 #CHECK: vfnms %v0, %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0x9e]
1103 #CHECK: vfnms %v0, %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0x9e]
1104 #CHECK: vfnms %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x9e]
1105 #CHECK: vfnms %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x9e]
1106 #CHECK: vfnms %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x9e]
1107 #CHECK: vfnms %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x9e]
1108 #CHECK: vfnms %v13, %v17, %v21, %v25, 9, 11 # encoding: [0xe7,0xd1,0x5b,0x09,0x97,0x9e]
1109
1110 vfnms %v0, %v0, %v0, %v0, 0, 0
1111 vfnms %v0, %v0, %v0, %v0, 0, 15
1112 vfnms %v0, %v0, %v0, %v0, 15, 0
1113 vfnms %v0, %v0, %v0, %v31, 0, 0
1114 vfnms %v0, %v0, %v31, %v0, 0, 0
1115 vfnms %v0, %v31, %v0, %v0, 0, 0
1116 vfnms %v31, %v0, %v0, %v0, 0, 0
1117 vfnms %v13, %v17, %v21, %v25, 9, 11
1118
1119 #CHECK: vfnmsdb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x03,0x00,0x00,0x9e]
1120 #CHECK: vfnmsdb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0x9e]
1121 #CHECK: vfnmsdb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0x9e]
1122 #CHECK: vfnmsdb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0x9e]
1123 #CHECK: vfnmsdb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0x9e]
1124 #CHECK: vfnmsdb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x00,0x97,0x9e]
1125
1126 vfnmsdb %v0, %v0, %v0, %v0
1127 vfnmsdb %v0, %v0, %v0, %v31
1128 vfnmsdb %v0, %v0, %v31, %v0
1129 vfnmsdb %v0, %v31, %v0, %v0
1130 vfnmsdb %v31, %v0, %v0, %v0
1131 vfnmsdb %v13, %v17, %v21, %v25
1132
1133 #CHECK: vfnmssb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x02,0x00,0x00,0x9e]
1134 #CHECK: vfnmssb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x9e]
1135 #CHECK: vfnmssb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x9e]
1136 #CHECK: vfnmssb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x9e]
1137 #CHECK: vfnmssb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x9e]
1138 #CHECK: vfnmssb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x00,0x97,0x9e]
1139
1140 vfnmssb %v0, %v0, %v0, %v0
1141 vfnmssb %v0, %v0, %v0, %v31
1142 vfnmssb %v0, %v0, %v31, %v0
1143 vfnmssb %v0, %v31, %v0, %v0
1144 vfnmssb %v31, %v0, %v0, %v0
1145 vfnmssb %v13, %v17, %v21, %v25
1146
1147 #CHECK: vfssb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe2]
1148 #CHECK: vfssb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe2]
1149 #CHECK: vfssb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe2]
1150 #CHECK: vfssb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe2]
1151 #CHECK: vfssb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe2]
1152
1153 vfssb %v0, %v0, %v0
1154 vfssb %v0, %v0, %v31
1155 vfssb %v0, %v31, %v0
1156 vfssb %v31, %v0, %v0
1157 vfssb %v18, %v3, %v20
1158
1159 #CHECK: vfsqsb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xce]
1160 #CHECK: vfsqsb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xce]
1161 #CHECK: vfsqsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xce]
1162 #CHECK: vfsqsb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xce]
1163 #CHECK: vfsqsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xce]
1164 #CHECK: vfsqsb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xce]
1165
1166 vfsqsb %v0, %v0
1167 vfsqsb %v0, %v15
1168 vfsqsb %v0, %v31
1169 vfsqsb %v15, %v0
1170 vfsqsb %v31, %v0
1171 vfsqsb %v14, %v17
1172
1173 #CHECK: vftcisb %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0x4a]
1174 #CHECK: vftcisb %v0, %v0, 4095 # encoding: [0xe7,0x00,0xff,0xf0,0x20,0x4a]
1175 #CHECK: vftcisb %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0x4a]
1176 #CHECK: vftcisb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x4a]
1177 #CHECK: vftcisb %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0x4a]
1178 #CHECK: vftcisb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x4a]
1179 #CHECK: vftcisb %v4, %v21, 1656 # encoding: [0xe7,0x45,0x67,0x80,0x24,0x4a]
1180
1181 vftcisb %v0, %v0, 0
1182 vftcisb %v0, %v0, 4095
1183 vftcisb %v0, %v15, 0
1184 vftcisb %v0, %v31, 0
1185 vftcisb %v15, %v0, 0
1186 vftcisb %v31, %v0, 0
1187 vftcisb %v4, %v21, 0x678
1188
1189 #CHECK: vlip %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x49]
1190 #CHECK: vlip %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x49]
1191 #CHECK: vlip %v0, 65535, 0 # encoding: [0xe6,0x00,0xff,0xff,0x00,0x49]
1192 #CHECK: vlip %v15, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x49]
1193 #CHECK: vlip %v31, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x49]
1194 #CHECK: vlip %v17, 4660, 7 # encoding: [0xe6,0x10,0x12,0x34,0x78,0x49]
1195
1196 vlip %v0, 0, 0
1197 vlip %v0, 0, 15
1198 vlip %v0, 0xffff, 0
1199 vlip %v15, 0, 0
1200 vlip %v31, 0, 0
1201 vlip %v17, 0x1234, 7
1202
1203 #CHECK: vllezlf %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x60,0x04]
1204 #CHECK: vllezlf %v0, 4095 # encoding: [0xe7,0x00,0x0f,0xff,0x60,0x04]
1205 #CHECK: vllezlf %v0, 0(%r15) # encoding: [0xe7,0x00,0xf0,0x00,0x60,0x04]
1206 #CHECK: vllezlf %v0, 0(%r15,%r1) # encoding: [0xe7,0x0f,0x10,0x00,0x60,0x04]
1207 #CHECK: vllezlf %v15, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x60,0x04]
1208 #CHECK: vllezlf %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x68,0x04]
1209 #CHECK: vllezlf %v18, 1383(%r3,%r4) # encoding: [0xe7,0x23,0x45,0x67,0x68,0x04]
1210
1211 vllezlf %v0, 0
1212 vllezlf %v0, 4095
1213 vllezlf %v0, 0(%r15)
1214 vllezlf %v0, 0(%r15,%r1)
1215 vllezlf %v15, 0
1216 vllezlf %v31, 0
1217 vllezlf %v18, 0x567(%r3,%r4)
1218
1219 #CHECK: vlrl %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x35]
1220 #CHECK: vlrl %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x35]
1221 #CHECK: vlrl %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x35]
1222 #CHECK: vlrl %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x35]
1223 #CHECK: vlrl %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x35]
1224 #CHECK: vlrl %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x35]
1225 #CHECK: vlrl %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x35]
1226
1227 vlrl %v0, 0, 0
1228 vlrl %v0, 4095, 0
1229 vlrl %v0, 0(%r15), 0
1230 vlrl %v0, 0, 255
1231 vlrl %v15, 0, 0
1232 vlrl %v31, 0, 0
1233 vlrl %v18, 1383(%r4), 3
1234
1235 #CHECK: vlrlr %v0, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x37]
1236 #CHECK: vlrlr %v0, %r0, 4095 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x37]
1237 #CHECK: vlrlr %v0, %r0, 0(%r15) # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x37]
1238 #CHECK: vlrlr %v0, %r15, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x37]
1239 #CHECK: vlrlr %v15, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x37]
1240 #CHECK: vlrlr %v31, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x37]
1241 #CHECK: vlrlr %v18, %r3, 1383(%r4) # encoding: [0xe6,0x03,0x45,0x67,0x21,0x37]
1242
1243 vlrlr %v0, %r0, 0
1244 vlrlr %v0, %r0, 4095
1245 vlrlr %v0, %r0, 0(%r15)
1246 vlrlr %v0, %r15, 0
1247 vlrlr %v15, %r0, 0
1248 vlrlr %v31, %r0, 0
1249 vlrlr %v18, %r3, 1383(%r4)
1250
1251 #CHECK: vmsl %v0, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xb8]
1252 #CHECK: vmsl %v0, %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0xb8]
1253 #CHECK: vmsl %v0, %v0, %v0, %v0, 0, 12 # encoding: [0xe7,0x00,0x00,0xc0,0x00,0xb8]
1254 #CHECK: vmsl %v0, %v0, %v0, %v15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xb8]
1255 #CHECK: vmsl %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xb8]
1256 #CHECK: vmsl %v0, %v0, %v15, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0xb8]
1257 #CHECK: vmsl %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xb8]
1258 #CHECK: vmsl %v0, %v15, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xb8]
1259 #CHECK: vmsl %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xb8]
1260 #CHECK: vmsl %v15, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xb8]
1261 #CHECK: vmsl %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xb8]
1262 #CHECK: vmsl %v18, %v3, %v20, %v5, 0, 4 # encoding: [0xe7,0x23,0x40,0x40,0x5a,0xb8]
1263 #CHECK: vmsl %v18, %v3, %v20, %v5, 11, 8 # encoding: [0xe7,0x23,0x4b,0x80,0x5a,0xb8]
1264
1265 vmsl %v0, %v0, %v0, %v0, 0, 0
1266 vmsl %v0, %v0, %v0, %v0, 15, 0
1267 vmsl %v0, %v0, %v0, %v0, 0, 12
1268 vmsl %v0, %v0, %v0, %v15, 0, 0
1269 vmsl %v0, %v0, %v0, %v31, 0, 0
1270 vmsl %v0, %v0, %v15, %v0, 0, 0
1271 vmsl %v0, %v0, %v31, %v0, 0, 0
1272 vmsl %v0, %v15, %v0, %v0, 0, 0
1273 vmsl %v0, %v31, %v0, %v0, 0, 0
1274 vmsl %v15, %v0, %v0, %v0, 0, 0
1275 vmsl %v31, %v0, %v0, %v0, 0, 0
1276 vmsl %v18, %v3, %v20, %v5, 0, 4
1277 vmsl %v18, %v3, %v20, %v5, 11, 8
1278
1279 #CHECK: vmslg %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x03,0x00,0x00,0xb8]
1280 #CHECK: vmslg %v0, %v0, %v0, %v0, 12 # encoding: [0xe7,0x00,0x03,0xc0,0x00,0xb8]
1281 #CHECK: vmslg %v0, %v0, %v0, %v15, 0 # encoding: [0xe7,0x00,0x03,0x00,0xf0,0xb8]
1282 #CHECK: vmslg %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0xb8]
1283 #CHECK: vmslg %v0, %v0, %v15, %v0, 0 # encoding: [0xe7,0x00,0xf3,0x00,0x00,0xb8]
1284 #CHECK: vmslg %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0xb8]
1285 #CHECK: vmslg %v0, %v15, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x03,0x00,0x00,0xb8]
1286 #CHECK: vmslg %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0xb8]
1287 #CHECK: vmslg %v15, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x03,0x00,0x00,0xb8]
1288 #CHECK: vmslg %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0xb8]
1289 #CHECK: vmslg %v18, %v3, %v20, %v5, 4 # encoding: [0xe7,0x23,0x43,0x40,0x5a,0xb8]
1290 #CHECK: vmslg %v18, %v3, %v20, %v5, 8 # encoding: [0xe7,0x23,0x43,0x80,0x5a,0xb8]
1291
1292 vmslg %v0, %v0, %v0, %v0, 0
1293 vmslg %v0, %v0, %v0, %v0, 12
1294 vmslg %v0, %v0, %v0, %v15, 0
1295 vmslg %v0, %v0, %v0, %v31, 0
1296 vmslg %v0, %v0, %v15, %v0, 0
1297 vmslg %v0, %v0, %v31, %v0, 0
1298 vmslg %v0, %v15, %v0, %v0, 0
1299 vmslg %v0, %v31, %v0, %v0, 0
1300 vmslg %v15, %v0, %v0, %v0, 0
1301 vmslg %v31, %v0, %v0, %v0, 0
1302 vmslg %v18, %v3, %v20, %v5, 4
1303 vmslg %v18, %v3, %v20, %v5, 8
1304
1305 #CHECK: vmp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x78]
1306 #CHECK: vmp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x78]
1307 #CHECK: vmp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x78]
1308 #CHECK: vmp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x78]
1309 #CHECK: vmp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x78]
1310 #CHECK: vmp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x78]
1311 #CHECK: vmp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x78]
1312
1313 vmp %v0, %v0, %v0, 0, 0
1314 vmp %v0, %v0, %v0, 0, 15
1315 vmp %v0, %v0, %v0, 255, 0
1316 vmp %v0, %v0, %v31, 0, 0
1317 vmp %v0, %v31, %v0, 0, 0
1318 vmp %v31, %v0, %v0, 0, 0
1319 vmp %v13, %v17, %v21, 0x79, 11
1320
1321 #CHECK: vmsp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x79]
1322 #CHECK: vmsp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x79]
1323 #CHECK: vmsp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x79]
1324 #CHECK: vmsp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x79]
1325 #CHECK: vmsp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x79]
1326 #CHECK: vmsp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x79]
1327 #CHECK: vmsp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x79]
1328
1329 vmsp %v0, %v0, %v0, 0, 0
1330 vmsp %v0, %v0, %v0, 0, 15
1331 vmsp %v0, %v0, %v0, 255, 0
1332 vmsp %v0, %v0, %v31, 0, 0
1333 vmsp %v0, %v31, %v0, 0, 0
1334 vmsp %v31, %v0, %v0, 0, 0
1335 vmsp %v13, %v17, %v21, 0x79, 11
1336
1337 #CHECK: vnn %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x6e]
1338 #CHECK: vnn %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6e]
1339 #CHECK: vnn %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6e]
1340 #CHECK: vnn %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6e]
1341 #CHECK: vnn %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x0a,0x6e]
1342
1343 vnn %v0, %v0, %v0
1344 vnn %v0, %v0, %v31
1345 vnn %v0, %v31, %v0
1346 vnn %v31, %v0, %v0
1347 vnn %v18, %v3, %v20
1348
1349 #CHECK: vnx %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x6c]
1350 #CHECK: vnx %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6c]
1351 #CHECK: vnx %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6c]
1352 #CHECK: vnx %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6c]
1353 #CHECK: vnx %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x0a,0x6c]
1354
1355 vnx %v0, %v0, %v0
1356 vnx %v0, %v0, %v31
1357 vnx %v0, %v31, %v0
1358 vnx %v31, %v0, %v0
1359 vnx %v18, %v3, %v20
1360
1361 #CHECK: voc %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x6f]
1362 #CHECK: voc %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6f]
1363 #CHECK: voc %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6f]
1364 #CHECK: voc %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6f]
1365 #CHECK: voc %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x0a,0x6f]
1366
1367 voc %v0, %v0, %v0
1368 voc %v0, %v0, %v31
1369 voc %v0, %v31, %v0
1370 voc %v31, %v0, %v0
1371 voc %v18, %v3, %v20
1372
1373 #CHECK: vpkz %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x34]
1374 #CHECK: vpkz %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x34]
1375 #CHECK: vpkz %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x34]
1376 #CHECK: vpkz %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x34]
1377 #CHECK: vpkz %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x34]
1378 #CHECK: vpkz %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x34]
1379 #CHECK: vpkz %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x34]
1380
1381 vpkz %v0, 0, 0
1382 vpkz %v0, 4095, 0
1383 vpkz %v0, 0(%r15), 0
1384 vpkz %v0, 0, 255
1385 vpkz %v15, 0, 0
1386 vpkz %v31, 0, 0
1387 vpkz %v18, 1383(%r4), 3
1388
1389 #CHECK: vpopctb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x50]
1390 #CHECK: vpopctb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x50]
1391 #CHECK: vpopctb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x50]
1392 #CHECK: vpopctb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x50]
1393 #CHECK: vpopctb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x50]
1394 #CHECK: vpopctb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x04,0x50]
1395
1396 vpopctb %v0, %v0
1397 vpopctb %v0, %v15
1398 vpopctb %v0, %v31
1399 vpopctb %v15, %v0
1400 vpopctb %v31, %v0
1401 vpopctb %v14, %v17
1402
1403 #CHECK: vpopctf %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0x50]
1404 #CHECK: vpopctf %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0x50]
1405 #CHECK: vpopctf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x50]
1406 #CHECK: vpopctf %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0x50]
1407 #CHECK: vpopctf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x50]
1408 #CHECK: vpopctf %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0x50]
1409
1410 vpopctf %v0, %v0
1411 vpopctf %v0, %v15
1412 vpopctf %v0, %v31
1413 vpopctf %v15, %v0
1414 vpopctf %v31, %v0
1415 vpopctf %v14, %v17
1416
1417 #CHECK: vpopctg %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0x50]
1418 #CHECK: vpopctg %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x30,0x50]
1419 #CHECK: vpopctg %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x50]
1420 #CHECK: vpopctg %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x30,0x50]
1421 #CHECK: vpopctg %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x50]
1422 #CHECK: vpopctg %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x34,0x50]
1423
1424 vpopctg %v0, %v0
1425 vpopctg %v0, %v15
1426 vpopctg %v0, %v31
1427 vpopctg %v15, %v0
1428 vpopctg %v31, %v0
1429 vpopctg %v14, %v17
1430
1431 #CHECK: vpopcth %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x10,0x50]
1432 #CHECK: vpopcth %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x10,0x50]
1433 #CHECK: vpopcth %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x50]
1434 #CHECK: vpopcth %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x10,0x50]
1435 #CHECK: vpopcth %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x50]
1436 #CHECK: vpopcth %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x14,0x50]
1437
1438 vpopcth %v0, %v0
1439 vpopcth %v0, %v15
1440 vpopcth %v0, %v31
1441 vpopcth %v15, %v0
1442 vpopcth %v31, %v0
1443 vpopcth %v14, %v17
1444
1445 #CHECK: vpsop %v0, %v0, 0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x5b]
1446 #CHECK: vpsop %v0, %v0, 0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x5b]
1447 #CHECK: vpsop %v0, %v0, 0, 255, 0 # encoding: [0xe6,0x00,0xff,0x00,0x00,0x5b]
1448 #CHECK: vpsop %v0, %v0, 255, 0, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x5b]
1449 #CHECK: vpsop %v0, %v31, 0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x5b]
1450 #CHECK: vpsop %v31, %v0, 0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x5b]
1451 #CHECK: vpsop %v13, %v17, 52, 121, 11 # encoding: [0xe6,0xd1,0x79,0xb3,0x44,0x5b]
1452
1453 vpsop %v0, %v0, 0, 0, 0
1454 vpsop %v0, %v0, 0, 0, 15
1455 vpsop %v0, %v0, 0, 255, 0
1456 vpsop %v0, %v0, 255, 0, 0
1457 vpsop %v0, %v31, 0, 0, 0
1458 vpsop %v31, %v0, 0, 0, 0
1459 vpsop %v13, %v17, 0x34, 0x79, 11
1460
1461 #CHECK: vrp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x7b]
1462 #CHECK: vrp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x7b]
1463 #CHECK: vrp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x7b]
1464 #CHECK: vrp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x7b]
1465 #CHECK: vrp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x7b]
1466 #CHECK: vrp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x7b]
1467 #CHECK: vrp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x7b]
1468
1469 vrp %v0, %v0, %v0, 0, 0
1470 vrp %v0, %v0, %v0, 0, 15
1471 vrp %v0, %v0, %v0, 255, 0
1472 vrp %v0, %v0, %v31, 0, 0
1473 vrp %v0, %v31, %v0, 0, 0
1474 vrp %v31, %v0, %v0, 0, 0
1475 vrp %v13, %v17, %v21, 0x79, 11
1476
1477 #CHECK: vsdp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x7e]
1478 #CHECK: vsdp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x7e]
1479 #CHECK: vsdp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x7e]
1480 #CHECK: vsdp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x7e]
1481 #CHECK: vsdp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x7e]
1482 #CHECK: vsdp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x7e]
1483 #CHECK: vsdp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x7e]
1484
1485 vsdp %v0, %v0, %v0, 0, 0
1486 vsdp %v0, %v0, %v0, 0, 15
1487 vsdp %v0, %v0, %v0, 255, 0
1488 vsdp %v0, %v0, %v31, 0, 0
1489 vsdp %v0, %v31, %v0, 0, 0
1490 vsdp %v31, %v0, %v0, 0, 0
1491 vsdp %v13, %v17, %v21, 0x79, 11
1492
1493 #CHECK: vsp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x73]
1494 #CHECK: vsp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x73]
1495 #CHECK: vsp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x73]
1496 #CHECK: vsp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x73]
1497 #CHECK: vsp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x73]
1498 #CHECK: vsp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x73]
1499 #CHECK: vsp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x73]
1500
1501 vsp %v0, %v0, %v0, 0, 0
1502 vsp %v0, %v0, %v0, 0, 15
1503 vsp %v0, %v0, %v0, 255, 0
1504 vsp %v0, %v0, %v31, 0, 0
1505 vsp %v0, %v31, %v0, 0, 0
1506 vsp %v31, %v0, %v0, 0, 0
1507 vsp %v13, %v17, %v21, 0x79, 11
1508
1509 #CHECK: vsrp %v0, %v0, 0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x59]
1510 #CHECK: vsrp %v0, %v0, 0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x59]
1511 #CHECK: vsrp %v0, %v0, 0, 255, 0 # encoding: [0xe6,0x00,0xff,0x00,0x00,0x59]
1512 #CHECK: vsrp %v0, %v0, 255, 0, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x59]
1513 #CHECK: vsrp %v0, %v31, 0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x59]
1514 #CHECK: vsrp %v31, %v0, 0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x59]
1515 #CHECK: vsrp %v13, %v17, 52, 121, 11 # encoding: [0xe6,0xd1,0x79,0xb3,0x44,0x59]
1516
1517 vsrp %v0, %v0, 0, 0, 0
1518 vsrp %v0, %v0, 0, 0, 15
1519 vsrp %v0, %v0, 0, 255, 0
1520 vsrp %v0, %v0, 255, 0, 0
1521 vsrp %v0, %v31, 0, 0, 0
1522 vsrp %v31, %v0, 0, 0, 0
1523 vsrp %v13, %v17, 0x34, 0x79, 11
1524
1525 #CHECK: vstrl %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x3d]
1526 #CHECK: vstrl %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x3d]
1527 #CHECK: vstrl %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x3d]
1528 #CHECK: vstrl %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x3d]
1529 #CHECK: vstrl %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x3d]
1530 #CHECK: vstrl %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x3d]
1531 #CHECK: vstrl %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x3d]
1532
1533 vstrl %v0, 0, 0
1534 vstrl %v0, 4095, 0
1535 vstrl %v0, 0(%r15), 0
1536 vstrl %v0, 0, 255
1537 vstrl %v15, 0, 0
1538 vstrl %v31, 0, 0
1539 vstrl %v18, 1383(%r4), 3
1540
1541 #CHECK: vstrlr %v0, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x3f]
1542 #CHECK: vstrlr %v0, %r0, 4095 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x3f]
1543 #CHECK: vstrlr %v0, %r0, 0(%r15) # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x3f]
1544 #CHECK: vstrlr %v0, %r15, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x3f]
1545 #CHECK: vstrlr %v15, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x3f]
1546 #CHECK: vstrlr %v31, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x3f]
1547 #CHECK: vstrlr %v18, %r3, 1383(%r4) # encoding: [0xe6,0x03,0x45,0x67,0x21,0x3f]
1548
1549 vstrlr %v0, %r0, 0
1550 vstrlr %v0, %r0, 4095
1551 vstrlr %v0, %r0, 0(%r15)
1552 vstrlr %v0, %r15, 0
1553 vstrlr %v15, %r0, 0
1554 vstrlr %v31, %r0, 0
1555 vstrlr %v18, %r3, 1383(%r4)
1556
1557 #CHECK: vtp %v0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x5f]
1558 #CHECK: vtp %v15 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x5f]
1559 #CHECK: vtp %v31 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x5f]
1560
1561 vtp %v0
1562 vtp %v15
1563 vtp %v31
1564
1565 #CHECK: vupkz %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x3c]
1566 #CHECK: vupkz %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x3c]
1567 #CHECK: vupkz %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x3c]
1568 #CHECK: vupkz %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x3c]
1569 #CHECK: vupkz %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x3c]
1570 #CHECK: vupkz %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x3c]
1571 #CHECK: vupkz %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x3c]
1572
1573 vupkz %v0, 0, 0
1574 vupkz %v0, 4095, 0
1575 vupkz %v0, 0(%r15), 0
1576 vupkz %v0, 0, 255
1577 vupkz %v15, 0, 0
1578 vupkz %v31, 0, 0
1579 vupkz %v18, 1383(%r4), 3
1580
1581 #CHECK: wfasb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe3]
1582 #CHECK: wfasb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe3]
1583 #CHECK: wfasb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe3]
1584 #CHECK: wfasb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe3]
1585 #CHECK: wfasb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe3]
1586 #CHECK: wfasb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe3]
1587
1588 wfasb %v0, %v0, %v0
1589 wfasb %f0, %f0, %f0
1590 wfasb %v0, %v0, %v31
1591 wfasb %v0, %v31, %v0
1592 wfasb %v31, %v0, %v0
1593 wfasb %v18, %v3, %v20
1594
1595 #CHECK: wfaxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe3]
1596 #CHECK: wfaxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe3]
1597 #CHECK: wfaxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe3]
1598 #CHECK: wfaxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe3]
1599 #CHECK: wfaxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe3]
1600
1601 wfaxb %v0, %v0, %v0
1602 wfaxb %v0, %v0, %v31
1603 wfaxb %v0, %v31, %v0
1604 wfaxb %v31, %v0, %v0
1605 wfaxb %v18, %v3, %v20
1606
1607 #CHECK: wfcsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xcb]
1608 #CHECK: wfcsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xcb]
1609 #CHECK: wfcsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xcb]
1610 #CHECK: wfcsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xcb]
1611 #CHECK: wfcsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xcb]
1612 #CHECK: wfcsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xcb]
1613 #CHECK: wfcsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xcb]
1614
1615 wfcsb %v0, %v0
1616 wfcsb %f0, %f0
1617 wfcsb %v0, %v15
1618 wfcsb %v0, %v31
1619 wfcsb %v15, %v0
1620 wfcsb %v31, %v0
1621 wfcsb %v14, %v17
1622
1623 #CHECK: wfcxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x40,0xcb]
1624 #CHECK: wfcxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x40,0xcb]
1625 #CHECK: wfcxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xcb]
1626 #CHECK: wfcxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x40,0xcb]
1627 #CHECK: wfcxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xcb]
1628 #CHECK: wfcxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x44,0xcb]
1629
1630 wfcxb %v0, %v0
1631 wfcxb %v0, %v15
1632 wfcxb %v0, %v31
1633 wfcxb %v15, %v0
1634 wfcxb %v31, %v0
1635 wfcxb %v14, %v17
1636
1637 #CHECK: wfcesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe8]
1638 #CHECK: wfcesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe8]
1639 #CHECK: wfcesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe8]
1640 #CHECK: wfcesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe8]
1641 #CHECK: wfcesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe8]
1642 #CHECK: wfcesb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe8]
1643
1644 wfcesb %v0, %v0, %v0
1645 wfcesb %f0, %f0, %f0
1646 wfcesb %v0, %v0, %v31
1647 wfcesb %v0, %v31, %v0
1648 wfcesb %v31, %v0, %v0
1649 wfcesb %v18, %v3, %v20
1650
1651 #CHECK: wfcesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xe8]
1652 #CHECK: wfcesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xe8]
1653 #CHECK: wfcesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x22,0xe8]
1654 #CHECK: wfcesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xe8]
1655 #CHECK: wfcesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xe8]
1656 #CHECK: wfcesbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x2a,0xe8]
1657
1658 wfcesbs %v0, %v0, %v0
1659 wfcesbs %f0, %f0, %f0
1660 wfcesbs %v0, %v0, %v31
1661 wfcesbs %v0, %v31, %v0
1662 wfcesbs %v31, %v0, %v0
1663 wfcesbs %v18, %v3, %v20
1664
1665 #CHECK: wfcexb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe8]
1666 #CHECK: wfcexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe8]
1667 #CHECK: wfcexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe8]
1668 #CHECK: wfcexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe8]
1669 #CHECK: wfcexb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe8]
1670
1671 wfcexb %v0, %v0, %v0
1672 wfcexb %v0, %v0, %v31
1673 wfcexb %v0, %v31, %v0
1674 wfcexb %v31, %v0, %v0
1675 wfcexb %v18, %v3, %v20
1676
1677 #CHECK: wfcexbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x18,0x40,0xe8]
1678 #CHECK: wfcexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x42,0xe8]
1679 #CHECK: wfcexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xe8]
1680 #CHECK: wfcexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xe8]
1681 #CHECK: wfcexbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x4a,0xe8]
1682
1683 wfcexbs %v0, %v0, %v0
1684 wfcexbs %v0, %v0, %v31
1685 wfcexbs %v0, %v31, %v0
1686 wfcexbs %v31, %v0, %v0
1687 wfcexbs %v18, %v3, %v20
1688
1689 #CHECK: wfchsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xeb]
1690 #CHECK: wfchsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xeb]
1691 #CHECK: wfchsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xeb]
1692 #CHECK: wfchsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xeb]
1693 #CHECK: wfchsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xeb]
1694 #CHECK: wfchsb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xeb]
1695
1696 wfchsb %v0, %v0, %v0
1697 wfchsb %f0, %f0, %f0
1698 wfchsb %v0, %v0, %v31
1699 wfchsb %v0, %v31, %v0
1700 wfchsb %v31, %v0, %v0
1701 wfchsb %v18, %v3, %v20
1702
1703 #CHECK: wfchsbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xeb]
1704 #CHECK: wfchsbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xeb]
1705 #CHECK: wfchsbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x22,0xeb]
1706 #CHECK: wfchsbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xeb]
1707 #CHECK: wfchsbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xeb]
1708 #CHECK: wfchsbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x2a,0xeb]
1709
1710 wfchsbs %v0, %v0, %v0
1711 wfchsbs %f0, %f0, %f0
1712 wfchsbs %v0, %v0, %v31
1713 wfchsbs %v0, %v31, %v0
1714 wfchsbs %v31, %v0, %v0
1715 wfchsbs %v18, %v3, %v20
1716
1717 #CHECK: wfchxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xeb]
1718 #CHECK: wfchxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xeb]
1719 #CHECK: wfchxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xeb]
1720 #CHECK: wfchxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xeb]
1721 #CHECK: wfchxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xeb]
1722
1723 wfchxb %v0, %v0, %v0
1724 wfchxb %v0, %v0, %v31
1725 wfchxb %v0, %v31, %v0
1726 wfchxb %v31, %v0, %v0
1727 wfchxb %v18, %v3, %v20
1728
1729 #CHECK: wfchxbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x18,0x40,0xeb]
1730 #CHECK: wfchxbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x42,0xeb]
1731 #CHECK: wfchxbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xeb]
1732 #CHECK: wfchxbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xeb]
1733 #CHECK: wfchxbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x4a,0xeb]
1734
1735 wfchxbs %v0, %v0, %v0
1736 wfchxbs %v0, %v0, %v31
1737 wfchxbs %v0, %v31, %v0
1738 wfchxbs %v31, %v0, %v0
1739 wfchxbs %v18, %v3, %v20
1740
1741 #CHECK: wfchesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xea]
1742 #CHECK: wfchesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xea]
1743 #CHECK: wfchesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xea]
1744 #CHECK: wfchesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xea]
1745 #CHECK: wfchesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xea]
1746 #CHECK: wfchesb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xea]
1747
1748 wfchesb %v0, %v0, %v0
1749 wfchesb %f0, %f0, %f0
1750 wfchesb %v0, %v0, %v31
1751 wfchesb %v0, %v31, %v0
1752 wfchesb %v31, %v0, %v0
1753 wfchesb %v18, %v3, %v20
1754
1755 #CHECK: wfchesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xea]
1756 #CHECK: wfchesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xea]
1757 #CHECK: wfchesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x22,0xea]
1758 #CHECK: wfchesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xea]
1759 #CHECK: wfchesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xea]
1760 #CHECK: wfchesbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x2a,0xea]
1761
1762 wfchesbs %v0, %v0, %v0
1763 wfchesbs %f0, %f0, %f0
1764 wfchesbs %v0, %v0, %v31
1765 wfchesbs %v0, %v31, %v0
1766 wfchesbs %v31, %v0, %v0
1767 wfchesbs %v18, %v3, %v20
1768
1769 #CHECK: wfchexb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xea]
1770 #CHECK: wfchexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xea]
1771 #CHECK: wfchexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xea]
1772 #CHECK: wfchexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xea]
1773 #CHECK: wfchexb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xea]
1774
1775 wfchexb %v0, %v0, %v0
1776 wfchexb %v0, %v0, %v31
1777 wfchexb %v0, %v31, %v0
1778 wfchexb %v31, %v0, %v0
1779 wfchexb %v18, %v3, %v20
1780
1781 #CHECK: wfchexbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x18,0x40,0xea]
1782 #CHECK: wfchexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x42,0xea]
1783 #CHECK: wfchexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xea]
1784 #CHECK: wfchexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xea]
1785 #CHECK: wfchexbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x4a,0xea]
1786
1787 wfchexbs %v0, %v0, %v0
1788 wfchexbs %v0, %v0, %v31
1789 wfchexbs %v0, %v31, %v0
1790 wfchexbs %v31, %v0, %v0
1791 wfchexbs %v18, %v3, %v20
1792
1793 #CHECK: wfdsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe5]
1794 #CHECK: wfdsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe5]
1795 #CHECK: wfdsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe5]
1796 #CHECK: wfdsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe5]
1797 #CHECK: wfdsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe5]
1798 #CHECK: wfdsb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe5]
1799
1800 wfdsb %v0, %v0, %v0
1801 wfdsb %f0, %f0, %f0
1802 wfdsb %v0, %v0, %v31
1803 wfdsb %v0, %v31, %v0
1804 wfdsb %v31, %v0, %v0
1805 wfdsb %v18, %v3, %v20
1806
1807 #CHECK: wfdxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe5]
1808 #CHECK: wfdxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe5]
1809 #CHECK: wfdxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe5]
1810 #CHECK: wfdxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe5]
1811 #CHECK: wfdxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe5]
1812
1813 wfdxb %v0, %v0, %v0
1814 wfdxb %v0, %v0, %v31
1815 wfdxb %v0, %v31, %v0
1816 wfdxb %v31, %v0, %v0
1817 wfdxb %v18, %v3, %v20
1818
1819 #CHECK: wfisb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc7]
1820 #CHECK: wfisb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc7]
1821 #CHECK: wfisb %f0, %f0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x20,0xc7]
1822 #CHECK: wfisb %f0, %f0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xc7]
1823 #CHECK: wfisb %f0, %f0, 7, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x20,0xc7]
1824 #CHECK: wfisb %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xc7]
1825 #CHECK: wfisb %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xc7]
1826 #CHECK: wfisb %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x24,0xc7]
1827
1828 wfisb %v0, %v0, 0, 0
1829 wfisb %f0, %f0, 0, 0
1830 wfisb %v0, %v0, 0, 15
1831 wfisb %v0, %v0, 4, 0
1832 wfisb %v0, %v0, 7, 0
1833 wfisb %v0, %v31, 0, 0
1834 wfisb %v31, %v0, 0, 0
1835 wfisb %v14, %v17, 4, 10
1836
1837 #CHECK: wfixb %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xc7]
1838 #CHECK: wfixb %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x40,0xc7]
1839 #CHECK: wfixb %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xc7]
1840 #CHECK: wfixb %v0, %v0, 7, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x40,0xc7]
1841 #CHECK: wfixb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xc7]
1842 #CHECK: wfixb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xc7]
1843 #CHECK: wfixb %v14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x44,0xc7]
1844
1845 wfixb %v0, %v0, 0, 0
1846 wfixb %v0, %v0, 0, 15
1847 wfixb %v0, %v0, 4, 0
1848 wfixb %v0, %v0, 7, 0
1849 wfixb %v0, %v31, 0, 0
1850 wfixb %v31, %v0, 0, 0
1851 wfixb %v14, %v17, 4, 10
1852
1853 #CHECK: wfksb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xca]
1854 #CHECK: wfksb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xca]
1855 #CHECK: wfksb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xca]
1856 #CHECK: wfksb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xca]
1857 #CHECK: wfksb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xca]
1858 #CHECK: wfksb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xca]
1859 #CHECK: wfksb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xca]
1860
1861 wfksb %v0, %v0
1862 wfksb %f0, %f0
1863 wfksb %v0, %v15
1864 wfksb %v0, %v31
1865 wfksb %v15, %v0
1866 wfksb %v31, %v0
1867 wfksb %v14, %v17
1868
1869 #CHECK: wfkxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x40,0xca]
1870 #CHECK: wfkxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x40,0xca]
1871 #CHECK: wfkxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xca]
1872 #CHECK: wfkxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x40,0xca]
1873 #CHECK: wfkxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xca]
1874 #CHECK: wfkxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x44,0xca]
1875
1876 wfkxb %v0, %v0
1877 wfkxb %v0, %v15
1878 wfkxb %v0, %v31
1879 wfkxb %v15, %v0
1880 wfkxb %v31, %v0
1881 wfkxb %v14, %v17
1882
1883 #CHECK: wfkedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xe8]
1884 #CHECK: wfkedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xe8]
1885 #CHECK: wfkedb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x32,0xe8]
1886 #CHECK: wfkedb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x34,0xe8]
1887 #CHECK: wfkedb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x38,0xe8]
1888 #CHECK: wfkedb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x3a,0xe8]
1889
1890 wfkedb %v0, %v0, %v0
1891 wfkedb %f0, %f0, %f0
1892 wfkedb %v0, %v0, %v31
1893 wfkedb %v0, %v31, %v0
1894 wfkedb %v31, %v0, %v0
1895 wfkedb %v18, %v3, %v20
1896
1897 #CHECK: wfkedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xe8]
1898 #CHECK: wfkedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xe8]
1899 #CHECK: wfkedbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x32,0xe8]
1900 #CHECK: wfkedbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x34,0xe8]
1901 #CHECK: wfkedbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x38,0xe8]
1902 #CHECK: wfkedbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x3a,0xe8]
1903
1904 wfkedbs %v0, %v0, %v0
1905 wfkedbs %f0, %f0, %f0
1906 wfkedbs %v0, %v0, %v31
1907 wfkedbs %v0, %v31, %v0
1908 wfkedbs %v31, %v0, %v0
1909 wfkedbs %v18, %v3, %v20
1910
1911 #CHECK: wfkesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xe8]
1912 #CHECK: wfkesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xe8]
1913 #CHECK: wfkesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x22,0xe8]
1914 #CHECK: wfkesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x24,0xe8]
1915 #CHECK: wfkesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x28,0xe8]
1916 #CHECK: wfkesb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x2a,0xe8]
1917
1918 wfkesb %v0, %v0, %v0
1919 wfkesb %f0, %f0, %f0
1920 wfkesb %v0, %v0, %v31
1921 wfkesb %v0, %v31, %v0
1922 wfkesb %v31, %v0, %v0
1923 wfkesb %v18, %v3, %v20
1924
1925 #CHECK: wfkesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xe8]
1926 #CHECK: wfkesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xe8]
1927 #CHECK: wfkesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x22,0xe8]
1928 #CHECK: wfkesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x24,0xe8]
1929 #CHECK: wfkesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x28,0xe8]
1930 #CHECK: wfkesbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x2a,0xe8]
1931
1932 wfkesbs %v0, %v0, %v0
1933 wfkesbs %f0, %f0, %f0
1934 wfkesbs %v0, %v0, %v31
1935 wfkesbs %v0, %v31, %v0
1936 wfkesbs %v31, %v0, %v0
1937 wfkesbs %v18, %v3, %v20
1938
1939 #CHECK: wfkexb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xe8]
1940 #CHECK: wfkexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x42,0xe8]
1941 #CHECK: wfkexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x0c,0x44,0xe8]
1942 #CHECK: wfkexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x0c,0x48,0xe8]
1943 #CHECK: wfkexb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x4a,0xe8]
1944
1945 wfkexb %v0, %v0, %v0
1946 wfkexb %v0, %v0, %v31
1947 wfkexb %v0, %v31, %v0
1948 wfkexb %v31, %v0, %v0
1949 wfkexb %v18, %v3, %v20
1950
1951 #CHECK: wfkexbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x1c,0x40,0xe8]
1952 #CHECK: wfkexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x42,0xe8]
1953 #CHECK: wfkexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x1c,0x44,0xe8]
1954 #CHECK: wfkexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x1c,0x48,0xe8]
1955 #CHECK: wfkexbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x4a,0xe8]
1956
1957 wfkexbs %v0, %v0, %v0
1958 wfkexbs %v0, %v0, %v31
1959 wfkexbs %v0, %v31, %v0
1960 wfkexbs %v31, %v0, %v0
1961 wfkexbs %v18, %v3, %v20
1962
1963 #CHECK: wfkhdb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xeb]
1964 #CHECK: wfkhdb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xeb]
1965 #CHECK: wfkhdb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x32,0xeb]
1966 #CHECK: wfkhdb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x34,0xeb]
1967 #CHECK: wfkhdb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x38,0xeb]
1968 #CHECK: wfkhdb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x3a,0xeb]
1969
1970 wfkhdb %v0, %v0, %v0
1971 wfkhdb %f0, %f0, %f0
1972 wfkhdb %v0, %v0, %v31
1973 wfkhdb %v0, %v31, %v0
1974 wfkhdb %v31, %v0, %v0
1975 wfkhdb %v18, %v3, %v20
1976
1977 #CHECK: wfkhdbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xeb]
1978 #CHECK: wfkhdbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xeb]
1979 #CHECK: wfkhdbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x32,0xeb]
1980 #CHECK: wfkhdbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x34,0xeb]
1981 #CHECK: wfkhdbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x38,0xeb]
1982 #CHECK: wfkhdbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x3a,0xeb]
1983
1984 wfkhdbs %v0, %v0, %v0
1985 wfkhdbs %f0, %f0, %f0
1986 wfkhdbs %v0, %v0, %v31
1987 wfkhdbs %v0, %v31, %v0
1988 wfkhdbs %v31, %v0, %v0
1989 wfkhdbs %v18, %v3, %v20
1990
1991 #CHECK: wfkhsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xeb]
1992 #CHECK: wfkhsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xeb]
1993 #CHECK: wfkhsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x22,0xeb]
1994 #CHECK: wfkhsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x24,0xeb]
1995 #CHECK: wfkhsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x28,0xeb]
1996 #CHECK: wfkhsb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x2a,0xeb]
1997
1998 wfkhsb %v0, %v0, %v0
1999 wfkhsb %f0, %f0, %f0
2000 wfkhsb %v0, %v0, %v31
2001 wfkhsb %v0, %v31, %v0
2002 wfkhsb %v31, %v0, %v0
2003 wfkhsb %v18, %v3, %v20
2004
2005 #CHECK: wfkhsbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xeb]
2006 #CHECK: wfkhsbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xeb]
2007 #CHECK: wfkhsbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x22,0xeb]
2008 #CHECK: wfkhsbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x24,0xeb]
2009 #CHECK: wfkhsbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x28,0xeb]
2010 #CHECK: wfkhsbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x2a,0xeb]
2011
2012 wfkhsbs %v0, %v0, %v0
2013 wfkhsbs %f0, %f0, %f0
2014 wfkhsbs %v0, %v0, %v31
2015 wfkhsbs %v0, %v31, %v0
2016 wfkhsbs %v31, %v0, %v0
2017 wfkhsbs %v18, %v3, %v20
2018
2019 #CHECK: wfkhxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xeb]
2020 #CHECK: wfkhxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x42,0xeb]
2021 #CHECK: wfkhxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x0c,0x44,0xeb]
2022 #CHECK: wfkhxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x0c,0x48,0xeb]
2023 #CHECK: wfkhxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x4a,0xeb]
2024
2025 wfkhxb %v0, %v0, %v0
2026 wfkhxb %v0, %v0, %v31
2027 wfkhxb %v0, %v31, %v0
2028 wfkhxb %v31, %v0, %v0
2029 wfkhxb %v18, %v3, %v20
2030
2031 #CHECK: wfkhxbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x1c,0x40,0xeb]
2032 #CHECK: wfkhxbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x42,0xeb]
2033 #CHECK: wfkhxbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x1c,0x44,0xeb]
2034 #CHECK: wfkhxbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x1c,0x48,0xeb]
2035 #CHECK: wfkhxbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x4a,0xeb]
2036
2037 wfkhxbs %v0, %v0, %v0
2038 wfkhxbs %v0, %v0, %v31
2039 wfkhxbs %v0, %v31, %v0
2040 wfkhxbs %v31, %v0, %v0
2041 wfkhxbs %v18, %v3, %v20
2042
2043 #CHECK: wfkhedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xea]
2044 #CHECK: wfkhedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xea]
2045 #CHECK: wfkhedb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x32,0xea]
2046 #CHECK: wfkhedb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x34,0xea]
2047 #CHECK: wfkhedb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x38,0xea]
2048 #CHECK: wfkhedb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x3a,0xea]
2049
2050 wfkhedb %v0, %v0, %v0
2051 wfkhedb %f0, %f0, %f0
2052 wfkhedb %v0, %v0, %v31
2053 wfkhedb %v0, %v31, %v0
2054 wfkhedb %v31, %v0, %v0
2055 wfkhedb %v18, %v3, %v20
2056
2057 #CHECK: wfkhedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xea]
2058 #CHECK: wfkhedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xea]
2059 #CHECK: wfkhedbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x32,0xea]
2060 #CHECK: wfkhedbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x34,0xea]
2061 #CHECK: wfkhedbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x38,0xea]
2062 #CHECK: wfkhedbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x3a,0xea]
2063
2064 wfkhedbs %v0, %v0, %v0
2065 wfkhedbs %f0, %f0, %f0
2066 wfkhedbs %v0, %v0, %v31
2067 wfkhedbs %v0, %v31, %v0
2068 wfkhedbs %v31, %v0, %v0
2069 wfkhedbs %v18, %v3, %v20
2070
2071 #CHECK: wfkhesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xea]
2072 #CHECK: wfkhesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xea]
2073 #CHECK: wfkhesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x22,0xea]
2074 #CHECK: wfkhesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x24,0xea]
2075 #CHECK: wfkhesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x28,0xea]
2076 #CHECK: wfkhesb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x2a,0xea]
2077
2078 wfkhesb %v0, %v0, %v0
2079 wfkhesb %f0, %f0, %f0
2080 wfkhesb %v0, %v0, %v31
2081 wfkhesb %v0, %v31, %v0
2082 wfkhesb %v31, %v0, %v0
2083 wfkhesb %v18, %v3, %v20
2084
2085 #CHECK: wfkhesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xea]
2086 #CHECK: wfkhesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xea]
2087 #CHECK: wfkhesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x22,0xea]
2088 #CHECK: wfkhesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x24,0xea]
2089 #CHECK: wfkhesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x28,0xea]
2090 #CHECK: wfkhesbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x2a,0xea]
2091
2092 wfkhesbs %v0, %v0, %v0
2093 wfkhesbs %f0, %f0, %f0
2094 wfkhesbs %v0, %v0, %v31
2095 wfkhesbs %v0, %v31, %v0
2096 wfkhesbs %v31, %v0, %v0
2097 wfkhesbs %v18, %v3, %v20
2098
2099 #CHECK: wfkhexb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xea]
2100 #CHECK: wfkhexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x42,0xea]
2101 #CHECK: wfkhexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x0c,0x44,0xea]
2102 #CHECK: wfkhexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x0c,0x48,0xea]
2103 #CHECK: wfkhexb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x4a,0xea]
2104
2105 wfkhexb %v0, %v0, %v0
2106 wfkhexb %v0, %v0, %v31
2107 wfkhexb %v0, %v31, %v0
2108 wfkhexb %v31, %v0, %v0
2109 wfkhexb %v18, %v3, %v20
2110
2111 #CHECK: wfkhexbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x1c,0x40,0xea]
2112 #CHECK: wfkhexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x42,0xea]
2113 #CHECK: wfkhexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x1c,0x44,0xea]
2114 #CHECK: wfkhexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x1c,0x48,0xea]
2115 #CHECK: wfkhexbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x4a,0xea]
2116
2117 wfkhexbs %v0, %v0, %v0
2118 wfkhexbs %v0, %v0, %v31
2119 wfkhexbs %v0, %v31, %v0
2120 wfkhexbs %v31, %v0, %v0
2121 wfkhexbs %v18, %v3, %v20
2122
2123 #CHECK: wfpsosb %f0, %f0, 3 # encoding: [0xe7,0x00,0x00,0x38,0x20,0xcc]
2124 #CHECK: wfpsosb %f0, %f0, 3 # encoding: [0xe7,0x00,0x00,0x38,0x20,0xcc]
2125 #CHECK: wfpsosb %f0, %f0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x20,0xcc]
2126 #CHECK: wfpsosb %f0, %f15, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x20,0xcc]
2127 #CHECK: wfpsosb %f0, %v31, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x24,0xcc]
2128 #CHECK: wfpsosb %f15, %f0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x20,0xcc]
2129 #CHECK: wfpsosb %v31, %f0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x28,0xcc]
2130 #CHECK: wfpsosb %f14, %v17, 7 # encoding: [0xe7,0xe1,0x00,0x78,0x24,0xcc]
2131
2132 wfpsosb %v0, %v0, 3
2133 wfpsosb %f0, %f0, 3
2134 wfpsosb %v0, %v0, 15
2135 wfpsosb %v0, %v15, 3
2136 wfpsosb %v0, %v31, 3
2137 wfpsosb %v15, %v0, 3
2138 wfpsosb %v31, %v0, 3
2139 wfpsosb %v14, %v17, 7
2140
2141 #CHECK: wfpsoxb %v0, %v0, 3 # encoding: [0xe7,0x00,0x00,0x38,0x40,0xcc]
2142 #CHECK: wfpsoxb %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x40,0xcc]
2143 #CHECK: wfpsoxb %v0, %v15, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x40,0xcc]
2144 #CHECK: wfpsoxb %v0, %v31, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x44,0xcc]
2145 #CHECK: wfpsoxb %v15, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x40,0xcc]
2146 #CHECK: wfpsoxb %v31, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x48,0xcc]
2147 #CHECK: wfpsoxb %v14, %v17, 7 # encoding: [0xe7,0xe1,0x00,0x78,0x44,0xcc]
2148
2149 wfpsoxb %v0, %v0, 3
2150 wfpsoxb %v0, %v0, 15
2151 wfpsoxb %v0, %v15, 3
2152 wfpsoxb %v0, %v31, 3
2153 wfpsoxb %v15, %v0, 3
2154 wfpsoxb %v31, %v0, 3
2155 wfpsoxb %v14, %v17, 7
2156
2157 #CHECK: wflcsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xcc]
2158 #CHECK: wflcsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xcc]
2159 #CHECK: wflcsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x20,0xcc]
2160 #CHECK: wflcsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xcc]
2161 #CHECK: wflcsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x20,0xcc]
2162 #CHECK: wflcsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xcc]
2163 #CHECK: wflcsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x24,0xcc]
2164
2165 wflcsb %v0, %v0
2166 wflcsb %f0, %f0
2167 wflcsb %v0, %v15
2168 wflcsb %v0, %v31
2169 wflcsb %v15, %v0
2170 wflcsb %v31, %v0
2171 wflcsb %v14, %v17
2172
2173 #CHECK: wflcxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xcc]
2174 #CHECK: wflcxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x08,0x40,0xcc]
2175 #CHECK: wflcxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xcc]
2176 #CHECK: wflcxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x40,0xcc]
2177 #CHECK: wflcxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xcc]
2178 #CHECK: wflcxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x44,0xcc]
2179
2180 wflcxb %v0, %v0
2181 wflcxb %v0, %v15
2182 wflcxb %v0, %v31
2183 wflcxb %v15, %v0
2184 wflcxb %v31, %v0
2185 wflcxb %v14, %v17
2186
2187 #CHECK: wflnsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xcc]
2188 #CHECK: wflnsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xcc]
2189 #CHECK: wflnsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x18,0x20,0xcc]
2190 #CHECK: wflnsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xcc]
2191 #CHECK: wflnsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x20,0xcc]
2192 #CHECK: wflnsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xcc]
2193 #CHECK: wflnsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x18,0x24,0xcc]
2194
2195 wflnsb %v0, %v0
2196 wflnsb %f0, %f0
2197 wflnsb %v0, %v15
2198 wflnsb %v0, %v31
2199 wflnsb %v15, %v0
2200 wflnsb %v31, %v0
2201 wflnsb %v14, %v17
2202
2203 #CHECK: wflnxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x18,0x40,0xcc]
2204 #CHECK: wflnxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x18,0x40,0xcc]
2205 #CHECK: wflnxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xcc]
2206 #CHECK: wflnxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x40,0xcc]
2207 #CHECK: wflnxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xcc]
2208 #CHECK: wflnxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x18,0x44,0xcc]
2209
2210 wflnxb %v0, %v0
2211 wflnxb %v0, %v15
2212 wflnxb %v0, %v31
2213 wflnxb %v15, %v0
2214 wflnxb %v31, %v0
2215 wflnxb %v14, %v17
2216
2217 #CHECK: wflpsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x28,0x20,0xcc]
2218 #CHECK: wflpsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x28,0x20,0xcc]
2219 #CHECK: wflpsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x28,0x20,0xcc]
2220 #CHECK: wflpsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x28,0x24,0xcc]
2221 #CHECK: wflpsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x28,0x20,0xcc]
2222 #CHECK: wflpsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x28,0x28,0xcc]
2223 #CHECK: wflpsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x28,0x24,0xcc]
2224
2225 wflpsb %v0, %v0
2226 wflpsb %f0, %f0
2227 wflpsb %v0, %v15
2228 wflpsb %v0, %v31
2229 wflpsb %v15, %v0
2230 wflpsb %v31, %v0
2231 wflpsb %v14, %v17
2232
2233 #CHECK: wflpxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x28,0x40,0xcc]
2234 #CHECK: wflpxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x28,0x40,0xcc]
2235 #CHECK: wflpxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x28,0x44,0xcc]
2236 #CHECK: wflpxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x28,0x40,0xcc]
2237 #CHECK: wflpxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x28,0x48,0xcc]
2238 #CHECK: wflpxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x28,0x44,0xcc]
2239
2240 wflpxb %v0, %v0
2241 wflpxb %v0, %v15
2242 wflpxb %v0, %v31
2243 wflpxb %v15, %v0
2244 wflpxb %v31, %v0
2245 wflpxb %v14, %v17
2246
2247 #CHECK: wflls %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc4]
2248 #CHECK: wflls %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc4]
2249 #CHECK: wflls %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x20,0xc4]
2250 #CHECK: wflls %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xc4]
2251 #CHECK: wflls %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x20,0xc4]
2252 #CHECK: wflls %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xc4]
2253 #CHECK: wflls %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x24,0xc4]
2254
2255 wflls %v0, %v0
2256 wflls %f0, %f0
2257 wflls %v0, %v15
2258 wflls %v0, %v31
2259 wflls %v15, %v0
2260 wflls %v31, %v0
2261 wflls %v14, %v17
2262
2263 #CHECK: wflld %v0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc4]
2264 #CHECK: wflld %v0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc4]
2265 #CHECK: wflld %v0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x30,0xc4]
2266 #CHECK: wflld %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc4]
2267 #CHECK: wflld %v15, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x30,0xc4]
2268 #CHECK: wflld %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc4]
2269 #CHECK: wflld %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x34,0xc4]
2270
2271 wflld %v0, %v0
2272 wflld %v0, %f0
2273 wflld %v0, %v15
2274 wflld %v0, %v31
2275 wflld %v15, %v0
2276 wflld %v31, %v0
2277 wflld %v14, %v17
2278
2279 #CHECK: wflrd %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc5]
2280 #CHECK: wflrd %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc5]
2281 #CHECK: wflrd %f0, %f0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x30,0xc5]
2282 #CHECK: wflrd %f0, %f0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc5]
2283 #CHECK: wflrd %f0, %f0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc5]
2284 #CHECK: wflrd %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc5]
2285 #CHECK: wflrd %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc5]
2286 #CHECK: wflrd %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x34,0xc5]
2287
2288 wflrd %v0, %v0, 0, 0
2289 wflrd %f0, %f0, 0, 0
2290 wflrd %v0, %v0, 0, 15
2291 wflrd %v0, %v0, 4, 0
2292 wflrd %v0, %v0, 12, 0
2293 wflrd %v0, %v31, 0, 0
2294 wflrd %v31, %v0, 0, 0
2295 wflrd %v14, %v17, 4, 10
2296
2297 #CHECK: wflrx %f0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xc5]
2298 #CHECK: wflrx %f0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xc5]
2299 #CHECK: wflrx %f0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x40,0xc5]
2300 #CHECK: wflrx %f0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xc5]
2301 #CHECK: wflrx %f0, %v0, 7, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x40,0xc5]
2302 #CHECK: wflrx %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xc5]
2303 #CHECK: wflrx %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xc5]
2304 #CHECK: wflrx %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x44,0xc5]
2305
2306 wflrx %v0, %v0, 0, 0
2307 wflrx %f0, %v0, 0, 0
2308 wflrx %v0, %v0, 0, 15
2309 wflrx %v0, %v0, 4, 0
2310 wflrx %v0, %v0, 7, 0
2311 wflrx %v0, %v31, 0, 0
2312 wflrx %v31, %v0, 0, 0
2313 wflrx %v14, %v17, 4, 10
2314
2315 #CHECK: wfmaxdb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xef]
2316 #CHECK: wfmaxdb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xef]
2317 #CHECK: wfmaxdb %f0, %f0, %f0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x30,0xef]
2318 #CHECK: wfmaxdb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xef]
2319 #CHECK: wfmaxdb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xef]
2320 #CHECK: wfmaxdb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xef]
2321 #CHECK: wfmaxdb %v18, %f3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x3a,0xef]
2322
2323 wfmaxdb %v0, %v0, %v0, 0
2324 wfmaxdb %f0, %f0, %f0, 0
2325 wfmaxdb %v0, %v0, %v0, 4
2326 wfmaxdb %v0, %v0, %v31, 0
2327 wfmaxdb %v0, %v31, %v0, 0
2328 wfmaxdb %v31, %v0, %v0, 0
2329 wfmaxdb %v18, %v3, %v20, 11
2330
2331 #CHECK: wfmaxsb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xef]
2332 #CHECK: wfmaxsb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xef]
2333 #CHECK: wfmaxsb %f0, %f0, %f0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x20,0xef]
2334 #CHECK: wfmaxsb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xef]
2335 #CHECK: wfmaxsb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xef]
2336 #CHECK: wfmaxsb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xef]
2337 #CHECK: wfmaxsb %v18, %f3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x2a,0xef]
2338
2339 wfmaxsb %v0, %v0, %v0, 0
2340 wfmaxsb %f0, %f0, %f0, 0
2341 wfmaxsb %v0, %v0, %v0, 4
2342 wfmaxsb %v0, %v0, %v31, 0
2343 wfmaxsb %v0, %v31, %v0, 0
2344 wfmaxsb %v31, %v0, %v0, 0
2345 wfmaxsb %v18, %v3, %v20, 11
2346
2347 #CHECK: wfmaxxb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xef]
2348 #CHECK: wfmaxxb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x40,0xef]
2349 #CHECK: wfmaxxb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xef]
2350 #CHECK: wfmaxxb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xef]
2351 #CHECK: wfmaxxb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xef]
2352 #CHECK: wfmaxxb %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x4a,0xef]
2353
2354 wfmaxxb %v0, %v0, %v0, 0
2355 wfmaxxb %v0, %v0, %v0, 4
2356 wfmaxxb %v0, %v0, %v31, 0
2357 wfmaxxb %v0, %v31, %v0, 0
2358 wfmaxxb %v31, %v0, %v0, 0
2359 wfmaxxb %v18, %v3, %v20, 11
2360
2361 #CHECK: wfmindb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xee]
2362 #CHECK: wfmindb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xee]
2363 #CHECK: wfmindb %f0, %f0, %f0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x30,0xee]
2364 #CHECK: wfmindb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xee]
2365 #CHECK: wfmindb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xee]
2366 #CHECK: wfmindb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xee]
2367 #CHECK: wfmindb %v18, %f3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x3a,0xee]
2368
2369 wfmindb %v0, %v0, %v0, 0
2370 wfmindb %f0, %f0, %f0, 0
2371 wfmindb %v0, %v0, %v0, 4
2372 wfmindb %v0, %v0, %v31, 0
2373 wfmindb %v0, %v31, %v0, 0
2374 wfmindb %v31, %v0, %v0, 0
2375 wfmindb %v18, %v3, %v20, 11
2376
2377 #CHECK: wfminsb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xee]
2378 #CHECK: wfminsb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xee]
2379 #CHECK: wfminsb %f0, %f0, %f0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x20,0xee]
2380 #CHECK: wfminsb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xee]
2381 #CHECK: wfminsb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xee]
2382 #CHECK: wfminsb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xee]
2383 #CHECK: wfminsb %v18, %f3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x2a,0xee]
2384
2385 wfminsb %v0, %v0, %v0, 0
2386 wfminsb %f0, %f0, %f0, 0
2387 wfminsb %v0, %v0, %v0, 4
2388 wfminsb %v0, %v0, %v31, 0
2389 wfminsb %v0, %v31, %v0, 0
2390 wfminsb %v31, %v0, %v0, 0
2391 wfminsb %v18, %v3, %v20, 11
2392
2393 #CHECK: wfminxb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xee]
2394 #CHECK: wfminxb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x40,0xee]
2395 #CHECK: wfminxb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xee]
2396 #CHECK: wfminxb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xee]
2397 #CHECK: wfminxb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xee]
2398 #CHECK: wfminxb %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x4a,0xee]
2399
2400 wfminxb %v0, %v0, %v0, 0
2401 wfminxb %v0, %v0, %v0, 4
2402 wfminxb %v0, %v0, %v31, 0
2403 wfminxb %v0, %v31, %v0, 0
2404 wfminxb %v31, %v0, %v0, 0
2405 wfminxb %v18, %v3, %v20, 11
2406
2407 #CHECK: wfmasb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x8f]
2408 #CHECK: wfmasb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x8f]
2409 #CHECK: wfmasb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x8f]
2410 #CHECK: wfmasb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x8f]
2411 #CHECK: wfmasb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x8f]
2412 #CHECK: wfmasb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x8f]
2413 #CHECK: wfmasb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x08,0x97,0x8f]
2414
2415 wfmasb %v0, %v0, %v0, %v0
2416 wfmasb %f0, %f0, %f0, %f0
2417 wfmasb %v0, %v0, %v0, %v31
2418 wfmasb %v0, %v0, %v31, %v0
2419 wfmasb %v0, %v31, %v0, %v0
2420 wfmasb %v31, %v0, %v0, %v0
2421 wfmasb %v13, %v17, %v21, %v25
2422
2423 #CHECK: wfmaxb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x08,0x00,0x8f]
2424 #CHECK: wfmaxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x8f]
2425 #CHECK: wfmaxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x8f]
2426 #CHECK: wfmaxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x8f]
2427 #CHECK: wfmaxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x8f]
2428 #CHECK: wfmaxb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x54,0x08,0x97,0x8f]
2429
2430 wfmaxb %v0, %v0, %v0, %v0
2431 wfmaxb %v0, %v0, %v0, %v31
2432 wfmaxb %v0, %v0, %v31, %v0
2433 wfmaxb %v0, %v31, %v0, %v0
2434 wfmaxb %v31, %v0, %v0, %v0
2435 wfmaxb %v13, %v17, %v21, %v25
2436
2437 #CHECK: wfmsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe7]
2438 #CHECK: wfmsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe7]
2439 #CHECK: wfmsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe7]
2440 #CHECK: wfmsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe7]
2441 #CHECK: wfmsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe7]
2442 #CHECK: wfmsb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe7]
2443
2444 wfmsb %v0, %v0, %v0
2445 wfmsb %f0, %f0, %f0
2446 wfmsb %v0, %v0, %v31
2447 wfmsb %v0, %v31, %v0
2448 wfmsb %v31, %v0, %v0
2449 wfmsb %v18, %v3, %v20
2450
2451 #CHECK: wfmxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe7]
2452 #CHECK: wfmxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe7]
2453 #CHECK: wfmxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe7]
2454 #CHECK: wfmxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe7]
2455 #CHECK: wfmxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe7]
2456
2457 wfmxb %v0, %v0, %v0
2458 wfmxb %v0, %v0, %v31
2459 wfmxb %v0, %v31, %v0
2460 wfmxb %v31, %v0, %v0
2461 wfmxb %v18, %v3, %v20
2462
2463 #CHECK: wfmssb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x8e]
2464 #CHECK: wfmssb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x8e]
2465 #CHECK: wfmssb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x8e]
2466 #CHECK: wfmssb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x8e]
2467 #CHECK: wfmssb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x8e]
2468 #CHECK: wfmssb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x8e]
2469 #CHECK: wfmssb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x08,0x97,0x8e]
2470
2471 wfmssb %v0, %v0, %v0, %v0
2472 wfmssb %f0, %f0, %f0, %f0
2473 wfmssb %v0, %v0, %v0, %v31
2474 wfmssb %v0, %v0, %v31, %v0
2475 wfmssb %v0, %v31, %v0, %v0
2476 wfmssb %v31, %v0, %v0, %v0
2477 wfmssb %v13, %v17, %v21, %v25
2478
2479 #CHECK: wfmsxb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x08,0x00,0x8e]
2480 #CHECK: wfmsxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x8e]
2481 #CHECK: wfmsxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x8e]
2482 #CHECK: wfmsxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x8e]
2483 #CHECK: wfmsxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x8e]
2484 #CHECK: wfmsxb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x54,0x08,0x97,0x8e]
2485
2486 wfmsxb %v0, %v0, %v0, %v0
2487 wfmsxb %v0, %v0, %v0, %v31
2488 wfmsxb %v0, %v0, %v31, %v0
2489 wfmsxb %v0, %v31, %v0, %v0
2490 wfmsxb %v31, %v0, %v0, %v0
2491 wfmsxb %v13, %v17, %v21, %v25
2492
2493 #CHECK: wfnmadb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x9f]
2494 #CHECK: wfnmadb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x9f]
2495 #CHECK: wfnmadb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x03,0x08,0xf1,0x9f]
2496 #CHECK: wfnmadb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf3,0x08,0x02,0x9f]
2497 #CHECK: wfnmadb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x03,0x08,0x04,0x9f]
2498 #CHECK: wfnmadb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x03,0x08,0x08,0x9f]
2499 #CHECK: wfnmadb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x08,0x97,0x9f]
2500
2501 wfnmadb %v0, %v0, %v0, %v0
2502 wfnmadb %f0, %f0, %f0, %f0
2503 wfnmadb %v0, %v0, %v0, %v31
2504 wfnmadb %v0, %v0, %v31, %v0
2505 wfnmadb %v0, %v31, %v0, %v0
2506 wfnmadb %v31, %v0, %v0, %v0
2507 wfnmadb %v13, %v17, %v21, %v25
2508
2509 #CHECK: wfnmasb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x9f]
2510 #CHECK: wfnmasb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x9f]
2511 #CHECK: wfnmasb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x9f]
2512 #CHECK: wfnmasb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x9f]
2513 #CHECK: wfnmasb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x9f]
2514 #CHECK: wfnmasb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x9f]
2515 #CHECK: wfnmasb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x08,0x97,0x9f]
2516
2517 wfnmasb %v0, %v0, %v0, %v0
2518 wfnmasb %f0, %f0, %f0, %f0
2519 wfnmasb %v0, %v0, %v0, %v31
2520 wfnmasb %v0, %v0, %v31, %v0
2521 wfnmasb %v0, %v31, %v0, %v0
2522 wfnmasb %v31, %v0, %v0, %v0
2523 wfnmasb %v13, %v17, %v21, %v25
2524
2525 #CHECK: wfnmaxb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x08,0x00,0x9f]
2526 #CHECK: wfnmaxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x9f]
2527 #CHECK: wfnmaxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x9f]
2528 #CHECK: wfnmaxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x9f]
2529 #CHECK: wfnmaxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x9f]
2530 #CHECK: wfnmaxb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x54,0x08,0x97,0x9f]
2531
2532 wfnmaxb %v0, %v0, %v0, %v0
2533 wfnmaxb %v0, %v0, %v0, %v31
2534 wfnmaxb %v0, %v0, %v31, %v0
2535 wfnmaxb %v0, %v31, %v0, %v0
2536 wfnmaxb %v31, %v0, %v0, %v0
2537 wfnmaxb %v13, %v17, %v21, %v25
2538
2539 #CHECK: wfnmsdb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x9e]
2540 #CHECK: wfnmsdb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x9e]
2541 #CHECK: wfnmsdb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x03,0x08,0xf1,0x9e]
2542 #CHECK: wfnmsdb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf3,0x08,0x02,0x9e]
2543 #CHECK: wfnmsdb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x03,0x08,0x04,0x9e]
2544 #CHECK: wfnmsdb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x03,0x08,0x08,0x9e]
2545 #CHECK: wfnmsdb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x08,0x97,0x9e]
2546
2547 wfnmsdb %v0, %v0, %v0, %v0
2548 wfnmsdb %f0, %f0, %f0, %f0
2549 wfnmsdb %v0, %v0, %v0, %v31
2550 wfnmsdb %v0, %v0, %v31, %v0
2551 wfnmsdb %v0, %v31, %v0, %v0
2552 wfnmsdb %v31, %v0, %v0, %v0
2553 wfnmsdb %v13, %v17, %v21, %v25
2554
2555 #CHECK: wfnmssb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x9e]
2556 #CHECK: wfnmssb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x9e]
2557 #CHECK: wfnmssb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x9e]
2558 #CHECK: wfnmssb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x9e]
2559 #CHECK: wfnmssb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x9e]
2560 #CHECK: wfnmssb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x9e]
2561 #CHECK: wfnmssb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x08,0x97,0x9e]
2562
2563 wfnmssb %v0, %v0, %v0, %v0
2564 wfnmssb %f0, %f0, %f0, %f0
2565 wfnmssb %v0, %v0, %v0, %v31
2566 wfnmssb %v0, %v0, %v31, %v0
2567 wfnmssb %v0, %v31, %v0, %v0
2568 wfnmssb %v31, %v0, %v0, %v0
2569 wfnmssb %v13, %v17, %v21, %v25
2570
2571 #CHECK: wfnmsxb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x08,0x00,0x9e]
2572 #CHECK: wfnmsxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x9e]
2573 #CHECK: wfnmsxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x9e]
2574 #CHECK: wfnmsxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x9e]
2575 #CHECK: wfnmsxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x9e]
2576 #CHECK: wfnmsxb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x54,0x08,0x97,0x9e]
2577
2578 wfnmsxb %v0, %v0, %v0, %v0
2579 wfnmsxb %v0, %v0, %v0, %v31
2580 wfnmsxb %v0, %v0, %v31, %v0
2581 wfnmsxb %v0, %v31, %v0, %v0
2582 wfnmsxb %v31, %v0, %v0, %v0
2583 wfnmsxb %v13, %v17, %v21, %v25
2584
2585 #CHECK: wfssb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe2]
2586 #CHECK: wfssb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe2]
2587 #CHECK: wfssb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe2]
2588 #CHECK: wfssb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe2]
2589 #CHECK: wfssb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe2]
2590 #CHECK: wfssb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe2]
2591
2592 wfssb %v0, %v0, %v0
2593 wfssb %f0, %f0, %f0
2594 wfssb %v0, %v0, %v31
2595 wfssb %v0, %v31, %v0
2596 wfssb %v31, %v0, %v0
2597 wfssb %v18, %v3, %v20
2598
2599 #CHECK: wfsxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe2]
2600 #CHECK: wfsxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe2]
2601 #CHECK: wfsxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe2]
2602 #CHECK: wfsxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe2]
2603 #CHECK: wfsxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe2]
2604
2605 wfsxb %v0, %v0, %v0
2606 wfsxb %v0, %v0, %v31
2607 wfsxb %v0, %v31, %v0
2608 wfsxb %v31, %v0, %v0
2609 wfsxb %v18, %v3, %v20
2610
2611 #CHECK: wfsqsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xce]
2612 #CHECK: wfsqsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xce]
2613 #CHECK: wfsqsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x20,0xce]
2614 #CHECK: wfsqsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xce]
2615 #CHECK: wfsqsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x20,0xce]
2616 #CHECK: wfsqsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xce]
2617 #CHECK: wfsqsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x24,0xce]
2618
2619 wfsqsb %v0, %v0
2620 wfsqsb %f0, %f0
2621 wfsqsb %v0, %v15
2622 wfsqsb %v0, %v31
2623 wfsqsb %v15, %v0
2624 wfsqsb %v31, %v0
2625 wfsqsb %v14, %v17
2626
2627 #CHECK: wfsqxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xce]
2628 #CHECK: wfsqxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x08,0x40,0xce]
2629 #CHECK: wfsqxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xce]
2630 #CHECK: wfsqxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x40,0xce]
2631 #CHECK: wfsqxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xce]
2632 #CHECK: wfsqxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x44,0xce]
2633
2634 wfsqxb %v0, %v0
2635 wfsqxb %v0, %v15
2636 wfsqxb %v0, %v31
2637 wfsqxb %v15, %v0
2638 wfsqxb %v31, %v0
2639 wfsqxb %v14, %v17
2640
2641 #CHECK: wftcisb %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0x4a]
2642 #CHECK: wftcisb %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0x4a]
2643 #CHECK: wftcisb %f0, %f0, 4095 # encoding: [0xe7,0x00,0xff,0xf8,0x20,0x4a]
2644 #CHECK: wftcisb %f0, %f15, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x20,0x4a]
2645 #CHECK: wftcisb %f0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0x4a]
2646 #CHECK: wftcisb %f15, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x20,0x4a]
2647 #CHECK: wftcisb %v31, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0x4a]
2648 #CHECK: wftcisb %f4, %v21, 1656 # encoding: [0xe7,0x45,0x67,0x88,0x24,0x4a]
2649
2650 wftcisb %v0, %v0, 0
2651 wftcisb %f0, %f0, 0
2652 wftcisb %v0, %v0, 4095
2653 wftcisb %v0, %v15, 0
2654 wftcisb %v0, %v31, 0
2655 wftcisb %v15, %v0, 0
2656 wftcisb %v31, %v0, 0
2657 wftcisb %v4, %v21, 0x678
2658
2659 #CHECK: wftcixb %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0x4a]
2660 #CHECK: wftcixb %v0, %v0, 4095 # encoding: [0xe7,0x00,0xff,0xf8,0x40,0x4a]
2661 #CHECK: wftcixb %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x40,0x4a]
2662 #CHECK: wftcixb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0x4a]
2663 #CHECK: wftcixb %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x40,0x4a]
2664 #CHECK: wftcixb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0x4a]
2665 #CHECK: wftcixb %v4, %v21, 1656 # encoding: [0xe7,0x45,0x67,0x88,0x44,0x4a]
2666
2667 wftcixb %v0, %v0, 0
2668 wftcixb %v0, %v0, 4095
2669 wftcixb %v0, %v15, 0
2670 wftcixb %v0, %v31, 0
2671 wftcixb %v15, %v0, 0
2672 wftcixb %v31, %v0, 0
2673 wftcixb %v4, %v21, 0x678
2674
The low level virtual machine