test/Transforms/Util/libcalls-shrinkwrap-double.ll

   1 ; RUN: opt < %s -libcalls-shrinkwrap -S | FileCheck %s
   2 ; New PM
   3 ; RUN: opt < %s -passes=libcalls-shrinkwrap -S | FileCheck %s
   4
   5 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   6 target triple = "x86_64-unknown-linux-gnu"
   7
   8 define void @test_range_error(double %value) {
   9 entry:
  10   %call_0 = call double @cosh(double %value)
  11 ; CHECK: [[COND1:%[0-9]+]] = fcmp olt double %value, -7.100000e+02
  12 ; CHECK: [[COND2:%[0-9]+]] = fcmp ogt double %value, 7.100000e+02
  13 ; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
  14 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT:[0-9]+]]
  15 ; CHECK: [[CALL_LABEL]]:
  16 ; CHECK-NEXT: %call_0 = call double @cosh(double %value)
  17 ; CHECK-NEXT: br label %[[END_LABEL]]
  18 ; CHECK: [[END_LABEL]]:
  19
  20   %call_1 = call double @exp(double %value)
  21 ; CHECK: [[COND1:%[0-9]+]] = fcmp olt double %value, -7.450000e+02
  22 ; CHECK: [[COND2:%[0-9]+]] = fcmp ogt double %value, 7.090000e+02
  23 ; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
  24 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
  25 ; CHECK: [[CALL_LABEL]]:
  26 ; CHECK-NEXT: %call_1 = call double @exp(double %value)
  27 ; CHECK-NEXT: br label %[[END_LABEL]]
  28 ; CHECK: [[END_LABEL]]:
  29
  30   %call_3 = call double @exp2(double %value)
  31 ; CHECK: [[COND1:%[0-9]+]] = fcmp olt double %value, -1.074000e+03
  32 ; CHECK: [[COND2:%[0-9]+]] = fcmp ogt double %value, 1.023000e+03
  33 ; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
  34 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
  35 ; CHECK: [[CALL_LABEL]]:
  36 ; CHECK-NEXT: %call_3 = call double @exp2(double %value)
  37 ; CHECK-NEXT: br label %[[END_LABEL]]
  38 ; CHECK: [[END_LABEL]]:
  39
  40   %call_4 = call double @sinh(double %value)
  41 ; CHECK: [[COND1:%[0-9]+]] = fcmp olt double %value, -7.100000e+02
  42 ; CHECK: [[COND2:%[0-9]+]] = fcmp ogt double %value, 7.100000e+02
  43 ; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
  44 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
  45 ; CHECK: [[CALL_LABEL]]:
  46 ; CHECK-NEXT: %call_4 = call double @sinh(double %value)
  47 ; CHECK-NEXT: br label %[[END_LABEL]]
  48 ; CHECK: [[END_LABEL]]:
  49
  50   %call_5 = call double @expm1(double %value)
  51 ; CHECK: [[COND:%[0-9]+]] = fcmp ogt double %value, 7.090000e+02
  52 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
  53 ; CHECK: [[CALL_LABEL]]:
  54 ; CHECK-NEXT: %call_5 = call double @expm1(double %value)
  55 ; CHECK-NEXT: br label %[[END_LABEL]]
  56 ; CHECK: [[END_LABEL]]:
  57
  58   ret void
  59 }
  60
  61 declare double @cosh(double)
  62 declare double @exp(double)
  63 declare double @exp2(double)
  64 declare double @sinh(double)
  65 declare double @expm1(double)
  66
  67 define void @test_domain_error(double %value) {
  68 entry:
  69   %call_00 = call double @acos(double %value)
  70 ; CHECK: [[COND1:%[0-9]+]] = fcmp ogt double %value, 1.000000e+00
  71 ; CHECK: [[COND2:%[0-9]+]] = fcmp olt double %value, -1.000000e+00
  72 ; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
  73 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
  74 ; CHECK: [[CALL_LABEL]]:
  75 ; CHECK-NEXT: %call_00 = call double @acos(double %value)
  76 ; CHECK-NEXT: br label %[[END_LABEL]]
  77 ; CHECK: [[END_LABEL]]:
  78
  79   %call_01 = call double @asin(double %value)
  80 ; CHECK: [[COND1:%[0-9]+]] = fcmp ogt double %value, 1.000000e+00
  81 ; CHECK: [[COND2:%[0-9]+]] = fcmp olt double %value, -1.000000e+00
  82 ; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
  83 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
  84 ; CHECK: [[CALL_LABEL]]:
  85 ; CHECK-NEXT: %call_01 = call double @asin(double %value)
  86 ; CHECK-NEXT: br label %[[END_LABEL]]
  87 ; CHECK: [[END_LABEL]]:
  88
  89   %call_02 = call double @cos(double %value)
  90 ; CHECK: [[COND1:%[0-9]+]] = fcmp oeq double %value, 0xFFF0000000000000
  91 ; CHECK: [[COND2:%[0-9]+]] = fcmp oeq double %value, 0x7FF0000000000000
  92 ; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
  93 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
  94 ; CHECK: [[CALL_LABEL]]:
  95 ; CHECK-NEXT: %call_02 = call double @cos(double %value)
  96 ; CHECK-NEXT: br label %[[END_LABEL]]
  97 ; CHECK: [[END_LABEL]]:
  98
  99   %call_03 = call double @sin(double %value)
 100 ; CHECK: [[COND1:%[0-9]+]] = fcmp oeq double %value, 0xFFF0000000000000
 101 ; CHECK: [[COND2:%[0-9]+]] = fcmp oeq double %value, 0x7FF0000000000000
 102 ; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
 103 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
 104 ; CHECK: [[CALL_LABEL]]:
 105 ; CHECK-NEXT: %call_03 = call double @sin(double %value)
 106 ; CHECK-NEXT: br label %[[END_LABEL]]
 107 ; CHECK: [[END_LABEL]]:
 108
 109   %call_04 = call double @acosh(double %value)
 110 ; CHECK: [[COND:%[0-9]+]] = fcmp olt double %value, 1.000000e+00
 111 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
 112 ; CHECK: [[CALL_LABEL]]:
 113 ; CHECK-NEXT: %call_04 = call double @acosh(double %value)
 114 ; CHECK-NEXT: br label %[[END_LABEL]]
 115 ; CHECK: [[END_LABEL]]:
 116
 117   %call_05 = call double @sqrt(double %value)
 118 ; CHECK: [[COND:%[0-9]+]] = fcmp olt double %value, 0.000000e+00
 119 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
 120 ; CHECK: [[CALL_LABEL]]:
 121 ; CHECK-NEXT: %call_05 = call double @sqrt(double %value)
 122 ; CHECK-NEXT: br label %[[END_LABEL]]
 123 ; CHECK: [[END_LABEL]]:
 124
 125   %call_06 = call double @atanh(double %value)
 126 ; CHECK: [[COND1:%[0-9]+]] = fcmp oge double %value, 1.000000e+00
 127 ; CHECK: [[COND2:%[0-9]+]] = fcmp ole double %value, -1.000000e+00
 128 ; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
 129 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
 130 ; CHECK: [[CALL_LABEL]]:
 131 ; CHECK-NEXT: %call_06 = call double @atanh(double %value)
 132 ; CHECK-NEXT: br label %[[END_LABEL]]
 133 ; CHECK: [[END_LABEL]]:
 134
 135   %call_07 = call double @log(double %value)
 136 ; CHECK: [[COND:%[0-9]+]] = fcmp ole double %value, 0.000000e+00
 137 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
 138 ; CHECK: [[CALL_LABEL]]:
 139 ; CHECK-NEXT: %call_07 = call double @log(double %value)
 140 ; CHECK-NEXT: br label %[[END_LABEL]]
 141 ; CHECK: [[END_LABEL]]:
 142
 143   %call_08 = call double @log10(double %value)
 144 ; CHECK: [[COND:%[0-9]+]] = fcmp ole double %value, 0.000000e+00
 145 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
 146 ; CHECK: [[CALL_LABEL]]:
 147 ; CHECK-NEXT: %call_08 = call double @log10(double %value)
 148 ; CHECK-NEXT: br label %[[END_LABEL]]
 149 ; CHECK: [[END_LABEL]]:
 150
 151   %call_09 = call double @log2(double %value)
 152 ; CHECK: [[COND:%[0-9]+]] = fcmp ole double %value, 0.000000e+00
 153 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
 154 ; CHECK: [[CALL_LABEL]]:
 155 ; CHECK-NEXT: %call_09 = call double @log2(double %value)
 156 ; CHECK-NEXT: br label %[[END_LABEL]]
 157 ; CHECK: [[END_LABEL]]:
 158
 159   %call_10 = call double @logb(double %value)
 160 ; CHECK: [[COND:%[0-9]+]] = fcmp ole double %value, 0.000000e+00
 161 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
 162 ; CHECK: [[CALL_LABEL]]:
 163 ; CHECK-NEXT: %call_10 = call double @logb(double %value)
 164 ; CHECK-NEXT: br label %[[END_LABEL]]
 165 ; CHECK: [[END_LABEL]]:
 166
 167   %call_11 = call double @log1p(double %value)
 168 ; CHECK: [[COND:%[0-9]+]] = fcmp ole double %value, -1.000000e+00
 169 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
 170 ; CHECK: [[CALL_LABEL]]:
 171 ; CHECK-NEXT: %call_11 = call double @log1p(double %value)
 172 ; CHECK-NEXT: br label %[[END_LABEL]]
 173 ; CHECK: [[END_LABEL]]:
 174
 175   ret void
 176 }
 177
 178 declare double @acos(double)
 179 declare double @asin(double)
 180 declare double @cos(double)
 181 declare double @sin(double)
 182 declare double @acosh(double)
 183 declare double @sqrt(double)
 184 declare double @atanh(double)
 185 declare double @log(double)
 186 declare double @log10(double)
 187 declare double @log2(double)
 188 declare double @logb(double)
 189 declare double @log1p(double)
 190
 191 define void @test_pow(i32 %int_val, double %exp) {
 192   %call = call double @pow(double 2.500000e+00, double %exp)
 193 ; CHECK: [[COND:%[0-9]+]] = fcmp ogt double %exp, 1.270000e+02
 194 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
 195 ; CHECK: [[CALL_LABEL]]:
 196 ; CHECK-NEXT: %call = call double @pow(double 2.500000e+00, double %exp)
 197 ; CHECK-NEXT: br label %[[END_LABEL]]
 198 ; CHECK: [[END_LABEL]]:
 199
 200   %conv = sitofp i32 %int_val to double
 201   %call1 = call double @pow(double %conv, double %exp)
 202 ; CHECK: [[COND1:%[0-9]+]] = fcmp ogt double %exp, 3.200000e+01
 203 ; CHECK: [[COND2:%[0-9]+]] = fcmp ole double %conv, 0.000000e+00
 204 ; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
 205 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
 206 ; CHECK: [[CALL_LABEL]]:
 207 ; CHECK-NEXT: %call1 = call double @pow(double %conv, double %exp)
 208 ; CHECK-NEXT: br label %[[END_LABEL]]
 209 ; CHECK: [[END_LABEL]]:
 210
 211   %conv2 = trunc i32 %int_val to i8
 212   %conv3 = uitofp i8 %conv2 to double
 213   %call4 = call double @pow(double %conv3, double %exp)
 214 ; CHECK: [[COND1:%[0-9]+]] = fcmp ogt double %exp, 1.280000e+02
 215 ; CHECK: [[COND2:%[0-9]+]] = fcmp ole double %conv3, 0.000000e+00
 216 ; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
 217 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
 218 ; CHECK: [[CALL_LABEL]]:
 219 ; CHECK-NEXT: %call4 = call double @pow(double %conv3, double %exp)
 220 ; CHECK-NEXT: br label %[[END_LABEL]]
 221 ; CHECK: [[END_LABEL]]:
 222
 223
 224   %conv5 = trunc i32 %int_val to i16
 225   %conv6 = uitofp i16 %conv5 to double
 226   %call7 = call double @pow(double %conv6, double %exp)
 227 ; CHECK: [[COND1:%[0-9]+]] = fcmp ogt double %exp, 6.400000e+01
 228 ; CHECK: [[COND2:%[0-9]+]] = fcmp ole double %conv6, 0.000000e+00
 229 ; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
 230 ; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
 231 ; CHECK: [[CALL_LABEL]]:
 232 ; CHECK-NEXT: %call7 = call double @pow(double %conv6, double %exp)
 233 ; CHECK-NEXT: br label %[[END_LABEL]]
 234 ; CHECK: [[END_LABEL]]:
 235
 236   ret void
 237 }
 238
 239 declare double @pow(double, double)
 240
 241 ; CHECK: ![[BRANCH_WEIGHT]] = !{!"branch_weights", i32 1, i32 2000}