[llvm] 236f82c - [InstCombine] add tests for fcmp-of-copysign; NFC

[Sanjay Patel via llvm-commits]

Author: Sanjay Patel
Date: 2021-02-17T10:32:33-05:00
New Revision: 236f82c64088c63fcb333d0f9999154c4e77f2c5

URL: https://github.com/llvm/llvm-project/commit/236f82c64088c63fcb333d0f9999154c4e77f2c5
DIFF: https://github.com/llvm/llvm-project/commit/236f82c64088c63fcb333d0f9999154c4e77f2c5.diff

LOG: [InstCombine] add tests for fcmp-of-copysign; NFC

https://llvm.org/PR49179

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/fcmp.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/fcmp.ll b/llvm/test/Transforms/InstCombine/fcmp.ll
index cd941fea90e1..62e747701152 100644
--- a/llvm/test/Transforms/InstCombine/fcmp.ll
+++ b/llvm/test/Transforms/InstCombine/fcmp.ll
@@ -4,6 +4,8 @@
 declare half @llvm.fabs.f16(half)
 declare double @llvm.fabs.f64(double)
 declare <2 x float> @llvm.fabs.v2f32(<2 x float>)
+declare double @llvm.copysign.f64(double, double)
+declare <2 x double> @llvm.copysign.v2f64(<2 x double>, <2 x double>)
 
 define i1 @fpext_fpext(float %x, float %y) {
 ; CHECK-LABEL: @fpext_fpext(
@@ -579,3 +581,81 @@ define <2 x i1> @test27_recipX_gt_vecsplat(<2 x float> %X) {
   ret <2 x i1> %cmp
 }
 
+define i1 @is_signbit_set(double %x) {
+; CHECK-LABEL: @is_signbit_set(
+; CHECK-NEXT:    [[S:%.*]] = call double @llvm.copysign.f64(double 1.000000e+00, double [[X:%.*]])
+; CHECK-NEXT:    [[R:%.*]] = fcmp olt double [[S]], 0.000000e+00
+; CHECK-NEXT:    ret i1 [[R]]
+;
+  %s = call double @llvm.copysign.f64(double 1.0, double %x)
+  %r = fcmp olt double %s, 0.0
+  ret i1 %r
+}
+
+define <2 x i1> @is_signbit_set_anyzero(<2 x double> %x) {
+; CHECK-LABEL: @is_signbit_set_anyzero(
+; CHECK-NEXT:    [[S:%.*]] = call <2 x double> @llvm.copysign.v2f64(<2 x double> <double 4.200000e+01, double 4.200000e+01>, <2 x double> [[X:%.*]])
+; CHECK-NEXT:    [[R:%.*]] = fcmp olt <2 x double> [[S]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[R]]
+;
+  %s = call <2 x double> @llvm.copysign.v2f64(<2 x double> <double 42.0, double 42.0>, <2 x double> %x)
+  %r = fcmp olt <2 x double> %s, <double -0.0, double 0.0>
+  ret <2 x i1> %r
+}
+
+define i1 @is_signbit_clear(double %x) {
+; CHECK-LABEL: @is_signbit_clear(
+; CHECK-NEXT:    [[S:%.*]] = call double @llvm.copysign.f64(double -4.200000e+01, double [[X:%.*]])
+; CHECK-NEXT:    [[R:%.*]] = fcmp ogt double [[S]], 0.000000e+00
+; CHECK-NEXT:    ret i1 [[R]]
+;
+  %s = call double @llvm.copysign.f64(double -42.0, double %x)
+  %r = fcmp ogt double %s, 0.0
+  ret i1 %r
+}
+
+define i1 @is_signbit_set_extra_use(double %x, double* %p) {
+; CHECK-LABEL: @is_signbit_set_extra_use(
+; CHECK-NEXT:    [[S:%.*]] = call double @llvm.copysign.f64(double 1.000000e+00, double [[X:%.*]])
+; CHECK-NEXT:    store double [[S]], double* [[P:%.*]], align 8
+; CHECK-NEXT:    [[R:%.*]] = fcmp olt double [[S]], 0.000000e+00
+; CHECK-NEXT:    ret i1 [[R]]
+;
+  %s = call double @llvm.copysign.f64(double 1.0, double %x)
+  store double %s, double* %p
+  %r = fcmp olt double %s, 0.0
+  ret i1 %r
+}
+
+define i1 @is_signbit_clear_nonzero(double %x) {
+; CHECK-LABEL: @is_signbit_clear_nonzero(
+; CHECK-NEXT:    [[S:%.*]] = call double @llvm.copysign.f64(double -4.200000e+01, double [[X:%.*]])
+; CHECK-NEXT:    [[R:%.*]] = fcmp ogt double [[S]], 1.000000e+00
+; CHECK-NEXT:    ret i1 [[R]]
+;
+  %s = call double @llvm.copysign.f64(double -42.0, double %x)
+  %r = fcmp ogt double %s, 1.0
+  ret i1 %r
+}
+
+define i1 @is_signbit_set_simplify_zero(double %x) {
+; CHECK-LABEL: @is_signbit_set_simplify_zero(
+; CHECK-NEXT:    [[S:%.*]] = call double @llvm.copysign.f64(double 0.000000e+00, double [[X:%.*]])
+; CHECK-NEXT:    [[R:%.*]] = fcmp ogt double [[S]], 0.000000e+00
+; CHECK-NEXT:    ret i1 [[R]]
+;
+  %s = call double @llvm.copysign.f64(double 0.0, double %x)
+  %r = fcmp ogt double %s, 0.0
+  ret i1 %r
+}
+
+define i1 @is_signbit_set_simplify_nan(double %x) {
+; CHECK-LABEL: @is_signbit_set_simplify_nan(
+; CHECK-NEXT:    [[S:%.*]] = call double @llvm.copysign.f64(double 0xFFFFFFFFFFFFFFFF, double [[X:%.*]])
+; CHECK-NEXT:    [[R:%.*]] = fcmp ogt double [[S]], 0.000000e+00
+; CHECK-NEXT:    ret i1 [[R]]
+;
+  %s = call double @llvm.copysign.f64(double 0xffffffffffffffff, double %x)
+  %r = fcmp ogt double %s, 0.0
+  ret i1 %r
+}