<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Wed, Mar 16, 2016 at 11:34 PM Sanjay Patel via llvm-commits <<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Author: spatel<br>
Date: Wed Mar 16 17:29:07 2016<br>
New Revision: 263667<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=263667&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project?rev=263667&view=rev</a><br>
Log:<br>
use FileCheck for tighter checking<br>
<br>
I'm testing out a script that auto-generates the check lines.<br>
It's 98% copied from utils/update_llc_test_checks.py.<br>
If others think this is useful, please let me know.<br></blockquote><div><br></div><div>This sounds super nice, even if just to help quickly get the initial template of a check together.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Modified:<br>
    llvm/trunk/test/Transforms/SimplifyCFG/two-entry-phi-return.ll<br>
<br>
Modified: llvm/trunk/test/Transforms/SimplifyCFG/two-entry-phi-return.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/SimplifyCFG/two-entry-phi-return.ll?rev=263667&r1=263666&r2=263667&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/SimplifyCFG/two-entry-phi-return.ll?rev=263667&r1=263666&r2=263667&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/test/Transforms/SimplifyCFG/two-entry-phi-return.ll (original)<br>
+++ llvm/trunk/test/Transforms/SimplifyCFG/two-entry-phi-return.ll Wed Mar 16 17:29:07 2016<br>
@@ -1,15 +1,23 @@<br>
-; RUN: opt < %s -simplifycfg -S | not grep br<br>
+; RUN: opt < %s -simplifycfg -S | FileCheck %s<br>
<br>
 define i1 @qux(i8* %m, i8* %n, i8* %o, i8* %p) nounwind  {<br>
 entry:<br>
-        %tmp7 = icmp eq i8* %m, %n<br>
-        br i1 %tmp7, label %bb, label %UnifiedReturnBlock<br>
+  %tmp7 = icmp eq i8* %m, %n<br>
+  br i1 %tmp7, label %bb, label %UnifiedReturnBlock<br>
<br>
 bb:<br>
-        %tmp15 = icmp eq i8* %o, %p<br>
-        br label %UnifiedReturnBlock<br>
+  %tmp15 = icmp eq i8* %o, %p<br>
+  br label %UnifiedReturnBlock<br>
<br>
 UnifiedReturnBlock:<br>
-        %result = phi i1 [ 0, %entry ], [ %tmp15, %bb ]<br>
-        ret i1 %result<br>
+  %result = phi i1 [ 0, %entry ], [ %tmp15, %bb ]<br>
+  ret i1 %result<br>
+<br>
+; CHECK-LABEL: @qux(<br>
+; CHECK-NEXT:  entry:<br>
+; CHECK-NEXT:    [[TMP7:%.*]] = icmp eq i8* %m, %n<br>
+; CHECK-NEXT:    [[TMP15:%.*]] = icmp eq i8* %o, %p<br>
+; CHECK-NEXT:    [[TMP15_:%.*]] = select i1 [[TMP7]], i1 [[TMP15]], i1 false<br>
+; CHECK-NEXT:    ret i1 [[TMP15_]]<br></blockquote><div><br></div><div>So, I really like for the -LABEL to come right after the function define line...<br></div><div><br></div><div>For the x86 tests, the common pattern I settled on was to have immediately after the function opening, a block of -LABEL and then -NEXT to assert each aspect of the function, all before the label of the entry block. Any particular reason to deviate here?</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
 }<br>
+<br>
<br>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
</blockquote></div></div>