1# RUN: llvm-mc -disassemble -triple thumbv8 -mattr=+fp-armv8 -show-encoding < %s | FileCheck %s
2
30xb2 0xee 0xe0 0x3b
4# CHECK: vcvtt.f64.f16 d3, s1
5
60xf3 0xee 0xcc 0x2b
7# CHECK: vcvtt.f16.f64 s5, d12
8
90xb2 0xee 0x60 0x3b
10# CHECK: vcvtb.f64.f16 d3, s1
11
120xb3 0xee 0x41 0x2b
13# CHECK: vcvtb.f16.f64 s4, d1
14
150xa8 0xbf # IT block
160xb2 0xee 0xe0 0x3b
17# CHECK: vcvttge.f64.f16 d3, s1
18
190xc8 0xbf # IT block
200xf3 0xee 0xcc 0x2b
21# CHECK: vcvttgt.f16.f64 s5, d12
22
230x08 0xbf # IT block
240xb2 0xee 0x60 0x3b
25# CHECK: vcvtbeq.f64.f16 d3, s1
26
270xb8 0xbf # IT block
280xb3 0xee 0x41 0x2b
29# CHECK: vcvtblt.f16.f64 s4, d1
30
31
320xbc 0xfe 0xe1 0x1a
33# CHECK: vcvta.s32.f32 s2, s3
34
350xbc 0xfe 0xc3 0x1b
36# CHECK: vcvta.s32.f64 s2, d3
37
380xbd 0xfe 0xeb 0x3a
39# CHECK: vcvtn.s32.f32 s6, s23
40
410xbd 0xfe 0xe7 0x3b
42# CHECK: vcvtn.s32.f64 s6, d23
43
440xbe 0xfe 0xc2 0x0a
45# CHECK: vcvtp.s32.f32 s0, s4
46
470xbe 0xfe 0xc4 0x0b
48# CHECK: vcvtp.s32.f64 s0, d4
49
500xff 0xfe 0xc4 0x8a
51# CHECK: vcvtm.s32.f32 s17, s8
52
530xff 0xfe 0xc8 0x8b
54# CHECK: vcvtm.s32.f64 s17, d8
55
560xbc 0xfe 0x61 0x1a
57# CHECK: vcvta.u32.f32 s2, s3
58
590xbc 0xfe 0x43 0x1b
60# CHECK: vcvta.u32.f64 s2, d3
61
620xbd 0xfe 0x6b 0x3a
63# CHECK: vcvtn.u32.f32 s6, s23
64
650xbd 0xfe 0x67 0x3b
66# CHECK: vcvtn.u32.f64 s6, d23
67
680xbe 0xfe 0x42 0x0a
69# CHECK: vcvtp.u32.f32 s0, s4
70
710xbe 0xfe 0x44 0x0b
72# CHECK: vcvtp.u32.f64 s0, d4
73
740xff 0xfe 0x44 0x8a
75# CHECK: vcvtm.u32.f32 s17, s8
76
770xff 0xfe 0x48 0x8b
78# CHECK: vcvtm.u32.f64 s17, d8
79
80
810x20 0xfe 0xab 0x2a
82# CHECK: vselge.f32 s4, s1, s23
83
840x6f 0xfe 0xa7 0xeb
85# CHECK: vselge.f64 d30, d31, d23
86
870x30 0xfe 0x80 0x0a
88# CHECK: vselgt.f32 s0, s1, s0
89
900x3a 0xfe 0x24 0x5b
91# CHECK: vselgt.f64 d5, d10, d20
92
930x0e 0xfe 0x2b 0xfa
94# CHECK: vseleq.f32 s30, s28, s23
95
960x04 0xfe 0x08 0x2b
97# CHECK: vseleq.f64 d2, d4, d8
98
990x58 0xfe 0x07 0xaa
100# CHECK: vselvs.f32 s21, s16, s14
101
1020x11 0xfe 0x2f 0x0b
103# CHECK: vselvs.f64 d0, d1, d31
104
105
1060xc6 0xfe 0x00 0x2a
107# CHECK: vmaxnm.f32 s5, s12, s0
108
1090x86 0xfe 0xae 0x5b
110# CHECK: vmaxnm.f64 d5, d22, d30
111
1120x80 0xfe 0x46 0x0a
113# CHECK: vminnm.f32 s0, s0, s12
114
1150x86 0xfe 0x49 0x4b
116# CHECK: vminnm.f64 d4, d6, d9
117
118
1190xa8 0xbf # IT block
1200xb6 0xee 0xcc 0x3b
121# CHECK: vrintzge.f64 d3, d12
122
1230xf6 0xee 0xcc 0x1a
124# CHECK: vrintz.f32 s3, s24
125
1260xb8 0xbf # IT block
1270xb6 0xee 0x40 0x5b
128# CHECK: vrintrlt.f64 d5, d0
129
1300xb6 0xee 0x64 0x0a
131# CHECK: vrintr.f32 s0, s9
132
1330x08 0xbf # IT block
1340xf7 0xee 0x6e 0xcb
135# CHECK: vrintxeq.f64 d28, d30
136
1370x68 0xbf # IT block
1380xb7 0xee 0x47 0x5a
139# CHECK: vrintxvs.f32 s10, s14
140
1410xb8 0xfe 0x44 0x3b
142# CHECK: vrinta.f64 d3, d4
143
1440xb8 0xfe 0x60 0x6a
145# CHECK: vrinta.f32 s12, s1
146
1470xb9 0xfe 0x44 0x3b
148# CHECK: vrintn.f64 d3, d4
149
1500xb9 0xfe 0x60 0x6a
151# CHECK: vrintn.f32 s12, s1
152
1530xba 0xfe 0x44 0x3b
154# CHECK: vrintp.f64 d3, d4
155
1560xba 0xfe 0x60 0x6a
157# CHECK: vrintp.f32 s12, s1
158
1590xbb 0xfe 0x44 0x3b
160# CHECK: vrintm.f64 d3, d4
161
1620xbb 0xfe 0x60 0x6a
163# CHECK: vrintm.f32 s12, s1
164