[llvm] 9e8a0ea - [InstCombine] auto-generate complete test check lines; NFC

[Sanjay Patel via llvm-commits]

Author: Sanjay Patel
Date: 2022-01-17T08:42:48-05:00
New Revision: 9e8a0ea331bef7326b91804bd41a09d840344eba

URL: https://github.com/llvm/llvm-project/commit/9e8a0ea331bef7326b91804bd41a09d840344eba
DIFF: https://github.com/llvm/llvm-project/commit/9e8a0ea331bef7326b91804bd41a09d840344eba.diff

LOG: [InstCombine] auto-generate complete test check lines; NFC

Added: 
    

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

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/select-2.ll b/llvm/test/Transforms/InstCombine/select-2.ll
index 832d958c5f340..b0f39c1d4c8a6 100644
--- a/llvm/test/Transforms/InstCombine/select-2.ll
+++ b/llvm/test/Transforms/InstCombine/select-2.ll
@@ -1,31 +1,44 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt < %s -instcombine -S | FileCheck %s
 
-; CHECK: select
-; CHECK: select
-
 ; Make sure instcombine don't fold select into operands. We don't want to emit
 ; select of two integers unless it's selecting 0 / 1.
 
-define i32 @t1(i32 %c, i32 %x) nounwind {
-       %t1 = icmp eq i32 %c, 0
-       %t2 = lshr i32 %x, 18
-       %t3 = select i1 %t1, i32 %t2, i32 %x
-       ret i32 %t3
+define i32 @t1(i32 %c, i32 %x) {
+; CHECK-LABEL: @t1(
+; CHECK-NEXT:    [[T1:%.*]] = icmp eq i32 [[C:%.*]], 0
+; CHECK-NEXT:    [[T2:%.*]] = lshr i32 [[X:%.*]], 18
+; CHECK-NEXT:    [[T3:%.*]] = select i1 [[T1]], i32 [[T2]], i32 [[X]]
+; CHECK-NEXT:    ret i32 [[T3]]
+;
+  %t1 = icmp eq i32 %c, 0
+  %t2 = lshr i32 %x, 18
+  %t3 = select i1 %t1, i32 %t2, i32 %x
+  ret i32 %t3
 }
 
-define i32 @t2(i32 %c, i32 %x) nounwind {
-       %t1 = icmp eq i32 %c, 0
-       %t2 = and i32 %x, 18
-       %t3 = select i1 %t1, i32 %t2, i32 %x
-       ret i32 %t3
+define i32 @t2(i32 %c, i32 %x) {
+; CHECK-LABEL: @t2(
+; CHECK-NEXT:    [[T1:%.*]] = icmp eq i32 [[C:%.*]], 0
+; CHECK-NEXT:    [[T2:%.*]] = and i32 [[X:%.*]], 18
+; CHECK-NEXT:    [[T3:%.*]] = select i1 [[T1]], i32 [[T2]], i32 [[X]]
+; CHECK-NEXT:    ret i32 [[T3]]
+;
+  %t1 = icmp eq i32 %c, 0
+  %t2 = and i32 %x, 18
+  %t3 = select i1 %t1, i32 %t2, i32 %x
+  ret i32 %t3
 }
 
-define float @t3(float %x, float %y) nounwind {
+define float @t3(float %x, float %y) {
+; CHECK-LABEL: @t3(
+; CHECK-NEXT:    [[T1:%.*]] = fcmp ogt float [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT:    [[X_OP:%.*]] = fadd fast float [[X]], 1.000000e+00
+; CHECK-NEXT:    [[T3:%.*]] = select i1 [[T1]], float [[X_OP]], float 2.000000e+00
+; CHECK-NEXT:    ret float [[T3]]
+;
   %t1 = fcmp ogt float %x, %y
   %t2 = select i1 %t1, float %x, float 1.0
   %t3 = fadd fast float %t2, 1.0
   ret float %t3
-; CHECK-LABEL: @t3(
-; CHECK: fadd fast
-; CHECK: select
 }