summaryrefslogtreecommitdiff
path: root/test/Transforms/CorrelatedExprs/2002-09-23-PHIUpdateBug.ll
blob: 5873a638a680098793e7a1951223e5e9c780b621 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
; RUN: llvm-upgrade < %s | llvm-as | opt -cee

implementation

declare void %foo(int)

void %test(int %A, bool %C) {
	br bool %C, label %bb0, label %bb1
bb0:
	br label %bb3
Unreachable:
	br label %bb2
bb1:                                    ;[#uses=0]
        %cond212 = setgt int %A, 9              ; <bool> [#uses=1]
        br bool %cond212, label %bb2, label %bb7

bb2:                                    ;[#uses=1]
	%cond = setgt int %A, 7
        br bool %cond, label %bb3, label %bb7

bb3:                                    ;[#uses=1]
	%X = phi int [ 0, %bb0], [ 12, %bb2]
        call void %foo( int %X )
        br label %bb7

bb7:                                    ;[#uses=2]
        ret void
}