test/Analysis/ConstantFolding/math-1.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -early-cse -S -o - %s | FileCheck %s
   3
   4 declare double @acos(double)
   5 define double @f_acos() {
   6 ; CHECK-LABEL: @f_acos(
   7 ; CHECK-NEXT:    ret double 0.000000e+00
   8 ;
   9   %res = tail call fast double @acos(double 1.0)
  10   ret double %res
  11 }
  12
  13 declare float @asinf(float)
  14 define float @f_asinf() {
  15 ; CHECK-LABEL: @f_asinf(
  16 ; CHECK-NEXT:    ret float 0x3FF921FB{{.+}}
  17 ;
  18   %res = tail call fast float @asinf(float 1.0)
  19   ret float %res
  20 }
  21
  22 declare double @atan(double)
  23 define double @f_atan() {
  24 ; CHECK-LABEL: @f_atan(
  25 ; CHECK-NEXT:    [[RES:%.*]] = tail call fast double @atan(double 1.000000e+00)
  26 ; CHECK-NEXT:    ret double 0x3FE921FB
  27 ;
  28   %res = tail call fast double @atan(double 1.0)
  29   ret double %res
  30 }
  31
  32 declare float @cosf(float)
  33 define float @f_cosf() {
  34 ; CHECK-LABEL: @f_cosf(
  35 ; CHECK-NEXT:    ret float 0x3FE14A2{{.+}}
  36 ;
  37   %res = tail call fast float @cosf(float 1.0)
  38   ret float %res
  39 }
  40
  41 declare float @llvm.cos.f32(float)
  42 define float @i_cosf() {
  43 ; CHECK-LABEL: @i_cosf(
  44 ; CHECK-NEXT:    ret float 0x3FE14A2
  45 ;
  46   %res = tail call fast float @llvm.cos.f32(float 1.0)
  47   ret float %res
  48 }
  49
  50 declare double @cosh(double)
  51 define double @f_cosh() {
  52 ; CHECK-LABEL: @f_cosh(
  53 ; CHECK-NEXT:    ret double 0x3FF8B075{{.+}}
  54 ;
  55   %res = tail call fast double @cosh(double 1.0)
  56   ret double %res
  57 }
  58
  59 declare float @expf(float)
  60 define float @f_expf() {
  61 ; CHECK-LABEL: @f_expf(
  62 ; CHECK-NEXT:    ret float 0x4005BF0A{{.+}}
  63 ;
  64   %res = tail call fast float @expf(float 1.0)
  65   ret float %res
  66 }
  67
  68 declare float @llvm.exp.f32(float)
  69 define float @i_expf() {
  70 ; CHECK-LABEL: @i_expf(
  71 ; CHECK-NEXT:    ret float 0x4005BF0A{{.+}}
  72 ;
  73   %res = tail call fast float @llvm.exp.f32(float 1.0)
  74   ret float %res
  75 }
  76
  77 declare double @exp2(double)
  78 define double @f_exp2() {
  79 ; CHECK-LABEL: @f_exp2(
  80 ; CHECK-NEXT:    ret double 2.000000e+00
  81 ;
  82   %res = tail call fast double @exp2(double 1.0)
  83   ret double %res
  84 }
  85
  86 declare double @llvm.exp2.f64(double)
  87 define double @i_exp2() {
  88 ; CHECK-LABEL: @i_exp2(
  89 ; CHECK-NEXT:    ret double 2.000000e+00
  90 ;
  91   %res = tail call fast double @llvm.exp2.f64(double 1.0)
  92   ret double %res
  93 }
  94
  95 ; FIXME
  96 declare float @exp10f(float)
  97 define float @f_exp10f() {
  98 ; CHECK-LABEL: @f_exp10f(
  99 ; CHECK-NEXT:    [[RES:%.*]] = tail call fast float @exp10f(float 1.000000e+00)
 100 ; CHECK-NEXT:    ret float [[RES]]
 101 ;
 102   %res = tail call fast float @exp10f(float 1.0)
 103   ret float %res
 104 }
 105
 106 declare double @log(double)
 107 define double @f_log() {
 108 ; CHECK-LABEL: @f_log(
 109 ; CHECK-NEXT:    ret double 0.000000e+00
 110 ;
 111   %res = tail call fast double @log(double 1.0)
 112   ret double %res
 113 }
 114
 115 declare double @llvm.log.f64(double)
 116 define double @i_log() {
 117 ; CHECK-LABEL: @i_log(
 118 ; CHECK-NEXT:    ret double 0.000000e+00
 119 ;
 120   %res = tail call fast double @llvm.log.f64(double 1.0)
 121   ret double %res
 122 }
 123
 124 ; FIXME
 125 declare float @log2f(float)
 126 define float @f_log2f() {
 127 ; CHECK-LABEL: @f_log2f(
 128 ; CHECK-NEXT:    [[RES:%.*]] = tail call fast float @log2f(float 1.000000e+00)
 129 ; CHECK-NEXT:    ret float [[RES]]
 130 ;
 131   %res = tail call fast float @log2f(float 1.0)
 132   ret float %res
 133 }
 134
 135 declare float @llvm.log2.f32(float)
 136 define float @i_log2f() {
 137 ; CHECK-LABEL: @i_log2f(
 138 ; CHECK-NEXT:    ret float 0.000000e+00
 139 ;
 140   %res = tail call fast float @llvm.log2.f32(float 1.0)
 141   ret float %res
 142 }
 143
 144 declare double @log10(double)
 145 define double @f_log10() {
 146 ; CHECK-LABEL: @f_log10(
 147 ; CHECK-NEXT:    ret double 0.000000e+00
 148 ;
 149   %res = tail call fast double @log10(double 1.0)
 150   ret double %res
 151 }
 152
 153 declare float @sinf(float)
 154 define float @f_sinf() {
 155 ; CHECK-LABEL: @f_sinf(
 156 ; CHECK-NEXT:    ret float 0x3FEAED54{{.+}}
 157 ;
 158   %res = tail call fast float @sinf(float 1.0)
 159   ret float %res
 160 }
 161
 162 declare double @sinh(double)
 163 define double @f_sinh() {
 164 ; CHECK-LABEL: @f_sinh(
 165 ; CHECK-NEXT:    ret double 0x3FF2CD9F{{.+}}
 166 ;
 167   %res = tail call fast double @sinh(double 1.0)
 168   ret double %res
 169 }
 170
 171 declare float @sqrtf(float)
 172 define float @f_sqrtf() {
 173 ; CHECK-LABEL: @f_sqrtf(
 174 ; CHECK-NEXT:    ret float 1.000000e+00
 175 ;
 176   %res = tail call fast float @sqrtf(float 1.0)
 177   ret float %res
 178 }
 179
 180 declare double @tan(double)
 181 define double @f_tan() {
 182 ; CHECK-LABEL: @f_tan(
 183 ; CHECK-NEXT:    ret double 0x3FF8EB24{{.+}}
 184 ;
 185   %res = tail call fast double @tan(double 1.0)
 186   ret double %res
 187 }
 188
 189 declare float @tanhf(float)
 190 define float @f_tanhf() {
 191 ; CHECK-LABEL: @f_tanhf(
 192 ; CHECK-NEXT:    [[RES:%.*]] = tail call fast float @tanhf(float 1.000000e+00)
 193 ; CHECK-NEXT:    ret float 0x3FE85EFA{{.+}}
 194 ;
 195   %res = tail call fast float @tanhf(float 1.0)
 196   ret float %res
 197 }