test/CodeGen/Thumb2/float-intrinsics-float.ll

   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
   5
   6 declare float     @llvm.sqrt.f32(float %Val)
   7 define float @sqrt_f(float %a) {
   8 ; CHECK-LABEL: sqrt_f:
   9 ; SOFT: bl sqrtf
  10 ; HARD: vsqrt.f32 s0, s0
  11   %1 = call float @llvm.sqrt.f32(float %a)
  12   ret float %1
  13 }
  14
  15 declare float     @llvm.powi.f32(float %Val, i32 %power)
  16 define float @powi_f(float %a, i32 %b) {
  17 ; CHECK-LABEL: powi_f:
  18 ; SOFT: bl __powisf2
  19 ; HARD: b __powisf2
  20   %1 = call float @llvm.powi.f32(float %a, i32 %b)
  21   ret float %1
  22 }
  23
  24 declare float     @llvm.sin.f32(float %Val)
  25 define float @sin_f(float %a) {
  26 ; CHECK-LABEL: sin_f:
  27 ; SOFT: bl sinf
  28 ; HARD: b sinf
  29   %1 = call float @llvm.sin.f32(float %a)
  30   ret float %1
  31 }
  32
  33 declare float     @llvm.cos.f32(float %Val)
  34 define float @cos_f(float %a) {
  35 ; CHECK-LABEL: cos_f:
  36 ; SOFT: bl cosf
  37 ; HARD: b cosf
  38   %1 = call float @llvm.cos.f32(float %a)
  39   ret float %1
  40 }
  41
  42 declare float     @llvm.pow.f32(float %Val, float %power)
  43 define float @pow_f(float %a, float %b) {
  44 ; CHECK-LABEL: pow_f:
  45 ; SOFT: bl powf
  46 ; HARD: b powf
  47   %1 = call float @llvm.pow.f32(float %a, float %b)
  48   ret float %1
  49 }
  50
  51 declare float     @llvm.exp.f32(float %Val)
  52 define float @exp_f(float %a) {
  53 ; CHECK-LABEL: exp_f:
  54 ; SOFT: bl expf
  55 ; HARD: b expf
  56   %1 = call float @llvm.exp.f32(float %a)
  57   ret float %1
  58 }
  59
  60 declare float     @llvm.exp2.f32(float %Val)
  61 define float @exp2_f(float %a) {
  62 ; CHECK-LABEL: exp2_f:
  63 ; SOFT: bl exp2f
  64 ; HARD: b exp2f
  65   %1 = call float @llvm.exp2.f32(float %a)
  66   ret float %1
  67 }
  68
  69 declare float     @llvm.log.f32(float %Val)
  70 define float @log_f(float %a) {
  71 ; CHECK-LABEL: log_f:
  72 ; SOFT: bl logf
  73 ; HARD: b logf
  74   %1 = call float @llvm.log.f32(float %a)
  75   ret float %1
  76 }
  77
  78 declare float     @llvm.log10.f32(float %Val)
  79 define float @log10_f(float %a) {
  80 ; CHECK-LABEL: log10_f:
  81 ; SOFT: bl log10f
  82 ; HARD: b log10f
  83   %1 = call float @llvm.log10.f32(float %a)
  84   ret float %1
  85 }
  86
  87 declare float     @llvm.log2.f32(float %Val)
  88 define float @log2_f(float %a) {
  89 ; CHECK-LABEL: log2_f:
  90 ; SOFT: bl log2f
  91 ; HARD: b log2f
  92   %1 = call float @llvm.log2.f32(float %a)
  93   ret float %1
  94 }
  95
  96 declare float     @llvm.fma.f32(float %a, float %b, float %c)
  97 define float @fma_f(float %a, float %b, float %c) {
  98 ; CHECK-LABEL: fma_f:
  99 ; SOFT: bl fmaf
 100 ; HARD: vfma.f32
 101   %1 = call float @llvm.fma.f32(float %a, float %b, float %c)
 102   ret float %1
 103 }
 104
 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
 109 ; HARD: vabs.f32
 110   %1 = call float @llvm.fabs.f32(float %a)
 111   ret float %1
 112 }
 113
 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)
 126   ret float %1
 127 }
 128
 129 declare float     @llvm.floor.f32(float %Val)
 130 define float @floor_f(float %a) {
 131 ; CHECK-LABEL: floor_f:
 132 ; SOFT: bl floorf
 133 ; HARD: b floorf
 134   %1 = call float @llvm.floor.f32(float %a)
 135   ret float %1
 136 }
 137
 138 declare float     @llvm.ceil.f32(float %Val)
 139 define float @ceil_f(float %a) {
 140 ; CHECK-LABEL: ceil_f:
 141 ; SOFT: bl ceilf
 142 ; HARD: b ceilf
 143   %1 = call float @llvm.ceil.f32(float %a)
 144   ret float %1
 145 }
 146
 147 declare float     @llvm.trunc.f32(float %Val)
 148 define float @trunc_f(float %a) {
 149 ; CHECK-LABEL: trunc_f:
 150 ; SOFT: bl truncf
 151 ; HARD: b truncf
 152   %1 = call float @llvm.trunc.f32(float %a)
 153   ret float %1
 154 }
 155
 156 declare float     @llvm.rint.f32(float %Val)
 157 define float @rint_f(float %a) {
 158 ; CHECK-LABEL: rint_f:
 159 ; SOFT: bl rintf
 160 ; HARD: b rintf
 161   %1 = call float @llvm.rint.f32(float %a)
 162   ret float %1
 163 }
 164
 165 declare float     @llvm.nearbyint.f32(float %Val)
 166 define float @nearbyint_f(float %a) {
 167 ; CHECK-LABEL: nearbyint_f:
 168 ; SOFT: bl nearbyintf
 169 ; HARD: b nearbyintf
 170   %1 = call float @llvm.nearbyint.f32(float %a)
 171   ret float %1
 172 }
 173
 174 declare float     @llvm.round.f32(float %Val)
 175 define float @round_f(float %a) {
 176 ; CHECK-LABEL: round_f:
 177 ; SOFT: bl roundf
 178 ; HARD: b roundf
 179   %1 = call float @llvm.round.f32(float %a)
 180   ret float %1
 181 }
 182
 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
 190 ; SP: vmla.f32
 191 ; VFP: vmla.f32
 192 ; NEON: vmul.f32
 193 ; NEON: vadd.f32
 194   %1 = call float @llvm.fmuladd.f32(float %a, float %b, float %c)
 195   ret float %1
 196 }
 197
 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)
 204   ret i16 %1
 205 }
 206
 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)
 213   ret float %1
 214 }