1@ RUN: llvm-mc -triple armv8 -mattr=+v8fp -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: [0xe0,0x3b,0xb2,0xee]
7  vcvtt.f16.f64 s5, d12
8@ CHECK: vcvtt.f16.f64 s5, d12     @ encoding: [0xcc,0x2b,0xf3,0xee]
9
10  vcvtb.f64.f16 d3, s1
11@ CHECK: vcvtb.f64.f16 d3, s1     @ encoding: [0x60,0x3b,0xb2,0xee]
12  vcvtb.f16.f64 s4, d1
13@ CHECK: vcvtb.f16.f64 s4, d1     @ encoding: [0x41,0x2b,0xb3,0xee]
14
15  vcvttge.f64.f16 d3, s1
16@ CHECK: vcvttge.f64.f16 d3, s1      @ encoding: [0xe0,0x3b,0xb2,0xae]
17  vcvttgt.f16.f64 s5, d12
18@ CHECK: vcvttgt.f16.f64 s5, d12     @ encoding: [0xcc,0x2b,0xf3,0xce]
19
20  vcvtbeq.f64.f16 d3, s1
21@ CHECK: vcvtbeq.f64.f16 d3, s1     @ encoding: [0x60,0x3b,0xb2,0x0e]
22  vcvtblt.f16.f64 s4, d1
23@ CHECK: vcvtblt.f16.f64 s4, d1     @ encoding: [0x41,0x2b,0xb3,0xbe]
24
25
26@ VCVT{A,N,P,M}
27
28  vcvta.s32.f32 s2, s3
29@ CHECK: vcvta.s32.f32 s2, s3     @ encoding: [0xe1,0x1a,0xbc,0xfe]
30  vcvta.s32.f64 s2, d3
31@ CHECK: vcvta.s32.f64 s2, d3     @ encoding: [0xc3,0x1b,0xbc,0xfe]
32  vcvtn.s32.f32 s6, s23
33@ CHECK: vcvtn.s32.f32 s6, s23     @ encoding: [0xeb,0x3a,0xbd,0xfe]
34  vcvtn.s32.f64 s6, d23
35@ CHECK: vcvtn.s32.f64 s6, d23     @ encoding: [0xe7,0x3b,0xbd,0xfe]
36  vcvtp.s32.f32 s0, s4
37@ CHECK: vcvtp.s32.f32 s0, s4     @ encoding: [0xc2,0x0a,0xbe,0xfe]
38  vcvtp.s32.f64 s0, d4
39@ CHECK: vcvtp.s32.f64 s0, d4     @ encoding: [0xc4,0x0b,0xbe,0xfe]
40  vcvtm.s32.f32 s17, s8
41@ CHECK: vcvtm.s32.f32 s17, s8     @ encoding: [0xc4,0x8a,0xff,0xfe]
42  vcvtm.s32.f64 s17, d8
43@ CHECK: vcvtm.s32.f64 s17, d8     @ encoding: [0xc8,0x8b,0xff,0xfe]
44
45  vcvta.u32.f32 s2, s3
46@ CHECK: vcvta.u32.f32 s2, s3     @ encoding: [0x61,0x1a,0xbc,0xfe]
47  vcvta.u32.f64 s2, d3
48@ CHECK: vcvta.u32.f64 s2, d3     @ encoding: [0x43,0x1b,0xbc,0xfe]
49  vcvtn.u32.f32 s6, s23
50@ CHECK: vcvtn.u32.f32 s6, s23     @ encoding: [0x6b,0x3a,0xbd,0xfe]
51  vcvtn.u32.f64 s6, d23
52@ CHECK: vcvtn.u32.f64 s6, d23     @ encoding: [0x67,0x3b,0xbd,0xfe]
53  vcvtp.u32.f32 s0, s4
54@ CHECK: vcvtp.u32.f32 s0, s4     @ encoding: [0x42,0x0a,0xbe,0xfe]
55  vcvtp.u32.f64 s0, d4
56@ CHECK: vcvtp.u32.f64 s0, d4     @ encoding: [0x44,0x0b,0xbe,0xfe]
57  vcvtm.u32.f32 s17, s8
58@ CHECK: vcvtm.u32.f32 s17, s8     @ encoding: [0x44,0x8a,0xff,0xfe]
59  vcvtm.u32.f64 s17, d8
60@ CHECK: vcvtm.u32.f64 s17, d8     @ encoding: [0x48,0x8b,0xff,0xfe]
61
62
63@ VSEL
64  vselge.f32 s4, s1, s23
65@ CHECK: vselge.f32 s4, s1, s23    @ encoding: [0xab,0x2a,0x20,0xfe]
66  vselge.f64 d30, d31, d23
67@ CHECK: vselge.f64 d30, d31, d23  @ encoding: [0xa7,0xeb,0x6f,0xfe]
68  vselgt.f32 s0, s1, s0
69@ CHECK: vselgt.f32 s0, s1, s0    @ encoding: [0x80,0x0a,0x30,0xfe]
70  vselgt.f64 d5, d10, d20
71@ CHECK: vselgt.f64 d5, d10, d20  @ encoding: [0x24,0x5b,0x3a,0xfe]
72  vseleq.f32 s30, s28, s23
73@ CHECK: vseleq.f32 s30, s28, s23 @ encoding: [0x2b,0xfa,0x0e,0xfe]
74  vseleq.f64 d2, d4, d8
75@ CHECK: vseleq.f64 d2, d4, d8    @ encoding: [0x08,0x2b,0x04,0xfe]
76  vselvs.f32 s21, s16, s14
77@ CHECK: vselvs.f32 s21, s16, s14 @ encoding: [0x07,0xaa,0x58,0xfe]
78  vselvs.f64 d0, d1, d31
79@ CHECK: vselvs.f64 d0, d1, d31   @ encoding: [0x2f,0x0b,0x11,0xfe]
80
81
82@ VMAXNM / VMINNM
83  vmaxnm.f32 s5, s12, s0
84@ CHECK: vmaxnm.f32 s5, s12, s0    @ encoding: [0x00,0x2a,0xc6,0xfe]
85  vmaxnm.f64 d5, d22, d30
86@ CHECK: vmaxnm.f64 d5, d22, d30   @ encoding: [0xae,0x5b,0x86,0xfe]
87  vminnm.f32 s0, s0, s12
88@ CHECK: vminnm.f32 s0, s0, s12    @ encoding: [0x46,0x0a,0x80,0xfe]
89  vminnm.f64 d4, d6, d9
90@ CHECK: vminnm.f64 d4, d6, d9     @ encoding: [0x49,0x4b,0x86,0xfe]
91
92@ VRINT{Z,R,X}
93
94  vrintzge.f64 d3, d12
95@ CHECK: vrintzge.f64 d3, d12   @ encoding: [0xcc,0x3b,0xb6,0xae]
96  vrintz.f32 s3, s24
97@ CHECK: vrintz.f32 s3, s24     @ encoding: [0xcc,0x1a,0xf6,0xee]
98  vrintrlt.f64 d5, d0
99@ CHECK: vrintrlt.f64 d5, d0    @ encoding: [0x40,0x5b,0xb6,0xbe]
100  vrintr.f32 s0, s9
101@ CHECK: vrintr.f32 s0, s9      @ encoding: [0x64,0x0a,0xb6,0xee]
102  vrintxeq.f64 d28, d30
103@ CHECK: vrintxeq.f64 d28, d30  @ encoding: [0x6e,0xcb,0xf7,0x0e]
104  vrintxvs.f32 s10, s14
105@ CHECK: vrintxvs.f32 s10, s14  @ encoding: [0x47,0x5a,0xb7,0x6e]
106
107@ VRINT{A,N,P,M}
108
109  vrinta.f64 d3, d4
110@ CHECK: vrinta.f64 d3, d4     @ encoding: [0x44,0x3b,0xb8,0xfe]
111  vrinta.f32 s12, s1
112@ CHECK: vrinta.f32 s12, s1    @ encoding: [0x60,0x6a,0xb8,0xfe]
113  vrintn.f64 d3, d4
114@ CHECK: vrintn.f64 d3, d4     @ encoding: [0x44,0x3b,0xb9,0xfe]
115  vrintn.f32 s12, s1
116@ CHECK: vrintn.f32 s12, s1    @ encoding: [0x60,0x6a,0xb9,0xfe]
117  vrintp.f64 d3, d4
118@ CHECK: vrintp.f64 d3, d4     @ encoding: [0x44,0x3b,0xba,0xfe]
119  vrintp.f32 s12, s1
120@ CHECK: vrintp.f32 s12, s1    @ encoding: [0x60,0x6a,0xba,0xfe]
121  vrintm.f64 d3, d4
122@ CHECK: vrintm.f64 d3, d4     @ encoding: [0x44,0x3b,0xbb,0xfe]
123  vrintm.f32 s12, s1
124@ CHECK: vrintm.f32 s12, s1    @ encoding: [0x60,0x6a,0xbb,0xfe]
125