forked from OSchip/llvm-project
Convert Analysis tests to FileCheck in regards to PR5307.
llvm-svn: 85241
This commit is contained in:
parent
177f1d979d
commit
f96ce30236
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep -e {--> %b}
|
||||
; RUN: opt < %s -analyze -scalar-evolution -disable-output | FileCheck %s
|
||||
; PR1810
|
||||
|
||||
define void @fun() {
|
||||
|
@ -16,3 +16,6 @@ body:
|
|||
exit:
|
||||
ret void
|
||||
}
|
||||
|
||||
; CHECK: --> %b
|
||||
|
||||
|
|
|
@ -1,6 +1,5 @@
|
|||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: -scalar-evolution-max-iterations=0 | \
|
||||
; RUN: grep -F "backedge-taken count is (-1 + (-1 * %j))"
|
||||
; RUN: -scalar-evolution-max-iterations=0 | FileCheck %s
|
||||
; PR2607
|
||||
|
||||
define i32 @_Z1aj(i32 %j) nounwind {
|
||||
|
@ -25,3 +24,5 @@ return: ; preds = %return.loopexit, %entry
|
|||
ret i32 %i.0.lcssa
|
||||
}
|
||||
|
||||
; CHECK: backedge-taken count is (-1 + (-1 * %j))
|
||||
|
||||
|
|
|
@ -1,6 +1,5 @@
|
|||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: -scalar-evolution-max-iterations=0 | \
|
||||
; RUN: grep -F "backedge-taken count is (-2147483632 + ((-1 + (-1 * %x)) smax (-1 + (-1 * %y))))"
|
||||
; RUN: -scalar-evolution-max-iterations=0 | FileCheck %s
|
||||
; PR2607
|
||||
|
||||
define i32 @b(i32 %x, i32 %y) nounwind {
|
||||
|
@ -22,3 +21,6 @@ afterfor: ; preds = %forinc, %entry
|
|||
%j.0.lcssa = phi i32 [ -2147483632, %entry ], [ %dec, %forinc ]
|
||||
ret i32 %j.0.lcssa
|
||||
}
|
||||
|
||||
; CHECK: backedge-taken count is (-2147483632 + ((-1 + (-1 * %x)) smax (-1 + (-1 * %y))))
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: -scalar-evolution-max-iterations=0 | grep -F "Exits: 20028"
|
||||
; RUN: -scalar-evolution-max-iterations=0 | FileCheck %s
|
||||
; PR2621
|
||||
|
||||
define i32 @a() nounwind {
|
||||
|
@ -23,3 +23,5 @@ bb2:
|
|||
ret i32 %4
|
||||
}
|
||||
|
||||
; CHECK: Exits: 20028
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
|
||||
; RUN: -scalar-evolution-max-iterations=0 | grep -F "Exits: -19168"
|
||||
; RUN: -scalar-evolution-max-iterations=0 | FileCheck %s
|
||||
; PR2621
|
||||
|
||||
define i32 @a() nounwind {
|
||||
|
@ -54,3 +54,5 @@ bb2: ; preds = %bb1
|
|||
ret i32 %19
|
||||
}
|
||||
|
||||
; CHECK: Exits: -19168
|
||||
|
||||
|
|
Loading…
Reference in New Issue