aboutsummaryrefslogtreecommitdiff
path: root/test/Transforms/ADCE/2003-04-25-PHIPostDominateProblem.ll
blob: 994a63e7b317912c392e2e70c433d5db8a9738bb (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
30
31
32
33
34
35
36
37
; THis testcase caused an assertion failure because a PHI node did not have 
; entries for it's postdominator.  But I think this can only happen when the 
; PHI node is dead, so we just avoid patching up dead PHI nodes.

; RUN: as < %s | opt -adce

target endian = little
target pointersize = 32

implementation   ; Functions:

void %dead_test8() {
entry:		; No predecessors!
	br label %loopentry

loopentry:		; preds = %entry, %endif
	%k.1 = phi int [ %k.0, %endif ], [ 0, %entry ]		; <int> [#uses=1]
	br bool false, label %no_exit, label %return

no_exit:		; preds = %loopentry
	br bool false, label %then, label %else

then:		; preds = %no_exit
	br label %endif

else:		; preds = %no_exit
	%dec = add int %k.1, -1		; <int> [#uses=1]
	br label %endif

endif:		; preds = %else, %then
	%k.0 = phi int [ %dec, %else ], [ 0, %then ]		; <int> [#uses=1]
	store int 2, int* null
	br label %loopentry

return:		; preds = %loopentry
	ret void
}