[llvm] r188971 - FileCheck-ize tests.
Bill Wendling
isanbard at gmail.com
Wed Aug 21 17:51:20 PDT 2013
Author: void
Date: Wed Aug 21 19:51:19 2013
New Revision: 188971
URL: http://llvm.org/viewvc/llvm-project?rev=188971&view=rev
Log:
FileCheck-ize tests.
Modified:
llvm/trunk/test/Analysis/LoopInfo/2003-05-15-NestingProblem.ll
llvm/trunk/test/Analysis/PostDominators/pr1098.ll
llvm/trunk/test/Analysis/ScalarEvolution/2007-08-06-MisinterpretBranch.ll
llvm/trunk/test/Analysis/ScalarEvolution/2007-08-06-Unsigned.ll
llvm/trunk/test/Analysis/ScalarEvolution/2007-09-27-LargeStepping.ll
llvm/trunk/test/Analysis/ScalarEvolution/2007-11-14-SignedAddRec.ll
llvm/trunk/test/Analysis/ScalarEvolution/2008-02-11-ReversedCondition.ll
llvm/trunk/test/Analysis/ScalarEvolution/2008-02-15-UMax.ll
llvm/trunk/test/Analysis/ScalarEvolution/2008-05-25-NegativeStepToZero.ll
llvm/trunk/test/Analysis/ScalarEvolution/2008-07-12-UnneededSelect1.ll
llvm/trunk/test/Analysis/ScalarEvolution/2008-07-12-UnneededSelect2.ll
llvm/trunk/test/Analysis/ScalarEvolution/2008-07-19-InfiniteLoop.ll
llvm/trunk/test/Analysis/ScalarEvolution/2008-07-19-WrappingIV.ll
llvm/trunk/test/Analysis/ScalarEvolution/2008-11-18-LessThanOrEqual.ll
llvm/trunk/test/Analysis/ScalarEvolution/2008-11-18-Stride1.ll
llvm/trunk/test/Analysis/ScalarEvolution/2008-11-18-Stride2.ll
llvm/trunk/test/Analysis/ScalarEvolution/2008-12-08-FiniteSGE.ll
llvm/trunk/test/Analysis/ScalarEvolution/2008-12-14-StrideAndSigned.ll
llvm/trunk/test/Analysis/ScalarEvolution/2008-12-15-DontUseSDiv.ll
llvm/trunk/test/Analysis/ScalarEvolution/2009-01-02-SignedNegativeStride.ll
llvm/trunk/test/Analysis/ScalarEvolution/2009-04-22-TruncCast.ll
llvm/trunk/test/Analysis/ScalarEvolution/2009-05-09-PointerEdgeCount.ll
llvm/trunk/test/Analysis/ScalarEvolution/and-xor.ll
llvm/trunk/test/Analysis/ScalarEvolution/avoid-smax-0.ll
llvm/trunk/test/Analysis/ScalarEvolution/div-overflow.ll
llvm/trunk/test/Analysis/ScalarEvolution/do-loop.ll
Modified: llvm/trunk/test/Analysis/LoopInfo/2003-05-15-NestingProblem.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/LoopInfo/2003-05-15-NestingProblem.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/LoopInfo/2003-05-15-NestingProblem.ll (original)
+++ llvm/trunk/test/Analysis/LoopInfo/2003-05-15-NestingProblem.ll Wed Aug 21 19:51:19 2013
@@ -1,8 +1,9 @@
; This testcase was incorrectly computing that the loopentry.7 loop was
; not a child of the loopentry.6 loop.
;
-; RUN: opt < %s -analyze -loops | \
-; RUN: grep "^ Loop at depth 4 containing: %loopentry.7<header><latch><exiting>"
+; RUN: opt < %s -analyze -loops | FileCheck %s
+
+; CHECK: Loop at depth 4 containing: %loopentry.7<header><latch><exiting>
define void @getAndMoveToFrontDecode() {
br label %endif.2
Modified: llvm/trunk/test/Analysis/PostDominators/pr1098.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/PostDominators/pr1098.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/PostDominators/pr1098.ll (original)
+++ llvm/trunk/test/Analysis/PostDominators/pr1098.ll Wed Aug 21 19:51:19 2013
@@ -1,7 +1,8 @@
-; RUN: opt < %s -postdomtree -analyze | grep entry
+; RUN: opt < %s -postdomtree -analyze | FileCheck %s
; PR932
define void @foo(i1 %x) {
+; CHECK: entry
entry:
br i1 %x, label %bb1, label %bb0
bb0: ; preds = %entry, bb0
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2007-08-06-MisinterpretBranch.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2007-08-06-MisinterpretBranch.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2007-08-06-MisinterpretBranch.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2007-08-06-MisinterpretBranch.ll Wed Aug 21 19:51:19 2013
@@ -1,6 +1,8 @@
-; RUN: opt < %s -indvars -adce -simplifycfg -S | grep "icmp s"
+; RUN: opt < %s -indvars -adce -simplifycfg -S | FileCheck %s
; PR1598
+; CHECK: icmp s
+
define i32 @f(i32 %a, i32 %b, i32 %x, i32 %y) {
entry:
%tmp3 = icmp eq i32 %a, %b ; <i1> [#uses=1]
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2007-08-06-Unsigned.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2007-08-06-Unsigned.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2007-08-06-Unsigned.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2007-08-06-Unsigned.ll Wed Aug 21 19:51:19 2013
@@ -1,6 +1,8 @@
-; RUN: opt < %s -scalar-evolution -analyze | grep "Loop %bb: backedge-taken count is (-1 + (-1 \* %x) + %y)"
+; RUN: opt < %s -scalar-evolution -analyze | FileCheck %s
; PR1597
+; CHECK: Loop %bb: backedge-taken count is (-1 + (-1 * %x) + %y)
+
define i32 @f(i32 %x, i32 %y) {
entry:
%tmp63 = icmp ult i32 %x, %y ; <i1> [#uses=1]
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2007-09-27-LargeStepping.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2007-09-27-LargeStepping.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2007-09-27-LargeStepping.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2007-09-27-LargeStepping.ll Wed Aug 21 19:51:19 2013
@@ -1,7 +1,8 @@
-; RUN: opt < %s -analyze -scalar-evolution \
-; RUN: -scalar-evolution-max-iterations=0 | grep "backedge-taken count is 13"
+; RUN: opt < %s -analyze -scalar-evolution -scalar-evolution-max-iterations=0 | FileCheck %s
; PR1706
+; CHECK: backedge-taken count is 13
+
define i32 @f() {
entry:
br label %bb5
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2007-11-14-SignedAddRec.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2007-11-14-SignedAddRec.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2007-11-14-SignedAddRec.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2007-11-14-SignedAddRec.ll Wed Aug 21 19:51:19 2013
@@ -1,6 +1,8 @@
-; RUN: opt < %s -indvars -S | grep printd | grep 1206807378
+; RUN: opt < %s -indvars -S | FileCheck %s
; PR1798
+; CHECK: printd(i32 1206807378)
+
declare void @printd(i32)
define i32 @test() {
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2008-02-11-ReversedCondition.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2008-02-11-ReversedCondition.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2008-02-11-ReversedCondition.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2008-02-11-ReversedCondition.ll Wed Aug 21 19:51:19 2013
@@ -1,4 +1,6 @@
-; RUN: opt < %s -scalar-evolution -analyze | grep "Loop %header: backedge-taken count is (0 smax %n)"
+; RUN: opt < %s -scalar-evolution -analyze | FileCheck %s
+
+; CHECK: Loop %header: backedge-taken count is (0 smax %n)
define void @foo(i32 %n) {
entry:
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2008-02-15-UMax.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2008-02-15-UMax.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2008-02-15-UMax.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2008-02-15-UMax.ll Wed Aug 21 19:51:19 2013
@@ -1,6 +1,8 @@
-; RUN: opt < %s -analyze -scalar-evolution | grep umax
+; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s
; PR2003
+; CHECK: umax
+
define i32 @foo(i32 %n) {
entry:
br label %header
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2008-05-25-NegativeStepToZero.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2008-05-25-NegativeStepToZero.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2008-05-25-NegativeStepToZero.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2008-05-25-NegativeStepToZero.ll Wed Aug 21 19:51:19 2013
@@ -1,7 +1,8 @@
-; RUN: opt < %s -analyze -scalar-evolution \
-; RUN: -scalar-evolution-max-iterations=0 | grep "backedge-taken count is 61"
+; RUN: opt < %s -analyze -scalar-evolution -scalar-evolution-max-iterations=0 | FileCheck %s
; PR2364
+; CHECK: backedge-taken count is 61
+
define i32 @func_6() nounwind {
entry:
br label %bb5
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2008-07-12-UnneededSelect1.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2008-07-12-UnneededSelect1.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2008-07-12-UnneededSelect1.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2008-07-12-UnneededSelect1.ll Wed Aug 21 19:51:19 2013
@@ -1,6 +1,9 @@
-; RUN: opt < %s -analyze -scalar-evolution 2>&1 | not grep smax
+; RUN: opt < %s -analyze -scalar-evolution 2>&1 | FileCheck %s
; PR2261
+; CHECK: Printing analysis 'Scalar Evolution Analysis' for function 'foo'
+; CHECK-NOT: smax
+
@lut = common global [256 x i8] zeroinitializer, align 32 ; <[256 x i8]*> [#uses=1]
define void @foo(i32 %count, i32* %srcptr, i32* %dstptr) nounwind {
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2008-07-12-UnneededSelect2.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2008-07-12-UnneededSelect2.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2008-07-12-UnneededSelect2.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2008-07-12-UnneededSelect2.ll Wed Aug 21 19:51:19 2013
@@ -1,6 +1,9 @@
-; RUN: opt < %s -analyze -scalar-evolution 2>&1 | not grep smax
+; RUN: opt < %s -analyze -scalar-evolution 2>&1 | FileCheck %s
; PR2070
+; CHECK: Printing analysis 'Scalar Evolution Analysis' for function 'a'
+; CHECK-NOT: smax
+
define i32 @a(i32 %x) nounwind {
entry:
icmp sgt i32 %x, 1 ; <i1>:0 [#uses=1]
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2008-07-19-InfiniteLoop.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2008-07-19-InfiniteLoop.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2008-07-19-InfiniteLoop.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2008-07-19-InfiniteLoop.ll Wed Aug 21 19:51:19 2013
@@ -1,7 +1,8 @@
-; RUN: opt < %s -analyze -scalar-evolution \
-; RUN: -scalar-evolution-max-iterations=0 | grep Unpredictable
+; RUN: opt < %s -analyze -scalar-evolution -scalar-evolution-max-iterations=0 | FileCheck %s
; PR2088
+; CHECK: Unpredictable
+
define void @fun() {
entry:
br label %loop
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2008-07-19-WrappingIV.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2008-07-19-WrappingIV.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2008-07-19-WrappingIV.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2008-07-19-WrappingIV.ll Wed Aug 21 19:51:19 2013
@@ -1,7 +1,8 @@
-; RUN: opt < %s -analyze -scalar-evolution \
-; RUN: -scalar-evolution-max-iterations=0 | grep "backedge-taken count is 113"
+; RUN: opt < %s -analyze -scalar-evolution -scalar-evolution-max-iterations=0 | FileCheck %s
; PR2088
+; CHECK: backedge-taken count is 113
+
define void @fun() {
entry:
br label %loop
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2008-11-18-LessThanOrEqual.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2008-11-18-LessThanOrEqual.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2008-11-18-LessThanOrEqual.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2008-11-18-LessThanOrEqual.ll Wed Aug 21 19:51:19 2013
@@ -1,5 +1,6 @@
-; RUN: opt < %s -analyze -scalar-evolution 2>&1 | \
-; RUN: grep "Loop %bb: backedge-taken count is (7 + (-1 \* %argc))"
+; RUN: opt < %s -analyze -scalar-evolution 2>&1 | FileCheck %s
+
+; CHECK: Loop %bb: backedge-taken count is (7 + (-1 * %argc))
define i32 @main(i32 %argc, i8** %argv) nounwind {
entry:
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2008-11-18-Stride1.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2008-11-18-Stride1.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2008-11-18-Stride1.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2008-11-18-Stride1.ll Wed Aug 21 19:51:19 2013
@@ -1,5 +1,6 @@
-; RUN: opt < %s -analyze -scalar-evolution \
-; RUN: | grep "Loop %bb: Unpredictable backedge-taken count\."
+; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s
+
+; CHECK: Loop %bb: Unpredictable backedge-taken count.
; ScalarEvolution can't compute a trip count because it doesn't know if
; dividing by the stride will have a remainder. This could theoretically
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2008-11-18-Stride2.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2008-11-18-Stride2.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2008-11-18-Stride2.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2008-11-18-Stride2.ll Wed Aug 21 19:51:19 2013
@@ -1,6 +1,8 @@
-; RUN: opt < %s -analyze -scalar-evolution 2>&1 | grep "/u 3"
+; RUN: opt < %s -analyze -scalar-evolution 2>&1 | FileCheck %s
; XFAIL: *
+; CHECK: /u 3
+
; This is a tricky testcase for unsigned wrap detection which ScalarEvolution
; doesn't yet know how to do.
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2008-12-08-FiniteSGE.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2008-12-08-FiniteSGE.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2008-12-08-FiniteSGE.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2008-12-08-FiniteSGE.ll Wed Aug 21 19:51:19 2013
@@ -1,4 +1,6 @@
-; RUN: opt < %s -analyze -scalar-evolution | grep "backedge-taken count is 255"
+; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s
+
+; CHECK: backedge-taken count is 255
define i32 @foo(i32 %x, i32 %y, i32* %lam, i32* %alp) nounwind {
bb1.thread:
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2008-12-14-StrideAndSigned.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2008-12-14-StrideAndSigned.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2008-12-14-StrideAndSigned.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2008-12-14-StrideAndSigned.ll Wed Aug 21 19:51:19 2013
@@ -1,7 +1,8 @@
-; RUN: opt < %s -analyze -scalar-evolution 2>&1 | \
-; RUN: grep "(((-1 * %i0) + (100005 smax %i0)) /u 5)"
+; RUN: opt < %s -analyze -scalar-evolution 2>&1 | FileCheck %s
; XFAIL: *
+; CHECK: (((-1 * %i0) + (100005 smax %i0)) /u 5)
+
define i32 @foo0(i32 %i0) nounwind {
entry:
br label %bb1
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2008-12-15-DontUseSDiv.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2008-12-15-DontUseSDiv.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2008-12-15-DontUseSDiv.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2008-12-15-DontUseSDiv.ll Wed Aug 21 19:51:19 2013
@@ -1,6 +1,8 @@
-; RUN: opt < %s -analyze -scalar-evolution 2>&1 | grep "/u 5"
+; RUN: opt < %s -analyze -scalar-evolution 2>&1 | FileCheck %s
; XFAIL: *
+; CHECK: /u 5
+
define i8 @foo0(i8 %i0) nounwind {
entry:
br label %bb1
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2009-01-02-SignedNegativeStride.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2009-01-02-SignedNegativeStride.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2009-01-02-SignedNegativeStride.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2009-01-02-SignedNegativeStride.ll Wed Aug 21 19:51:19 2013
@@ -1,6 +1,9 @@
-; RUN: opt < %s -analyze -scalar-evolution | not grep "/u -1"
+; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s
; PR3275
+; CHECK: Printing analysis 'Scalar Evolution Analysis' for function 'func_15'
+; CHECK-NOT: /u -1
+
@g_16 = external global i16 ; <i16*> [#uses=3]
@.str = external constant [4 x i8] ; <[4 x i8]*> [#uses=0]
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2009-04-22-TruncCast.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2009-04-22-TruncCast.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2009-04-22-TruncCast.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2009-04-22-TruncCast.ll Wed Aug 21 19:51:19 2013
@@ -1,35 +1,53 @@
; RUN: opt < %s -analyze -scalar-evolution | grep "(trunc i" | not grep ext
+; CHECK: Printing analysis 'Scalar Evolution Analysis' for function 'test1'
+; CHECK-NOT: (trunc i{{.*}}ext
+
define i16 @test1(i8 %x) {
%A = sext i8 %x to i32
%B = trunc i32 %A to i16
ret i16 %B
}
+; CHECK: Printing analysis 'Scalar Evolution Analysis' for function 'test2'
+; CHECK-NOT: (trunc i{{.*}}ext
+
define i8 @test2(i16 %x) {
%A = sext i16 %x to i32
%B = trunc i32 %A to i8
ret i8 %B
}
+; CHECK: Printing analysis 'Scalar Evolution Analysis' for function 'test3'
+; CHECK-NOT: (trunc i{{.*}}ext
+
define i16 @test3(i16 %x) {
%A = sext i16 %x to i32
%B = trunc i32 %A to i16
ret i16 %B
}
+; CHECK: Printing analysis 'Scalar Evolution Analysis' for function 'test4'
+; CHECK-NOT: (trunc i{{.*}}ext
+
define i16 @test4(i8 %x) {
%A = zext i8 %x to i32
%B = trunc i32 %A to i16
ret i16 %B
}
+; CHECK: Printing analysis 'Scalar Evolution Analysis' for function 'test5'
+; CHECK-NOT: (trunc i{{.*}}ext
+
define i8 @test5(i16 %x) {
%A = zext i16 %x to i32
%B = trunc i32 %A to i8
ret i8 %B
}
+; CHECK: Printing analysis 'Scalar Evolution Analysis' for function 'test6'
+; CHECK-NOT: (trunc i{{.*}}ext
+
define i16 @test6(i16 %x) {
%A = zext i16 %x to i32
%B = trunc i32 %A to i16
Modified: llvm/trunk/test/Analysis/ScalarEvolution/2009-05-09-PointerEdgeCount.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/2009-05-09-PointerEdgeCount.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/2009-05-09-PointerEdgeCount.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/2009-05-09-PointerEdgeCount.ll Wed Aug 21 19:51:19 2013
@@ -1,5 +1,8 @@
-; RUN: opt < %s -analyze -scalar-evolution | grep "count is 2"
+; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s
; PR3171
+
+; CHECK: count is 2
+
target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
%struct.Foo = type { i32 }
Modified: llvm/trunk/test/Analysis/ScalarEvolution/and-xor.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/and-xor.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/and-xor.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/and-xor.ll Wed Aug 21 19:51:19 2013
@@ -1,5 +1,8 @@
-; RUN: opt < %s -scalar-evolution -analyze \
-; RUN: | grep "\--> (zext" | count 2
+; RUN: opt < %s -scalar-evolution -analyze | FileCheck %s
+
+; CHECK: --> (zext
+; CHECK: --> (zext
+; CHECK-NOT: --> (zext
define i32 @foo(i32 %x) {
%n = and i32 %x, 255
Modified: llvm/trunk/test/Analysis/ScalarEvolution/avoid-smax-0.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/avoid-smax-0.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/avoid-smax-0.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/avoid-smax-0.ll Wed Aug 21 19:51:19 2013
@@ -1,4 +1,6 @@
-; RUN: opt < %s -scalar-evolution -analyze | grep "Loop %bb3: backedge-taken count is (-1 + %n)"
+; RUN: opt < %s -scalar-evolution -analyze | FileCheck %s
+
+; CHECK: Loop %bb3: backedge-taken count is (-1 + %n)
; We don't want to use a max in the trip count expression in
; this testcase.
Modified: llvm/trunk/test/Analysis/ScalarEvolution/div-overflow.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/div-overflow.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/div-overflow.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/div-overflow.ll Wed Aug 21 19:51:19 2013
@@ -1,5 +1,6 @@
-; RUN: opt < %s -scalar-evolution -analyze \
-; RUN: | grep "\--> ((-128 \* %a) /u -128)"
+; RUN: opt < %s -scalar-evolution -analyze | FileCheck %s
+
+; CHECK: --> ((-128 * %a) /u -128)
; Don't let ScalarEvolution fold this div away.
Modified: llvm/trunk/test/Analysis/ScalarEvolution/do-loop.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/do-loop.ll?rev=188971&r1=188970&r2=188971&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/do-loop.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/do-loop.ll Wed Aug 21 19:51:19 2013
@@ -1,6 +1,8 @@
-; RUN: opt < %s -analyze -scalar-evolution | grep smax
+; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s
; PR1614
+; CHECK: smax
+
define i32 @f(i32 %x, i32 %y) {
entry:
br label %bb
More information about the llvm-commits
mailing list