use FileCheck for tighter checking

I'm testing out a script that auto-generates the check lines.
It's 98% copied from utils/update_llc_test_checks.py.
If others think this is useful, please let me know.

llvm-svn: 263667

diff --git a/llvm/test/Transforms/SimplifyCFG/two-entry-phi-return.ll b/llvm/test/Transforms/SimplifyCFG/two-entry-phi-return.ll
index fb18624..476d733 100644 (file)
--- a/llvm/test/Transforms/SimplifyCFG/two-entry-phi-return.ll
+++ b/llvm/test/Transforms/SimplifyCFG/two-entry-phi-return.ll
@@ -1,15 +1,23 @@
-; RUN: opt < %s -simplifycfg -S | not grep br
+; RUN: opt < %s -simplifycfg -S | FileCheck %s
 
 define i1 @qux(i8* %m, i8* %n, i8* %o, i8* %p) nounwind  {
 entry:
-        %tmp7 = icmp eq i8* %m, %n
-        br i1 %tmp7, label %bb, label %UnifiedReturnBlock
+  %tmp7 = icmp eq i8* %m, %n
+  br i1 %tmp7, label %bb, label %UnifiedReturnBlock
 
 bb:
-        %tmp15 = icmp eq i8* %o, %p
-        br label %UnifiedReturnBlock
+  %tmp15 = icmp eq i8* %o, %p
+  br label %UnifiedReturnBlock
 
 UnifiedReturnBlock:
-        %result = phi i1 [ 0, %entry ], [ %tmp15, %bb ]
-        ret i1 %result
+  %result = phi i1 [ 0, %entry ], [ %tmp15, %bb ]
+  ret i1 %result
+
+; CHECK-LABEL: @qux(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[TMP7:%.*]] = icmp eq i8* %m, %n
+; CHECK-NEXT:    [[TMP15:%.*]] = icmp eq i8* %o, %p
+; CHECK-NEXT:    [[TMP15_:%.*]] = select i1 [[TMP7]], i1 [[TMP15]], i1 false
+; CHECK-NEXT:    ret i1 [[TMP15_]]
 }
+