1 ; RUN: llc < %s -mtriple=thumbv7-none-eabi -mcpu=cortex-m3 | FileCheck %s -check-prefix=CHECK -check-prefix=SOFT -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-m7 | FileCheck %s -check-prefix=CHECK -check-prefix=HARD -check-prefix=DP -check-prefix=VFP
4 ; RUN: llc < %s -mtriple=thumbv7-none-eabihf -mcpu=cortex-a7 | FileCheck %s -check-prefix=CHECK -check-prefix=HARD -check-prefix=DP -check-prefix=NEON
6 declare float @llvm.sqrt.f32(float %Val)
7 define float @sqrt_f(float %a) {
10 ; HARD: vsqrt.f32 s0, s0
11 %1 = call float @llvm.sqrt.f32(float %a)
15 declare float @llvm.powi.f32(float %Val, i32 %power)
16 define float @powi_f(float %a, i32 %b) {
17 ; CHECK-LABEL: powi_f:
20 %1 = call float @llvm.powi.f32(float %a, i32 %b)
24 declare float @llvm.sin.f32(float %Val)
25 define float @sin_f(float %a) {
29 %1 = call float @llvm.sin.f32(float %a)
33 declare float @llvm.cos.f32(float %Val)
34 define float @cos_f(float %a) {
38 %1 = call float @llvm.cos.f32(float %a)
42 declare float @llvm.pow.f32(float %Val, float %power)
43 define float @pow_f(float %a, float %b) {
47 %1 = call float @llvm.pow.f32(float %a, float %b)
51 declare float @llvm.exp.f32(float %Val)
52 define float @exp_f(float %a) {
56 %1 = call float @llvm.exp.f32(float %a)
60 declare float @llvm.exp2.f32(float %Val)
61 define float @exp2_f(float %a) {
62 ; CHECK-LABEL: exp2_f:
65 %1 = call float @llvm.exp2.f32(float %a)
69 declare float @llvm.log.f32(float %Val)
70 define float @log_f(float %a) {
74 %1 = call float @llvm.log.f32(float %a)
78 declare float @llvm.log10.f32(float %Val)
79 define float @log10_f(float %a) {
80 ; CHECK-LABEL: log10_f:
83 %1 = call float @llvm.log10.f32(float %a)
87 declare float @llvm.log2.f32(float %Val)
88 define float @log2_f(float %a) {
89 ; CHECK-LABEL: log2_f:
92 %1 = call float @llvm.log2.f32(float %a)
96 declare float @llvm.fma.f32(float %a, float %b, float %c)
97 define float @fma_f(float %a, float %b, float %c) {
101 %1 = call float @llvm.fma.f32(float %a, float %b, float %c)
105 declare float @llvm.fabs.f32(float %Val)
106 define float @abs_f(float %a) {
107 ; CHECK-LABEL: abs_f:
108 ; SOFT: bic r0, r0, #-2147483648
110 %1 = call float @llvm.fabs.f32(float %a)
114 declare float @llvm.copysign.f32(float %Mag, float %Sgn)
115 define float @copysign_f(float %a, float %b) {
116 ; CHECK-LABEL: copysign_f:
117 ; NONE: lsrs [[REG:r[0-9]+]], r{{[0-9]+}}, #31
118 ; NONE: bfi r{{[0-9]+}}, [[REG]], #31, #1
119 ; SP: lsrs [[REG:r[0-9]+]], r{{[0-9]+}}, #31
120 ; SP: bfi r{{[0-9]+}}, [[REG]], #31, #1
121 ; VFP: lsrs [[REG:r[0-9]+]], r{{[0-9]+}}, #31
122 ; VFP: bfi r{{[0-9]+}}, [[REG]], #31, #1
123 ; NEON: vmov.i32 [[REG:d[0-9]+]], #0x80000000
124 ; NEON: vbsl [[REG]], d
125 %1 = call float @llvm.copysign.f32(float %a, float %b)
129 declare float @llvm.floor.f32(float %Val)
130 define float @floor_f(float %a) {
131 ; CHECK-LABEL: floor_f:
134 %1 = call float @llvm.floor.f32(float %a)
138 declare float @llvm.ceil.f32(float %Val)
139 define float @ceil_f(float %a) {
140 ; CHECK-LABEL: ceil_f:
143 %1 = call float @llvm.ceil.f32(float %a)
147 declare float @llvm.trunc.f32(float %Val)
148 define float @trunc_f(float %a) {
149 ; CHECK-LABEL: trunc_f:
152 %1 = call float @llvm.trunc.f32(float %a)
156 declare float @llvm.rint.f32(float %Val)
157 define float @rint_f(float %a) {
158 ; CHECK-LABEL: rint_f:
161 %1 = call float @llvm.rint.f32(float %a)
165 declare float @llvm.nearbyint.f32(float %Val)
166 define float @nearbyint_f(float %a) {
167 ; CHECK-LABEL: nearbyint_f:
168 ; SOFT: bl nearbyintf
170 %1 = call float @llvm.nearbyint.f32(float %a)
174 declare float @llvm.round.f32(float %Val)
175 define float @round_f(float %a) {
176 ; CHECK-LABEL: round_f:
179 %1 = call float @llvm.round.f32(float %a)
183 ; FIXME: why does cortex-m4 use vmla, while cortex-a7 uses vmul+vadd?
184 ; (these should be equivalent, even the rounding is the same)
185 declare float @llvm.fmuladd.f32(float %a, float %b, float %c)
186 define float @fmuladd_f(float %a, float %b, float %c) {
187 ; CHECK-LABEL: fmuladd_f:
188 ; SOFT: bl __aeabi_fmul
189 ; SOFT: bl __aeabi_fadd
194 %1 = call float @llvm.fmuladd.f32(float %a, float %b, float %c)
198 declare i16 @llvm.convert.to.fp16.f32(float %a)
199 define i16 @f_to_h(float %a) {
200 ; CHECK-LABEL: f_to_h:
201 ; SOFT: bl __gnu_f2h_ieee
202 ; HARD: vcvtb.f16.f32
203 %1 = call i16 @llvm.convert.to.fp16.f32(float %a)
207 declare float @llvm.convert.from.fp16.f32(i16 %a)
208 define float @h_to_f(i16 %a) {
209 ; CHECK-LABEL: h_to_f:
210 ; SOFT: bl __gnu_h2f_ieee
211 ; HARD: vcvtb.f32.f16
212 %1 = call float @llvm.convert.from.fp16.f32(i16 %a)