test/Transforms/InstCombine/double-float-shrink-1.ll

   1 ; RUN: opt < %s -instcombine -enable-double-float-shrink -S | FileCheck %s
   2
   3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 define float @acos_test(float %f) nounwind readnone {
   7 ; CHECK: acos_test
   8    %conv = fpext float %f to double
   9    %call = call double @acos(double %conv)
  10    %conv1 = fptrunc double %call to float
  11    ret float %conv1
  12 ; CHECK: call float @acosf(float %f)
  13 }
  14
  15 define double @acos_test2(float %f) nounwind readnone {
  16 ; CHECK: acos_test2
  17    %conv = fpext float %f to double
  18    %call = call double @acos(double %conv)
  19    ret double %call
  20 ; CHECK: call double @acos(double %conv)
  21 }
  22
  23 define float @acosh_test(float %f) nounwind readnone {
  24 ; CHECK: acosh_test
  25    %conv = fpext float %f to double
  26    %call = call double @acosh(double %conv)
  27    %conv1 = fptrunc double %call to float
  28    ret float %conv1
  29 ; CHECK: call float @acoshf(float %f)
  30 }
  31
  32 define double @acosh_test2(float %f) nounwind readnone {
  33 ; CHECK: acosh_test2
  34    %conv = fpext float %f to double
  35    %call = call double @acosh(double %conv)
  36    ret double %call
  37 ; CHECK: call double @acosh(double %conv)
  38 }
  39
  40 define float @asin_test(float %f) nounwind readnone {
  41 ; CHECK: asin_test
  42    %conv = fpext float %f to double
  43    %call = call double @asin(double %conv)
  44    %conv1 = fptrunc double %call to float
  45    ret float %conv1
  46 ; CHECK: call float @asinf(float %f)
  47 }
  48
  49 define double @asin_test2(float %f) nounwind readnone {
  50 ; CHECK: asin_test2
  51    %conv = fpext float %f to double
  52    %call = call double @asin(double %conv)
  53    ret double %call
  54 ; CHECK: call double @asin(double %conv)
  55 }
  56
  57 define float @asinh_test(float %f) nounwind readnone {
  58 ; CHECK: asinh_test
  59    %conv = fpext float %f to double
  60    %call = call double @asinh(double %conv)
  61    %conv1 = fptrunc double %call to float
  62    ret float %conv1
  63 ; CHECK: call float @asinhf(float %f)
  64 }
  65
  66 define double @asinh_test2(float %f) nounwind readnone {
  67 ; CHECK: asinh_test2
  68    %conv = fpext float %f to double
  69    %call = call double @asinh(double %conv)
  70    ret double %call
  71 ; CHECK: call double @asinh(double %conv)
  72 }
  73
  74 define float @atan_test(float %f) nounwind readnone {
  75 ; CHECK: atan_test
  76    %conv = fpext float %f to double
  77    %call = call double @atan(double %conv)
  78    %conv1 = fptrunc double %call to float
  79    ret float %conv1
  80 ; CHECK: call float @atanf(float %f)
  81 }
  82
  83 define double @atan_test2(float %f) nounwind readnone {
  84 ; CHECK: atan_test2
  85    %conv = fpext float %f to double
  86    %call = call double @atan(double %conv)
  87    ret double %call
  88 ; CHECK: call double @atan(double %conv)
  89 }
  90 define float @atanh_test(float %f) nounwind readnone {
  91 ; CHECK: atanh_test
  92    %conv = fpext float %f to double
  93    %call = call double @atanh(double %conv)
  94    %conv1 = fptrunc double %call to float
  95    ret float %conv1
  96 ; CHECK: call float @atanhf(float %f)
  97 }
  98
  99 define double @atanh_test2(float %f) nounwind readnone {
 100 ; CHECK: atanh_test2
 101     %conv = fpext float %f to double
 102     %call = call double @atanh(double %conv)
 103     ret double %call
 104 ; CHECK: call double @atanh(double %conv)
 105 }
 106 define float @cbrt_test(float %f) nounwind readnone {
 107 ; CHECK: cbrt_test
 108    %conv = fpext float %f to double
 109    %call = call double @cbrt(double %conv)
 110    %conv1 = fptrunc double %call to float
 111    ret float %conv1
 112 ; CHECK: call float @cbrtf(float %f)
 113 }
 114
 115 define double @cbrt_test2(float %f) nounwind readnone {
 116 ; CHECK: cbrt_test2
 117    %conv = fpext float %f to double
 118    %call = call double @cbrt(double %conv)
 119    ret double %call
 120 ; CHECK: call double @cbrt(double %conv)
 121 }
 122 define float @exp_test(float %f) nounwind readnone {
 123 ; CHECK: exp_test
 124    %conv = fpext float %f to double
 125    %call = call double @exp(double %conv)
 126    %conv1 = fptrunc double %call to float
 127    ret float %conv1
 128 ; CHECK: call float @expf(float %f)
 129 }
 130
 131 define double @exp_test2(float %f) nounwind readnone {
 132 ; CHECK: exp_test2
 133    %conv = fpext float %f to double
 134    %call = call double @exp(double %conv)
 135    ret double %call
 136 ; CHECK: call double @exp(double %conv)
 137 }
 138 define float @expm1_test(float %f) nounwind readnone {
 139 ; CHECK: expm1_test
 140    %conv = fpext float %f to double
 141    %call = call double @expm1(double %conv)
 142    %conv1 = fptrunc double %call to float
 143    ret float %conv1
 144 ; CHECK: call float @expm1f(float %f)
 145 }
 146
 147 define double @expm1_test2(float %f) nounwind readnone {
 148 ; CHECK: expm1_test2
 149    %conv = fpext float %f to double
 150    %call = call double @expm1(double %conv)
 151    ret double %call
 152 ; CHECK: call double @expm1(double %conv)
 153 }
 154 define float @exp10_test(float %f) nounwind readnone {
 155 ; CHECK: exp10_test
 156    %conv = fpext float %f to double
 157    %call = call double @exp10(double %conv)
 158    %conv1 = fptrunc double %call to float
 159    ret float %conv1
 160 ; CHECK: call float @exp10f(float %f)
 161 }
 162
 163 define double @exp10_test2(float %f) nounwind readnone {
 164 ; CHECK: exp10_test2
 165    %conv = fpext float %f to double
 166    %call = call double @exp10(double %conv)
 167    ret double %call
 168 ; CHECK: call double @exp10(double %conv)
 169 }
 170 define float @log_test(float %f) nounwind readnone {
 171 ; CHECK: log_test
 172    %conv = fpext float %f to double
 173    %call = call double @log(double %conv)
 174    %conv1 = fptrunc double %call to float
 175    ret float %conv1
 176 ; CHECK: call float @logf(float %f)
 177 }
 178
 179 define double @log_test2(float %f) nounwind readnone {
 180 ; CHECK: log_test2
 181    %conv = fpext float %f to double
 182    %call = call double @log(double %conv)
 183    ret double %call
 184 ; CHECK: call double @log(double %conv)
 185 }
 186 define float @log10_test(float %f) nounwind readnone {
 187 ; CHECK: log10_test
 188    %conv = fpext float %f to double
 189    %call = call double @log10(double %conv)
 190    %conv1 = fptrunc double %call to float
 191    ret float %conv1
 192 ; CHECK: call float @log10f(float %f)
 193 }
 194
 195 define double @log10_test2(float %f) nounwind readnone {
 196 ; CHECK: log10_test2
 197    %conv = fpext float %f to double
 198    %call = call double @log10(double %conv)
 199    ret double %call
 200 ; CHECK: call double @log10(double %conv)
 201 }
 202 define float @log1p_test(float %f) nounwind readnone {
 203 ; CHECK: log1p_test
 204    %conv = fpext float %f to double
 205    %call = call double @log1p(double %conv)
 206    %conv1 = fptrunc double %call to float
 207    ret float %conv1
 208 ; CHECK: call float @log1pf(float %f)
 209 }
 210
 211 define double @log1p_test2(float %f) nounwind readnone {
 212 ; CHECK: log1p_test2
 213    %conv = fpext float %f to double
 214    %call = call double @log1p(double %conv)
 215    ret double %call
 216 ; CHECK: call double @log1p(double %conv)
 217 }
 218 define float @log2_test(float %f) nounwind readnone {
 219 ; CHECK: log2_test
 220    %conv = fpext float %f to double
 221    %call = call double @log2(double %conv)
 222    %conv1 = fptrunc double %call to float
 223    ret float %conv1
 224 ; CHECK: call float @log2f(float %f)
 225 }
 226
 227 define double @log2_test2(float %f) nounwind readnone {
 228 ; CHECK: log2_test2
 229    %conv = fpext float %f to double
 230    %call = call double @log2(double %conv)
 231    ret double %call
 232 ; CHECK: call double @log2(double %conv)
 233 }
 234 define float @logb_test(float %f) nounwind readnone {
 235 ; CHECK: logb_test
 236    %conv = fpext float %f to double
 237    %call = call double @logb(double %conv)
 238    %conv1 = fptrunc double %call to float
 239    ret float %conv1
 240 ; CHECK: call float @logbf(float %f)
 241 }
 242
 243 define double @logb_test2(float %f) nounwind readnone {
 244 ; CHECK: logb_test2
 245    %conv = fpext float %f to double
 246    %call = call double @logb(double %conv)
 247    ret double %call
 248 ; CHECK: call double @logb(double %conv)
 249 }
 250 define float @sin_test(float %f) nounwind readnone {
 251 ; CHECK: sin_test
 252    %conv = fpext float %f to double
 253    %call = call double @sin(double %conv)
 254    %conv1 = fptrunc double %call to float
 255    ret float %conv1
 256 ; CHECK: call float @sinf(float %f)
 257 }
 258
 259 define double @sin_test2(float %f) nounwind readnone {
 260 ; CHECK: sin_test2
 261    %conv = fpext float %f to double
 262    %call = call double @sin(double %conv)
 263    ret double %call
 264 ; CHECK: call double @sin(double %conv)
 265 }
 266 define float @sqrt_test(float %f) nounwind readnone {
 267 ; CHECK: sqrt_test
 268    %conv = fpext float %f to double
 269    %call = call double @sqrt(double %conv)
 270    %conv1 = fptrunc double %call to float
 271    ret float %conv1
 272 ; CHECK: call float @sqrtf(float %f)
 273 }
 274
 275 define double @sqrt_test2(float %f) nounwind readnone {
 276 ; CHECK: sqrt_test2
 277    %conv = fpext float %f to double
 278    %call = call double @sqrt(double %conv)
 279    ret double %call
 280 ; CHECK: call double @sqrt(double %conv)
 281 }
 282 define float @tan_test(float %f) nounwind readnone {
 283 ; CHECK: tan_test
 284    %conv = fpext float %f to double
 285    %call = call double @tan(double %conv)
 286    %conv1 = fptrunc double %call to float
 287    ret float %conv1
 288 ; CHECK: call float @tanf(float %f)
 289 }
 290
 291 define double @tan_test2(float %f) nounwind readnone {
 292 ; CHECK: tan_test2
 293    %conv = fpext float %f to double
 294    %call = call double @tan(double %conv)
 295    ret double %call
 296 ; CHECK: call double @tan(double %conv)
 297 }
 298 define float @tanh_test(float %f) nounwind readnone {
 299 ; CHECK: tanh_test
 300    %conv = fpext float %f to double
 301    %call = call double @tanh(double %conv)
 302    %conv1 = fptrunc double %call to float
 303    ret float %conv1
 304 ; CHECK: call float @tanhf(float %f)
 305 }
 306
 307 define double @tanh_test2(float %f) nounwind readnone {
 308 ; CHECK: tanh_test2
 309    %conv = fpext float %f to double
 310    %call = call double @tanh(double %conv)
 311    ret double %call
 312 ; CHECK: call double @tanh(double %conv)
 313 }
 314
 315 declare double @tanh(double) nounwind readnone
 316 declare double @tan(double) nounwind readnone
 317 declare double @sqrt(double) nounwind readnone
 318 declare double @sin(double) nounwind readnone
 319 declare double @log2(double) nounwind readnone
 320 declare double @log1p(double) nounwind readnone
 321 declare double @log10(double) nounwind readnone
 322 declare double @log(double) nounwind readnone
 323 declare double @logb(double) nounwind readnone
 324 declare double @exp10(double) nounwind readnone
 325 declare double @expm1(double) nounwind readnone
 326 declare double @exp(double) nounwind readnone
 327 declare double @cbrt(double) nounwind readnone
 328 declare double @atanh(double) nounwind readnone
 329 declare double @atan(double) nounwind readnone
 330 declare double @acos(double) nounwind readnone
 331 declare double @acosh(double) nounwind readnone
 332 declare double @asin(double) nounwind readnone
 333 declare double @asinh(double) nounwind readnone