Mercurial > hg > CbC > CbC_llvm
comparison llvm/test/Transforms/LCSSA/remove-phis.ll @ 150:1d019706d866
LLVM10
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 15:10:13 +0900 |
parents | |
children | 1f2b6ac9f198 |
comparison
equal
deleted
inserted
replaced
147:c2174574ed3a | 150:1d019706d866 |
---|---|
1 ; RUN: opt < %s -lcssa -verify -S -o /dev/null | |
2 | |
3 ; This bugpoint reduced test case used to assert when removing unused PHI nodes. | |
4 ; Just verify that we do not assert/crash. | |
5 | |
6 define void @test() { | |
7 entry: | |
8 br label %gazank | |
9 | |
10 gazank: | |
11 %value = phi i16 [ 0, %entry ], [ undef, %gazonk ] | |
12 br i1 undef, label %gazink, label %qqq | |
13 | |
14 gazink: | |
15 br i1 undef, label %gazonk, label %infinite.loop.pred | |
16 | |
17 gazonk: | |
18 br i1 undef, label %exit1, label %gazank | |
19 | |
20 qqq: | |
21 br i1 undef, label %www, label %exit2 | |
22 | |
23 www: | |
24 br i1 undef, label %qqq, label %foo.pred | |
25 | |
26 foo.pred: | |
27 br label %foo | |
28 | |
29 foo: | |
30 br i1 undef, label %bar, label %exit1.pred | |
31 | |
32 bar: | |
33 br i1 undef, label %foo, label %exit2.pred | |
34 | |
35 unreachable1: | |
36 br i1 undef, label %foo, label %exit2.pred | |
37 | |
38 exit1.pred: | |
39 br label %exit1 | |
40 | |
41 exit1: | |
42 ret void | |
43 | |
44 exit2.pred: | |
45 br label %exit2 | |
46 | |
47 exit2: | |
48 ret void | |
49 | |
50 infinite.loop.pred: | |
51 br label %infinite.loop | |
52 | |
53 infinite.loop: | |
54 %dead = phi i16 [ %value, %infinite.loop.pred ], [ 0, %infinite.loop ] | |
55 br label %infinite.loop | |
56 } |