1 ; RUN: llvm-mc -triple arm64-apple-darwin -show-encoding < %s | FileCheck %s
4 ;-----------------------------------------------------------------------------
5 ; Floating-point arithmetic
6 ;-----------------------------------------------------------------------------
11 ; CHECK: fabs s1, s2 ; encoding: [0x41,0xc0,0x20,0x1e]
12 ; CHECK: fabs d1, d2 ; encoding: [0x41,0xc0,0x60,0x1e]
17 ; CHECK: fadd s1, s2, s3 ; encoding: [0x41,0x28,0x23,0x1e]
18 ; CHECK: fadd d1, d2, d3 ; encoding: [0x41,0x28,0x63,0x1e]
23 ; CHECK: fdiv s1, s2, s3 ; encoding: [0x41,0x18,0x23,0x1e]
24 ; CHECK: fdiv d1, d2, d3 ; encoding: [0x41,0x18,0x63,0x1e]
29 ; CHECK: fmadd s1, s2, s3, s4 ; encoding: [0x41,0x10,0x03,0x1f]
30 ; CHECK: fmadd d1, d2, d3, d4 ; encoding: [0x41,0x10,0x43,0x1f]
37 ; CHECK: fmax s1, s2, s3 ; encoding: [0x41,0x48,0x23,0x1e]
38 ; CHECK: fmax d1, d2, d3 ; encoding: [0x41,0x48,0x63,0x1e]
39 ; CHECK: fmaxnm s1, s2, s3 ; encoding: [0x41,0x68,0x23,0x1e]
40 ; CHECK: fmaxnm d1, d2, d3 ; encoding: [0x41,0x68,0x63,0x1e]
47 ; CHECK: fmin s1, s2, s3 ; encoding: [0x41,0x58,0x23,0x1e]
48 ; CHECK: fmin d1, d2, d3 ; encoding: [0x41,0x58,0x63,0x1e]
49 ; CHECK: fminnm s1, s2, s3 ; encoding: [0x41,0x78,0x23,0x1e]
50 ; CHECK: fminnm d1, d2, d3 ; encoding: [0x41,0x78,0x63,0x1e]
55 ; CHECK: fmsub s1, s2, s3, s4 ; encoding: [0x41,0x90,0x03,0x1f]
56 ; CHECK: fmsub d1, d2, d3, d4 ; encoding: [0x41,0x90,0x43,0x1f]
61 ; CHECK: fmul s1, s2, s3 ; encoding: [0x41,0x08,0x23,0x1e]
62 ; CHECK: fmul d1, d2, d3 ; encoding: [0x41,0x08,0x63,0x1e]
67 ; CHECK: fneg s1, s2 ; encoding: [0x41,0x40,0x21,0x1e]
68 ; CHECK: fneg d1, d2 ; encoding: [0x41,0x40,0x61,0x1e]
73 ; CHECK: fnmadd s1, s2, s3, s4 ; encoding: [0x41,0x10,0x23,0x1f]
74 ; CHECK: fnmadd d1, d2, d3, d4 ; encoding: [0x41,0x10,0x63,0x1f]
79 ; CHECK: fnmsub s1, s2, s3, s4 ; encoding: [0x41,0x90,0x23,0x1f]
80 ; CHECK: fnmsub d1, d2, d3, d4 ; encoding: [0x41,0x90,0x63,0x1f]
85 ; CHECK: fnmul s1, s2, s3 ; encoding: [0x41,0x88,0x23,0x1e]
86 ; CHECK: fnmul d1, d2, d3 ; encoding: [0x41,0x88,0x63,0x1e]
91 ; CHECK: fsqrt s1, s2 ; encoding: [0x41,0xc0,0x21,0x1e]
92 ; CHECK: fsqrt d1, d2 ; encoding: [0x41,0xc0,0x61,0x1e]
97 ; CHECK: fsub s1, s2, s3 ; encoding: [0x41,0x38,0x23,0x1e]
98 ; CHECK: fsub d1, d2, d3 ; encoding: [0x41,0x38,0x63,0x1e]
100 ;-----------------------------------------------------------------------------
101 ; Floating-point comparison
102 ;-----------------------------------------------------------------------------
106 fccmpe s1, s2, #0, eq
107 fccmpe d1, d2, #0, eq
109 ; CHECK: fccmp s1, s2, #0, eq ; encoding: [0x20,0x04,0x22,0x1e]
110 ; CHECK: fccmp d1, d2, #0, eq ; encoding: [0x20,0x04,0x62,0x1e]
111 ; CHECK: fccmpe s1, s2, #0, eq ; encoding: [0x30,0x04,0x22,0x1e]
112 ; CHECK: fccmpe d1, d2, #0, eq ; encoding: [0x30,0x04,0x62,0x1e]
123 ; CHECK: fcmp s1, s2 ; encoding: [0x20,0x20,0x22,0x1e]
124 ; CHECK: fcmp d1, d2 ; encoding: [0x20,0x20,0x62,0x1e]
125 ; CHECK: fcmp s1, #0.0 ; encoding: [0x28,0x20,0x20,0x1e]
126 ; CHECK: fcmp d1, #0.0 ; encoding: [0x28,0x20,0x60,0x1e]
127 ; CHECK: fcmpe s1, s2 ; encoding: [0x30,0x20,0x22,0x1e]
128 ; CHECK: fcmpe d1, d2 ; encoding: [0x30,0x20,0x62,0x1e]
129 ; CHECK: fcmpe s1, #0.0 ; encoding: [0x38,0x20,0x20,0x1e]
130 ; CHECK: fcmpe d1, #0.0 ; encoding: [0x38,0x20,0x60,0x1e]
132 ;-----------------------------------------------------------------------------
133 ; Floating-point conditional select
134 ;-----------------------------------------------------------------------------
139 ; CHECK: fcsel s1, s2, s3, eq ; encoding: [0x41,0x0c,0x23,0x1e]
140 ; CHECK: fcsel d1, d2, d3, eq ; encoding: [0x41,0x0c,0x63,0x1e]
142 ;-----------------------------------------------------------------------------
143 ; Floating-point convert
144 ;-----------------------------------------------------------------------------
153 ; CHECK: fcvt h1, d2 ; encoding: [0x41,0xc0,0x63,0x1e]
154 ; CHECK: fcvt s1, d2 ; encoding: [0x41,0x40,0x62,0x1e]
155 ; CHECK: fcvt d1, h2 ; encoding: [0x41,0xc0,0xe2,0x1e]
156 ; CHECK: fcvt s1, h2 ; encoding: [0x41,0x40,0xe2,0x1e]
157 ; CHECK: fcvt d1, s2 ; encoding: [0x41,0xc0,0x22,0x1e]
158 ; CHECK: fcvt h1, s2 ; encoding: [0x41,0xc0,0x23,0x1e]
169 ; CHECK: fcvtas w1, d2 ; encoding: [0x41,0x00,0x64,0x1e]
170 ; CHECK: fcvtas w1, d2, #1 ; encoding: [0x41,0xfc,0x44,0x1e]
171 ; CHECK: fcvtas x1, d2 ; encoding: [0x41,0x00,0x64,0x9e]
172 ; CHECK: fcvtas x1, d2, #1 ; encoding: [0x41,0xfc,0x44,0x9e]
173 ; CHECK: fcvtas w1, s2 ; encoding: [0x41,0x00,0x24,0x1e]
174 ; CHECK: fcvtas w1, s2, #1 ; encoding: [0x41,0xfc,0x04,0x1e]
175 ; CHECK: fcvtas x1, s2 ; encoding: [0x41,0x00,0x24,0x9e]
176 ; CHECK: fcvtas x1, s2, #1 ; encoding: [0x41,0xfc,0x04,0x9e]
187 ; CHECK: fcvtau w1, s2 ; encoding: [0x41,0x00,0x25,0x1e]
188 ; CHECK: fcvtau w1, s2, #1 ; encoding: [0x41,0xfc,0x05,0x1e]
189 ; CHECK: fcvtau w1, d2 ; encoding: [0x41,0x00,0x65,0x1e]
190 ; CHECK: fcvtau w1, d2, #1 ; encoding: [0x41,0xfc,0x45,0x1e]
191 ; CHECK: fcvtau x1, s2 ; encoding: [0x41,0x00,0x25,0x9e]
192 ; CHECK: fcvtau x1, s2, #1 ; encoding: [0x41,0xfc,0x05,0x9e]
193 ; CHECK: fcvtau x1, d2 ; encoding: [0x41,0x00,0x65,0x9e]
194 ; CHECK: fcvtau x1, d2, #1 ; encoding: [0x41,0xfc,0x45,0x9e]
205 ; CHECK: fcvtms w1, s2 ; encoding: [0x41,0x00,0x30,0x1e]
206 ; CHECK: fcvtms w1, s2, #1 ; encoding: [0x41,0xfc,0x10,0x1e]
207 ; CHECK: fcvtms w1, d2 ; encoding: [0x41,0x00,0x70,0x1e]
208 ; CHECK: fcvtms w1, d2, #1 ; encoding: [0x41,0xfc,0x50,0x1e]
209 ; CHECK: fcvtms x1, s2 ; encoding: [0x41,0x00,0x30,0x9e]
210 ; CHECK: fcvtms x1, s2, #1 ; encoding: [0x41,0xfc,0x10,0x9e]
211 ; CHECK: fcvtms x1, d2 ; encoding: [0x41,0x00,0x70,0x9e]
212 ; CHECK: fcvtms x1, d2, #1 ; encoding: [0x41,0xfc,0x50,0x9e]
223 ; CHECK: fcvtmu w1, s2 ; encoding: [0x41,0x00,0x31,0x1e]
224 ; CHECK: fcvtmu w1, s2, #1 ; encoding: [0x41,0xfc,0x11,0x1e]
225 ; CHECK: fcvtmu w1, d2 ; encoding: [0x41,0x00,0x71,0x1e]
226 ; CHECK: fcvtmu w1, d2, #1 ; encoding: [0x41,0xfc,0x51,0x1e]
227 ; CHECK: fcvtmu x1, s2 ; encoding: [0x41,0x00,0x31,0x9e]
228 ; CHECK: fcvtmu x1, s2, #1 ; encoding: [0x41,0xfc,0x11,0x9e]
229 ; CHECK: fcvtmu x1, d2 ; encoding: [0x41,0x00,0x71,0x9e]
230 ; CHECK: fcvtmu x1, d2, #1 ; encoding: [0x41,0xfc,0x51,0x9e]
241 ; CHECK: fcvtns w1, s2 ; encoding: [0x41,0x00,0x20,0x1e]
242 ; CHECK: fcvtns w1, s2, #1 ; encoding: [0x41,0xfc,0x00,0x1e]
243 ; CHECK: fcvtns w1, d2 ; encoding: [0x41,0x00,0x60,0x1e]
244 ; CHECK: fcvtns w1, d2, #1 ; encoding: [0x41,0xfc,0x40,0x1e]
245 ; CHECK: fcvtns x1, s2 ; encoding: [0x41,0x00,0x20,0x9e]
246 ; CHECK: fcvtns x1, s2, #1 ; encoding: [0x41,0xfc,0x00,0x9e]
247 ; CHECK: fcvtns x1, d2 ; encoding: [0x41,0x00,0x60,0x9e]
248 ; CHECK: fcvtns x1, d2, #1 ; encoding: [0x41,0xfc,0x40,0x9e]
259 ; CHECK: fcvtnu w1, s2 ; encoding: [0x41,0x00,0x21,0x1e]
260 ; CHECK: fcvtnu w1, s2, #1 ; encoding: [0x41,0xfc,0x01,0x1e]
261 ; CHECK: fcvtnu w1, d2 ; encoding: [0x41,0x00,0x61,0x1e]
262 ; CHECK: fcvtnu w1, d2, #1 ; encoding: [0x41,0xfc,0x41,0x1e]
263 ; CHECK: fcvtnu x1, s2 ; encoding: [0x41,0x00,0x21,0x9e]
264 ; CHECK: fcvtnu x1, s2, #1 ; encoding: [0x41,0xfc,0x01,0x9e]
265 ; CHECK: fcvtnu x1, d2 ; encoding: [0x41,0x00,0x61,0x9e]
266 ; CHECK: fcvtnu x1, d2, #1 ; encoding: [0x41,0xfc,0x41,0x9e]
277 ; CHECK: fcvtps w1, s2 ; encoding: [0x41,0x00,0x28,0x1e]
278 ; CHECK: fcvtps w1, s2, #1 ; encoding: [0x41,0xfc,0x08,0x1e]
279 ; CHECK: fcvtps w1, d2 ; encoding: [0x41,0x00,0x68,0x1e]
280 ; CHECK: fcvtps w1, d2, #1 ; encoding: [0x41,0xfc,0x48,0x1e]
281 ; CHECK: fcvtps x1, s2 ; encoding: [0x41,0x00,0x28,0x9e]
282 ; CHECK: fcvtps x1, s2, #1 ; encoding: [0x41,0xfc,0x08,0x9e]
283 ; CHECK: fcvtps x1, d2 ; encoding: [0x41,0x00,0x68,0x9e]
284 ; CHECK: fcvtps x1, d2, #1 ; encoding: [0x41,0xfc,0x48,0x9e]
295 ; CHECK: fcvtpu w1, s2 ; encoding: [0x41,0x00,0x29,0x1e]
296 ; CHECK: fcvtpu w1, s2, #1 ; encoding: [0x41,0xfc,0x09,0x1e]
297 ; CHECK: fcvtpu w1, d2 ; encoding: [0x41,0x00,0x69,0x1e]
298 ; CHECK: fcvtpu w1, d2, #1 ; encoding: [0x41,0xfc,0x49,0x1e]
299 ; CHECK: fcvtpu x1, s2 ; encoding: [0x41,0x00,0x29,0x9e]
300 ; CHECK: fcvtpu x1, s2, #1 ; encoding: [0x41,0xfc,0x09,0x9e]
301 ; CHECK: fcvtpu x1, d2 ; encoding: [0x41,0x00,0x69,0x9e]
302 ; CHECK: fcvtpu x1, d2, #1 ; encoding: [0x41,0xfc,0x49,0x9e]
313 ; CHECK: fcvtzs w1, s2 ; encoding: [0x41,0x00,0x38,0x1e]
314 ; CHECK: fcvtzs w1, s2, #1 ; encoding: [0x41,0xfc,0x18,0x1e]
315 ; CHECK: fcvtzs w1, d2 ; encoding: [0x41,0x00,0x78,0x1e]
316 ; CHECK: fcvtzs w1, d2, #1 ; encoding: [0x41,0xfc,0x58,0x1e]
317 ; CHECK: fcvtzs x1, s2 ; encoding: [0x41,0x00,0x38,0x9e]
318 ; CHECK: fcvtzs x1, s2, #1 ; encoding: [0x41,0xfc,0x18,0x9e]
319 ; CHECK: fcvtzs x1, d2 ; encoding: [0x41,0x00,0x78,0x9e]
320 ; CHECK: fcvtzs x1, d2, #1 ; encoding: [0x41,0xfc,0x58,0x9e]
331 ; CHECK: fcvtzu w1, s2 ; encoding: [0x41,0x00,0x39,0x1e]
332 ; CHECK: fcvtzu w1, s2, #1 ; encoding: [0x41,0xfc,0x19,0x1e]
333 ; CHECK: fcvtzu w1, d2 ; encoding: [0x41,0x00,0x79,0x1e]
334 ; CHECK: fcvtzu w1, d2, #1 ; encoding: [0x41,0xfc,0x59,0x1e]
335 ; CHECK: fcvtzu x1, s2 ; encoding: [0x41,0x00,0x39,0x9e]
336 ; CHECK: fcvtzu x1, s2, #1 ; encoding: [0x41,0xfc,0x19,0x9e]
337 ; CHECK: fcvtzu x1, d2 ; encoding: [0x41,0x00,0x79,0x9e]
338 ; CHECK: fcvtzu x1, d2, #1 ; encoding: [0x41,0xfc,0x59,0x9e]
349 ; CHECK: scvtf s1, w2 ; encoding: [0x41,0x00,0x22,0x1e]
350 ; CHECK: scvtf s1, w2, #1 ; encoding: [0x41,0xfc,0x02,0x1e]
351 ; CHECK: scvtf d1, w2 ; encoding: [0x41,0x00,0x62,0x1e]
352 ; CHECK: scvtf d1, w2, #1 ; encoding: [0x41,0xfc,0x42,0x1e]
353 ; CHECK: scvtf s1, x2 ; encoding: [0x41,0x00,0x22,0x9e]
354 ; CHECK: scvtf s1, x2, #1 ; encoding: [0x41,0xfc,0x02,0x9e]
355 ; CHECK: scvtf d1, x2 ; encoding: [0x41,0x00,0x62,0x9e]
356 ; CHECK: scvtf d1, x2, #1 ; encoding: [0x41,0xfc,0x42,0x9e]
367 ; CHECK: ucvtf s1, w2 ; encoding: [0x41,0x00,0x23,0x1e]
368 ; CHECK: ucvtf s1, w2, #1 ; encoding: [0x41,0xfc,0x03,0x1e]
369 ; CHECK: ucvtf d1, w2 ; encoding: [0x41,0x00,0x63,0x1e]
370 ; CHECK: ucvtf d1, w2, #1 ; encoding: [0x41,0xfc,0x43,0x1e]
371 ; CHECK: ucvtf s1, x2 ; encoding: [0x41,0x00,0x23,0x9e]
372 ; CHECK: ucvtf s1, x2, #1 ; encoding: [0x41,0xfc,0x03,0x9e]
373 ; CHECK: ucvtf d1, x2 ; encoding: [0x41,0x00,0x63,0x9e]
374 ; CHECK: ucvtf d1, x2, #1 ; encoding: [0x41,0xfc,0x43,0x9e]
376 ;-----------------------------------------------------------------------------
377 ; Floating-point move
378 ;-----------------------------------------------------------------------------
385 ; CHECK: fmov s1, w2 ; encoding: [0x41,0x00,0x27,0x1e]
386 ; CHECK: fmov w1, s2 ; encoding: [0x41,0x00,0x26,0x1e]
387 ; CHECK: fmov d1, x2 ; encoding: [0x41,0x00,0x67,0x9e]
388 ; CHECK: fmov x1, d2 ; encoding: [0x41,0x00,0x66,0x9e]
394 fmov d1, #-4.843750e-01
395 fmov d1, #4.843750e-01
400 ; CHECK: fmov s1, #1.250000e-01 ; encoding: [0x01,0x10,0x28,0x1e]
401 ; CHECK: fmov s1, #1.250000e-01 ; encoding: [0x01,0x10,0x28,0x1e]
402 ; CHECK: fmov d1, #1.250000e-01 ; encoding: [0x01,0x10,0x68,0x1e]
403 ; CHECK: fmov d1, #1.250000e-01 ; encoding: [0x01,0x10,0x68,0x1e]
404 ; CHECK: fmov d1, #-4.843750e-01 ; encoding: [0x01,0xf0,0x7b,0x1e]
405 ; CHECK: fmov d1, #4.843750e-01 ; encoding: [0x01,0xf0,0x6b,0x1e]
406 ; CHECK: fmov d3, #3.000000e+00 ; encoding: [0x03,0x10,0x61,0x1e]
407 ; CHECK: fmov s2, wzr ; encoding: [0xe2,0x03,0x27,0x1e]
408 ; CHECK: fmov d2, xzr ; encoding: [0xe2,0x03,0x67,0x9e]
413 ; CHECK: fmov s1, s2 ; encoding: [0x41,0x40,0x20,0x1e]
414 ; CHECK: fmov d1, d2 ; encoding: [0x41,0x40,0x60,0x1e]
422 ; CHECK: fmov.d x2, v5[1] ; encoding: [0xa2,0x00,0xae,0x9e]
423 ; CHECK: fmov.d x9, v7[1] ; encoding: [0xe9,0x00,0xae,0x9e]
424 ; CHECK: fmov.d v1[1], x1 ; encoding: [0x21,0x00,0xaf,0x9e]
425 ; CHECK: fmov.d v8[1], x6 ; encoding: [0xc8,0x00,0xaf,0x9e]
428 ;-----------------------------------------------------------------------------
429 ; Floating-point round to integral
430 ;-----------------------------------------------------------------------------
435 ; CHECK: frinta s1, s2 ; encoding: [0x41,0x40,0x26,0x1e]
436 ; CHECK: frinta d1, d2 ; encoding: [0x41,0x40,0x66,0x1e]
441 ; CHECK: frinti s1, s2 ; encoding: [0x41,0xc0,0x27,0x1e]
442 ; CHECK: frinti d1, d2 ; encoding: [0x41,0xc0,0x67,0x1e]
447 ; CHECK: frintm s1, s2 ; encoding: [0x41,0x40,0x25,0x1e]
448 ; CHECK: frintm d1, d2 ; encoding: [0x41,0x40,0x65,0x1e]
453 ; CHECK: frintn s1, s2 ; encoding: [0x41,0x40,0x24,0x1e]
454 ; CHECK: frintn d1, d2 ; encoding: [0x41,0x40,0x64,0x1e]
459 ; CHECK: frintp s1, s2 ; encoding: [0x41,0xc0,0x24,0x1e]
460 ; CHECK: frintp d1, d2 ; encoding: [0x41,0xc0,0x64,0x1e]
465 ; CHECK: frintx s1, s2 ; encoding: [0x41,0x40,0x27,0x1e]
466 ; CHECK: frintx d1, d2 ; encoding: [0x41,0x40,0x67,0x1e]
471 ; CHECK: frintz s1, s2 ; encoding: [0x41,0xc0,0x25,0x1e]
472 ; CHECK: frintz d1, d2 ; encoding: [0x41,0xc0,0x65,0x1e]
477 ; CHECK: cmhs d0, d0, d0 ; encoding: [0x00,0x3c,0xe0,0x7e]
478 ; CHECK: cmtst d0, d0, d0 ; encoding: [0x00,0x8c,0xe0,0x5e]
482 ;-----------------------------------------------------------------------------
483 ; Floating-point extract and narrow
484 ;-----------------------------------------------------------------------------
489 ; CHECK: sqxtn b4, h2 ; encoding: [0x44,0x48,0x21,0x5e]
490 ; CHECK: sqxtn h2, s3 ; encoding: [0x62,0x48,0x61,0x5e]
491 ; CHECK: sqxtn s9, d2 ; encoding: [0x49,0x48,0xa1,0x5e]
497 ; CHECK: sqxtun b4, h2 ; encoding: [0x44,0x28,0x21,0x7e]
498 ; CHECK: sqxtun h2, s3 ; encoding: [0x62,0x28,0x61,0x7e]
499 ; CHECK: sqxtun s9, d2 ; encoding: [0x49,0x28,0xa1,0x7e]
505 ; CHECK: uqxtn b4, h2 ; encoding: [0x44,0x48,0x21,0x7e]
506 ; CHECK: uqxtn h2, s3 ; encoding: [0x62,0x48,0x61,0x7e]
507 ; CHECK: uqxtn s9, d2 ; encoding: [0x49,0x48,0xa1,0x7e]