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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
|
; RUN: llc < %s -verify-coalescing
; PR14732
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10"
@c = common global i32 0, align 4
@b = common global i32 0, align 4
@a = common global i32 0, align 4
@d = common global i32 0, align 4
; This function creates an IMPLICIT_DEF with a long live range, even after
; ProcessImplicitDefs.
;
; The coalescer should be able to deal with all kinds of IMPLICIT_DEF live
; ranges, even if they are not common.
define void @f() nounwind uwtable ssp {
entry:
%i = alloca i32, align 4
br label %for.cond
for.cond: ; preds = %for.inc34, %entry
%i.0.load44 = phi i32 [ %inc35, %for.inc34 ], [ undef, %entry ]
%pi.0 = phi i32* [ %pi.4, %for.inc34 ], [ undef, %entry ]
%tobool = icmp eq i32 %i.0.load44, 0
br i1 %tobool, label %for.end36, label %for.body
for.body: ; preds = %for.cond
store i32 0, i32* @c, align 4, !tbaa !0
br label %for.body2
for.body2: ; preds = %for.body, %for.inc
%i.0.load45 = phi i32 [ %i.0.load44, %for.body ], [ 0, %for.inc ]
%tobool3 = icmp eq i32 %i.0.load45, 0
br i1 %tobool3, label %if.then10, label %if.then
if.then: ; preds = %for.body2
store i32 0, i32* %i, align 4, !tbaa !0
br label %for.body6
for.body6: ; preds = %if.then, %for.body6
store i32 0, i32* %i, align 4
br i1 true, label %for.body6, label %for.inc
if.then10: ; preds = %for.body2
store i32 1, i32* @b, align 4, !tbaa !0
ret void
for.inc: ; preds = %for.body6
br i1 undef, label %for.body2, label %if.end30
while.condthread-pre-split: ; preds = %label.loopexit, %while.condthread-pre-split.lr.ph.lr.ph, %for.inc27.backedge
%0 = phi i32 [ %inc28, %for.inc27.backedge ], [ %inc285863, %while.condthread-pre-split.lr.ph.lr.ph ], [ %inc2858, %label.loopexit ]
%inc2060 = phi i32 [ %inc20, %for.inc27.backedge ], [ %a.promoted.pre, %while.condthread-pre-split.lr.ph.lr.ph ], [ %inc20, %label.loopexit ]
br label %while.cond
while.cond: ; preds = %while.condthread-pre-split, %while.cond
%p2.1.in = phi i32* [ %pi.3.ph, %while.cond ], [ %i, %while.condthread-pre-split ]
%p2.1 = bitcast i32* %p2.1.in to i16*
br i1 %tobool19, label %while.end, label %while.cond
while.end: ; preds = %while.cond
%inc20 = add nsw i32 %inc2060, 1
%tobool21 = icmp eq i32 %inc2060, 0
br i1 %tobool21, label %for.inc27.backedge, label %if.then22
for.inc27.backedge: ; preds = %while.end, %if.then22
%inc28 = add nsw i32 %0, 1
store i32 %inc28, i32* @b, align 4, !tbaa !0
%tobool17 = icmp eq i32 %inc28, 0
br i1 %tobool17, label %for.inc27.if.end30.loopexit56_crit_edge, label %while.condthread-pre-split
if.then22: ; preds = %while.end
%1 = load i16* %p2.1, align 2, !tbaa !3
%tobool23 = icmp eq i16 %1, 0
br i1 %tobool23, label %for.inc27.backedge, label %label.loopexit
label.loopexit: ; preds = %if.then22
store i32 %inc20, i32* @a, align 4, !tbaa !0
%inc2858 = add nsw i32 %0, 1
store i32 %inc2858, i32* @b, align 4, !tbaa !0
%tobool1759 = icmp eq i32 %inc2858, 0
br i1 %tobool1759, label %if.end30, label %while.condthread-pre-split
for.inc27.if.end30.loopexit56_crit_edge: ; preds = %for.inc27.backedge
store i32 %inc20, i32* @a, align 4, !tbaa !0
br label %if.end30
if.end30: ; preds = %for.inc27.if.end30.loopexit56_crit_edge, %label.loopexit, %label.preheader, %for.inc
%i.0.load46 = phi i32 [ 0, %for.inc ], [ %i.0.load4669, %label.preheader ], [ %i.0.load4669, %label.loopexit ], [ %i.0.load4669, %for.inc27.if.end30.loopexit56_crit_edge ]
%pi.4 = phi i32* [ %i, %for.inc ], [ %pi.3.ph, %label.preheader ], [ %pi.3.ph, %label.loopexit ], [ %pi.3.ph, %for.inc27.if.end30.loopexit56_crit_edge ]
%2 = load i32* %pi.4, align 4, !tbaa !0
%tobool31 = icmp eq i32 %2, 0
br i1 %tobool31, label %for.inc34, label %label.preheader
for.inc34: ; preds = %if.end30
%inc35 = add nsw i32 %i.0.load46, 1
store i32 %inc35, i32* %i, align 4
br label %for.cond
for.end36: ; preds = %for.cond
store i32 1, i32* %i, align 4
%3 = load i32* @c, align 4, !tbaa !0
%tobool37 = icmp eq i32 %3, 0
br i1 %tobool37, label %label.preheader, label %land.rhs
land.rhs: ; preds = %for.end36
store i32 0, i32* @a, align 4, !tbaa !0
br label %label.preheader
label.preheader: ; preds = %for.end36, %if.end30, %land.rhs
%i.0.load4669 = phi i32 [ 1, %land.rhs ], [ %i.0.load46, %if.end30 ], [ 1, %for.end36 ]
%pi.3.ph = phi i32* [ %pi.0, %land.rhs ], [ %pi.4, %if.end30 ], [ %pi.0, %for.end36 ]
%4 = load i32* @b, align 4, !tbaa !0
%inc285863 = add nsw i32 %4, 1
store i32 %inc285863, i32* @b, align 4, !tbaa !0
%tobool175964 = icmp eq i32 %inc285863, 0
br i1 %tobool175964, label %if.end30, label %while.condthread-pre-split.lr.ph.lr.ph
while.condthread-pre-split.lr.ph.lr.ph: ; preds = %label.preheader
%.pr50 = load i32* @d, align 4, !tbaa !0
%tobool19 = icmp eq i32 %.pr50, 0
%a.promoted.pre = load i32* @a, align 4, !tbaa !0
br label %while.condthread-pre-split
}
!0 = metadata !{metadata !"int", metadata !1}
!1 = metadata !{metadata !"omnipotent char", metadata !2}
!2 = metadata !{metadata !"Simple C/C++ TBAA"}
!3 = metadata !{metadata !"short", metadata !1}
|
