test/Transforms/SimplifyCFG/EqualPHIEdgeBlockMerge.ll


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

; Test merging of blocks with phi nodes.
;
; RUN: as < %s | opt -simplifycfg | dis | not grep 'N:'
;

int %test(bool %a) {
Q:
	br bool %a, label %N, label %M
N:
	br label %M
M:
	; It's ok to merge N and M because the incoming values for W are the 
        ; same for both cases...
	%W = phi int [2, %N], [2, %Q]
	%R = add int %W, 1
	ret int %R
}