diff options
| author | Karthik Bhat <kv.bhat@samsung.com> | 2014-03-06 05:32:52 +0000 |
|---|---|---|
| committer | Karthik Bhat <kv.bhat@samsung.com> | 2014-03-06 05:32:52 +0000 |
| commit | df95a940641559f6e4027af704ac7c70bac24f93 (patch) | |
| tree | 21a2d026e07d75cae41dcf95075fa9357fc1c5f7 | |
| parent | 7c00d1860701e30d374295890be96f3ec43da82f (diff) | |
| download | llvm-df95a940641559f6e4027af704ac7c70bac24f93.tar.gz llvm-df95a940641559f6e4027af704ac7c70bac24f93.tar.bz2 llvm-df95a940641559f6e4027af704ac7c70bac24f93.tar.xz | |
Allow constant folding of copysign
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@203076 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/Analysis/ConstantFolding.cpp | 7 | ||||
| -rw-r--r-- | test/Transforms/InstCombine/copysign.ll | 49 |
2 files changed, 56 insertions, 0 deletions
diff --git a/lib/Analysis/ConstantFolding.cpp b/lib/Analysis/ConstantFolding.cpp index 08b60671a6..ff1124ad87 100644 --- a/lib/Analysis/ConstantFolding.cpp +++ b/lib/Analysis/ConstantFolding.cpp @@ -1195,6 +1195,7 @@ bool llvm::canConstantFoldCallTo(const Function *F) { case Intrinsic::cttz: case Intrinsic::fma: case Intrinsic::fmuladd: + case Intrinsic::copysign: case Intrinsic::sadd_with_overflow: case Intrinsic::uadd_with_overflow: case Intrinsic::ssub_with_overflow: @@ -1532,6 +1533,12 @@ static Constant *ConstantFoldScalarCall(StringRef Name, unsigned IntrinsicID, if (IntrinsicID == Intrinsic::pow) { return ConstantFoldBinaryFP(pow, Op1V, Op2V, Ty); } + if (IntrinsicID == Intrinsic::copysign) { + APFloat V1 = Op1->getValueAPF(); + APFloat V2 = Op2->getValueAPF(); + V1.copySign(V2); + return ConstantFP::get(Ty->getContext(), V1); + } if (!TLI) return 0; if (Name == "pow" && TLI->has(LibFunc::pow)) diff --git a/test/Transforms/InstCombine/copysign.ll b/test/Transforms/InstCombine/copysign.ll new file mode 100644 index 0000000000..556b79999b --- /dev/null +++ b/test/Transforms/InstCombine/copysign.ll @@ -0,0 +1,49 @@ +; RUN: opt -S -instcombine < %s | FileCheck %s + +declare float @llvm.copysign.f32(float, float) #0 +declare double @llvm.copysign.f64(double, double) #0 + +; CHECK-LABEL: @constant_fold_copysign_f32_01 +; CHECK-NEXT: ret float -1.000000e+00 +define float @constant_fold_copysign_f32_01() #0 { + %x = call float @llvm.copysign.f32(float 1.0, float -2.0) #0 + ret float %x +} + +; CHECK-LABEL: @constant_fold_copysign_f32_02 +; CHECK-NEXT: ret float 2.000000e+00 +define float @constant_fold_copysign_f32_02() #0 { + %x = call float @llvm.copysign.f32(float -2.0, float 1.0) #0 + ret float %x +} + +; CHECK-LABEL: @constant_fold_copysign_f32_03 +; CHECK-NEXT: ret float -2.000000e+00 +define float @constant_fold_copysign_f32_03() #0 { + %x = call float @llvm.copysign.f32(float -2.0, float -1.0) #0 + ret float %x +} + +; CHECK-LABEL: @constant_fold_copysign_f64_01 +; CHECK-NEXT: ret double -1.000000e+00 +define double @constant_fold_copysign_f64_01() #0 { + %x = call double @llvm.copysign.f64(double 1.0, double -2.0) #0 + ret double %x +} + +; CHECK-LABEL: @constant_fold_copysign_f64_02 +; CHECK-NEXT: ret double 1.000000e+00 +define double @constant_fold_copysign_f64_02() #0 { + %x = call double @llvm.copysign.f64(double -1.0, double 2.0) #0 + ret double %x +} + +; CHECK-LABEL: @constant_fold_copysign_f64_03 +; CHECK-NEXT: ret double -1.000000e+00 +define double @constant_fold_copysign_f64_03() #0 { + %x = call double @llvm.copysign.f64(double -1.0, double -2.0) #0 + ret double %x +} + + +attributes #0 = { nounwind readnone } |