; 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
}