mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-19 19:12:56 +02:00
bd50ec69e4
the PassManager code into a regular verifyAnalysis method. Also, reorganize loop verification. Make the LoopPass infrastructure call verifyLoop as needed instead of having LoopInfo::verifyAnalysis check every loop in the function after each looop pass. Add a new command-line argument, -verify-loop-info, to enable the expensive full checking. llvm-svn: 82952
19 lines
721 B
LLVM
19 lines
721 B
LLVM
; RUN: opt < %s -scalarrepl -loopsimplify -licm -disable-output -verify-dom-info -verify-loop-info
|
|
|
|
define void @inflate() {
|
|
entry:
|
|
br label %loopentry.0.outer1111
|
|
loopentry.0.outer1111: ; preds = %then.41, %label.11, %loopentry.0.outer1111, %entry
|
|
%left.0.ph1107 = phi i32 [ %tmp.1172, %then.41 ], [ 0, %entry ], [ %tmp.1172, %label.11 ], [ %left.0.ph1107, %loopentry.0.outer1111 ] ; <i32> [#uses=2]
|
|
%tmp.1172 = sub i32 %left.0.ph1107, 0 ; <i32> [#uses=2]
|
|
switch i32 0, label %label.11 [
|
|
i32 23, label %loopentry.0.outer1111
|
|
i32 13, label %then.41
|
|
]
|
|
label.11: ; preds = %loopentry.0.outer1111
|
|
br label %loopentry.0.outer1111
|
|
then.41: ; preds = %loopentry.0.outer1111
|
|
br label %loopentry.0.outer1111
|
|
}
|
|
|