annotate llvm/test/Transforms/ADCE/2003-01-22-PredecessorProblem.ll @ 201:a96fbbdf2d0f

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 04 Jun 2021 21:07:06 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; Testcase reduced from 197.parser by bugpoint
anatofuz
parents:
diff changeset
2 ; RUN: opt < %s -adce
anatofuz
parents:
diff changeset
3 ; RUN: opt < %s -adce -adce-remove-loops -S | FileCheck %s
anatofuz
parents:
diff changeset
4
anatofuz
parents:
diff changeset
5 define void @conjunction_prune() {
anatofuz
parents:
diff changeset
6 ; <label>:0
anatofuz
parents:
diff changeset
7 br label %bb19
anatofuz
parents:
diff changeset
8
anatofuz
parents:
diff changeset
9 bb19: ; preds = %bb23, %bb22, %0
anatofuz
parents:
diff changeset
10 %reg205 = phi i8* [ null, %bb22 ], [ null, %bb23 ], [ null, %0 ] ; <i8*> [#uses=1]
anatofuz
parents:
diff changeset
11 ; CHECK: br label %bb22
anatofuz
parents:
diff changeset
12 br i1 false, label %bb21, label %bb22
anatofuz
parents:
diff changeset
13
anatofuz
parents:
diff changeset
14 bb21: ; preds = %bb19
anatofuz
parents:
diff changeset
15 %cast455 = bitcast i8* %reg205 to i8** ; <i8**> [#uses=0]
anatofuz
parents:
diff changeset
16 ; CHECK: br label %bb22
anatofuz
parents:
diff changeset
17 br label %bb22
anatofuz
parents:
diff changeset
18
anatofuz
parents:
diff changeset
19 bb22: ; preds = %bb21, %bb19
anatofuz
parents:
diff changeset
20 ; CHECK: br label %bb23
anatofuz
parents:
diff changeset
21 br i1 false, label %bb19, label %bb23
anatofuz
parents:
diff changeset
22
anatofuz
parents:
diff changeset
23 bb23: ; preds = %bb22
anatofuz
parents:
diff changeset
24 ; CHECK: br label %bb28
anatofuz
parents:
diff changeset
25 br i1 false, label %bb19, label %bb28
anatofuz
parents:
diff changeset
26
anatofuz
parents:
diff changeset
27 bb28: ; preds = %bb23
anatofuz
parents:
diff changeset
28 ret void
anatofuz
parents:
diff changeset
29 }
anatofuz
parents:
diff changeset
30