mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 03:02:36 +01:00
-disable-output is no longer needed with -analyze.
llvm-svn: 94574
This commit is contained in:
parent
4b3987001a
commit
71fc5e8fce
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -disable-output -analyze -lda | FileCheck %s
|
||||
; RUN: opt < %s -analyze -lda | FileCheck %s
|
||||
|
||||
;; x[5] = x[6] // with x being a pointer passed as argument
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -disable-output -analyze -lda | FileCheck %s
|
||||
; RUN: opt < %s -analyze -lda | FileCheck %s
|
||||
|
||||
@x = common global [256 x i32] zeroinitializer, align 4
|
||||
@y = common global [256 x i32] zeroinitializer, align 4
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -disable-output -analyze -lda | FileCheck %s
|
||||
; RUN: opt < %s -analyze -lda | FileCheck %s
|
||||
|
||||
@x = common global [256 x i32] zeroinitializer, align 4
|
||||
@y = common global [256 x i32] zeroinitializer, align 4
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -disable-output -analyze -lda | FileCheck %s
|
||||
; RUN: opt < %s -analyze -lda | FileCheck %s
|
||||
|
||||
@x = common global [256 x i32] zeroinitializer, align 4
|
||||
@y = common global [256 x i32] zeroinitializer, align 4
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -disable-output -analyze -lda | FileCheck %s
|
||||
; RUN: opt < %s -analyze -lda | FileCheck %s
|
||||
|
||||
@x = common global [256 x i32] zeroinitializer, align 4
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: -scalar-evolution-max-iterations=0 | grep {Loop %bb: backedge-taken count is 100}
|
||||
; PR1533
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -scalar-evolution -analyze -disable-output | grep {Loop %bb: backedge-taken count is (-1 + (-1 \\* %x) + %y)}
|
||||
; RUN: opt < %s -scalar-evolution -analyze | grep {Loop %bb: backedge-taken count is (-1 + (-1 \\* %x) + %y)}
|
||||
; PR1597
|
||||
|
||||
define i32 @f(i32 %x, i32 %y) {
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: -scalar-evolution-max-iterations=0 | grep {backedge-taken count is 13}
|
||||
; PR1706
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output | FileCheck %s
|
||||
; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s
|
||||
; PR1810
|
||||
|
||||
define void @fun() {
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -scalar-evolution -analyze -disable-output | grep {Loop %header: backedge-taken count is (0 smax %n)}
|
||||
; RUN: opt < %s -scalar-evolution -analyze | grep {Loop %header: backedge-taken count is (0 smax %n)}
|
||||
|
||||
define void @foo(i32 %n) {
|
||||
entry:
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -scalar-evolution -analyze -disable-output | grep {Loop %loop: backedge-taken count is (100 + (-100 smax %n))}
|
||||
; RUN: opt < %s -scalar-evolution -analyze | grep {Loop %loop: backedge-taken count is (100 + (-100 smax %n))}
|
||||
; PR2002
|
||||
|
||||
define void @foo(i8 %n) {
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep umax
|
||||
; RUN: opt < %s -analyze -scalar-evolution | grep umax
|
||||
; PR2003
|
||||
|
||||
define i32 @foo(i32 %n) {
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: -scalar-evolution-max-iterations=0 | grep {backedge-taken count is 61}
|
||||
; PR2364
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output |& not grep smax
|
||||
; RUN: opt < %s -analyze -scalar-evolution |& not grep smax
|
||||
; PR2261
|
||||
|
||||
@lut = common global [256 x i8] zeroinitializer, align 32 ; <[256 x i8]*> [#uses=1]
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output |& not grep smax
|
||||
; RUN: opt < %s -analyze -scalar-evolution |& not grep smax
|
||||
; PR2070
|
||||
|
||||
define i32 @a(i32 %x) nounwind {
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: -scalar-evolution-max-iterations=0 | grep Unpredictable
|
||||
; PR2088
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: -scalar-evolution-max-iterations=0 | grep {backedge-taken count is 113}
|
||||
; PR2088
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: -scalar-evolution-max-iterations=0 | FileCheck %s
|
||||
; PR2607
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: -scalar-evolution-max-iterations=0 | FileCheck %s
|
||||
; PR2607
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: -scalar-evolution-max-iterations=0 | FileCheck %s
|
||||
; PR2621
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: -scalar-evolution-max-iterations=0 | FileCheck %s
|
||||
; PR2621
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output
|
||||
; RUN: opt < %s -analyze -scalar-evolution
|
||||
; PR1827
|
||||
|
||||
declare void @use(i32)
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output
|
||||
; RUN: opt < %s -analyze -scalar-evolution
|
||||
; PR2602
|
||||
|
||||
define i32 @a() nounwind {
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output |& \
|
||||
; RUN: opt < %s -analyze -scalar-evolution |& \
|
||||
; RUN: grep {Loop %bb: backedge-taken count is (7 + (-1 \\* %argc))}
|
||||
; XFAIL: *
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: | grep {Loop %bb: Unpredictable backedge-taken count\\.}
|
||||
|
||||
; ScalarEvolution can't compute a trip count because it doesn't know if
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output |& grep {/u 3}
|
||||
; RUN: opt < %s -analyze -scalar-evolution |& grep {/u 3}
|
||||
; XFAIL: *
|
||||
|
||||
define i32 @f(i32 %x) nounwind readnone {
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep {backedge-taken count is 255}
|
||||
; RUN: opt < %s -analyze -scalar-evolution | grep {backedge-taken count is 255}
|
||||
; XFAIL: *
|
||||
|
||||
define i32 @foo(i32 %x, i32 %y, i32* %lam, i32* %alp) nounwind {
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep {0 smax}
|
||||
; RUN: opt < %s -analyze -scalar-evolution | grep {0 smax}
|
||||
; XFAIL: *
|
||||
|
||||
define i32 @f(i32 %c.idx.val) {
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output |& \
|
||||
; RUN: opt < %s -analyze -scalar-evolution |& \
|
||||
; RUN: grep {(((-1 \\* %i0) + (100005 smax %i0)) /u 5)}
|
||||
; XFAIL: *
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output |& grep {/u 5}
|
||||
; RUN: opt < %s -analyze -scalar-evolution |& grep {/u 5}
|
||||
; XFAIL: *
|
||||
|
||||
define i8 @foo0(i8 %i0) nounwind {
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output | not grep {/u -1}
|
||||
; RUN: opt < %s -analyze -scalar-evolution | not grep {/u -1}
|
||||
; PR3275
|
||||
|
||||
@g_16 = external global i16 ; <i16*> [#uses=3]
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep {(trunc i} | not grep ext
|
||||
; RUN: opt < %s -analyze -scalar-evolution | grep {(trunc i} | not grep ext
|
||||
|
||||
define i16 @test1(i8 %x) {
|
||||
%A = sext i8 %x to i32
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep {count is 2}
|
||||
; RUN: opt < %s -analyze -scalar-evolution | grep {count is 2}
|
||||
; PR3171
|
||||
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"
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: -scalar-evolution-max-iterations=0 | grep {backedge-taken count is 100}
|
||||
; PR1101
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -scalar-evolution -analyze -disable-output \
|
||||
; RUN: opt < %s -scalar-evolution -analyze \
|
||||
; RUN: | grep {\\--> (zext} | count 2
|
||||
|
||||
define i32 @foo(i32 %x) {
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output
|
||||
; RUN: opt < %s -analyze -scalar-evolution
|
||||
; PR4537
|
||||
|
||||
; ModuleID = 'b.bc'
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -scalar-evolution -analyze -disable-output | grep {Loop %bb3: backedge-taken count is (-1 + %n)}
|
||||
; RUN: opt < %s -scalar-evolution -analyze | grep {Loop %bb3: backedge-taken count is (-1 + %n)}
|
||||
|
||||
; We don't want to use a max in the trip count expression in
|
||||
; this testcase.
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -scalar-evolution -analyze -disable-output \
|
||||
; RUN: opt < %s -scalar-evolution -analyze \
|
||||
; RUN: | grep {\\--> ((-128 \\* %a) /u -128)}
|
||||
|
||||
; Don't let ScalarEvolution fold this div away.
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep smax
|
||||
; RUN: opt < %s -analyze -scalar-evolution | grep smax
|
||||
; PR1614
|
||||
|
||||
define i32 @f(i32 %x, i32 %y) {
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: | grep {\{%d,+,\[^\{\}\]\*\}<%bb>}
|
||||
|
||||
; ScalarEvolution should be able to understand the loop and eliminate the casts.
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -S -analyze -scalar-evolution -disable-output | FileCheck %s
|
||||
; RUN: opt < %s -S -analyze -scalar-evolution | FileCheck %s
|
||||
|
||||
; ScalarEvolution should be able to fold away the sign-extensions
|
||||
; on this loop with a primary induction variable incremented with
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep { --> {.*,+,.*}<%bb>} | count 8
|
||||
; RUN: opt < %s -analyze -scalar-evolution | grep { --> {.*,+,.*}<%bb>} | count 8
|
||||
|
||||
; The addrecs in this loop are analyzable only by using nsw information.
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output
|
||||
; RUN: opt < %s -analyze -scalar-evolution
|
||||
|
||||
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"
|
||||
%JavaObject = type { [0 x i32 (...)*]*, i8* }
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output > %t
|
||||
; RUN: opt < %s -analyze -scalar-evolution > %t
|
||||
; RUN: grep {sext i57 \{0,+,199\}<%bb> to i64} %t | count 1
|
||||
; RUN: grep {sext i59 \{0,+,199\}<%bb> to i64} %t | count 1
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -disable-output -scalar-evolution -analyze \
|
||||
; RUN: opt < %s -scalar-evolution -analyze \
|
||||
; RUN: | grep { --> \{-128,+,1\}<%bb1> Exits: 127} | count 5
|
||||
|
||||
; Convert (sext {-128,+,1}) to {sext(-128),+,sext(1)}, since the
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -disable-output -scalar-evolution -analyze \
|
||||
; RUN: opt < %s -scalar-evolution -analyze \
|
||||
; RUN: | grep { --> (sext i. \{.\*,+,.\*\}<%bb1> to i64)} | count 5
|
||||
|
||||
; Don't convert (sext {...,+,...}) to {sext(...),+,sext(...)} in cases
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output | FileCheck %s
|
||||
; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s
|
||||
|
||||
; CHECK: %tmp3 = sext i8 %tmp2 to i32
|
||||
; CHECK: --> (sext i8 {0,+,1}<%bb1> to i32) Exits: -1
|
||||
|
@ -1,5 +1,5 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep smax | count 2
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep \
|
||||
; RUN: opt < %s -analyze -scalar-evolution | grep smax | count 2
|
||||
; RUN: opt < %s -analyze -scalar-evolution | grep \
|
||||
; RUN: {%. smax %. smax %.}
|
||||
; PR1614
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: -scalar-evolution-max-iterations=0 | grep {backedge-taken count is 10000}
|
||||
; PR1101
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output | \
|
||||
; RUN: opt < %s -analyze -scalar-evolution | \
|
||||
; RUN: grep {backedge-taken count is 4}
|
||||
; PR1101
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -scalar-evolution -analyze -disable-output \
|
||||
; RUN: opt < %s -scalar-evolution -analyze \
|
||||
; RUN: | grep {Loop %bb3\\.i: Unpredictable backedge-taken count\\.}
|
||||
|
||||
; ScalarEvolution can't compute a trip count because it doesn't know if
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: | grep {sext.*trunc.*Exits: 11}
|
||||
|
||||
; ScalarEvolution should be able to compute a loop exit value for %indvar.i8.
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output > %t
|
||||
; RUN: opt < %s -analyze -scalar-evolution > %t
|
||||
; RUN: grep sext %t | count 2
|
||||
; RUN: not grep {(sext} %t
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -disable-output -scalar-evolution \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: | grep {max backedge-taken count is 1\$}
|
||||
|
||||
@mode_table = global [4 x i32] zeroinitializer ; <[4 x i32]*> [#uses=1]
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: | grep {Loop %bb7.i: Unpredictable backedge-taken count\\.}
|
||||
|
||||
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: | grep {Loop %for\\.body: backedge-taken count is (-1 + \[%\]ecx)}
|
||||
; PR4599
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -scalar-evolution -disable-output -analyze \
|
||||
; RUN: opt < %s -scalar-evolution -analyze \
|
||||
; RUN: | grep {\\--> (zext i4 (-8 + (trunc i64 (8 \\* %x) to i4)) to i64)}
|
||||
|
||||
; ScalarEvolution shouldn't try to analyze %z into something like
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: opt < %s -analyze -scalar-evolution \
|
||||
; RUN: | FileCheck %s
|
||||
; PR4569
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
;RUN: opt < %s -analyze -dot-cfg-only -disable-output 2>/dev/null
|
||||
;RUN: opt < %s -analyze -dot-cfg-only 2>/dev/null
|
||||
;PR 1497
|
||||
|
||||
define void @foo() {
|
||||
|
@ -1,6 +1,6 @@
|
||||
; RUN: opt < %s -analyze -inline -disable-output
|
||||
; RUN: opt < %s -analyze -inline
|
||||
; PR1526
|
||||
; RUN: opt < %s -analyze -indvars -disable-output
|
||||
; RUN: opt < %s -analyze -indvars
|
||||
; PR1539
|
||||
define i32 @test1() {
|
||||
ret i32 0
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -scalar-evolution -analyze -disable-output \
|
||||
; RUN: opt < %s -scalar-evolution -analyze \
|
||||
; RUN: | grep {\\--> (zext i4 {-7,+,-8}<%loop> to i32)}
|
||||
|
||||
define fastcc void @foo() nounwind {
|
||||
|
@ -1,5 +1,5 @@
|
||||
; RUN: opt < %s -loop-reduce -disable-output
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output
|
||||
; RUN: opt < %s -loop-reduce
|
||||
; RUN: opt < %s -analyze -scalar-evolution
|
||||
; PR 3086
|
||||
|
||||
%struct.Cls = type { i32, i8, [2 x %struct.Cls*], [2 x %struct.Lit*] }
|
||||
|
@ -1,4 +1,4 @@
|
||||
; RUN: opt < %s -analyze -iv-users -disable-output | grep {Stride i64 {3,+,2}<%loop>:}
|
||||
; RUN: opt < %s -analyze -iv-users | grep {Stride i64 {3,+,2}<%loop>:}
|
||||
|
||||
; The value of %r is dependent on a polynomial iteration expression.
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user