test/Transforms/CorrelatedExprs/2002-10-07-NoImmediateDominator.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

; RUN: llvm-upgrade < %s | llvm-as | opt -cee
;
; This testcase causes an assertion error.
;
implementation   ; Functions:

void %test(int %A) {
	br label %bb2
bb2:
	ret void

bb3:		; No predecessors!
	br bool true, label %bb4, label %bb2

bb4:
	ret void
}