llvm-6502/test/Transforms/Inline/callgraph-update.ll
Dan Gohman 2b110caabf 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
2009-10-24 23:23:04 +00:00

34 lines
493 B
LLVM

; RUN: opt < %s -inline -loop-rotate -verify-dom-info -verify-loop-info -disable-output
; PR3601
declare void @solve()
define internal fastcc void @read() {
br label %bb4
bb3:
br label %bb4
bb4:
call void @solve()
br i1 false, label %bb5, label %bb3
bb5:
unreachable
}
define internal fastcc void @parse() {
call fastcc void @read()
ret void
}
define void @main() {
invoke fastcc void @parse()
to label %invcont unwind label %lpad
invcont:
unreachable
lpad:
unreachable
}