test/Transforms/LoopSimplify/2004-02-05-DominatorInfoCorruption.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 -loopsimplify -verify -licm -disable-output
implementation   ; Functions:

void %.subst_48() {
entry:
	br label %loopentry.0

loopentry.0:            ; preds = %entry, %loopentry.0
        br bool false, label %loopentry.0, label %loopentry.2

loopentry.2:            ; preds = %loopentry.0, %loopentry.2
        %tmp.968 = setle int 0, 3               ; <bool> [#uses=1]
        br bool %tmp.968, label %loopentry.2, label %UnifiedReturnBlock

UnifiedReturnBlock:             ; preds = %entry, %loopentry.2
        ret void
}