Make these tests more interesting by using

-verify-dom-info and -verify-loop-info, which enable additional
(expensive) consistency checks.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@85017 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2009-10-24 23:23:04 +00:00
parent e6e37b94e8
commit 2b110caabf
14 changed files with 14 additions and 14 deletions

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -inline -loop-rotate | llvm-dis
; RUN: opt < %s -inline -loop-rotate -verify-dom-info -verify-loop-info -disable-output
; PR3601
declare void @solve()

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -jump-threading -loop-rotate -instcombine -indvars -loop-unroll -simplifycfg -S > %t
; RUN: opt < %s -jump-threading -loop-rotate -instcombine -indvars -loop-unroll -simplifycfg -S -verify-dom-info -verify-loop-info > %t
; RUN: grep {volatile store} %t | count 3
; RUN: not grep {br label} %t

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -loop-rotate -licm -loop-unswitch -disable-output
; RUN: opt < %s -loop-rotate -licm -loop-unswitch -disable-output -verify-loop-info -verify-dom-info
define i32 @stringSearch_Clib(i32 %count) {
entry:

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -loop-rotate | llvm-dis
; RUN: opt < %s -loop-rotate -verify-dom-info -verify-loop-info -disable-output
; PR3408
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"
target triple = "x86_64-unknown-linux-gnu"

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -loop-rotate -disable-output
; RUN: opt < %s -loop-rotate -verify-dom-info -verify-loop-info -disable-output
%struct.relation = type { [4 x i16], i32, [4 x i16], i32, i32 }

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -loop-rotate -disable-output
; RUN: opt < %s -loop-rotate -verify-dom-info -verify-loop-info -disable-output
define void @findAllPairs() {
entry:

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -loop-rotate -disable-output
; RUN: opt < %s -loop-rotate -verify-dom-info -verify-loop-info -disable-output
define void @_ZN9Classfile4readEv() {
entry:

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -loop-rotate -disable-output
; RUN: opt < %s -loop-rotate -verify-dom-info -verify-loop-info -disable-output
define void @InterpretSEIMessage(i8* %msg) {
entry:

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -loop-rotate -disable-output
; RUN: opt < %s -loop-rotate -verify-dom-info -verify-loop-info -disable-output
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"
target triple = "x86_64-apple-darwin9"
%struct.NSArray = type { %struct.NSObject }

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -loop-rotate -S | not grep {\\\[ .tmp224}
; RUN: opt < %s -loop-rotate -verify-dom-info -verify-loop-info -S | not grep {\\\[ .tmp224}
; END.
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"

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -loop-rotate -disable-output
; RUN: opt < %s -loop-rotate -verify-dom-info -verify-loop-info -disable-output
; ModuleID = 'PhiSelfRefernce-1.bc'
define void @snrm2(i32 %incx) {

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -loop-deletion -loop-rotate -disable-output
; RUN: opt < %s -loop-deletion -loop-rotate -verify-dom-info -verify-loop-info -disable-output
; PR 2639
%struct.HexxagonMove = type { i8, i8, i32 }

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -loop-rotate -loop-reduce -disable-output
; RUN: opt < %s -loop-rotate -loop-reduce -verify-dom-info -verify-loop-info -disable-output
define fastcc void @foo() nounwind {
BB:

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -loopsimplify -loop-rotate -instcombine -indvars -S > %t
; RUN: opt < %s -loopsimplify -loop-rotate -instcombine -indvars -S -verify-loop-info -verify-dom-info > %t
; RUN: not grep sext %t
; RUN: grep {phi i64} %t | count 1