[llvm] b022e08 - llvm-reduce: Don't use unreachable blocks in remove-bbs test

[Matt Arsenault via llvm-commits]

Author: Matt Arsenault
Date: 2022-10-23T15:16:54-07:00
New Revision: b022e08c185b42a875766ce12d34f7b3c1c759c2

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

LOG: llvm-reduce: Don't use unreachable blocks in remove-bbs test

A future change will skip the reduction for functions with
unreachable blocks. Also stop using the hard to follow python based
interestingness check in favor of FileCheck.

Added: 
    

Modified: 
    llvm/test/tools/llvm-reduce/remove-bbs.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/tools/llvm-reduce/remove-bbs.ll b/llvm/test/tools/llvm-reduce/remove-bbs.ll
index fa912503a7d04..a1fe9a3468d12 100644
--- a/llvm/test/tools/llvm-reduce/remove-bbs.ll
+++ b/llvm/test/tools/llvm-reduce/remove-bbs.ll
@@ -1,20 +1,26 @@
 ; Test that llvm-reduce can remove uninteresting Basic Blocks, and remove them from instructions (i.e. SwitchInst, BranchInst and IndirectBrInst)
 ; Note: if an uninteresting BB is the default case for a switch, the instruction is removed altogether (since the default case cannot be replaced)
 ;
-; RUN: llvm-reduce -abort-on-invalid-reduction --delta-passes=basic-blocks --test %python --test-arg %p/Inputs/remove-bbs.py %s -o %t
+; RUN: llvm-reduce -abort-on-invalid-reduction --delta-passes=basic-blocks --test FileCheck --test-arg --check-prefix=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t
 ; RUN: FileCheck -implicit-check-not=uninteresting %s < %t
 
+; CHECK-INTERESTINGNESS: store i32 0
+; CHECK-INTERESTINGNESS: store i32 1
+; CHECK-INTERESTINGNESS: store i32 2
+
 define void @main() {
 interesting:
+  store i32 0, ptr null
   ; CHECK-NOT: switch i32 0, label %uninteresting
   switch i32 0, label %uninteresting [
-    i32 0, label %uninteresting
+    i32 1, label %interesting2
   ]
 
 uninteresting:
   ret void
 
 interesting2:
+  store i32 1, ptr null
   ; CHECK: switch i32 1, label %interesting3
   switch i32 1, label %interesting3 [
     ; CHECK-NOT: i32 0, label %uninteresting
@@ -24,6 +30,7 @@ interesting2:
   ]
 
 interesting3:
+  store i32 2, ptr null
   ; CHECK: br label %interesting2
   br i1 true, label %interesting2, label %uninteresting
 }