[llvm] r339692 - [NFC] Tests for select with binop fold - FP opcodes

[David Bolvansky via llvm-commits]

Author: xbolva00
Date: Tue Aug 14 10:03:47 2018
New Revision: 339692

URL: http://llvm.org/viewvc/llvm-project?rev=339692&view=rev
Log:
[NFC] Tests for select with binop fold - FP opcodes

Modified:
    llvm/trunk/test/Transforms/InstCombine/select-binop-cmp.ll

Modified: llvm/trunk/test/Transforms/InstCombine/select-binop-cmp.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/select-binop-cmp.ll?rev=339692&r1=339691&r2=339692&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/select-binop-cmp.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/select-binop-cmp.ll Tue Aug 14 10:03:47 2018
@@ -140,7 +140,6 @@ define i32 @select_xor_inv_icmp2(i32 %x,
   ret i32 %C
 }
 
-; TODO: FP opcodes support
 define float @select_fadd_fcmp(float %x, float %y, float %z) {
 ; CHECK-LABEL: @select_fadd_fcmp(
 ; CHECK-NEXT:    [[A:%.*]] = fcmp oeq float [[X:%.*]], -0.000000e+00
@@ -170,26 +169,26 @@ define float @select_fadd_fcmp_2(float %
 define float @select_fadd_fcmp_3(float %x, float %y, float %z) {
 ; CHECK-LABEL: @select_fadd_fcmp_3(
 ; CHECK-NEXT:    [[A:%.*]] = fcmp one float [[X:%.*]], -0.000000e+00
-; CHECK-NEXT:    [[B:%.*]] = fadd float [[X]], [[Z:%.*]]
-; CHECK-NEXT:    [[C:%.*]] = select i1 [[A]], float [[B]], float [[Y:%.*]]
+; CHECK-NEXT:    [[B:%.*]] = fadd float [[Z:%.*]], [[X]]
+; CHECK-NEXT:    [[C:%.*]] = select i1 [[A]], float [[Y:%.*]], float [[B]]
 ; CHECK-NEXT:    ret float [[C]]
 ;
   %A = fcmp one float %x, -0.0
-  %B = fadd float %x, %z
-  %C = select i1 %A, float %B, float %y
+  %B = fadd float %z, %x
+  %C = select i1 %A, float %y, float %B
   ret float %C
 }
 
 define float @select_fadd_fcmp_4(float %x, float %y, float %z) {
 ; CHECK-LABEL: @select_fadd_fcmp_4(
 ; CHECK-NEXT:    [[A:%.*]] = fcmp une float [[X:%.*]], -0.000000e+00
-; CHECK-NEXT:    [[B:%.*]] = fadd float [[X]], [[Z:%.*]]
-; CHECK-NEXT:    [[C:%.*]] = select i1 [[A]], float [[B]], float [[Y:%.*]]
+; CHECK-NEXT:    [[B:%.*]] = fadd float [[Z:%.*]], [[X]]
+; CHECK-NEXT:    [[C:%.*]] = select i1 [[A]], float [[Y:%.*]], float [[B]]
 ; CHECK-NEXT:    ret float [[C]]
 ;
   %A = fcmp une float %x, -0.0
-  %B = fadd float %x, %z
-  %C = select i1 %A, float %B, float %y
+  %B = fadd float %z, %x
+  %C = select i1 %A, float %y, float %B
   ret float %C
 }
 
@@ -209,12 +208,12 @@ define float @select_fmul_fcmp(float %x,
 define float @select_fsub_fcmp(float %x, float %y, float %z) {
 ; CHECK-LABEL: @select_fsub_fcmp(
 ; CHECK-NEXT:    [[A:%.*]] = fcmp oeq float [[X:%.*]], 0.000000e+00
-; CHECK-NEXT:    [[B:%.*]] = fsub float [[X]], [[Z:%.*]]
+; CHECK-NEXT:    [[B:%.*]] = fsub float [[Z:%.*]], [[X]]
 ; CHECK-NEXT:    [[C:%.*]] = select i1 [[A]], float [[B]], float [[Y:%.*]]
 ; CHECK-NEXT:    ret float [[C]]
 ;
   %A = fcmp oeq float %x, 0.0
-  %B = fsub float %x, %z
+  %B = fsub float %z, %x
   %C = select i1 %A, float %B, float %y
   ret float %C
 }
@@ -222,12 +221,12 @@ define float @select_fsub_fcmp(float %x,
 define float @select_fdiv_fcmp(float %x, float %y, float %z) {
 ; CHECK-LABEL: @select_fdiv_fcmp(
 ; CHECK-NEXT:    [[A:%.*]] = fcmp oeq float [[X:%.*]], 1.000000e+00
-; CHECK-NEXT:    [[B:%.*]] = fdiv float [[X]], [[Z:%.*]]
+; CHECK-NEXT:    [[B:%.*]] = fdiv float [[Z:%.*]], [[X]]
 ; CHECK-NEXT:    [[C:%.*]] = select i1 [[A]], float [[B]], float [[Y:%.*]]
 ; CHECK-NEXT:    ret float [[C]]
 ;
   %A = fcmp oeq float %x, 1.0
-  %B = fdiv float %x, %z
+  %B = fdiv float %z, %x
   %C = select i1 %A, float %B, float %y
   ret float %C
 }
@@ -534,31 +533,29 @@ define float @select_fadd_fcmp_bad_2(flo
   ret float %C
 }
 
-define float @select_fadd_fcmp_bad_3(float %x, float %y, float %z) {
+define float @select_fadd_fcmp_bad_3(float %x, float %y, float %z, float %k) {
 ; CHECK-LABEL: @select_fadd_fcmp_bad_3(
-; CHECK-NEXT:    [[A:%.*]] = fcmp one float [[X:%.*]], -0.000000e+00
+; CHECK-NEXT:    [[A:%.*]] = fcmp one float [[X:%.*]], [[K:%.*]]
 ; CHECK-NEXT:    [[B:%.*]] = fadd float [[X]], [[Z:%.*]]
 ; CHECK-NEXT:    [[C:%.*]] = select i1 [[A]], float [[Y:%.*]], float [[B]]
 ; CHECK-NEXT:    ret float [[C]]
 ;
-  %A = fcmp one float %x, -0.0
+  %A = fcmp one float %x, %k
   %B = fadd float %x, %z
   %C = select i1 %A, float %y, float %B
   ret float %C
 }
 
-
-
 define float @select_fadd_fcmp_bad_4(float %x, float %y, float %z) {
 ; CHECK-LABEL: @select_fadd_fcmp_bad_4(
 ; CHECK-NEXT:    [[A:%.*]] = fcmp une float [[X:%.*]], -0.000000e+00
 ; CHECK-NEXT:    [[B:%.*]] = fadd float [[X]], [[Z:%.*]]
-; CHECK-NEXT:    [[C:%.*]] = select i1 [[A]], float [[Y:%.*]], float [[B]]
+; CHECK-NEXT:    [[C:%.*]] = select i1 [[A]], float [[B]], float [[Y:%.*]]
 ; CHECK-NEXT:    ret float [[C]]
 ;
   %A = fcmp une float %x, -0.0
   %B = fadd float %x, %z
-  %C = select i1 %A, float %y, float %B
+  %C = select i1 %A, float %B, float %y
   ret float %C
 }