1; RUN: llc -simplifycfg-require-and-preserve-domtree=1 < %s -frame-pointer=all
2
3target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32-S128"
4target triple = "i386-apple-macosx10.7"
5
6; This test case has a landing pad with two predecessors, and a variable that
7; is undef on the first edge while carrying the first function return value on
8; the second edge.
9;
10; Live range splitting tries to isolate the block containing the first function
11; call, and it is important that the last split point is after the function call
12; so the return value can spill.
13;
14; <rdar://problem/10664933>
15
16@Exception = external unnamed_addr constant { ptr, ptr }
17
18declare void @llvm.memset.p0.i32(ptr nocapture, i8, i32, i1) nounwind
19
20define void @f(ptr nocapture %arg, ptr nocapture %arg1, ptr nocapture %arg2, ptr nocapture %arg3, i32 %arg4, i32 %arg5) optsize ssp personality ptr @__gxx_personality_v0 {
21bb:
22  br i1 undef, label %bb6, label %bb7
23
24bb6:                                              ; preds = %bb
25  %tmp = select i1 false, i32 0, i32 undef
26  br label %bb7
27
28bb7:                                              ; preds = %bb6, %bb
29  %tmp8 = phi i32 [ %tmp, %bb6 ], [ 0, %bb ]
30  %tmp9 = shl i32 %tmp8, 2
31  %tmp10 = invoke noalias ptr @_Znam(i32 undef) optsize
32          to label %bb11 unwind label %bb20
33
34bb11:                                             ; preds = %bb7
35  %tmp12 = ptrtoint ptr %tmp10 to i32
36  %tmp14 = shl i32 %tmp8, 2
37  %tmp15 = getelementptr i32, ptr %tmp10, i32 undef
38  %tmp16 = getelementptr i32, ptr %tmp10, i32 undef
39  %tmp17 = zext i32 %tmp9 to i64
40  %tmp18 = add i64 %tmp17, -1
41  %tmp19 = icmp ugt i64 %tmp18, 4294967295
42  br i1 %tmp19, label %bb29, label %bb31
43
44bb20:                                             ; preds = %bb43, %bb41, %bb29, %bb7
45  %tmp21 = phi i32 [ undef, %bb7 ], [ %tmp12, %bb43 ], [ %tmp12, %bb29 ], [ %tmp12, %bb41 ]
46  %tmp22 = landingpad { ptr, i32 }
47          catch ptr @Exception
48  br i1 undef, label %bb23, label %bb69
49
50bb23:                                             ; preds = %bb38, %bb20
51  %tmp24 = phi i32 [ %tmp12, %bb38 ], [ %tmp21, %bb20 ]
52  %tmp25 = icmp eq i32 %tmp24, 0
53  br i1 %tmp25, label %bb28, label %bb26
54
55bb26:                                             ; preds = %bb23
56  %tmp27 = inttoptr i32 %tmp24 to ptr
57  br label %bb28
58
59bb28:                                             ; preds = %bb26, %bb23
60  ret void
61
62bb29:                                             ; preds = %bb11
63  invoke void @OnOverFlow() optsize
64          to label %bb30 unwind label %bb20
65
66bb30:                                             ; preds = %bb29
67  unreachable
68
69bb31:                                             ; preds = %bb11
70  %tmp33 = zext i32 %tmp8 to i64
71  %tmp34 = add i64 %tmp33, -1
72  %tmp35 = icmp ugt i64 %tmp34, 4294967295
73  %tmp36 = icmp sgt i32 %tmp8, 0
74  %tmp37 = add i32 %tmp9, -4
75  br label %bb38
76
77bb38:                                             ; preds = %bb67, %bb31
78  %tmp39 = phi i32 [ %tmp68, %bb67 ], [ undef, %bb31 ]
79  %tmp40 = icmp sgt i32 %tmp39, undef
80  br i1 %tmp40, label %bb41, label %bb23
81
82bb41:                                             ; preds = %bb38
83  invoke void @Pjii(ptr %tmp16, i32 0, i32 %tmp8) optsize
84          to label %bb42 unwind label %bb20
85
86bb42:                                             ; preds = %bb41
87  tail call void @llvm.memset.p0.i32(ptr %tmp15, i8 0, i32 %tmp9, i1 false) nounwind
88  br i1 %tmp35, label %bb43, label %bb45
89
90bb43:                                             ; preds = %bb42
91  invoke void @OnOverFlow() optsize
92          to label %bb44 unwind label %bb20
93
94bb44:                                             ; preds = %bb43
95  unreachable
96
97bb45:                                             ; preds = %bb57, %bb42
98  %tmp46 = phi i32 [ %tmp58, %bb57 ], [ 255, %bb42 ]
99  %tmp47 = icmp slt i32 undef, 0
100  br i1 %tmp47, label %bb48, label %bb59
101
102bb48:                                             ; preds = %bb45
103  tail call void @llvm.memset.p0.i32(ptr %tmp15, i8 0, i32 %tmp9, i1 false) nounwind
104  br i1 %tmp36, label %bb49, label %bb57
105
106bb49:                                             ; preds = %bb49, %bb48
107  %tmp50 = phi i32 [ %tmp55, %bb49 ], [ 0, %bb48 ]
108  %tmp51 = add i32 %tmp50, undef
109  %tmp52 = add i32 %tmp50, undef
110  %tmp53 = getelementptr i32, ptr %tmp10, i32 %tmp52
111  %tmp54 = load i32, ptr %tmp53, align 4
112  %tmp55 = add i32 %tmp50, 1
113  %tmp56 = icmp eq i32 %tmp55, %tmp8
114  br i1 %tmp56, label %bb57, label %bb49
115
116bb57:                                             ; preds = %bb49, %bb48
117  %tmp58 = add i32 %tmp46, -1
118  br label %bb45
119
120bb59:                                             ; preds = %bb45
121  %tmp60 = ashr i32 %tmp46, 31
122  tail call void @llvm.memset.p0.i32(ptr null, i8 0, i32 %tmp37, i1 false) nounwind
123  br i1 %tmp36, label %bb61, label %bb67
124
125bb61:                                             ; preds = %bb61, %bb59
126  %tmp62 = phi i32 [ %tmp65, %bb61 ], [ 0, %bb59 ]
127  %tmp63 = add i32 %tmp62, %tmp14
128  %tmp64 = getelementptr i32, ptr %tmp10, i32 %tmp63
129  store i32 0, ptr %tmp64, align 4
130  %tmp65 = add i32 %tmp62, 1
131  %tmp66 = icmp eq i32 %tmp65, %tmp8
132  br i1 %tmp66, label %bb67, label %bb61
133
134bb67:                                             ; preds = %bb61, %bb59
135  %tmp68 = add i32 %tmp39, -1
136  br label %bb38
137
138bb69:                                             ; preds = %bb20
139  resume { ptr, i32 } %tmp22
140}
141
142declare i32 @__gxx_personality_v0(...)
143
144declare noalias ptr @_Znam(i32) optsize
145
146declare void @Pjii(ptr, i32, i32) optsize
147
148declare i32 @llvm.eh.typeid.for(ptr) nounwind readnone
149
150declare void @OnOverFlow() noreturn optsize ssp align 2
151