[llvm] r263667 - use FileCheck for tighter checking

[Alex Rosenberg via llvm-commits]

It looks like this test can be a single line CHECK-NOT. The same is true of a few other similar commits today.

Alex

On Mar 16, 2016, at 3:29 PM, Sanjay Patel via llvm-commits <llvm-commits at lists.llvm.org> wrote:

> Author: spatel
> Date: Wed Mar 16 17:29:07 2016
> New Revision: 263667
> 
> URL: http://llvm.org/viewvc/llvm-project?rev=263667&view=rev
> Log:
> 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.
> 
> Modified:
>    llvm/trunk/test/Transforms/SimplifyCFG/two-entry-phi-return.ll
> 
> Modified: llvm/trunk/test/Transforms/SimplifyCFG/two-entry-phi-return.ll
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/SimplifyCFG/two-entry-phi-return.ll?rev=263667&r1=263666&r2=263667&view=diff
> ==============================================================================
> --- llvm/trunk/test/Transforms/SimplifyCFG/two-entry-phi-return.ll (original)
> +++ llvm/trunk/test/Transforms/SimplifyCFG/two-entry-phi-return.ll Wed Mar 16 17:29:07 2016
> @@ -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_]]
> }
> +
> 
> 
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits