annotate llvm/test/Transforms/ConstProp/phi.ll @ 201:a96fbbdf2d0f

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 04 Jun 2021 21:07:06 +0900
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; This is a basic sanity check for constant propagation. The add instruction
anatofuz
parents:
diff changeset
2 ; should be eliminated.
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 ; RUN: opt < %s -constprop -die -S | not grep phi
anatofuz
parents:
diff changeset
5
anatofuz
parents:
diff changeset
6 define i32 @test(i1 %B) {
anatofuz
parents:
diff changeset
7 BB0:
anatofuz
parents:
diff changeset
8 br i1 %B, label %BB1, label %BB3
anatofuz
parents:
diff changeset
9
anatofuz
parents:
diff changeset
10 BB1: ; preds = %BB0
anatofuz
parents:
diff changeset
11 br label %BB3
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 BB3: ; preds = %BB1, %BB0
anatofuz
parents:
diff changeset
14 %Ret = phi i32 [ 1, %BB0 ], [ 1, %BB1 ] ; <i32> [#uses=1]
anatofuz
parents:
diff changeset
15 ret i32 %Ret
anatofuz
parents:
diff changeset
16 }
anatofuz
parents:
diff changeset
17