[llvm] 80a094e - [InstCombine] add FMF to tests for more coverage; NFC

[Sanjay Patel via llvm-commits]

Author: Sanjay Patel
Date: 2020-01-13T16:29:20-05:00
New Revision: 80a094e1348ae850cd996e947d70e34abf331685

URL: https://github.com/llvm/llvm-project/commit/80a094e1348ae850cd996e947d70e34abf331685
DIFF: https://github.com/llvm/llvm-project/commit/80a094e1348ae850cd996e947d70e34abf331685.diff

LOG: [InstCombine] add FMF to tests for more coverage; NFC

Added: 
    

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

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/select.ll b/llvm/test/Transforms/InstCombine/select.ll
index cfcae9f4c855..58118911387e 100644
--- a/llvm/test/Transforms/InstCombine/select.ll
+++ b/llvm/test/Transforms/InstCombine/select.ll
@@ -1550,12 +1550,12 @@ define <2 x float> @copysign2(<2 x float> %x) {
 ; CHECK-LABEL: @copysign2(
 ; CHECK-NEXT:    [[I:%.*]] = bitcast <2 x float> [[X:%.*]] to <2 x i32>
 ; CHECK-NEXT:    [[ISNEG:%.*]] = icmp slt <2 x i32> [[I]], zeroinitializer
-; CHECK-NEXT:    [[R:%.*]] = select <2 x i1> [[ISNEG]], <2 x float> <float 4.200000e+01, float 4.200000e+01>, <2 x float> <float -4.200000e+01, float -4.200000e+01>
+; CHECK-NEXT:    [[R:%.*]] = select nsz <2 x i1> [[ISNEG]], <2 x float> <float 4.200000e+01, float 4.200000e+01>, <2 x float> <float -4.200000e+01, float -4.200000e+01>
 ; CHECK-NEXT:    ret <2 x float> [[R]]
 ;
   %i = bitcast <2 x float> %x to <2 x i32>
   %isneg = icmp slt <2 x i32> %i, zeroinitializer
-  %r = select <2 x i1> %isneg, <2 x float> <float 42.0, float 42.0>, <2 x float> <float -42.0, float -42.0>
+  %r = select nsz <2 x i1> %isneg, <2 x float> <float 42.0, float 42.0>, <2 x float> <float -42.0, float -42.0>
   ret <2 x float> %r
 }
 
@@ -1563,12 +1563,12 @@ define float @copysign3(float %x) {
 ; CHECK-LABEL: @copysign3(
 ; CHECK-NEXT:    [[I:%.*]] = bitcast float [[X:%.*]] to i32
 ; CHECK-NEXT:    [[ISPOS:%.*]] = icmp sgt i32 [[I]], -1
-; CHECK-NEXT:    [[R:%.*]] = select i1 [[ISPOS]], float -4.300000e+01, float 4.300000e+01
+; CHECK-NEXT:    [[R:%.*]] = select fast i1 [[ISPOS]], float -4.300000e+01, float 4.300000e+01
 ; CHECK-NEXT:    ret float [[R]]
 ;
   %i = bitcast float %x to i32
   %ispos = icmp ult i32 %i, 2147483648
-  %r = select i1 %ispos, float -43.0, float 43.0
+  %r = select fast i1 %ispos, float -43.0, float 43.0
   ret float %r
 }
 
@@ -1576,12 +1576,12 @@ define float @copysign4(float %x) {
 ; CHECK-LABEL: @copysign4(
 ; CHECK-NEXT:    [[I:%.*]] = bitcast float [[X:%.*]] to i32
 ; CHECK-NEXT:    [[ISNEG:%.*]] = icmp slt i32 [[I]], 0
-; CHECK-NEXT:    [[R:%.*]] = select i1 [[ISNEG]], float -4.400000e+01, float 4.400000e+01
+; CHECK-NEXT:    [[R:%.*]] = select nnan arcp i1 [[ISNEG]], float -4.400000e+01, float 4.400000e+01
 ; CHECK-NEXT:    ret float [[R]]
 ;
   %i = bitcast float %x to i32
   %isneg = icmp ugt i32 %i, 2147483647
-  %r = select i1 %isneg, float -44.0, float 44.0
+  %r = select arcp nnan i1 %isneg, float -44.0, float 44.0
   ret float %r
 }