diff options
Diffstat (limited to 'llvm/test/Transforms')
3 files changed, 624 insertions, 0 deletions
diff --git a/llvm/test/Transforms/Util/libcalls-shrinkwrap-double.ll b/llvm/test/Transforms/Util/libcalls-shrinkwrap-double.ll new file mode 100644 index 00000000000..d015a9d4d60 --- /dev/null +++ b/llvm/test/Transforms/Util/libcalls-shrinkwrap-double.ll @@ -0,0 +1,241 @@ +; RUN: opt < %s -libcalls-shrinkwrap -S | FileCheck %s +; New PM +; RUN: opt < %s -passes=libcalls-shrinkwrap -S | FileCheck %s + +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-unknown-linux-gnu" + +define void @test_range_error(double %value) { +entry: + %call_0 = call double @cosh(double %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp olt double %value, -7.100000e+02 +; CHECK: [[COND2:%[0-9]+]] = fcmp ogt double %value, 7.100000e+02 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT:[0-9]+]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_0 = call double @cosh(double %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_1 = call double @exp(double %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp olt double %value, -7.450000e+02 +; CHECK: [[COND2:%[0-9]+]] = fcmp ogt double %value, 7.090000e+02 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_1 = call double @exp(double %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_3 = call double @exp2(double %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp olt double %value, -1.074000e+03 +; CHECK: [[COND2:%[0-9]+]] = fcmp ogt double %value, 1.023000e+03 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_3 = call double @exp2(double %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_4 = call double @sinh(double %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp olt double %value, -7.100000e+02 +; CHECK: [[COND2:%[0-9]+]] = fcmp ogt double %value, 7.100000e+02 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_4 = call double @sinh(double %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_5 = call double @expm1(double %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ogt double %value, 7.090000e+02 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_5 = call double @expm1(double %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + ret void +} + +declare double @cosh(double) +declare double @exp(double) +declare double @exp2(double) +declare double @sinh(double) +declare double @expm1(double) + +define void @test_domain_error(double %value) { +entry: + %call_00 = call double @acos(double %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp ogt double %value, 1.000000e+00 +; CHECK: [[COND2:%[0-9]+]] = fcmp olt double %value, -1.000000e+00 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_00 = call double @acos(double %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_01 = call double @asin(double %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp ogt double %value, 1.000000e+00 +; CHECK: [[COND2:%[0-9]+]] = fcmp olt double %value, -1.000000e+00 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_01 = call double @asin(double %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_02 = call double @cos(double %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp oeq double %value, 0xFFF0000000000000 +; CHECK: [[COND2:%[0-9]+]] = fcmp oeq double %value, 0x7FF0000000000000 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_02 = call double @cos(double %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_03 = call double @sin(double %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp oeq double %value, 0xFFF0000000000000 +; CHECK: [[COND2:%[0-9]+]] = fcmp oeq double %value, 0x7FF0000000000000 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_03 = call double @sin(double %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_04 = call double @acosh(double %value) +; CHECK: [[COND:%[0-9]+]] = fcmp olt double %value, 1.000000e+00 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_04 = call double @acosh(double %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_05 = call double @sqrt(double %value) +; CHECK: [[COND:%[0-9]+]] = fcmp olt double %value, 0.000000e+00 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_05 = call double @sqrt(double %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_06 = call double @atanh(double %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp oge double %value, 1.000000e+00 +; CHECK: [[COND2:%[0-9]+]] = fcmp ole double %value, -1.000000e+00 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_06 = call double @atanh(double %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_07 = call double @log(double %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ole double %value, 0.000000e+00 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_07 = call double @log(double %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_08 = call double @log10(double %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ole double %value, 0.000000e+00 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_08 = call double @log10(double %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_09 = call double @log2(double %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ole double %value, 0.000000e+00 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_09 = call double @log2(double %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_10 = call double @logb(double %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ole double %value, 0.000000e+00 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_10 = call double @logb(double %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_11 = call double @log1p(double %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ole double %value, -1.000000e+00 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_11 = call double @log1p(double %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + ret void +} + +declare double @acos(double) +declare double @asin(double) +declare double @cos(double) +declare double @sin(double) +declare double @acosh(double) +declare double @sqrt(double) +declare double @atanh(double) +declare double @log(double) +declare double @log10(double) +declare double @log2(double) +declare double @logb(double) +declare double @log1p(double) + +define void @test_pow(i32 %int_val, double %exp) { + %call = call double @pow(double 2.500000e+00, double %exp) +; CHECK: [[COND:%[0-9]+]] = fcmp ogt double %exp, 1.270000e+02 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call = call double @pow(double 2.500000e+00, double %exp) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %conv = sitofp i32 %int_val to double + %call1 = call double @pow(double %conv, double %exp) +; CHECK: [[COND1:%[0-9]+]] = fcmp ogt double %exp, 3.200000e+01 +; CHECK: [[COND2:%[0-9]+]] = fcmp ole double %conv, 0.000000e+00 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call1 = call double @pow(double %conv, double %exp) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %conv2 = trunc i32 %int_val to i8 + %conv3 = uitofp i8 %conv2 to double + %call4 = call double @pow(double %conv3, double %exp) +; CHECK: [[COND1:%[0-9]+]] = fcmp ogt double %exp, 1.280000e+02 +; CHECK: [[COND2:%[0-9]+]] = fcmp ole double %conv3, 0.000000e+00 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call4 = call double @pow(double %conv3, double %exp) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + + %conv5 = trunc i32 %int_val to i16 + %conv6 = uitofp i16 %conv5 to double + %call7 = call double @pow(double %conv6, double %exp) +; CHECK: [[COND1:%[0-9]+]] = fcmp ogt double %exp, 6.400000e+01 +; CHECK: [[COND2:%[0-9]+]] = fcmp ole double %conv6, 0.000000e+00 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call7 = call double @pow(double %conv6, double %exp) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + ret void +} + +declare double @pow(double, double) + +; CHECK: ![[BRANCH_WEIGHT]] = !{!"branch_weights", i32 1, i32 2000} diff --git a/llvm/test/Transforms/Util/libcalls-shrinkwrap-float.ll b/llvm/test/Transforms/Util/libcalls-shrinkwrap-float.ll new file mode 100644 index 00000000000..4affc006e38 --- /dev/null +++ b/llvm/test/Transforms/Util/libcalls-shrinkwrap-float.ll @@ -0,0 +1,191 @@ +; RUN: opt < %s -libcalls-shrinkwrap -S | FileCheck %s +; New PM +; RUN: opt < %s -passes=libcalls-shrinkwrap -S | FileCheck %s + +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-unknown-linux-gnu" + +define void @test_range_error(float %value) { +entry: + %call_0 = call float @coshf(float %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp olt float %value, -8.900000e+01 +; CHECK: [[COND2:%[0-9]+]] = fcmp ogt float %value, 8.900000e+01 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT:[0-9]+]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_0 = call float @coshf(float %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_1 = call float @expf(float %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp olt float %value, -1.030000e+02 +; CHECK: [[COND2:%[0-9]+]] = fcmp ogt float %value, 8.800000e+01 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_1 = call float @expf(float %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_3 = call float @exp2f(float %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp olt float %value, -1.490000e+02 +; CHECK: [[COND2:%[0-9]+]] = fcmp ogt float %value, 1.270000e+02 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_3 = call float @exp2f(float %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_4 = call float @sinhf(float %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp olt float %value, -8.900000e+01 +; CHECK: [[COND2:%[0-9]+]] = fcmp ogt float %value, 8.900000e+01 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_4 = call float @sinhf(float %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_5 = call float @expm1f(float %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ogt float %value, 8.800000e+01 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_5 = call float @expm1f(float %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + ret void +} + +declare float @coshf(float) +declare float @expf(float) +declare float @exp2f(float) +declare float @sinhf(float) +declare float @expm1f(float) + +define void @test_domain_error(float %value) { +entry: + + %call_00 = call float @acosf(float %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp ogt float %value, 1.000000e+00 +; CHECK: [[COND2:%[0-9]+]] = fcmp olt float %value, -1.000000e+00 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_00 = call float @acosf(float %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_01 = call float @asinf(float %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp ogt float %value, 1.000000e+00 +; CHECK: [[COND2:%[0-9]+]] = fcmp olt float %value, -1.000000e+00 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_01 = call float @asinf(float %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_02 = call float @cosf(float %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp oeq float %value, 0xFFF0000000000000 +; CHECK: [[COND2:%[0-9]+]] = fcmp oeq float %value, 0x7FF0000000000000 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_02 = call float @cosf(float %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_03 = call float @sinf(float %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp oeq float %value, 0xFFF0000000000000 +; CHECK: [[COND2:%[0-9]+]] = fcmp oeq float %value, 0x7FF0000000000000 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_03 = call float @sinf(float %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_04 = call float @acoshf(float %value) +; CHECK: [[COND:%[0-9]+]] = fcmp olt float %value, 1.000000e+00 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_04 = call float @acoshf(float %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_05 = call float @sqrtf(float %value) +; CHECK: [[COND:%[0-9]+]] = fcmp olt float %value, 0.000000e+00 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_05 = call float @sqrtf(float %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_06 = call float @atanhf(float %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp oge float %value, 1.000000e+00 +; CHECK: [[COND2:%[0-9]+]] = fcmp ole float %value, -1.000000e+00 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_06 = call float @atanhf(float %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_07 = call float @logf(float %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ole float %value, 0.000000e+00 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_07 = call float @logf(float %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_08 = call float @log10f(float %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ole float %value, 0.000000e+00 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_08 = call float @log10f(float %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_09 = call float @log2f(float %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ole float %value, 0.000000e+00 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_09 = call float @log2f(float %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_10 = call float @logbf(float %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ole float %value, 0.000000e+00 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_10 = call float @logbf(float %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_11 = call float @log1pf(float %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ole float %value, -1.000000e+00 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_11 = call float @log1pf(float %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + ret void +} + +declare float @acosf(float) +declare float @asinf(float) +declare float @cosf(float) +declare float @sinf(float) +declare float @acoshf(float) +declare float @sqrtf(float) +declare float @atanhf(float) +declare float @logf(float) +declare float @log10f(float) +declare float @log2f(float) +declare float @logbf(float) +declare float @log1pf(float) + +; CHECK: ![[BRANCH_WEIGHT]] = !{!"branch_weights", i32 1, i32 2000} diff --git a/llvm/test/Transforms/Util/libcalls-shrinkwrap-long-double.ll b/llvm/test/Transforms/Util/libcalls-shrinkwrap-long-double.ll new file mode 100644 index 00000000000..54a31e5173f --- /dev/null +++ b/llvm/test/Transforms/Util/libcalls-shrinkwrap-long-double.ll @@ -0,0 +1,192 @@ +; RUN: opt < %s -libcalls-shrinkwrap -S | FileCheck %s +; New PM +; RUN: opt < %s -passes=libcalls-shrinkwrap -S | FileCheck %s + +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-unknown-linux-gnu" + +define void @test_range_error(x86_fp80 %value) { +entry: + %call_0 = call x86_fp80 @coshl(x86_fp80 %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp olt x86_fp80 %value, 0xKC00CB174000000000000 +; CHECK: [[COND2:%[0-9]+]] = fcmp ogt x86_fp80 %value, 0xK400CB174000000000000 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT:[0-9]+]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_0 = call x86_fp80 @coshl(x86_fp80 %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_1 = call x86_fp80 @expl(x86_fp80 %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp olt x86_fp80 %value, 0xKC00CB21C000000000000 +; CHECK: [[COND2:%[0-9]+]] = fcmp ogt x86_fp80 %value, 0xK400CB170000000000000 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_1 = call x86_fp80 @expl(x86_fp80 %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_3 = call x86_fp80 @exp2l(x86_fp80 %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp olt x86_fp80 %value, 0xKC00D807A000000000000 +; CHECK: [[COND2:%[0-9]+]] = fcmp ogt x86_fp80 %value, 0xK400CB1DC000000000000 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_3 = call x86_fp80 @exp2l(x86_fp80 %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_4 = call x86_fp80 @sinhl(x86_fp80 %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp olt x86_fp80 %value, 0xKC00CB174000000000000 +; CHECK: [[COND2:%[0-9]+]] = fcmp ogt x86_fp80 %value, 0xK400CB174000000000000 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_4 = call x86_fp80 @sinhl(x86_fp80 %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_5 = call x86_fp80 @expm1l(x86_fp80 %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ogt x86_fp80 %value, 0xK400CB170000000000000 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_5 = call x86_fp80 @expm1l(x86_fp80 %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + ret void +} + +declare x86_fp80 @coshl(x86_fp80) +declare x86_fp80 @expl(x86_fp80) +declare x86_fp80 @exp10l(x86_fp80) +declare x86_fp80 @exp2l(x86_fp80) +declare x86_fp80 @sinhl(x86_fp80) +declare x86_fp80 @expm1l(x86_fp80) + +define void @test_domain_error(x86_fp80 %value) { +entry: + %call_00 = call x86_fp80 @acosl(x86_fp80 %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp ogt x86_fp80 %value, 0xK3FFF8000000000000000 +; CHECK: [[COND2:%[0-9]+]] = fcmp olt x86_fp80 %value, 0xKBFFF8000000000000000 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_00 = call x86_fp80 @acosl(x86_fp80 %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_01 = call x86_fp80 @asinl(x86_fp80 %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp ogt x86_fp80 %value, 0xK3FFF8000000000000000 +; CHECK: [[COND2:%[0-9]+]] = fcmp olt x86_fp80 %value, 0xKBFFF8000000000000000 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_01 = call x86_fp80 @asinl(x86_fp80 %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_02 = call x86_fp80 @cosl(x86_fp80 %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp oeq x86_fp80 %value, 0xKFFFF8000000000000000 +; CHECK: [[COND2:%[0-9]+]] = fcmp oeq x86_fp80 %value, 0xK7FFF8000000000000000 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_02 = call x86_fp80 @cosl(x86_fp80 %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_03 = call x86_fp80 @sinl(x86_fp80 %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp oeq x86_fp80 %value, 0xKFFFF8000000000000000 +; CHECK: [[COND2:%[0-9]+]] = fcmp oeq x86_fp80 %value, 0xK7FFF8000000000000000 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_03 = call x86_fp80 @sinl(x86_fp80 %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_04 = call x86_fp80 @acoshl(x86_fp80 %value) +; CHECK: [[COND:%[0-9]+]] = fcmp olt x86_fp80 %value, 0xK3FFF8000000000000000 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_04 = call x86_fp80 @acoshl(x86_fp80 %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_05 = call x86_fp80 @sqrtl(x86_fp80 %value) +; CHECK: [[COND:%[0-9]+]] = fcmp olt x86_fp80 %value, 0xK00000000000000000000 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_05 = call x86_fp80 @sqrtl(x86_fp80 %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_06 = call x86_fp80 @atanhl(x86_fp80 %value) +; CHECK: [[COND1:%[0-9]+]] = fcmp oge x86_fp80 %value, 0xK3FFF8000000000000000 +; CHECK: [[COND2:%[0-9]+]] = fcmp ole x86_fp80 %value, 0xKBFFF8000000000000000 +; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]] +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_06 = call x86_fp80 @atanhl(x86_fp80 %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_07 = call x86_fp80 @logl(x86_fp80 %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ole x86_fp80 %value, 0xK00000000000000000000 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_07 = call x86_fp80 @logl(x86_fp80 %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_08 = call x86_fp80 @log10l(x86_fp80 %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ole x86_fp80 %value, 0xK00000000000000000000 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_08 = call x86_fp80 @log10l(x86_fp80 %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_09 = call x86_fp80 @log2l(x86_fp80 %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ole x86_fp80 %value, 0xK00000000000000000000 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_09 = call x86_fp80 @log2l(x86_fp80 %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_10 = call x86_fp80 @logbl(x86_fp80 %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ole x86_fp80 %value, 0xK00000000000000000000 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_10 = call x86_fp80 @logbl(x86_fp80 %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + %call_11 = call x86_fp80 @log1pl(x86_fp80 %value) +; CHECK: [[COND:%[0-9]+]] = fcmp ole x86_fp80 %value, 0xKBFFF8000000000000000 +; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]] +; CHECK: [[CALL_LABEL]]: +; CHECK-NEXT: %call_11 = call x86_fp80 @log1pl(x86_fp80 %value) +; CHECK-NEXT: br label %[[END_LABEL]] +; CHECK: [[END_LABEL]]: + + ret void +} + +declare x86_fp80 @acosl(x86_fp80) +declare x86_fp80 @asinl(x86_fp80) +declare x86_fp80 @cosl(x86_fp80) +declare x86_fp80 @sinl(x86_fp80) +declare x86_fp80 @acoshl(x86_fp80) +declare x86_fp80 @sqrtl(x86_fp80) +declare x86_fp80 @atanhl(x86_fp80) +declare x86_fp80 @logl(x86_fp80) +declare x86_fp80 @log10l(x86_fp80) +declare x86_fp80 @log2l(x86_fp80) +declare x86_fp80 @logbl(x86_fp80) +declare x86_fp80 @log1pl(x86_fp80) + +; CHECK: ![[BRANCH_WEIGHT]] = !{!"branch_weights", i32 1, i32 2000} |