test/CodeGen/Thumb2/float-intrinsics-double.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=SOFT -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 double     @llvm.sqrt.f64(double %Val)
   7 define double @sqrt_d(double %a) {
   8 ; CHECK-LABEL: sqrt_d:
   9 ; SOFT: {{(bl|b)}} sqrt
  10 ; HARD: vsqrt.f64 d0, d0
  11   %1 = call double @llvm.sqrt.f64(double %a)
  12   ret double %1
  13 }
  14
  15 declare double     @llvm.powi.f64(double %Val, i32 %power)
  16 define double @powi_d(double %a, i32 %b) {
  17 ; CHECK-LABEL: powi_d:
  18 ; SOFT: {{(bl|b)}} __powidf2
  19 ; HARD: b __powidf2
  20   %1 = call double @llvm.powi.f64(double %a, i32 %b)
  21   ret double %1
  22 }
  23
  24 declare double     @llvm.sin.f64(double %Val)
  25 define double @sin_d(double %a) {
  26 ; CHECK-LABEL: sin_d:
  27 ; SOFT: {{(bl|b)}} sin
  28 ; HARD: b sin
  29   %1 = call double @llvm.sin.f64(double %a)
  30   ret double %1
  31 }
  32
  33 declare double     @llvm.cos.f64(double %Val)
  34 define double @cos_d(double %a) {
  35 ; CHECK-LABEL: cos_d:
  36 ; SOFT: {{(bl|b)}} cos
  37 ; HARD: b cos
  38   %1 = call double @llvm.cos.f64(double %a)
  39   ret double %1
  40 }
  41
  42 declare double     @llvm.pow.f64(double %Val, double %power)
  43 define double @pow_d(double %a, double %b) {
  44 ; CHECK-LABEL: pow_d:
  45 ; SOFT: {{(bl|b)}} pow
  46 ; HARD: b pow
  47   %1 = call double @llvm.pow.f64(double %a, double %b)
  48   ret double %1
  49 }
  50
  51 declare double     @llvm.exp.f64(double %Val)
  52 define double @exp_d(double %a) {
  53 ; CHECK-LABEL: exp_d:
  54 ; SOFT: {{(bl|b)}} exp
  55 ; HARD: b exp
  56   %1 = call double @llvm.exp.f64(double %a)
  57   ret double %1
  58 }
  59
  60 declare double     @llvm.exp2.f64(double %Val)
  61 define double @exp2_d(double %a) {
  62 ; CHECK-LABEL: exp2_d:
  63 ; SOFT: {{(bl|b)}} exp2
  64 ; HARD: b exp2
  65   %1 = call double @llvm.exp2.f64(double %a)
  66   ret double %1
  67 }
  68
  69 declare double     @llvm.log.f64(double %Val)
  70 define double @log_d(double %a) {
  71 ; CHECK-LABEL: log_d:
  72 ; SOFT: {{(bl|b)}} log
  73 ; HARD: b log
  74   %1 = call double @llvm.log.f64(double %a)
  75   ret double %1
  76 }
  77
  78 declare double     @llvm.log10.f64(double %Val)
  79 define double @log10_d(double %a) {
  80 ; CHECK-LABEL: log10_d:
  81 ; SOFT: {{(bl|b)}} log10
  82 ; HARD: b log10
  83   %1 = call double @llvm.log10.f64(double %a)
  84   ret double %1
  85 }
  86
  87 declare double     @llvm.log2.f64(double %Val)
  88 define double @log2_d(double %a) {
  89 ; CHECK-LABEL: log2_d:
  90 ; SOFT: {{(bl|b)}} log2
  91 ; HARD: b log2
  92   %1 = call double @llvm.log2.f64(double %a)
  93   ret double %1
  94 }
  95
  96 declare double     @llvm.fma.f64(double %a, double %b, double %c)
  97 define double @fma_d(double %a, double %b, double %c) {
  98 ; CHECK-LABEL: fma_d:
  99 ; SOFT: {{(bl|b)}} fma
 100 ; HARD: vfma.f64
 101   %1 = call double @llvm.fma.f64(double %a, double %b, double %c)
 102   ret double %1
 103 }
 104
 105 ; FIXME: the FPv4-SP version is less efficient than the no-FPU version
 106 declare double     @llvm.fabs.f64(double %Val)
 107 define double @abs_d(double %a) {
 108 ; CHECK-LABEL: abs_d:
 109 ; NONE: bic r1, r1, #-2147483648
 110 ; SP: bl __aeabi_dcmpgt
 111 ; SP: bl __aeabi_dcmpun
 112 ; SP: bl __aeabi_dsub
 113 ; DP: vabs.f64 d0, d0
 114   %1 = call double @llvm.fabs.f64(double %a)
 115   ret double %1
 116 }
 117
 118 declare double     @llvm.copysign.f64(double  %Mag, double  %Sgn)
 119 define double @copysign_d(double %a, double %b) {
 120 ; CHECK-LABEL: copysign_d:
 121 ; SOFT: lsrs [[REG:r[0-9]+]], r3, #31
 122 ; SOFT: bfi r1, [[REG]], #31, #1
 123 ; VFP: lsrs [[REG:r[0-9]+]], r3, #31
 124 ; VFP: bfi r1, [[REG]], #31, #1
 125 ; NEON: vmov.i32 [[REG:d[0-9]+]], #0x80000000
 126 ; NEON: vshl.i64 [[REG]], [[REG]], #32
 127 ; NEON: vbsl [[REG]], d
 128   %1 = call double @llvm.copysign.f64(double %a, double %b)
 129   ret double %1
 130 }
 131
 132 declare double     @llvm.floor.f64(double %Val)
 133 define double @floor_d(double %a) {
 134 ; CHECK-LABEL: floor_d:
 135 ; SOFT: {{(bl|b)}} floor
 136 ; HARD: b floor
 137   %1 = call double @llvm.floor.f64(double %a)
 138   ret double %1
 139 }
 140
 141 declare double     @llvm.ceil.f64(double %Val)
 142 define double @ceil_d(double %a) {
 143 ; CHECK-LABEL: ceil_d:
 144 ; SOFT: {{(bl|b)}} ceil
 145 ; HARD: b ceil
 146   %1 = call double @llvm.ceil.f64(double %a)
 147   ret double %1
 148 }
 149
 150 declare double     @llvm.trunc.f64(double %Val)
 151 define double @trunc_d(double %a) {
 152 ; CHECK-LABEL: trunc_d:
 153 ; SOFT: {{(bl|b)}} trunc
 154 ; HARD: b trunc
 155   %1 = call double @llvm.trunc.f64(double %a)
 156   ret double %1
 157 }
 158
 159 declare double     @llvm.rint.f64(double %Val)
 160 define double @rint_d(double %a) {
 161 ; CHECK-LABEL: rint_d:
 162 ; SOFT: {{(bl|b)}} rint
 163 ; HARD: b rint
 164   %1 = call double @llvm.rint.f64(double %a)
 165   ret double %1
 166 }
 167
 168 declare double     @llvm.nearbyint.f64(double %Val)
 169 define double @nearbyint_d(double %a) {
 170 ; CHECK-LABEL: nearbyint_d:
 171 ; SOFT: {{(bl|b)}} nearbyint
 172 ; HARD: b nearbyint
 173   %1 = call double @llvm.nearbyint.f64(double %a)
 174   ret double %1
 175 }
 176
 177 declare double     @llvm.round.f64(double %Val)
 178 define double @round_d(double %a) {
 179 ; CHECK-LABEL: round_d:
 180 ; SOFT: {{(bl|b)}} round
 181 ; HARD: b round
 182   %1 = call double @llvm.round.f64(double %a)
 183   ret double %1
 184 }
 185
 186 declare double     @llvm.fmuladd.f64(double %a, double %b, double %c)
 187 define double @fmuladd_d(double %a, double %b, double %c) {
 188 ; CHECK-LABEL: fmuladd_d:
 189 ; SOFT: bl __aeabi_dmul
 190 ; SOFT: bl __aeabi_dadd
 191 ; NEON: vmul.f64
 192 ; NEON: vadd.f64
 193 ; VFP: vmla.f64
 194   %1 = call double @llvm.fmuladd.f64(double %a, double %b, double %c)
 195   ret double %1
 196 }
 197
 198 declare i16 @llvm.convert.to.fp16.f64(double %a)
 199 define i16 @d_to_h(double %a) {
 200 ; CHECK-LABEL: d_to_h:
 201 ; SOFT: bl __aeabi_d2h
 202 ; HARD: bl __aeabi_d2h
 203   %1 = call i16 @llvm.convert.to.fp16.f64(double %a)
 204   ret i16 %1
 205 }
 206
 207 declare double @llvm.convert.from.fp16.f64(i16 %a)
 208 define double @h_to_d(i16 %a) {
 209 ; CHECK-LABEL: h_to_d:
 210 ; NONE: bl __gnu_h2f_ieee
 211 ; NONE: bl __aeabi_f2d
 212 ; SP: vcvtb.f32.f16
 213 ; SP: bl __aeabi_f2d
 214 ; DP: vcvtb.f32.f16
 215 ; DP: vcvt.f64.f32
 216   %1 = call double @llvm.convert.from.fp16.f64(i16 %a)
 217   ret double %1
 218 }