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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
; RUN: opt -passes=function-attrs -S < %s
; Regression test for a null-returning bug of getUnderlyingObjectAggressive().
; This should not crash.
define void @phi_cycle() {
bb:
unreachable
bb1: ; preds = %bb17
br label %bb2
bb2: ; preds = %bb5, %bb1
%phi = phi ptr [ %phi6, %bb1 ], [ %phi6, %bb5 ]
br i1 poison, label %bb4, label %bb3
bb3: ; preds = %bb2
%getelementptr = getelementptr inbounds i8, ptr %phi, i32 poison
br label %bb5
bb4: ; preds = %bb2
br label %bb7
bb5: ; preds = %bb15, %bb3
%phi6 = phi ptr [ %getelementptr, %bb3 ], [ %phi16, %bb15 ]
br i1 poison, label %bb17, label %bb2
bb7: ; preds = %bb15, %bb4
%phi8 = phi ptr [ %phi, %bb4 ], [ %phi16, %bb15 ]
br i1 poison, label %bb11, label %bb9
bb9: ; preds = %bb7
%getelementptr10 = getelementptr inbounds i8, ptr %phi8, i32 1
store i8 poison, ptr %phi8, align 1
br label %bb15
bb11: ; preds = %bb7
br i1 poison, label %bb13, label %bb12
bb12: ; preds = %bb11
br label %bb13
bb13: ; preds = %bb12, %bb11
%getelementptr14 = getelementptr inbounds i8, ptr %phi8, i32 poison
br label %bb15
bb15: ; preds = %bb13, %bb9
%phi16 = phi ptr [ %getelementptr14, %bb13 ], [ %getelementptr10, %bb9 ]
br i1 poison, label %bb5, label %bb7
bb17: ; preds = %bb5
br label %bb1
}
|
