[InstCombine] update test to use FileCheck; NFC

llvm-svn: 286668

diff --git a/llvm/test/Transforms/InstCombine/udiv_select_to_select_shift.ll b/llvm/test/Transforms/InstCombine/udiv_select_to_select_shift.ll
index 9b059a6cc94d9a959651b0cf2bd9b18b9bc9d4ab..ab4f51ab5b7d7ea2387ea53bafdbbed1ac1afc33 100644 (file)
--- a/llvm/test/Transforms/InstCombine/udiv_select_to_select_shift.ll
+++ b/llvm/test/Transforms/InstCombine/udiv_select_to_select_shift.ll
@@ -1,17 +1,21 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -instcombine -S | FileCheck %s
+
 ; Test that this transform works:
 ; udiv X, (Select Cond, C1, C2) --> Select Cond, (shr X, C1), (shr X, C2)
-;
-; RUN: opt < %s -instcombine -S -o %t
-; RUN:   not grep select %t
-; RUN:   grep lshr %t | count 2
-; RUN:   not grep udiv %t
 
 define i64 @test(i64 %X, i1 %Cond ) {
-entry:
-        %divisor1 = select i1 %Cond, i64 16, i64 8
-        %quotient1 = udiv i64 %X, %divisor1
-        %divisor2 = select i1 %Cond, i64 8, i64 0
-        %quotient2 = udiv i64 %X, %divisor2
-        %sum = add i64 %quotient1, %quotient2
-        ret i64 %sum
+; CHECK-LABEL: @test(
+; CHECK-NEXT:    [[QUOTIENT1:%.*]] = lshr i64 %X, 4
+; CHECK-NEXT:    [[QUOTIENT2:%.*]] = lshr i64 %X, 3
+; CHECK-NEXT:    [[SUM:%.*]] = add nuw nsw i64 [[QUOTIENT1]], [[QUOTIENT2]]
+; CHECK-NEXT:    ret i64 [[SUM]]
+;
+  %divisor1 = select i1 %Cond, i64 16, i64 8
+  %quotient1 = udiv i64 %X, %divisor1
+  %divisor2 = select i1 %Cond, i64 8, i64 0
+  %quotient2 = udiv i64 %X, %divisor2
+  %sum = add i64 %quotient1, %quotient2
+  ret i64 %sum
 }
+