1 @ RUN
: llvm-mc
-triple thumbv8
-mattr
=+fp-armv8
-show-encoding
< %s | FileCheck
%s
6 @ CHECK
: vcvtt.f64.
f16 d3
, s1 @ encoding
: [0xb2,0xee,0xe0,0x3b]
8 @ CHECK
: vcvtt.f16.f64 s5
, d12 @ encoding
: [0xf3,0xee,0xcc,0x2b]
11 @ CHECK
: vcvtb.f64.
f16 d3
, s1 @ encoding
: [0xb2,0xee,0x60,0x3b]
13 @ CHECK
: vcvtb.f16.f64 s4
, d1 @ encoding
: [0xb3,0xee,0x41,0x2b]
16 vcvttge.f64.
f16 d3
, s1
17 @ CHECK
: vcvttge.f64.
f16 d3
, s1 @ encoding
: [0xb2,0xee,0xe0,0x3b]
19 vcvttgt.f16.f64 s5
, d12
20 @ CHECK
: vcvttgt.f16.f64 s5
, d12 @ encoding
: [0xf3,0xee,0xcc,0x2b]
22 vcvtbeq.f64.
f16 d3
, s1
23 @ CHECK
: vcvtbeq.f64.
f16 d3
, s1 @ encoding
: [0xb2,0xee,0x60,0x3b]
25 vcvtblt.f16.f64 s4
, d1
26 @ CHECK
: vcvtblt.f16.f64 s4
, d1 @ encoding
: [0xb3,0xee,0x41,0x2b]
32 @ CHECK
: vcvta.s32.f32 s2
, s3 @ encoding
: [0xbc,0xfe,0xe1,0x1a]
34 @ CHECK
: vcvta.s32.f64 s2
, d3 @ encoding
: [0xbc,0xfe,0xc3,0x1b]
36 @ CHECK
: vcvtn.s32.f32 s6
, s23 @ encoding
: [0xbd,0xfe,0xeb,0x3a]
38 @ CHECK
: vcvtn.s32.f64 s6
, d23 @ encoding
: [0xbd,0xfe,0xe7,0x3b]
40 @ CHECK
: vcvtp.s32.f32 s0
, s4 @ encoding
: [0xbe,0xfe,0xc2,0x0a]
42 @ CHECK
: vcvtp.s32.f64 s0
, d4 @ encoding
: [0xbe,0xfe,0xc4,0x0b]
44 @ CHECK
: vcvtm.s32.f32 s17
, s8 @ encoding
: [0xff,0xfe,0xc4,0x8a]
46 @ CHECK
: vcvtm.s32.f64 s17
, d8 @ encoding
: [0xff,0xfe,0xc8,0x8b]
49 @ CHECK
: vcvta.u32.f32 s2
, s3 @ encoding
: [0xbc,0xfe,0x61,0x1a]
51 @ CHECK
: vcvta.u32.f64 s2
, d3 @ encoding
: [0xbc,0xfe,0x43,0x1b]
53 @ CHECK
: vcvtn.u32.f32 s6
, s23 @ encoding
: [0xbd,0xfe,0x6b,0x3a]
55 @ CHECK
: vcvtn.u32.f64 s6
, d23 @ encoding
: [0xbd,0xfe,0x67,0x3b]
57 @ CHECK
: vcvtp.u32.f32 s0
, s4 @ encoding
: [0xbe,0xfe,0x42,0x0a]
59 @ CHECK
: vcvtp.u32.f64 s0
, d4 @ encoding
: [0xbe,0xfe,0x44,0x0b]
61 @ CHECK
: vcvtm.u32.f32 s17
, s8 @ encoding
: [0xff,0xfe,0x44,0x8a]
63 @ CHECK
: vcvtm.u32.f64 s17
, d8 @ encoding
: [0xff,0xfe,0x48,0x8b]
67 vselge.f32 s4
, s1
, s23
68 @ CHECK
: vselge.f32 s4
, s1
, s23 @ encoding
: [0x20,0xfe,0xab,0x2a]
69 vselge.f64 d30
, d31
, d23
70 @ CHECK
: vselge.f64 d30
, d31
, d23 @ encoding
: [0x6f,0xfe,0xa7,0xeb]
72 @ CHECK
: vselgt.f32 s0
, s1
, s0 @ encoding
: [0x30,0xfe,0x80,0x0a]
73 vselgt.f64 d5
, d10
, d20
74 @ CHECK
: vselgt.f64 d5
, d10
, d20 @ encoding
: [0x3a,0xfe,0x24,0x5b]
75 vseleq.f32 s30
, s28
, s23
76 @ CHECK
: vseleq.f32 s30
, s28
, s23 @ encoding
: [0x0e,0xfe,0x2b,0xfa]
78 @ CHECK
: vseleq.f64 d2
, d4
, d8 @ encoding
: [0x04,0xfe,0x08,0x2b]
79 vselvs.f32 s21
, s16
, s14
80 @ CHECK
: vselvs.f32 s21
, s16
, s14 @ encoding
: [0x58,0xfe,0x07,0xaa]
81 vselvs.f64 d0
, d1
, d31
82 @ CHECK
: vselvs.f64 d0
, d1
, d31 @ encoding
: [0x11,0xfe,0x2f,0x0b]
86 vmaxnm.f32 s5
, s12
, s0
87 @ CHECK
: vmaxnm.f32 s5
, s12
, s0 @ encoding
: [0xc6,0xfe,0x00,0x2a]
88 vmaxnm.f64 d5
, d22
, d30
89 @ CHECK
: vmaxnm.f64 d5
, d22
, d30 @ encoding
: [0x86,0xfe,0xae,0x5b]
90 vminnm.f32 s0
, s0
, s12
91 @ CHECK
: vminnm.f32 s0
, s0
, s12 @ encoding
: [0x80,0xfe,0x46,0x0a]
93 @ CHECK
: vminnm.f64 d4
, d6
, d9 @ encoding
: [0x86,0xfe,0x49,0x4b]
98 @ CHECK
: vrintzge.f64 d3
, d12 @ encoding
: [0xb6,0xee,0xcc,0x3b]
100 @ CHECK
: vrintz.f32 s3
, s24 @ encoding
: [0xf6,0xee,0xcc,0x1a]
103 @ CHECK
: vrintrlt.f64 d5
, d0 @ encoding
: [0xb6,0xee,0x40,0x5b]
105 @ CHECK
: vrintr.f32 s0
, s9 @ encoding
: [0xb6,0xee,0x64,0x0a]
107 vrintxeq.f64 d28
, d30
108 @ CHECK
: vrintxeq.f64 d28
, d30 @ encoding
: [0xf7,0xee,0x6e,0xcb]
110 vrintxvs.f32 s10
, s14
111 @ CHECK
: vrintxvs.f32 s10
, s14 @ encoding
: [0xb7,0xee,0x47,0x5a]
116 @ CHECK
: vrinta.f64 d3
, d4 @ encoding
: [0xb8,0xfe,0x44,0x3b]
118 @ CHECK
: vrinta.f32 s12
, s1 @ encoding
: [0xb8,0xfe,0x60,0x6a]
120 @ CHECK
: vrintn.f64 d3
, d4 @ encoding
: [0xb9,0xfe,0x44,0x3b]
122 @ CHECK
: vrintn.f32 s12
, s1 @ encoding
: [0xb9,0xfe,0x60,0x6a]
124 @ CHECK
: vrintp.f64 d3
, d4 @ encoding
: [0xba,0xfe,0x44,0x3b]
126 @ CHECK
: vrintp.f32 s12
, s1 @ encoding
: [0xba,0xfe,0x60,0x6a]
128 @ CHECK
: vrintm.f64 d3
, d4 @ encoding
: [0xbb,0xfe,0x44,0x3b]
130 @ CHECK
: vrintm.f32 s12
, s1 @ encoding
: [0xbb,0xfe,0x60,0x6a]