1 files changed, 53 insertions, 0 deletions
diff --git a/llvm/test/Analysis/ConstantFolding/copysign.ll b/llvm/test/Analysis/ConstantFolding/copysign.ll
new file mode 100644
index 00000000000..228ffcb4705
--- /dev/null
+++ b/llvm/test/Analysis/ConstantFolding/copysign.ll
@@ -0,0 +1,53 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -S -constprop < %s | FileCheck %s
+
+declare float @llvm.copysign.f32(float, float)
+declare double @llvm.copysign.f64(double, double)
+
+define float @f32_01() {
+; CHECK-LABEL: @f32_01(
+; CHECK-NEXT:    ret float -1.000000e+00
+;
+  %x = call float @llvm.copysign.f32(float 1.0, float -2.0)
+  ret float %x
+}
+
+define float @f32_02() {
+; CHECK-LABEL: @f32_02(
+; CHECK-NEXT:    ret float 2.000000e+00
+;
+  %x = call float @llvm.copysign.f32(float -2.0, float 1.0)
+  ret float %x
+}
+
+define float @f32_03() {
+; CHECK-LABEL: @f32_03(
+; CHECK-NEXT:    ret float -2.000000e+00
+;
+  %x = call float @llvm.copysign.f32(float -2.0, float -1.0)
+  ret float %x
+}
+
+define double @f64_01() {
+; CHECK-LABEL: @f64_01(
+; CHECK-NEXT:    ret double -1.000000e+00
+;
+  %x = call double @llvm.copysign.f64(double 1.0, double -2.0)
+  ret double %x
+}
+
+define double @f64_02() {
+; CHECK-LABEL: @f64_02(
+; CHECK-NEXT:    ret double 1.000000e+00
+;
+  %x = call double @llvm.copysign.f64(double -1.0, double 2.0)
+  ret double %x
+}
+
+define double @f64_03() {
+; CHECK-LABEL: @f64_03(
+; CHECK-NEXT:    ret double -1.000000e+00
+;
+  %x = call double @llvm.copysign.f64(double -1.0, double -2.0)
+  ret double %x
+}