1@ RUN: llvm-mc -triple thumbv8 -mattr=+fp-armv8 -show-encoding < %s | FileCheck %s
2
3@ VCVT{B,T}
4
5  vcvtt.f64.f16 d3, s1
6@ CHECK: vcvtt.f64.f16 d3, s1      @ encoding: [0xb2,0xee,0xe0,0x3b]
7  vcvtt.f16.f64 s5, d12
8@ CHECK: vcvtt.f16.f64 s5, d12     @ encoding: [0xf3,0xee,0xcc,0x2b]
9
10  vcvtb.f64.f16 d3, s1
11@ CHECK: vcvtb.f64.f16 d3, s1     @ encoding: [0xb2,0xee,0x60,0x3b]
12  vcvtb.f16.f64 s4, d1
13@ CHECK: vcvtb.f16.f64 s4, d1     @ encoding: [0xb3,0xee,0x41,0x2b]
14
15  it ge
16  vcvttge.f64.f16 d3, s1
17@ CHECK: vcvttge.f64.f16 d3, s1      @ encoding: [0xb2,0xee,0xe0,0x3b]
18  it gt
19  vcvttgt.f16.f64 s5, d12
20@ CHECK: vcvttgt.f16.f64 s5, d12     @ encoding: [0xf3,0xee,0xcc,0x2b]
21  it eq
22  vcvtbeq.f64.f16 d3, s1
23@ CHECK: vcvtbeq.f64.f16 d3, s1     @ encoding: [0xb2,0xee,0x60,0x3b]
24  it lt
25  vcvtblt.f16.f64 s4, d1
26@ CHECK: vcvtblt.f16.f64 s4, d1     @ encoding: [0xb3,0xee,0x41,0x2b]
27
28
29@ VCVT{A,N,P,M}
30
31  vcvta.s32.f32 s2, s3
32@ CHECK: vcvta.s32.f32 s2, s3     @ encoding: [0xbc,0xfe,0xe1,0x1a]
33  vcvta.s32.f64 s2, d3
34@ CHECK: vcvta.s32.f64 s2, d3     @ encoding: [0xbc,0xfe,0xc3,0x1b]
35  vcvtn.s32.f32 s6, s23
36@ CHECK: vcvtn.s32.f32 s6, s23     @ encoding: [0xbd,0xfe,0xeb,0x3a]
37  vcvtn.s32.f64 s6, d23
38@ CHECK: vcvtn.s32.f64 s6, d23     @ encoding: [0xbd,0xfe,0xe7,0x3b]
39  vcvtp.s32.f32 s0, s4
40@ CHECK: vcvtp.s32.f32 s0, s4     @ encoding: [0xbe,0xfe,0xc2,0x0a]
41  vcvtp.s32.f64 s0, d4
42@ CHECK: vcvtp.s32.f64 s0, d4     @ encoding: [0xbe,0xfe,0xc4,0x0b]
43  vcvtm.s32.f32 s17, s8
44@ CHECK: vcvtm.s32.f32 s17, s8     @ encoding: [0xff,0xfe,0xc4,0x8a]
45  vcvtm.s32.f64 s17, d8
46@ CHECK: vcvtm.s32.f64 s17, d8     @ encoding: [0xff,0xfe,0xc8,0x8b]
47
48  vcvta.u32.f32 s2, s3
49@ CHECK: vcvta.u32.f32 s2, s3     @ encoding: [0xbc,0xfe,0x61,0x1a]
50  vcvta.u32.f64 s2, d3
51@ CHECK: vcvta.u32.f64 s2, d3     @ encoding: [0xbc,0xfe,0x43,0x1b]
52  vcvtn.u32.f32 s6, s23
53@ CHECK: vcvtn.u32.f32 s6, s23     @ encoding: [0xbd,0xfe,0x6b,0x3a]
54  vcvtn.u32.f64 s6, d23
55@ CHECK: vcvtn.u32.f64 s6, d23     @ encoding: [0xbd,0xfe,0x67,0x3b]
56  vcvtp.u32.f32 s0, s4
57@ CHECK: vcvtp.u32.f32 s0, s4     @ encoding: [0xbe,0xfe,0x42,0x0a]
58  vcvtp.u32.f64 s0, d4
59@ CHECK: vcvtp.u32.f64 s0, d4     @ encoding: [0xbe,0xfe,0x44,0x0b]
60  vcvtm.u32.f32 s17, s8
61@ CHECK: vcvtm.u32.f32 s17, s8     @ encoding: [0xff,0xfe,0x44,0x8a]
62  vcvtm.u32.f64 s17, d8
63@ CHECK: vcvtm.u32.f64 s17, d8     @ encoding: [0xff,0xfe,0x48,0x8b]
64
65
66@ VSEL
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]
71  vselgt.f32 s0, s1, s0
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]
77  vseleq.f64 d2, d4, d8
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]
83
84
85@ VMAXNM / VMINNM
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]
92  vminnm.f64 d4, d6, d9
93@ CHECK: vminnm.f64 d4, d6, d9     @ encoding: [0x86,0xfe,0x49,0x4b]
94
95@ VRINT{Z,R,X}
96  it ge
97  vrintzge.f64 d3, d12
98@ CHECK: vrintzge.f64 d3, d12   @ encoding: [0xb6,0xee,0xcc,0x3b]
99  vrintz.f32 s3, s24
100@ CHECK: vrintz.f32 s3, s24     @ encoding: [0xf6,0xee,0xcc,0x1a]
101  it lt
102  vrintrlt.f64 d5, d0
103@ CHECK: vrintrlt.f64 d5, d0    @ encoding: [0xb6,0xee,0x40,0x5b]
104  vrintr.f32 s0, s9
105@ CHECK: vrintr.f32 s0, s9      @ encoding: [0xb6,0xee,0x64,0x0a]
106  it eq
107  vrintxeq.f64 d28, d30
108@ CHECK: vrintxeq.f64 d28, d30  @ encoding: [0xf7,0xee,0x6e,0xcb]
109  it vs
110  vrintxvs.f32 s10, s14
111@ CHECK: vrintxvs.f32 s10, s14  @ encoding: [0xb7,0xee,0x47,0x5a]
112
113@ VRINT{A,N,P,M}
114
115  vrinta.f64 d3, d4
116@ CHECK: vrinta.f64 d3, d4     @ encoding: [0xb8,0xfe,0x44,0x3b]
117  vrinta.f32 s12, s1
118@ CHECK: vrinta.f32 s12, s1    @ encoding: [0xb8,0xfe,0x60,0x6a]
119  vrintn.f64 d3, d4
120@ CHECK: vrintn.f64 d3, d4     @ encoding: [0xb9,0xfe,0x44,0x3b]
121  vrintn.f32 s12, s1
122@ CHECK: vrintn.f32 s12, s1    @ encoding: [0xb9,0xfe,0x60,0x6a]
123  vrintp.f64 d3, d4
124@ CHECK: vrintp.f64 d3, d4     @ encoding: [0xba,0xfe,0x44,0x3b]
125  vrintp.f32 s12, s1
126@ CHECK: vrintp.f32 s12, s1    @ encoding: [0xba,0xfe,0x60,0x6a]
127  vrintm.f64 d3, d4
128@ CHECK: vrintm.f64 d3, d4     @ encoding: [0xbb,0xfe,0x44,0x3b]
129  vrintm.f32 s12, s1
130@ CHECK: vrintm.f32 s12, s1    @ encoding: [0xbb,0xfe,0x60,0x6a]
131