[WebAssembly] Don't perform the returned-argument optimization on constants.
[oota-llvm.git] / test / CodeGen / ARM / vcvt.ll
1 ; RUN: llc -mtriple=arm-eabi -mattr=+neon,+fp16 %s -o - | FileCheck %s
2
3 define <2 x i32> @vcvt_f32tos32(<2 x float>* %A) nounwind {
4 ;CHECK-LABEL: vcvt_f32tos32:
5 ;CHECK: vcvt.s32.f32
6         %tmp1 = load <2 x float>, <2 x float>* %A
7         %tmp2 = fptosi <2 x float> %tmp1 to <2 x i32>
8         ret <2 x i32> %tmp2
9 }
10
11 define <2 x i32> @vcvt_f32tou32(<2 x float>* %A) nounwind {
12 ;CHECK-LABEL: vcvt_f32tou32:
13 ;CHECK: vcvt.u32.f32
14         %tmp1 = load <2 x float>, <2 x float>* %A
15         %tmp2 = fptoui <2 x float> %tmp1 to <2 x i32>
16         ret <2 x i32> %tmp2
17 }
18
19 define <2 x float> @vcvt_s32tof32(<2 x i32>* %A) nounwind {
20 ;CHECK-LABEL: vcvt_s32tof32:
21 ;CHECK: vcvt.f32.s32
22         %tmp1 = load <2 x i32>, <2 x i32>* %A
23         %tmp2 = sitofp <2 x i32> %tmp1 to <2 x float>
24         ret <2 x float> %tmp2
25 }
26
27 define <2 x float> @vcvt_u32tof32(<2 x i32>* %A) nounwind {
28 ;CHECK-LABEL: vcvt_u32tof32:
29 ;CHECK: vcvt.f32.u32
30         %tmp1 = load <2 x i32>, <2 x i32>* %A
31         %tmp2 = uitofp <2 x i32> %tmp1 to <2 x float>
32         ret <2 x float> %tmp2
33 }
34
35 define <4 x i32> @vcvtQ_f32tos32(<4 x float>* %A) nounwind {
36 ;CHECK-LABEL: vcvtQ_f32tos32:
37 ;CHECK: vcvt.s32.f32
38         %tmp1 = load <4 x float>, <4 x float>* %A
39         %tmp2 = fptosi <4 x float> %tmp1 to <4 x i32>
40         ret <4 x i32> %tmp2
41 }
42
43 define <4 x i32> @vcvtQ_f32tou32(<4 x float>* %A) nounwind {
44 ;CHECK-LABEL: vcvtQ_f32tou32:
45 ;CHECK: vcvt.u32.f32
46         %tmp1 = load <4 x float>, <4 x float>* %A
47         %tmp2 = fptoui <4 x float> %tmp1 to <4 x i32>
48         ret <4 x i32> %tmp2
49 }
50
51 define <4 x float> @vcvtQ_s32tof32(<4 x i32>* %A) nounwind {
52 ;CHECK-LABEL: vcvtQ_s32tof32:
53 ;CHECK: vcvt.f32.s32
54         %tmp1 = load <4 x i32>, <4 x i32>* %A
55         %tmp2 = sitofp <4 x i32> %tmp1 to <4 x float>
56         ret <4 x float> %tmp2
57 }
58
59 define <4 x float> @vcvtQ_u32tof32(<4 x i32>* %A) nounwind {
60 ;CHECK-LABEL: vcvtQ_u32tof32:
61 ;CHECK: vcvt.f32.u32
62         %tmp1 = load <4 x i32>, <4 x i32>* %A
63         %tmp2 = uitofp <4 x i32> %tmp1 to <4 x float>
64         ret <4 x float> %tmp2
65 }
66
67 define <2 x i32> @vcvt_n_f32tos32(<2 x float>* %A) nounwind {
68 ;CHECK-LABEL: vcvt_n_f32tos32:
69 ;CHECK: vcvt.s32.f32
70         %tmp1 = load <2 x float>, <2 x float>* %A
71         %tmp2 = call <2 x i32> @llvm.arm.neon.vcvtfp2fxs.v2i32.v2f32(<2 x float> %tmp1, i32 1)
72         ret <2 x i32> %tmp2
73 }
74
75 define <2 x i32> @vcvt_n_f32tou32(<2 x float>* %A) nounwind {
76 ;CHECK-LABEL: vcvt_n_f32tou32:
77 ;CHECK: vcvt.u32.f32
78         %tmp1 = load <2 x float>, <2 x float>* %A
79         %tmp2 = call <2 x i32> @llvm.arm.neon.vcvtfp2fxu.v2i32.v2f32(<2 x float> %tmp1, i32 1)
80         ret <2 x i32> %tmp2
81 }
82
83 define <2 x float> @vcvt_n_s32tof32(<2 x i32>* %A) nounwind {
84 ;CHECK-LABEL: vcvt_n_s32tof32:
85 ;CHECK: vcvt.f32.s32
86         %tmp1 = load <2 x i32>, <2 x i32>* %A
87         %tmp2 = call <2 x float> @llvm.arm.neon.vcvtfxs2fp.v2f32.v2i32(<2 x i32> %tmp1, i32 1)
88         ret <2 x float> %tmp2
89 }
90
91 define <2 x float> @vcvt_n_u32tof32(<2 x i32>* %A) nounwind {
92 ;CHECK-LABEL: vcvt_n_u32tof32:
93 ;CHECK: vcvt.f32.u32
94         %tmp1 = load <2 x i32>, <2 x i32>* %A
95         %tmp2 = call <2 x float> @llvm.arm.neon.vcvtfxu2fp.v2f32.v2i32(<2 x i32> %tmp1, i32 1)
96         ret <2 x float> %tmp2
97 }
98
99 declare <2 x i32> @llvm.arm.neon.vcvtfp2fxs.v2i32.v2f32(<2 x float>, i32) nounwind readnone
100 declare <2 x i32> @llvm.arm.neon.vcvtfp2fxu.v2i32.v2f32(<2 x float>, i32) nounwind readnone
101 declare <2 x float> @llvm.arm.neon.vcvtfxs2fp.v2f32.v2i32(<2 x i32>, i32) nounwind readnone
102 declare <2 x float> @llvm.arm.neon.vcvtfxu2fp.v2f32.v2i32(<2 x i32>, i32) nounwind readnone
103
104 define <4 x i32> @vcvtQ_n_f32tos32(<4 x float>* %A) nounwind {
105 ;CHECK-LABEL: vcvtQ_n_f32tos32:
106 ;CHECK: vcvt.s32.f32
107         %tmp1 = load <4 x float>, <4 x float>* %A
108         %tmp2 = call <4 x i32> @llvm.arm.neon.vcvtfp2fxs.v4i32.v4f32(<4 x float> %tmp1, i32 1)
109         ret <4 x i32> %tmp2
110 }
111
112 define <4 x i32> @vcvtQ_n_f32tou32(<4 x float>* %A) nounwind {
113 ;CHECK-LABEL: vcvtQ_n_f32tou32:
114 ;CHECK: vcvt.u32.f32
115         %tmp1 = load <4 x float>, <4 x float>* %A
116         %tmp2 = call <4 x i32> @llvm.arm.neon.vcvtfp2fxu.v4i32.v4f32(<4 x float> %tmp1, i32 1)
117         ret <4 x i32> %tmp2
118 }
119
120 define <4 x float> @vcvtQ_n_s32tof32(<4 x i32>* %A) nounwind {
121 ;CHECK-LABEL: vcvtQ_n_s32tof32:
122 ;CHECK: vcvt.f32.s32
123         %tmp1 = load <4 x i32>, <4 x i32>* %A
124         %tmp2 = call <4 x float> @llvm.arm.neon.vcvtfxs2fp.v4f32.v4i32(<4 x i32> %tmp1, i32 1)
125         ret <4 x float> %tmp2
126 }
127
128 define <4 x float> @vcvtQ_n_u32tof32(<4 x i32>* %A) nounwind {
129 ;CHECK-LABEL: vcvtQ_n_u32tof32:
130 ;CHECK: vcvt.f32.u32
131         %tmp1 = load <4 x i32>, <4 x i32>* %A
132         %tmp2 = call <4 x float> @llvm.arm.neon.vcvtfxu2fp.v4f32.v4i32(<4 x i32> %tmp1, i32 1)
133         ret <4 x float> %tmp2
134 }
135
136 declare <4 x i32> @llvm.arm.neon.vcvtfp2fxs.v4i32.v4f32(<4 x float>, i32) nounwind readnone
137 declare <4 x i32> @llvm.arm.neon.vcvtfp2fxu.v4i32.v4f32(<4 x float>, i32) nounwind readnone
138 declare <4 x float> @llvm.arm.neon.vcvtfxs2fp.v4f32.v4i32(<4 x i32>, i32) nounwind readnone
139 declare <4 x float> @llvm.arm.neon.vcvtfxu2fp.v4f32.v4i32(<4 x i32>, i32) nounwind readnone
140
141 define <4 x float> @vcvt_f16tof32(<4 x i16>* %A) nounwind {
142 ;CHECK-LABEL: vcvt_f16tof32:
143 ;CHECK: vcvt.f32.f16
144         %tmp1 = load <4 x i16>, <4 x i16>* %A
145         %tmp2 = call <4 x float> @llvm.arm.neon.vcvthf2fp(<4 x i16> %tmp1)
146         ret <4 x float> %tmp2
147 }
148
149 define <4 x i16> @vcvt_f32tof16(<4 x float>* %A) nounwind {
150 ;CHECK-LABEL: vcvt_f32tof16:
151 ;CHECK: vcvt.f16.f32
152         %tmp1 = load <4 x float>, <4 x float>* %A
153         %tmp2 = call <4 x i16> @llvm.arm.neon.vcvtfp2hf(<4 x float> %tmp1)
154         ret <4 x i16> %tmp2
155 }
156
157 declare <4 x float> @llvm.arm.neon.vcvthf2fp(<4 x i16>) nounwind readnone
158 declare <4 x i16> @llvm.arm.neon.vcvtfp2hf(<4 x float>) nounwind readnone
159
160
161 define <4 x i16> @fix_float_to_i16(<4 x float> %in) {
162 ; CHECK-LABEL: fix_float_to_i16:
163 ; CHECK: vcvt.u32.f32 [[TMP:q[0-9]+]], {{q[0-9]+}}, #1
164 ; CHECK: vmovn.i32 {{d[0-9]+}}, [[TMP]]
165
166   %scale = fmul <4 x float> %in, <float 2.0, float 2.0, float 2.0, float 2.0>
167   %conv = fptoui <4 x float> %scale to <4 x i16>
168   ret <4 x i16> %conv
169 }
170
171 define <2 x i64> @fix_float_to_i64(<2 x float> %in) {
172 ; CHECK-LABEL: fix_float_to_i64:
173 ; CHECK: bl
174 ; CHECK: bl
175
176   %scale = fmul <2 x float> %in, <float 2.0, float 2.0>
177   %conv = fptoui <2 x float> %scale to <2 x i64>
178   ret <2 x i64> %conv
179 }
180
181 define <4 x i16> @fix_double_to_i16(<4 x double> %in) {
182 ; CHECK-LABEL: fix_double_to_i16:
183 ; CHECK: vcvt.u32.f64
184 ; CHECK: vcvt.u32.f64
185
186   %scale = fmul <4 x double> %in, <double 2.0, double 2.0, double 2.0, double 2.0>
187   %conv = fptoui <4 x double> %scale to <4 x i16>
188   ret <4 x i16> %conv
189 }
190
191 define <2 x i64> @fix_double_to_i64(<2 x double> %in) {
192 ; CHECK-LABEL: fix_double_to_i64:
193 ; CHECK: bl
194 ; CHECK: bl
195   %scale = fmul <2 x double> %in, <double 2.0, double 2.0>
196   %conv = fptoui <2 x double> %scale to <2 x i64>
197   ret <2 x i64> %conv
198 }
199