150
|
1 ; Testcase reduced from 197.parser by bugpoint
|
|
2 ; RUN: opt < %s -adce
|
|
3 ; RUN: opt < %s -adce -adce-remove-loops -S | FileCheck %s
|
|
4
|
|
5 define void @conjunction_prune() {
|
|
6 ; <label>:0
|
|
7 br label %bb19
|
|
8
|
|
9 bb19: ; preds = %bb23, %bb22, %0
|
|
10 %reg205 = phi i8* [ null, %bb22 ], [ null, %bb23 ], [ null, %0 ] ; <i8*> [#uses=1]
|
|
11 ; CHECK: br label %bb22
|
|
12 br i1 false, label %bb21, label %bb22
|
|
13
|
|
14 bb21: ; preds = %bb19
|
|
15 %cast455 = bitcast i8* %reg205 to i8** ; <i8**> [#uses=0]
|
|
16 ; CHECK: br label %bb22
|
|
17 br label %bb22
|
|
18
|
|
19 bb22: ; preds = %bb21, %bb19
|
|
20 ; CHECK: br label %bb23
|
|
21 br i1 false, label %bb19, label %bb23
|
|
22
|
|
23 bb23: ; preds = %bb22
|
|
24 ; CHECK: br label %bb28
|
|
25 br i1 false, label %bb19, label %bb28
|
|
26
|
|
27 bb28: ; preds = %bb23
|
|
28 ret void
|
|
29 }
|
|
30
|