summaryrefslogtreecommitdiff
path: root/test/Transforms/ADCE/2003-06-11-InvalidCFG.ll
blob: 9f28fc113ab11d88311e492efac36619b91cb0c3 (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
; RUN: llvm-as < %s | opt -adce -disable-output
%G = external global int*

implementation   ; Functions:

declare void %Fn(int*)

int %main(int %argc.1, sbyte** %argv.1) {
entry:		; No predecessors!
	br label %endif.42

endif.42:		; preds = %entry, %shortcirc_done.12, %then.66, %endif.42
	br bool false, label %endif.65, label %endif.42
	
then.66:		; preds = %shortcirc_done.12
	call void %Fn( int* %tmp.2846)
	br label %endif.42

endif.65:		; preds = %endif.42
	%tmp.2846 = load int** %G
	br bool false, label %shortcirc_next.12, label %shortcirc_done.12

shortcirc_next.12:		; preds = %endif.65
	br label %shortcirc_done.12

shortcirc_done.12:		; preds = %endif.65, %shortcirc_next.12
	br bool false, label %then.66, label %endif.42
}