| blob | ceb7163c197f8afb696e4047c1ecec4fa296bbff |
1 # RUN: llvm-mc --disassemble %s -triple powerpc64-unknown-unknown -mcpu=e500 -mattr=+spe | FileCheck %s
3 # CHECK: rfdi
4 0x4c 0x00 0x00 0x4e
5 # CHECK: rfmci
6 0x4c 0x00 0x00 0x4c
7 # CHECK: evlddx 14, 21, 28
8 0x11 0xd5 0xe3 0x00
9 # CHECK: evldwx 14, 21, 28
10 0x11 0xd5 0xe3 0x02
11 # CHECK: evldhx 14, 21, 28
12 0x11 0xd5 0xe3 0x04
13 # CHECK: evlhhesplatx 14, 21, 28
14 0x11 0xd5 0xe3 0x08
15 # CHECK: evlhhousplatx 14, 21, 28
16 0x11 0xd5 0xe3 0x0c
17 # CHECK: evlhhossplatx 14, 21, 28
18 0x11 0xd5 0xe3 0x0e
19 # CHECK: evlwhex 14, 21, 28
20 0x11 0xd5 0xe3 0x10
21 # CHECK: evlwhoux 14, 21, 28
22 0x11 0xd5 0xe3 0x14
23 # CHECK: evlwhosx 14, 21, 28
24 0x11 0xd5 0xe3 0x16
25 # CHECK: evlwwsplatx 14, 21, 28
26 0x11 0xd5 0xe3 0x18
27 # CHECK: evlwhsplatx 14, 21, 28
28 0x11 0xd5 0xe3 0x1c
29 # CHECK: evmergehi 14, 21, 28
30 0x11 0xd5 0xe2 0x2c
31 # CHECK: evmergelo 14, 21, 28
32 0x11 0xd5 0xe2 0x2d
33 # CHECK: evmergehilo 14, 21, 28
34 0x11 0xd5 0xe2 0x2e
35 # CHECK: evmergelohi 14, 21, 28
36 0x11 0xd5 0xe2 0x2f
37 # CHECK: brinc 14, 22, 19
38 0x11 0xd6 0x9a 0x0f
39 # CHECK: evabs 14, 22
40 0x11 0xd6 0x02 0x08
41 # CHECK: evaddsmiaaw 14, 22
42 0x11 0xd6 0x04 0xc9
43 # CHECK: evaddssiaaw 14, 22
44 0x11 0xd6 0x04 0xc1
45 # CHECK: evaddusiaaw 14, 22
46 0x11 0xd6 0x04 0xc0
47 # CHECK: evaddumiaaw 14, 22
48 0x11 0xd6 0x04 0xc8
49 # CHECK: evaddw 14, 22, 19
50 0x11 0xd6 0x9a 0x00
51 # CHECK: evaddiw 14, 29, 19
52 0x11 0xd3 0xea 0x02
53 # CHECK: evand 14, 22, 19
54 0x11 0xd6 0x9a 0x11
55 # CHECK: evandc 14, 22, 19
56 0x11 0xd6 0x9a 0x12
57 # CHECK: evcmpeq 3, 22, 19
58 0x11 0x96 0x9a 0x34
59 # CHECK: evcmpgts 3, 22, 19
60 0x11 0x96 0x9a 0x31
61 # CHECK: evcmpgtu 3, 22, 19
62 0x11 0x96 0x9a 0x30
63 # CHECK: evcmplts 3, 22, 19
64 0x11 0x96 0x9a 0x33
65 # CHECK: evcmpltu 3, 22, 19
66 0x11 0x96 0x9a 0x32
67 # CHECK: evcntlsw 14, 22
68 0x11 0xd6 0x02 0x0e
69 # CHECK: evcntlzw 14, 22
70 0x11 0xd6 0x02 0x0d
71 # CHECK: evdivws 14, 22, 19
72 0x11 0xd6 0x9c 0xc6
73 # CHECK: evdivwu 14, 22, 19
74 0x11 0xd6 0x9c 0xc7
75 # CHECK: eveqv 14, 22, 19
76 0x11 0xd6 0x9a 0x19
77 # CHECK: evextsb 14, 22
78 0x11 0xd6 0x02 0x0a
79 # CHECK: evextsh 14, 22
80 0x11 0xd6 0x02 0x0b
81 # CHECK: evmhegsmfaa 14, 22, 19
82 0x11 0xd6 0x9d 0x2b
83 # CHECK: evmhegsmfan 14, 22, 19
84 0x11 0xd6 0x9d 0xab
85 # CHECK: evmhegsmiaa 14, 22, 19
86 0x11 0xd6 0x9d 0x29
87 # CHECK: evmhegsmian 14, 22, 19
88 0x11 0xd6 0x9d 0xa9
89 # CHECK: evmhegumiaa 14, 22, 19
90 0x11 0xd6 0x9d 0x28
91 # CHECK: evmhegumian 14, 22, 19
92 0x11 0xd6 0x9d 0xa8
93 # CHECK: evmhesmf 14, 22, 19
94 0x11 0xd6 0x9c 0x0b
95 # CHECK: evmhesmfa 14, 22, 19
96 0x11 0xd6 0x9c 0x2b
97 # CHECK: evmhesmfaaw 14, 22, 19
98 0x11 0xd6 0x9d 0x0b
99 # CHECK: evmhesmfanw 14, 22, 19
100 0x11 0xd6 0x9d 0x8b
101 # CHECK: evmhesmi 14, 22, 19
102 0x11 0xd6 0x9c 0x09
103 # CHECK: evmhesmia 14, 22, 19
104 0x11 0xd6 0x9c 0x29
105 # CHECK: evmhesmiaaw 14, 22, 19
106 0x11 0xd6 0x9d 0x09
107 # CHECK: evmhesmianw 14, 22, 19
108 0x11 0xd6 0x9d 0x89
109 # CHECK: evmhessf 14, 22, 19
110 0x11 0xd6 0x9c 0x03
111 # CHECK: evmhessfa 14, 22, 19
112 0x11 0xd6 0x9c 0x23
113 # CHECK: evmhessfaaw 14, 22, 19
114 0x11 0xd6 0x9d 0x03
115 # CHECK: evmhessfanw 14, 22, 19
116 0x11 0xd6 0x9d 0x83
117 # CHECK: evmhessiaaw 14, 22, 19
118 0x11 0xd6 0x9d 0x01
119 # CHECK: evmhessianw 14, 22, 19
120 0x11 0xd6 0x9d 0x81
121 # CHECK: evmheumi 14, 22, 19
122 0x11 0xd6 0x9c 0x08
123 # CHECK: evmheumia 14, 22, 19
124 0x11 0xd6 0x9c 0x28
125 # CHECK: evmheumiaaw 14, 22, 19
126 0x11 0xd6 0x9d 0x08
127 # CHECK: evmheumianw 14, 22, 19
128 0x11 0xd6 0x9d 0x88
129 # CHECK: evmheusiaaw 14, 22, 19
130 0x11 0xd6 0x9d 0x00
131 # CHECK: evmheusianw 14, 22, 19
132 0x11 0xd6 0x9d 0x80
133 # CHECK: evmhogsmfaa 14, 22, 19
134 0x11 0xd6 0x9d 0x2f
135 # CHECK: evmhogsmfan 14, 22, 19
136 0x11 0xd6 0x9d 0xaf
137 # CHECK: evmhogsmiaa 14, 22, 19
138 0x11 0xd6 0x9d 0x2d
139 # CHECK: evmhogsmian 14, 22, 19
140 0x11 0xd6 0x9d 0xad
141 # CHECK: evmhogumiaa 14, 22, 19
142 0x11 0xd6 0x9d 0x2c
143 # CHECK: evmhogumian 14, 22, 19
144 0x11 0xd6 0x9d 0xac
145 # CHECK: evmhosmf 14, 22, 19
146 0x11 0xd6 0x9c 0x0f
147 # CHECK: evmhosmfa 14, 22, 19
148 0x11 0xd6 0x9c 0x2f
149 # CHECK: evmhosmfaaw 14, 22, 19
150 0x11 0xd6 0x9d 0x0f
151 # CHECK: evmhosmfanw 14, 22, 19
152 0x11 0xd6 0x9d 0x8f
153 # CHECK: evmhosmi 14, 22, 19
154 0x11 0xd6 0x9c 0x0d
155 # CHECK: evmhosmia 14, 22, 19
156 0x11 0xd6 0x9c 0x2d
157 # CHECK: evmhosmiaaw 14, 22, 19
158 0x11 0xd6 0x9d 0x0d
159 # CHECK: evmhosmianw 14, 22, 19
160 0x11 0xd6 0x9d 0x8d
161 # CHECK: evmhossf 14, 22, 19
162 0x11 0xd6 0x9c 0x07
163 # CHECK: evmhossfa 14, 22, 19
164 0x11 0xd6 0x9c 0x27
165 # CHECK: evmhossfaaw 14, 22, 19
166 0x11 0xd6 0x9d 0x07
167 # CHECK: evmhossfanw 14, 22, 19
168 0x11 0xd6 0x9d 0x87
169 # CHECK: evmhossiaaw 14, 22, 19
170 0x11 0xd6 0x9d 0x05
171 # CHECK: evmhossianw 14, 22, 19
172 0x11 0xd6 0x9d 0x85
173 # CHECK: evmhoumi 14, 22, 19
174 0x11 0xd6 0x9c 0x0c
175 # CHECK: evmhoumia 14, 22, 19
176 0x11 0xd6 0x9c 0x2c
177 # CHECK: evmhoumiaaw 14, 22, 19
178 0x11 0xd6 0x9d 0x0c
179 # CHECK: evmhoumianw 14, 22, 19
180 0x11 0xd6 0x9d 0x8c
181 # CHECK: evmhousiaaw 14, 22, 19
182 0x11 0xd6 0x9d 0x04
183 # CHECK: evmhousianw 14, 22, 19
184 0x11 0xd6 0x9d 0x84
185 # CHECK: evmwhsmf 14, 22, 19
186 0x11 0xd6 0x9c 0x4f
187 # CHECK: evmwhsmfa 14, 22, 19
188 0x11 0xd6 0x9c 0x6f
189 # CHECK: evmwhsmi 14, 22, 19
190 0x11 0xd6 0x9c 0x4d
191 # CHECK: evmwhsmia 14, 22, 19
192 0x11 0xd6 0x9c 0x6d
193 # CHECK: evmwhssf 14, 22, 19
194 0x11 0xd6 0x9c 0x47
195 # CHECK: evmwhssfa 14, 22, 19
196 0x11 0xd6 0x9c 0x67
197 # CHECK: evmwhumi 14, 22, 19
198 0x11 0xd6 0x9c 0x4c
199 # CHECK: evmwhumia 14, 22, 19
200 0x11 0xd6 0x9c 0x6c
201 # CHECK: evmwlsmiaaw 14, 22, 19
202 0x11 0xd6 0x9d 0x49
203 # CHECK: evmwlsmianw 14, 22, 19
204 0x11 0xd6 0x9d 0xc9
205 # CHECK: evmwlssiaaw 14, 22, 19
206 0x11 0xd6 0x9d 0x41
207 # CHECK: evmwlssianw 14, 22, 19
208 0x11 0xd6 0x9d 0xc1
209 # CHECK: evmwlumi 14, 22, 19
210 0x11 0xd6 0x9c 0x48
211 # CHECK: evmwlumia 14, 22, 19
212 0x11 0xd6 0x9c 0x68
213 # CHECK: evmwlumiaaw 14, 22, 19
214 0x11 0xd6 0x9d 0x48
215 # CHECK: evmwlumianw 14, 22, 19
216 0x11 0xd6 0x9d 0xc8
217 # CHECK: evmwlusiaaw 14, 22, 19
218 0x11 0xd6 0x9d 0x40
219 # CHECK: evmwlusianw 14, 22, 19
220 0x11 0xd6 0x9d 0xc0
221 # CHECK: evmwsmf 14, 22, 19
222 0x11 0xd6 0x9c 0x5b
223 # CHECK: evmwsmfa 14, 22, 19
224 0x11 0xd6 0x9c 0x7b
225 # CHECK: evmwsmfaa 14, 22, 19
226 0x11 0xd6 0x9d 0x5b
227 # CHECK: evmwsmfan 14, 22, 19
228 0x11 0xd6 0x9d 0xdb
229 # CHECK: evmwsmi 14, 22, 19
230 0x11 0xd6 0x9c 0x59
231 # CHECK: evmwsmia 14, 22, 19
232 0x11 0xd6 0x9c 0x79
233 # CHECK: evmwsmiaa 14, 22, 19
234 0x11 0xd6 0x9d 0x59
235 # CHECK: evmwsmian 14, 22, 19
236 0x11 0xd6 0x9d 0xd9
237 # CHECK: evmwssf 14, 22, 19
238 0x11 0xd6 0x9c 0x53
239 # CHECK: evmwssfa 14, 22, 19
240 0x11 0xd6 0x9c 0x73
241 # CHECK: evmwssfaa 14, 22, 19
242 0x11 0xd6 0x9d 0x53
243 # CHECK: evmwssfan 14, 22, 19
244 0x11 0xd6 0x9d 0xd3
245 # CHECK: evmwumi 14, 22, 19
246 0x11 0xd6 0x9c 0x58
247 # CHECK: evmwumia 14, 22, 19
248 0x11 0xd6 0x9c 0x78
249 # CHECK: evmwumiaa 14, 22, 19
250 0x11 0xd6 0x9d 0x58
251 # CHECK: evmwumian 14, 22, 19
252 0x11 0xd6 0x9d 0xd8
253 # CHECK: evnand 14, 22, 19
254 0x11 0xd6 0x9a 0x1e
255 # CHECK: evneg 14, 22
256 0x11 0xd6 0x02 0x09
257 # CHECK: evnor 14, 22, 19
258 0x11 0xd6 0x9a 0x18
259 # CHECK: evor 14, 22, 19
260 0x11 0xd6 0x9a 0x17
261 # CHECK: evorc 14, 22, 19
262 0x11 0xd6 0x9a 0x1b
263 # CHECK: evrlwi 14, 29, 19
264 0x11 0xdd 0x9a 0x2a
265 # CHECK: evrlw 14, 22, 19
266 0x11 0xd6 0x9a 0x28
267 # CHECK: evrndw 14, 22
268 0x11 0xd6 0x02 0x0c
269 # CHECK: evslwi 14, 29, 19
270 0x11 0xdd 0x9a 0x26
271 # CHECK: evslw 14, 22, 19
272 0x11 0xd6 0x9a 0x24
273 # CHECK: evsplatfi 14, -13
274 0x11 0xd3 0x02 0x2b
275 # CHECK: evsplati 14, -13
276 0x11 0xd3 0x02 0x29
277 # CHECK: evsrwis 14, 29, 19
278 0x11 0xdd 0x9a 0x23
279 # CHECK: evsrwiu 14, 29, 19
280 0x11 0xdd 0x9a 0x22
281 # CHECK: evsrws 14, 22, 19
282 0x11 0xd6 0x9a 0x21
283 # CHECK: evsrwu 14, 22, 19
284 0x11 0xd6 0x9a 0x20
285 # CHECK: evstddx 14, 22, 19
286 0x11 0xd6 0x9b 0x20
287 # CHECK: evstdhx 14, 22, 19
288 0x11 0xd6 0x9b 0x24
289 # CHECK: evstdwx 14, 22, 19
290 0x11 0xd6 0x9b 0x22
291 # CHECK: evstwhex 14, 22, 19
292 0x11 0xd6 0x9b 0x30
293 # CHECK: evstwhox 14, 22, 19
294 0x11 0xd6 0x9b 0x34
295 # CHECK: evstwwex 14, 22, 19
296 0x11 0xd6 0x9b 0x38
297 # CHECK: evstwwox 14, 22, 19
298 0x11 0xd6 0x9b 0x3c
299 # CHECK: evsubfssiaaw 14, 22
300 0x11 0xd6 0x04 0xc3
301 # CHECK: evsubfsmiaaw 14, 22
302 0x11 0xd6 0x04 0xcb
303 # CHECK: evsubfumiaaw 14, 22
304 0x11 0xd6 0x04 0xca
305 # CHECK: evsubfusiaaw 14, 22
306 0x11 0xd6 0x04 0xc2
307 # CHECK: evsubfw 14, 22, 19
308 0x11 0xd6 0x9a 0x04
309 # CHECK: evsubifw 14, 29, 19
310 0x11 0xdd 0x9a 0x06
311 # CHECK: evxor 14, 22, 19
312 0x11 0xd6 0x9a 0x16
313 # CHECK: evldd 14, 0(27)
314 0x11 0xdb 0x03 0x01
315 # CHECK: evldd 14, 248(27)
316 0x11 0xdb 0xfb 0x01
317 # CHECK: evldd 14, 248(9)
318 0x11 0xc9 0xfb 0x01
319 # CHECK: evldw 14, 0(27)
320 0x11 0xdb 0x03 0x03
321 # CHECK: evldw 14, 248(27)
322 0x11 0xdb 0xfb 0x03
323 # CHECK: evldw 14, 248(9)
324 0x11 0xc9 0xfb 0x03
325 # CHECK: evldh 14, 0(27)
326 0x11 0xdb 0x03 0x05
327 # CHECK: evldh 14, 248(27)
328 0x11 0xdb 0xfb 0x05
329 # CHECK: evldh 14, 248(9)
330 0x11 0xc9 0xfb 0x05
331 # CHECK: evlhhesplat 14, 0(27)
332 0x11 0xdb 0x03 0x09
333 # CHECK: evlhhousplat 14, 0(27)
334 0x11 0xdb 0x03 0x0d
335 # CHECK: evlhhousplat 14, 62(27)
336 0x11 0xdb 0xfb 0x0d
337 # CHECK: evlhhousplat 14, 62(9)
338 0x11 0xc9 0xfb 0x0d
339 # CHECK: evlhhossplat 14, 0(27)
340 0x11 0xdb 0x03 0x0f
341 # CHECK: evlhhossplat 14, 62(27)
342 0x11 0xdb 0xfb 0x0f
343 # CHECK: evlhhossplat 14, 62(9)
344 0x11 0xc9 0xfb 0x0f
345 # CHECK: evlwhe 14, 0(27)
346 0x11 0xdb 0x03 0x11
347 # CHECK: evlwhe 14, 124(27)
348 0x11 0xdb 0xfb 0x11
349 # CHECK: evlwhe 14, 124(9)
350 0x11 0xc9 0xfb 0x11
351 # CHECK: evlwhou 14, 0(27)
352 0x11 0xdb 0x03 0x15
353 # CHECK: evlwhou 14, 124(27)
354 0x11 0xdb 0xfb 0x15
355 # CHECK: evlwhou 14, 124(9)
356 0x11 0xc9 0xfb 0x15
357 # CHECK: evlwhos 14, 0(27)
358 0x11 0xdb 0x03 0x17
359 # CHECK: evlwhos 14, 124(27)
360 0x11 0xdb 0xfb 0x17
361 # CHECK: evlwhos 14, 124(9)
362 0x11 0xc9 0xfb 0x17
363 # CHECK: evlwwsplat 14, 0(27)
364 0x11 0xdb 0x03 0x19
365 # CHECK: evlwwsplat 14, 124(27)
366 0x11 0xdb 0xfb 0x19
367 # CHECK: evlwwsplat 14, 124(9)
368 0x11 0xc9 0xfb 0x19
369 # CHECK: evlwhsplat 14, 0(27)
370 0x11 0xdb 0x03 0x1d
371 # CHECK: evlwhsplat 14, 124(27)
372 0x11 0xdb 0xfb 0x1d
373 # CHECK: evlwhsplat 14, 124(9)
374 0x11 0xc9 0xfb 0x1d
375 # CHECK: evstdd 14, 0(27)
376 0x11 0xdb 0x03 0x21
377 # CHECK: evstdd 14, 248(27)
378 0x11 0xdb 0xfb 0x21
379 # CHECK: evstdd 14, 248(9)
380 0x11 0xc9 0xfb 0x21
381 # CHECK: evstdh 14, 0(27)
382 0x11 0xdb 0x03 0x25
383 # CHECK: evstdh 14, 248(27)
384 0x11 0xdb 0xfb 0x25
385 # CHECK: evstdh 14, 248(9)
386 0x11 0xc9 0xfb 0x25
387 # CHECK: evstdw 14, 0(27)
388 0x11 0xdb 0x03 0x23
389 # CHECK: evstdw 14, 248(27)
390 0x11 0xdb 0xfb 0x23
391 # CHECK: evstdw 14, 248(9)
392 0x11 0xc9 0xfb 0x23
393 # CHECK: evstwhe 14, 0(27)
394 0x11 0xdb 0x03 0x31
395 # CHECK: evstwhe 14, 124(27)
396 0x11 0xdb 0xfb 0x31
397 # CHECK: evstwhe 14, 124(9)
398 0x11 0xc9 0xfb 0x31
399 # CHECK: evstwho 14, 0(27)
400 0x11 0xdb 0x03 0x35
401 # CHECK: evstwho 14, 124(27)
402 0x11 0xdb 0xfb 0x35
403 # CHECK: evstwho 14, 124(9)
404 0x11 0xc9 0xfb 0x35
405 # CHECK: evstwwe 14, 0(27)
406 0x11 0xdb 0x03 0x39
407 # CHECK: evstwwe 14, 124(27)
408 0x11 0xdb 0xfb 0x39
409 # CHECK: evstwwe 14, 124(9)
410 0x11 0xc9 0xfb 0x39
411 # CHECK: evstwwo 14, 0(27)
412 0x11 0xdb 0x03 0x3d
413 # CHECK: evstwwo 14, 124(27)
414 0x11 0xdb 0xfb 0x3d
415 # CHECK: evstwwo 14, 124(9)
416 0x11 0xc9 0xfb 0x3d
417 # CHECK: efdabs 3, 4
418 0x10 0x64 0x02 0xe4
419 # CHECK: efdadd 3, 4, 5
420 0x10 0x64 0x2a 0xe0
421 # CHECK: efdcfs 3, 4
422 0x10 0x60 0x22 0xef
423 # CHECK: efdcfsf 5, 6
424 0x10 0xa0 0x32 0xf3
425 # CHECK: efdcfsi 5, 6
426 0x10 0xa0 0x32 0xf1
427 # CHECK: efdcfsid 10, 14
428 0x11 0x40 0x72 0xe3
429 # CHECK: efdcfuf 5, 8
430 0x10 0xa0 0x42 0xf2
431 # CHECK: efdcfui 6, 9
432 0x10 0xc0 0x4a 0xf0
433 # CHECK: efdcfuid 7, 10
434 0x10 0xe0 0x52 0xe2
435 # CHECK: efdcmpeq 3, 3, 8
436 0x11 0x83 0x42 0xee
437 # CHECK: efdcmpgt 4, 7, 3
438 0x12 0x07 0x1a 0xec
439 # CHECK: efdcmplt 2, 3, 4
440 0x11 0x03 0x22 0xed
441 # CHECK: efdctsf 5, 3
442 0x10 0xa0 0x1a 0xf7
443 # CHECK: efdctsi 6, 4
444 0x10 0xc0 0x22 0xf5
445 # CHECK: efdctsidz 3, 4
446 0x10 0x60 0x22 0xeb
447 # CHECK: efdctsiz 3, 4
448 0x10 0x60 0x22 0xfa
449 # CHECK: efdctuf 5, 8
450 0x10 0xa0 0x42 0xf6
451 # CHECK: efdctui 9, 10
452 0x11 0x20 0x52 0xf4
453 # CHECK: efdctuidz 3, 8
454 0x10 0x60 0x42 0xea
455 # CHECK: efdctuiz 5, 17
456 0x10 0xa0 0x8a 0xf8
457 # CHECK: efddiv 3, 4, 5
458 0x10 0x64 0x2a 0xe9
459 # CHECK: efdmul 0, 3, 8
460 0x10 0x03 0x42 0xe8
461 # CHECK: efdnabs 3, 23
462 0x10 0x77 0x02 0xe5
463 # CHECK: efdneg 3, 22
464 0x10 0x76 0x02 0xe6
465 # CHECK: efdsub 3, 4, 6
466 0x10 0x64 0x32 0xe1
467 # CHECK: efdtsteq 3, 4, 5
468 0x11 0x84 0x2a 0xfe
469 # CHECK: efdtstgt 3, 3, 6
470 0x11 0x83 0x32 0xfc
471 # CHECK: efdtstlt 4, 0, 3
472 0x12 0x00 0x1a 0xfd
473 # CHECK: efsabs 3, 4
474 0x10 0x64 0x02 0xc4
475 # CHECK: efsadd 3, 4, 5
476 0x10 0x64 0x2a 0xc0
477 # CHECK: efscfsf 5, 6
478 0x10 0xa0 0x32 0xd3
479 # CHECK: efscfsi 5, 6
480 0x10 0xa0 0x32 0xd1
481 # CHECK: efscfuf 5, 8
482 0x10 0xa0 0x42 0xd2
483 # CHECK: efscfui 6, 9
484 0x10 0xc0 0x4a 0xd0
485 # CHECK: efscmpeq 3, 3, 8
486 0x11 0x83 0x42 0xce
487 # CHECK: efscmpgt 4, 7, 3
488 0x12 0x07 0x1a 0xcc
489 # CHECK: efscmplt 2, 3, 4
490 0x11 0x03 0x22 0xcd
491 # CHECK: efsctsf 5, 3
492 0x10 0xa0 0x1a 0xd7
493 # CHECK: efsctsi 6, 4
494 0x10 0xc0 0x22 0xd5
495 # CHECK: efsctsiz 3, 4
496 0x10 0x60 0x22 0xda
497 # CHECK: efsctuf 5, 8
498 0x10 0xa0 0x42 0xd6
499 # CHECK: efsctui 9, 10
500 0x11 0x20 0x52 0xd4
501 # CHECK: efsctuiz 5, 17
502 0x10 0xa0 0x8a 0xd8
503 # CHECK: efsdiv 3, 4, 5
504 0x10 0x64 0x2a 0xc9
505 # CHECK: efsmul 0, 3, 8
506 0x10 0x03 0x42 0xc8
507 # CHECK: efsnabs 3, 23
508 0x10 0x77 0x02 0xc5
509 # CHECK: efsneg 3, 22
510 0x10 0x76 0x02 0xc6
511 # CHECK: efssub 3, 4, 6
512 0x10 0x64 0x32 0xc1
513 # CHECK: efststeq 3, 4, 5
514 0x11 0x84 0x2a 0xde
515 # CHECK: efststgt 3, 3, 6
516 0x11 0x83 0x32 0xdc
517 # CHECK: efststlt 4, 0, 3
518 0x12 0x00 0x1a 0xdd