From cb775fcf228c9aedcc104d6c1b303ca340c1a2f9 Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Wed, 16 Mar 2016 22:29:07 +0000 Subject: [PATCH] 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 --- .../Transforms/SimplifyCFG/two-entry-phi-return.ll | 22 +++++++++++++++------- 1 file changed, 15 insertions(+), 7 deletions(-) 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 --- 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_]] } + -- 2.7.4