1 ; RUN: llc < %s -mtriple=thumbv7-none-eabi -mcpu=cortex-m3 | FileCheck %s -check-prefix=CHECK -check-prefix=NONE
2 ; RUN: llc < %s -mtriple=thumbv7-none-eabihf -mcpu=cortex-m4 | FileCheck %s -check-prefix=CHECK -check-prefix=HARD -check-prefix=SP
3 ; RUN: llc < %s -mtriple=thumbv7-none-eabihf -mcpu=cortex-a8 | FileCheck %s -check-prefix=CHECK -check-prefix=HARD -check-prefix=DP
5 define float @add_f(float %a, float %b) {
8 ; NONE: bl __aeabi_fadd
9 ; HARD: vadd.f32 s0, s0, s1
10 %0 = fadd float %a, %b
14 define double @add_d(double %a, double %b) {
17 ; NONE: bl __aeabi_dadd
19 ; DP: vadd.f64 d0, d0, d1
20 %0 = fadd double %a, %b
24 define float @sub_f(float %a, float %b) {
27 ; NONE: bl __aeabi_fsub
29 %0 = fsub float %a, %b
33 define double @sub_d(double %a, double %b) {
36 ; NONE: bl __aeabi_dsub
38 ; DP: vsub.f64 d0, d0, d1
39 %0 = fsub double %a, %b
43 define float @mul_f(float %a, float %b) {
46 ; NONE: bl __aeabi_fmul
48 %0 = fmul float %a, %b
52 define double @mul_d(double %a, double %b) {
55 ; NONE: bl __aeabi_dmul
57 ; DP: vmul.f64 d0, d0, d1
58 %0 = fmul double %a, %b
62 define float @div_f(float %a, float %b) {
65 ; NONE: bl __aeabi_fdiv
67 %0 = fdiv float %a, %b
71 define double @div_d(double %a, double %b) {
74 ; NONE: bl __aeabi_ddiv
76 ; DP: vdiv.f64 d0, d0, d1
77 %0 = fdiv double %a, %b
81 define float @rem_f(float %a, float %b) {
86 %0 = frem float %a, %b
90 define double @rem_d(double %a, double %b) {
95 %0 = frem double %a, %b
99 define float @load_f(float* %a) {
101 ; CHECK-LABEL: load_f:
103 ; HARD: vldr s0, [r0]
104 %0 = load float* %a, align 4
108 define double @load_d(double* %a) {
110 ; CHECK-LABEL: load_d:
111 ; NONE: ldm.w r0, {r0, r1}
112 ; HARD: vldr d0, [r0]
113 %0 = load double* %a, align 8
117 define void @store_f(float* %a, float %b) {
119 ; CHECK-LABEL: store_f:
121 ; HARD: vstr s0, [r0]
122 store float %b, float* %a, align 4
126 define void @store_d(double* %a, double %b) {
128 ; CHECK-LABEL: store_d:
131 ; NONE: str r1, [r0, #4]
132 ; HARD: vstr d0, [r0]
133 store double %b, double* %a, align 8
137 define double @f_to_d(float %a) {
138 ; CHECK-LABEL: f_to_d:
139 ; NONE: bl __aeabi_f2d
141 ; DP: vcvt.f64.f32 d0, s0
142 %1 = fpext float %a to double
146 define float @d_to_f(double %a) {
147 ; CHECK-LABEL: d_to_f:
148 ; NONE: bl __aeabi_d2f
150 ; DP: vcvt.f32.f64 s0, d0
151 %1 = fptrunc double %a to float
155 define i32 @f_to_si(float %a) {
156 ; CHECK-LABEL: f_to_si:
157 ; NONE: bl __aeabi_f2iz
158 ; HARD: vcvt.s32.f32 s0, s0
160 %1 = fptosi float %a to i32
164 define i32 @d_to_si(double %a) {
165 ; CHECK-LABEL: d_to_si:
166 ; NONE: bl __aeabi_d2iz
167 ; SP: vmov r0, r1, d0
168 ; SP: bl __aeabi_d2iz
169 ; DP: vcvt.s32.f64 s0, d0
171 %1 = fptosi double %a to i32
175 define i32 @f_to_ui(float %a) {
176 ; CHECK-LABEL: f_to_ui:
177 ; NONE: bl __aeabi_f2uiz
178 ; HARD: vcvt.u32.f32 s0, s0
180 %1 = fptoui float %a to i32
184 define i32 @d_to_ui(double %a) {
185 ; CHECK-LABEL: d_to_ui:
186 ; NONE: bl __aeabi_d2uiz
187 ; SP: vmov r0, r1, d0
188 ; SP: bl __aeabi_d2uiz
189 ; DP: vcvt.u32.f64 s0, d0
191 %1 = fptoui double %a to i32
195 define float @si_to_f(i32 %a) {
196 ; CHECK-LABEL: si_to_f:
197 ; NONE: bl __aeabi_i2f
198 ; HARD: vcvt.f32.s32 s0, s0
199 %1 = sitofp i32 %a to float
203 define double @si_to_d(i32 %a) {
204 ; CHECK-LABEL: si_to_d:
205 ; NONE: bl __aeabi_i2d
207 ; DP: vcvt.f64.s32 d0, s0
208 %1 = sitofp i32 %a to double
212 define float @ui_to_f(i32 %a) {
213 ; CHECK-LABEL: ui_to_f:
214 ; NONE: bl __aeabi_ui2f
215 ; HARD: vcvt.f32.u32 s0, s0
216 %1 = uitofp i32 %a to float
220 define double @ui_to_d(i32 %a) {
221 ; CHECK-LABEL: ui_to_d:
222 ; NONE: bl __aeabi_ui2d
223 ; SP: bl __aeabi_ui2d
224 ; DP: vcvt.f64.u32 d0, s0
225 %1 = uitofp i32 %a to double
229 define float @bitcast_i_to_f(i32 %a) {
230 ; CHECK-LABEL: bitcast_i_to_f:
233 %1 = bitcast i32 %a to float
237 define double @bitcast_i_to_d(i64 %a) {
238 ; CHECK-LABEL: bitcast_i_to_d:
240 ; HARD: vmov d0, r0, r1
241 %1 = bitcast i64 %a to double
245 define i32 @bitcast_f_to_i(float %a) {
246 ; CHECK-LABEL: bitcast_f_to_i:
249 %1 = bitcast float %a to i32
253 define i64 @bitcast_d_to_i(double %a) {
254 ; CHECK-LABEL: bitcast_d_to_i:
256 ; HARD: vmov r0, r1, d0
257 %1 = bitcast double %a to i64
261 define float @select_f(float %a, float %b, i1 %c) {
262 ; CHECK-LABEL: select_f:
266 ; HARD: vmovne.f32 s1, s0
267 ; HARD: vmov.f32 s0, s1
268 %1 = select i1 %c, float %a, float %b
272 define double @select_d(double %a, double %b, i1 %c) {
273 ; CHECK-LABEL: select_d:
274 ; NONE: ldr.w [[REG:r[0-9]+]], [sp]
275 ; NONE: ands [[REG]], [[REG]], #1
278 ; SP: ands r0, r0, #1
279 ; SP-DAG: vmov [[ALO:r[0-9]+]], [[AHI:r[0-9]+]], d0
280 ; SP-DAG: vmov [[BLO:r[0-9]+]], [[BHI:r[0-9]+]], d1
282 ; SP-DAG: movne [[BLO]], [[ALO]]
283 ; SP-DAG: movne [[BHI]], [[AHI]]
284 ; SP: vmov d0, [[BLO]], [[BHI]]
286 ; DP: vmovne.f64 d1, d0
287 ; DP: vmov.f64 d0, d1
288 %1 = select i1 %c, double %a, double %b