Skip to content

Commit 0558dda

Browse files
author
Dale Johannesen
committedJun 4, 2007
Tail merging wasn't working for predecessors of landing pads. PR 1496.
llvm-svn: 37427
1 parent b3adb98 commit 0558dda

File tree

2 files changed

+476
-0
lines changed

2 files changed

+476
-0
lines changed
 

‎llvm/lib/CodeGen/BranchFolding.cpp

+22
Original file line numberDiff line numberDiff line change
@@ -622,6 +622,28 @@ bool BranchFolder::TailMergeBlocks(MachineFunction &MF) {
622622
if (!FBB)
623623
FBB = next(MachineFunction::iterator(PBB));
624624
}
625+
// Failing case: the only way IBB can be reached from PBB is via
626+
// exception handling. Happens for landing pads. Would be nice
627+
// to have a bit in the edge so we didn't have to do all this.
628+
if (IBB->isLandingPad()) {
629+
MachineFunction::iterator IP = PBB; IP++;
630+
MachineBasicBlock* PredNextBB = NULL;
631+
if (IP!=MF.end())
632+
PredNextBB = IP;
633+
if (TBB==NULL) {
634+
if (IBB!=PredNextBB) // fallthrough
635+
continue;
636+
} else if (FBB) {
637+
if (TBB!=IBB && FBB!=IBB) // cbr then ubr
638+
continue;
639+
} else if (Cond.size() == 0) {
640+
if (TBB!=IBB) // ubr
641+
continue;
642+
} else {
643+
if (TBB!=IBB && IBB!=PredNextBB) // cbr
644+
continue;
645+
}
646+
}
625647
// Remove the unconditional branch at the end, if any.
626648
if (TBB && (Cond.size()==0 || FBB)) {
627649
TII->RemoveBranch(*PBB);

‎llvm/test/CodeGen/X86/2007-06-04-tailmerge4.ll

+454
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,454 @@
1+
; RUN: llvm-as < %s | llc -enable-eh | grep invcont131
2+
; PR 1496: tail merge was incorrectly removing this block
3+
4+
; ModuleID = 'report.1.bc'
5+
target 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"
6+
target triple = "i686-pc-linux-gnu"
7+
%struct.ALLOC = type { %struct.string___XUB, [2 x i8] }
8+
%struct.RETURN = type { i32, i32, i32, i64 }
9+
%struct.ada__streams__root_stream_type = type { %struct.ada__tags__dispatch_table* }
10+
%struct.ada__tags__dispatch_table = type { [1 x i8*] }
11+
%struct.ada__text_io__text_afcb = type { %struct.system__file_control_block__afcb, i32, i32, i32, i32, i32, %struct.ada__text_io__text_afcb*, i8, i8 }
12+
%struct.string___XUB = type { i32, i32 }
13+
%struct.string___XUP = type { i8*, %struct.string___XUB* }
14+
%struct.system__file_control_block__afcb = type { %struct.ada__streams__root_stream_type, i32, %struct.string___XUP, i32, %struct.string___XUP, i8, i8, i8, i8, i8, i8, i8, %struct.system__file_control_block__afcb*, %struct.system__file_control_block__afcb* }
15+
%struct.system__secondary_stack__mark_id = type { i8*, i32 }
16+
%struct.wide_string___XUP = type { i16*, %struct.string___XUB* }
17+
@report_E = global i8 0 ; <i8*> [#uses=0]
18+
@report__test_status = internal global i8 1 ; <i8*> [#uses=8]
19+
@report__test_name = internal global [15 x i8] zeroinitializer ; <[15 x i8]*> [#uses=10]
20+
@report__test_name_len = internal global i32 0 ; <i32*> [#uses=15]
21+
@.str = internal constant [12 x i8] c"report.adb\00\00" ; <[12 x i8]*> [#uses=1]
22+
@C.26.599 = internal constant %struct.string___XUB { i32 1, i32 1 } ; <%struct.string___XUB*> [#uses=1]
23+
@.str1 = internal constant [1 x i8] c":" ; <[1 x i8]*> [#uses=1]
24+
@.str2 = internal constant [1 x i8] c" " ; <[1 x i8]*> [#uses=1]
25+
@.str3 = internal constant [1 x i8] c"-" ; <[1 x i8]*> [#uses=1]
26+
@.str5 = internal constant [10 x i8] c"0123456789" ; <[10 x i8]*> [#uses=12]
27+
@C.59.855 = internal constant %struct.string___XUB { i32 1, i32 0 } ; <%struct.string___XUB*> [#uses=1]
28+
@C.69.876 = internal constant %struct.string___XUB { i32 1, i32 3 } ; <%struct.string___XUB*> [#uses=1]
29+
@C.70.879 = internal constant %struct.string___XUB { i32 1, i32 6 } ; <%struct.string___XUB*> [#uses=1]
30+
@C.81.900 = internal constant %struct.string___XUB { i32 1, i32 5 } ; <%struct.string___XUB*> [#uses=1]
31+
@.str6 = internal constant [0 x i8] zeroinitializer ; <[0 x i8]*> [#uses=1]
32+
@.str7 = internal constant [3 x i8] c"2.5" ; <[3 x i8]*> [#uses=1]
33+
@.str8 = internal constant [6 x i8] c"ACATS " ; <[6 x i8]*> [#uses=1]
34+
@.str9 = internal constant [5 x i8] c",.,. " ; <[5 x i8]*> [#uses=1]
35+
@.str10 = internal constant [1 x i8] c"." ; <[1 x i8]*> [#uses=1]
36+
@.str11 = internal constant [5 x i8] c"---- " ; <[5 x i8]*> [#uses=1]
37+
@.str12 = internal constant [5 x i8] c" - " ; <[5 x i8]*> [#uses=1]
38+
@.str13 = internal constant [5 x i8] c" * " ; <[5 x i8]*> [#uses=1]
39+
@.str14 = internal constant [5 x i8] c" + " ; <[5 x i8]*> [#uses=1]
40+
@.str15 = internal constant [5 x i8] c" ! " ; <[5 x i8]*> [#uses=1]
41+
@C.209.1380 = internal constant %struct.string___XUB { i32 1, i32 37 } ; <%struct.string___XUB*> [#uses=1]
42+
@.str16 = internal constant [37 x i8] c" PASSED ============================." ; <[37 x i8]*> [#uses=1]
43+
@.str17 = internal constant [5 x i8] c"==== " ; <[5 x i8]*> [#uses=1]
44+
@.str18 = internal constant [37 x i8] c" NOT-APPLICABLE ++++++++++++++++++++." ; <[37 x i8]*> [#uses=1]
45+
@.str19 = internal constant [5 x i8] c"++++ " ; <[5 x i8]*> [#uses=1]
46+
@.str20 = internal constant [37 x i8] c" TENTATIVELY PASSED !!!!!!!!!!!!!!!!." ; <[37 x i8]*> [#uses=1]
47+
@.str21 = internal constant [5 x i8] c"!!!! " ; <[5 x i8]*> [#uses=1]
48+
@.str22 = internal constant [37 x i8] c" SEE '!' COMMENTS FOR SPECIAL NOTES!!" ; <[37 x i8]*> [#uses=1]
49+
@.str23 = internal constant [37 x i8] c" FAILED ****************************." ; <[37 x i8]*> [#uses=1]
50+
@.str24 = internal constant [5 x i8] c"**** " ; <[5 x i8]*> [#uses=1]
51+
@__gnat_others_value = external constant i32 ; <i32*> [#uses=2]
52+
@system__soft_links__abort_undefer = external global void ()* ; <void ()**> [#uses=1]
53+
@C.320.1854 = internal constant %struct.string___XUB { i32 2, i32 6 } ; <%struct.string___XUB*> [#uses=1]
54+
55+
declare void @report__put_msg(i64 %msg.0.0)
56+
57+
declare void @__gnat_rcheck_05(i8*, i32)
58+
59+
declare void @__gnat_rcheck_12(i8*, i32)
60+
61+
declare %struct.ada__text_io__text_afcb* @ada__text_io__standard_output()
62+
63+
declare void @ada__text_io__set_col(%struct.ada__text_io__text_afcb*, i32)
64+
65+
declare void @ada__text_io__put_line(%struct.ada__text_io__text_afcb*, i64)
66+
67+
declare void @report__time_stamp(%struct.string___XUP* sret %agg.result)
68+
69+
declare i64 @ada__calendar__clock()
70+
71+
declare void @ada__calendar__split(%struct.RETURN* sret , i64)
72+
73+
declare void @system__string_ops_concat_5__str_concat_5(%struct.string___XUP* sret , i64, i64, i64, i64, i64)
74+
75+
declare void @system__string_ops_concat_3__str_concat_3(%struct.string___XUP* sret , i64, i64, i64)
76+
77+
declare i8* @system__secondary_stack__ss_allocate(i32)
78+
79+
declare void @report__test(i64 %name.0.0, i64 %descr.0.0)
80+
81+
declare void @system__secondary_stack__ss_mark(%struct.system__secondary_stack__mark_id* sret )
82+
83+
declare i8* @llvm.eh.exception()
84+
85+
declare i32 @llvm.eh.selector(i8*, i8*, ...)
86+
87+
declare i32 @llvm.eh.typeid.for(i8*)
88+
89+
declare i32 @__gnat_eh_personality(...)
90+
91+
declare i32 @_Unwind_Resume(...)
92+
93+
declare void @__gnat_rcheck_07(i8*, i32)
94+
95+
declare void @system__secondary_stack__ss_release(i64)
96+
97+
declare void @report__comment(i64 %descr.0.0)
98+
99+
declare void @report__failed(i64 %descr.0.0)
100+
101+
declare void @report__not_applicable(i64 %descr.0.0)
102+
103+
declare void @report__special_action(i64 %descr.0.0)
104+
105+
define void @report__result() {
106+
entry:
107+
%tmp = alloca %struct.system__secondary_stack__mark_id, align 8 ; <%struct.system__secondary_stack__mark_id*> [#uses=3]
108+
%A.210 = alloca %struct.string___XUB, align 8 ; <%struct.string___XUB*> [#uses=3]
109+
%tmp5 = alloca %struct.string___XUP, align 8 ; <%struct.string___XUP*> [#uses=3]
110+
%A.229 = alloca %struct.string___XUB, align 8 ; <%struct.string___XUB*> [#uses=3]
111+
%tmp10 = alloca %struct.string___XUP, align 8 ; <%struct.string___XUP*> [#uses=3]
112+
%A.248 = alloca %struct.string___XUB, align 8 ; <%struct.string___XUB*> [#uses=3]
113+
%tmp15 = alloca %struct.string___XUP, align 8 ; <%struct.string___XUP*> [#uses=3]
114+
%A.270 = alloca %struct.string___XUB, align 8 ; <%struct.string___XUB*> [#uses=3]
115+
%tmp20 = alloca %struct.string___XUP, align 8 ; <%struct.string___XUP*> [#uses=3]
116+
%A.284 = alloca %struct.string___XUB, align 8 ; <%struct.string___XUB*> [#uses=3]
117+
%tmp25 = alloca %struct.string___XUP, align 8 ; <%struct.string___XUP*> [#uses=3]
118+
call void @system__secondary_stack__ss_mark( %struct.system__secondary_stack__mark_id* %tmp sret )
119+
%tmp28 = getelementptr %struct.system__secondary_stack__mark_id* %tmp, i32 0, i32 0 ; <i8**> [#uses=1]
120+
%tmp29 = load i8** %tmp28 ; <i8*> [#uses=2]
121+
%tmp31 = getelementptr %struct.system__secondary_stack__mark_id* %tmp, i32 0, i32 1 ; <i32*> [#uses=1]
122+
%tmp32 = load i32* %tmp31 ; <i32> [#uses=2]
123+
%tmp33 = load i8* @report__test_status ; <i8> [#uses=1]
124+
switch i8 %tmp33, label %bb483 [
125+
i8 0, label %bb
126+
i8 2, label %bb143
127+
i8 3, label %bb261
128+
]
129+
130+
bb: ; preds = %entry
131+
%tmp34 = load i32* @report__test_name_len ; <i32> [#uses=4]
132+
%tmp35 = icmp sgt i32 %tmp34, 0 ; <i1> [#uses=2]
133+
%tmp40 = icmp sgt i32 %tmp34, 15 ; <i1> [#uses=1]
134+
%bothcond139 = and i1 %tmp35, %tmp40 ; <i1> [#uses=1]
135+
br i1 %bothcond139, label %cond_true43, label %cond_next44
136+
137+
cond_true43: ; preds = %bb
138+
invoke void @__gnat_rcheck_12( i8* getelementptr ([12 x i8]* @.str, i32 0, i32 0), i32 212 )
139+
to label %UnifiedUnreachableBlock unwind label %unwind
140+
141+
unwind: ; preds = %invcont589, %cond_next567, %bb555, %cond_true497, %invcont249, %cond_next227, %bb215, %cond_true157, %invcont131, %cond_next109, %bb97, %cond_true43
142+
%eh_ptr = call i8* @llvm.eh.exception( ) ; <i8*> [#uses=1]
143+
br label %cleanup717
144+
145+
cond_next44: ; preds = %bb
146+
%tmp72 = getelementptr %struct.string___XUB* %A.210, i32 0, i32 0 ; <i32*> [#uses=1]
147+
store i32 1, i32* %tmp72
148+
%tmp73 = getelementptr %struct.string___XUB* %A.210, i32 0, i32 1 ; <i32*> [#uses=1]
149+
store i32 %tmp34, i32* %tmp73
150+
br i1 %tmp35, label %cond_true80, label %cond_next109
151+
152+
cond_true80: ; preds = %cond_next44
153+
%tmp45.off = add i32 %tmp34, -1 ; <i32> [#uses=1]
154+
%bothcond = icmp ugt i32 %tmp45.off, 14 ; <i1> [#uses=1]
155+
br i1 %bothcond, label %bb97, label %cond_next109
156+
157+
bb97: ; preds = %cond_true80
158+
invoke void @__gnat_rcheck_05( i8* getelementptr ([12 x i8]* @.str, i32 0, i32 0), i32 212 )
159+
to label %UnifiedUnreachableBlock unwind label %unwind
160+
161+
cond_next109: ; preds = %cond_true80, %cond_next44
162+
%A.210128 = ptrtoint %struct.string___XUB* %A.210 to i32 ; <i32> [#uses=1]
163+
%A.210128129 = zext i32 %A.210128 to i64 ; <i64> [#uses=1]
164+
%A.210128129130 = shl i64 %A.210128129, 32 ; <i64> [#uses=1]
165+
%A.210128129130.ins = or i64 %A.210128129130, zext (i32 ptrtoint ([15 x i8]* @report__test_name to i32) to i64) ; <i64> [#uses=1]
166+
invoke void @system__string_ops_concat_3__str_concat_3( %struct.string___XUP* %tmp5 sret , i64 or (i64 zext (i32 ptrtoint ([5 x i8]* @.str17 to i32) to i64), i64 shl (i64 zext (i32 ptrtoint (%struct.string___XUB* @C.81.900 to i32) to i64), i64 32)), i64 %A.210128129130.ins, i64 or (i64 zext (i32 ptrtoint ([37 x i8]* @.str16 to i32) to i64), i64 shl (i64 zext (i32 ptrtoint (%struct.string___XUB* @C.209.1380 to i32) to i64), i64 32)) )
167+
to label %invcont131 unwind label %unwind
168+
169+
invcont131: ; preds = %cond_next109
170+
%tmp133 = getelementptr %struct.string___XUP* %tmp5, i32 0, i32 0 ; <i8**> [#uses=1]
171+
%tmp134 = load i8** %tmp133 ; <i8*> [#uses=1]
172+
%tmp134120 = ptrtoint i8* %tmp134 to i32 ; <i32> [#uses=1]
173+
%tmp134120121 = zext i32 %tmp134120 to i64 ; <i64> [#uses=1]
174+
%tmp136 = getelementptr %struct.string___XUP* %tmp5, i32 0, i32 1 ; <%struct.string___XUB**> [#uses=1]
175+
%tmp137 = load %struct.string___XUB** %tmp136 ; <%struct.string___XUB*> [#uses=1]
176+
%tmp137116 = ptrtoint %struct.string___XUB* %tmp137 to i32 ; <i32> [#uses=1]
177+
%tmp137116117 = zext i32 %tmp137116 to i64 ; <i64> [#uses=1]
178+
%tmp137116117118 = shl i64 %tmp137116117, 32 ; <i64> [#uses=1]
179+
%tmp137116117118.ins = or i64 %tmp137116117118, %tmp134120121 ; <i64> [#uses=1]
180+
invoke fastcc void @report__put_msg( i64 %tmp137116117118.ins )
181+
to label %cond_next618 unwind label %unwind
182+
183+
bb143: ; preds = %entry
184+
%tmp144 = load i32* @report__test_name_len ; <i32> [#uses=4]
185+
%tmp147 = icmp sgt i32 %tmp144, 0 ; <i1> [#uses=2]
186+
%tmp154 = icmp sgt i32 %tmp144, 15 ; <i1> [#uses=1]
187+
%bothcond140 = and i1 %tmp147, %tmp154 ; <i1> [#uses=1]
188+
br i1 %bothcond140, label %cond_true157, label %cond_next160
189+
190+
cond_true157: ; preds = %bb143
191+
invoke void @__gnat_rcheck_12( i8* getelementptr ([12 x i8]* @.str, i32 0, i32 0), i32 215 )
192+
to label %UnifiedUnreachableBlock unwind label %unwind
193+
194+
cond_next160: ; preds = %bb143
195+
%tmp189 = getelementptr %struct.string___XUB* %A.229, i32 0, i32 0 ; <i32*> [#uses=1]
196+
store i32 1, i32* %tmp189
197+
%tmp190 = getelementptr %struct.string___XUB* %A.229, i32 0, i32 1 ; <i32*> [#uses=1]
198+
store i32 %tmp144, i32* %tmp190
199+
br i1 %tmp147, label %cond_true197, label %cond_next227
200+
201+
cond_true197: ; preds = %cond_next160
202+
%tmp161.off = add i32 %tmp144, -1 ; <i32> [#uses=1]
203+
%bothcond1 = icmp ugt i32 %tmp161.off, 14 ; <i1> [#uses=1]
204+
br i1 %bothcond1, label %bb215, label %cond_next227
205+
206+
bb215: ; preds = %cond_true197
207+
invoke void @__gnat_rcheck_05( i8* getelementptr ([12 x i8]* @.str, i32 0, i32 0), i32 215 )
208+
to label %UnifiedUnreachableBlock unwind label %unwind
209+
210+
cond_next227: ; preds = %cond_true197, %cond_next160
211+
%A.229105 = ptrtoint %struct.string___XUB* %A.229 to i32 ; <i32> [#uses=1]
212+
%A.229105106 = zext i32 %A.229105 to i64 ; <i64> [#uses=1]
213+
%A.229105106107 = shl i64 %A.229105106, 32 ; <i64> [#uses=1]
214+
%A.229105106107.ins = or i64 %A.229105106107, zext (i32 ptrtoint ([15 x i8]* @report__test_name to i32) to i64) ; <i64> [#uses=1]
215+
invoke void @system__string_ops_concat_3__str_concat_3( %struct.string___XUP* %tmp10 sret , i64 or (i64 zext (i32 ptrtoint ([5 x i8]* @.str19 to i32) to i64), i64 shl (i64 zext (i32 ptrtoint (%struct.string___XUB* @C.81.900 to i32) to i64), i64 32)), i64 %A.229105106107.ins, i64 or (i64 zext (i32 ptrtoint ([37 x i8]* @.str18 to i32) to i64), i64 shl (i64 zext (i32 ptrtoint (%struct.string___XUB* @C.209.1380 to i32) to i64), i64 32)) )
216+
to label %invcont249 unwind label %unwind
217+
218+
invcont249: ; preds = %cond_next227
219+
%tmp251 = getelementptr %struct.string___XUP* %tmp10, i32 0, i32 0 ; <i8**> [#uses=1]
220+
%tmp252 = load i8** %tmp251 ; <i8*> [#uses=1]
221+
%tmp25297 = ptrtoint i8* %tmp252 to i32 ; <i32> [#uses=1]
222+
%tmp2529798 = zext i32 %tmp25297 to i64 ; <i64> [#uses=1]
223+
%tmp254 = getelementptr %struct.string___XUP* %tmp10, i32 0, i32 1 ; <%struct.string___XUB**> [#uses=1]
224+
%tmp255 = load %struct.string___XUB** %tmp254 ; <%struct.string___XUB*> [#uses=1]
225+
%tmp25593 = ptrtoint %struct.string___XUB* %tmp255 to i32 ; <i32> [#uses=1]
226+
%tmp2559394 = zext i32 %tmp25593 to i64 ; <i64> [#uses=1]
227+
%tmp255939495 = shl i64 %tmp2559394, 32 ; <i64> [#uses=1]
228+
%tmp255939495.ins = or i64 %tmp255939495, %tmp2529798 ; <i64> [#uses=1]
229+
invoke fastcc void @report__put_msg( i64 %tmp255939495.ins )
230+
to label %cond_next618 unwind label %unwind
231+
232+
bb261: ; preds = %entry
233+
%tmp262 = call i8* @llvm.stacksave( ) ; <i8*> [#uses=2]
234+
%tmp263 = load i32* @report__test_name_len ; <i32> [#uses=4]
235+
%tmp266 = icmp sgt i32 %tmp263, 0 ; <i1> [#uses=2]
236+
%tmp273 = icmp sgt i32 %tmp263, 15 ; <i1> [#uses=1]
237+
%bothcond141 = and i1 %tmp266, %tmp273 ; <i1> [#uses=1]
238+
br i1 %bothcond141, label %cond_true276, label %cond_next281
239+
240+
cond_true276: ; preds = %bb261
241+
invoke void @__gnat_rcheck_12( i8* getelementptr ([12 x i8]* @.str, i32 0, i32 0), i32 218 )
242+
to label %UnifiedUnreachableBlock unwind label %unwind277
243+
244+
unwind277: ; preds = %invcont467, %cond_next442, %invcont370, %cond_next348, %bb336, %cond_true276
245+
%eh_ptr278 = call i8* @llvm.eh.exception( ) ; <i8*> [#uses=1]
246+
call void @llvm.stackrestore( i8* %tmp262 )
247+
br label %cleanup717
248+
249+
cond_next281: ; preds = %bb261
250+
%tmp310 = getelementptr %struct.string___XUB* %A.248, i32 0, i32 0 ; <i32*> [#uses=1]
251+
store i32 1, i32* %tmp310
252+
%tmp311 = getelementptr %struct.string___XUB* %A.248, i32 0, i32 1 ; <i32*> [#uses=1]
253+
store i32 %tmp263, i32* %tmp311
254+
br i1 %tmp266, label %cond_true318, label %cond_next348
255+
256+
cond_true318: ; preds = %cond_next281
257+
%tmp282.off = add i32 %tmp263, -1 ; <i32> [#uses=1]
258+
%bothcond2 = icmp ugt i32 %tmp282.off, 14 ; <i1> [#uses=1]
259+
br i1 %bothcond2, label %bb336, label %cond_next348
260+
261+
bb336: ; preds = %cond_true318
262+
invoke void @__gnat_rcheck_05( i8* getelementptr ([12 x i8]* @.str, i32 0, i32 0), i32 218 )
263+
to label %UnifiedUnreachableBlock unwind label %unwind277
264+
265+
cond_next348: ; preds = %cond_true318, %cond_next281
266+
%A.24882 = ptrtoint %struct.string___XUB* %A.248 to i32 ; <i32> [#uses=1]
267+
%A.2488283 = zext i32 %A.24882 to i64 ; <i64> [#uses=1]
268+
%A.248828384 = shl i64 %A.2488283, 32 ; <i64> [#uses=1]
269+
%A.248828384.ins = or i64 %A.248828384, zext (i32 ptrtoint ([15 x i8]* @report__test_name to i32) to i64) ; <i64> [#uses=1]
270+
invoke void @system__string_ops_concat_3__str_concat_3( %struct.string___XUP* %tmp15 sret , i64 or (i64 zext (i32 ptrtoint ([5 x i8]* @.str21 to i32) to i64), i64 shl (i64 zext (i32 ptrtoint (%struct.string___XUB* @C.81.900 to i32) to i64), i64 32)), i64 %A.248828384.ins, i64 or (i64 zext (i32 ptrtoint ([37 x i8]* @.str20 to i32) to i64), i64 shl (i64 zext (i32 ptrtoint (%struct.string___XUB* @C.209.1380 to i32) to i64), i64 32)) )
271+
to label %invcont370 unwind label %unwind277
272+
273+
invcont370: ; preds = %cond_next348
274+
%tmp372 = getelementptr %struct.string___XUP* %tmp15, i32 0, i32 0 ; <i8**> [#uses=1]
275+
%tmp373 = load i8** %tmp372 ; <i8*> [#uses=1]
276+
%tmp37374 = ptrtoint i8* %tmp373 to i32 ; <i32> [#uses=1]
277+
%tmp3737475 = zext i32 %tmp37374 to i64 ; <i64> [#uses=1]
278+
%tmp375 = getelementptr %struct.string___XUP* %tmp15, i32 0, i32 1 ; <%struct.string___XUB**> [#uses=1]
279+
%tmp376 = load %struct.string___XUB** %tmp375 ; <%struct.string___XUB*> [#uses=1]
280+
%tmp37670 = ptrtoint %struct.string___XUB* %tmp376 to i32 ; <i32> [#uses=1]
281+
%tmp3767071 = zext i32 %tmp37670 to i64 ; <i64> [#uses=1]
282+
%tmp376707172 = shl i64 %tmp3767071, 32 ; <i64> [#uses=1]
283+
%tmp376707172.ins = or i64 %tmp376707172, %tmp3737475 ; <i64> [#uses=1]
284+
invoke fastcc void @report__put_msg( i64 %tmp376707172.ins )
285+
to label %invcont381 unwind label %unwind277
286+
287+
invcont381: ; preds = %invcont370
288+
%tmp382 = load i32* @report__test_name_len ; <i32> [#uses=6]
289+
%tmp415 = icmp sgt i32 %tmp382, -1 ; <i1> [#uses=1]
290+
%max416 = select i1 %tmp415, i32 %tmp382, i32 0 ; <i32> [#uses=1]
291+
%tmp417 = alloca i8, i32 %max416 ; <i8*> [#uses=3]
292+
%tmp423 = icmp sgt i32 %tmp382, 0 ; <i1> [#uses=1]
293+
br i1 %tmp423, label %bb427, label %cond_next442
294+
295+
bb427: ; preds = %invcont381
296+
store i8 32, i8* %tmp417
297+
%tmp434 = icmp eq i32 %tmp382, 1 ; <i1> [#uses=1]
298+
br i1 %tmp434, label %cond_next442, label %cond_next438.preheader
299+
300+
cond_next438.preheader: ; preds = %bb427
301+
%tmp. = add i32 %tmp382, -1 ; <i32> [#uses=1]
302+
br label %cond_next438
303+
304+
cond_next438: ; preds = %cond_next438, %cond_next438.preheader
305+
%indvar = phi i32 [ 0, %cond_next438.preheader ], [ %J130b.513.5, %cond_next438 ] ; <i32> [#uses=1]
306+
%J130b.513.5 = add i32 %indvar, 1 ; <i32> [#uses=3]
307+
%tmp43118 = getelementptr i8* %tmp417, i32 %J130b.513.5 ; <i8*> [#uses=1]
308+
store i8 32, i8* %tmp43118
309+
%exitcond = icmp eq i32 %J130b.513.5, %tmp. ; <i1> [#uses=1]
310+
br i1 %exitcond, label %cond_next442, label %cond_next438
311+
312+
cond_next442: ; preds = %cond_next438, %bb427, %invcont381
313+
%tmp448 = getelementptr %struct.string___XUB* %A.270, i32 0, i32 0 ; <i32*> [#uses=1]
314+
store i32 1, i32* %tmp448
315+
%tmp449 = getelementptr %struct.string___XUB* %A.270, i32 0, i32 1 ; <i32*> [#uses=1]
316+
store i32 %tmp382, i32* %tmp449
317+
%tmp41762 = ptrtoint i8* %tmp417 to i32 ; <i32> [#uses=1]
318+
%tmp4176263 = zext i32 %tmp41762 to i64 ; <i64> [#uses=1]
319+
%A.27058 = ptrtoint %struct.string___XUB* %A.270 to i32 ; <i32> [#uses=1]
320+
%A.2705859 = zext i32 %A.27058 to i64 ; <i64> [#uses=1]
321+
%A.270585960 = shl i64 %A.2705859, 32 ; <i64> [#uses=1]
322+
%A.270585960.ins = or i64 %tmp4176263, %A.270585960 ; <i64> [#uses=1]
323+
invoke void @system__string_ops_concat_3__str_concat_3( %struct.string___XUP* %tmp20 sret , i64 or (i64 zext (i32 ptrtoint ([5 x i8]* @.str21 to i32) to i64), i64 shl (i64 zext (i32 ptrtoint (%struct.string___XUB* @C.81.900 to i32) to i64), i64 32)), i64 %A.270585960.ins, i64 or (i64 zext (i32 ptrtoint ([37 x i8]* @.str22 to i32) to i64), i64 shl (i64 zext (i32 ptrtoint (%struct.string___XUB* @C.209.1380 to i32) to i64), i64 32)) )
324+
to label %invcont467 unwind label %unwind277
325+
326+
invcont467: ; preds = %cond_next442
327+
%tmp469 = getelementptr %struct.string___XUP* %tmp20, i32 0, i32 0 ; <i8**> [#uses=1]
328+
%tmp470 = load i8** %tmp469 ; <i8*> [#uses=1]
329+
%tmp47050 = ptrtoint i8* %tmp470 to i32 ; <i32> [#uses=1]
330+
%tmp4705051 = zext i32 %tmp47050 to i64 ; <i64> [#uses=1]
331+
%tmp472 = getelementptr %struct.string___XUP* %tmp20, i32 0, i32 1 ; <%struct.string___XUB**> [#uses=1]
332+
%tmp473 = load %struct.string___XUB** %tmp472 ; <%struct.string___XUB*> [#uses=1]
333+
%tmp47346 = ptrtoint %struct.string___XUB* %tmp473 to i32 ; <i32> [#uses=1]
334+
%tmp4734647 = zext i32 %tmp47346 to i64 ; <i64> [#uses=1]
335+
%tmp473464748 = shl i64 %tmp4734647, 32 ; <i64> [#uses=1]
336+
%tmp473464748.ins = or i64 %tmp473464748, %tmp4705051 ; <i64> [#uses=1]
337+
invoke fastcc void @report__put_msg( i64 %tmp473464748.ins )
338+
to label %cleanup unwind label %unwind277
339+
340+
cleanup: ; preds = %invcont467
341+
call void @llvm.stackrestore( i8* %tmp262 )
342+
br label %cond_next618
343+
344+
bb483: ; preds = %entry
345+
%tmp484 = load i32* @report__test_name_len ; <i32> [#uses=4]
346+
%tmp487 = icmp sgt i32 %tmp484, 0 ; <i1> [#uses=2]
347+
%tmp494 = icmp sgt i32 %tmp484, 15 ; <i1> [#uses=1]
348+
%bothcond142 = and i1 %tmp487, %tmp494 ; <i1> [#uses=1]
349+
br i1 %bothcond142, label %cond_true497, label %cond_next500
350+
351+
cond_true497: ; preds = %bb483
352+
invoke void @__gnat_rcheck_12( i8* getelementptr ([12 x i8]* @.str, i32 0, i32 0), i32 223 )
353+
to label %UnifiedUnreachableBlock unwind label %unwind
354+
355+
cond_next500: ; preds = %bb483
356+
%tmp529 = getelementptr %struct.string___XUB* %A.284, i32 0, i32 0 ; <i32*> [#uses=1]
357+
store i32 1, i32* %tmp529
358+
%tmp530 = getelementptr %struct.string___XUB* %A.284, i32 0, i32 1 ; <i32*> [#uses=1]
359+
store i32 %tmp484, i32* %tmp530
360+
br i1 %tmp487, label %cond_true537, label %cond_next567
361+
362+
cond_true537: ; preds = %cond_next500
363+
%tmp501.off = add i32 %tmp484, -1 ; <i32> [#uses=1]
364+
%bothcond3 = icmp ugt i32 %tmp501.off, 14 ; <i1> [#uses=1]
365+
br i1 %bothcond3, label %bb555, label %cond_next567
366+
367+
bb555: ; preds = %cond_true537
368+
invoke void @__gnat_rcheck_05( i8* getelementptr ([12 x i8]* @.str, i32 0, i32 0), i32 223 )
369+
to label %UnifiedUnreachableBlock unwind label %unwind
370+
371+
cond_next567: ; preds = %cond_true537, %cond_next500
372+
%A.28435 = ptrtoint %struct.string___XUB* %A.284 to i32 ; <i32> [#uses=1]
373+
%A.2843536 = zext i32 %A.28435 to i64 ; <i64> [#uses=1]
374+
%A.284353637 = shl i64 %A.2843536, 32 ; <i64> [#uses=1]
375+
%A.284353637.ins = or i64 %A.284353637, zext (i32 ptrtoint ([15 x i8]* @report__test_name to i32) to i64) ; <i64> [#uses=1]
376+
invoke void @system__string_ops_concat_3__str_concat_3( %struct.string___XUP* %tmp25 sret , i64 or (i64 zext (i32 ptrtoint ([5 x i8]* @.str24 to i32) to i64), i64 shl (i64 zext (i32 ptrtoint (%struct.string___XUB* @C.81.900 to i32) to i64), i64 32)), i64 %A.284353637.ins, i64 or (i64 zext (i32 ptrtoint ([37 x i8]* @.str23 to i32) to i64), i64 shl (i64 zext (i32 ptrtoint (%struct.string___XUB* @C.209.1380 to i32) to i64), i64 32)) )
377+
to label %invcont589 unwind label %unwind
378+
379+
invcont589: ; preds = %cond_next567
380+
%tmp591 = getelementptr %struct.string___XUP* %tmp25, i32 0, i32 0 ; <i8**> [#uses=1]
381+
%tmp592 = load i8** %tmp591 ; <i8*> [#uses=1]
382+
%tmp59228 = ptrtoint i8* %tmp592 to i32 ; <i32> [#uses=1]
383+
%tmp5922829 = zext i32 %tmp59228 to i64 ; <i64> [#uses=1]
384+
%tmp594 = getelementptr %struct.string___XUP* %tmp25, i32 0, i32 1 ; <%struct.string___XUB**> [#uses=1]
385+
%tmp595 = load %struct.string___XUB** %tmp594 ; <%struct.string___XUB*> [#uses=1]
386+
%tmp59524 = ptrtoint %struct.string___XUB* %tmp595 to i32 ; <i32> [#uses=1]
387+
%tmp5952425 = zext i32 %tmp59524 to i64 ; <i64> [#uses=1]
388+
%tmp595242526 = shl i64 %tmp5952425, 32 ; <i64> [#uses=1]
389+
%tmp595242526.ins = or i64 %tmp595242526, %tmp5922829 ; <i64> [#uses=1]
390+
invoke fastcc void @report__put_msg( i64 %tmp595242526.ins )
391+
to label %cond_next618 unwind label %unwind
392+
393+
cond_next618: ; preds = %invcont589, %cleanup, %invcont249, %invcont131
394+
store i8 1, i8* @report__test_status
395+
store i32 7, i32* @report__test_name_len
396+
store i8 78, i8* getelementptr ([15 x i8]* @report__test_name, i32 0, i32 0)
397+
store i8 79, i8* getelementptr ([15 x i8]* @report__test_name, i32 0, i32 1)
398+
store i8 95, i8* getelementptr ([15 x i8]* @report__test_name, i32 0, i32 2)
399+
store i8 78, i8* getelementptr ([15 x i8]* @report__test_name, i32 0, i32 3)
400+
store i8 65, i8* getelementptr ([15 x i8]* @report__test_name, i32 0, i32 4)
401+
store i8 77, i8* getelementptr ([15 x i8]* @report__test_name, i32 0, i32 5)
402+
store i8 69, i8* getelementptr ([15 x i8]* @report__test_name, i32 0, i32 6)
403+
%CHAIN.310.0.0.0.val5.i = ptrtoint i8* %tmp29 to i32 ; <i32> [#uses=1]
404+
%CHAIN.310.0.0.0.val56.i = zext i32 %CHAIN.310.0.0.0.val5.i to i64 ; <i64> [#uses=1]
405+
%CHAIN.310.0.0.1.val2.i = zext i32 %tmp32 to i64 ; <i64> [#uses=1]
406+
%CHAIN.310.0.0.1.val23.i = shl i64 %CHAIN.310.0.0.1.val2.i, 32 ; <i64> [#uses=1]
407+
%CHAIN.310.0.0.1.val23.ins.i = or i64 %CHAIN.310.0.0.1.val23.i, %CHAIN.310.0.0.0.val56.i ; <i64> [#uses=1]
408+
call void @system__secondary_stack__ss_release( i64 %CHAIN.310.0.0.1.val23.ins.i )
409+
ret void
410+
411+
cleanup717: ; preds = %unwind277, %unwind
412+
%eh_exception.0 = phi i8* [ %eh_ptr278, %unwind277 ], [ %eh_ptr, %unwind ] ; <i8*> [#uses=1]
413+
%CHAIN.310.0.0.0.val5.i8 = ptrtoint i8* %tmp29 to i32 ; <i32> [#uses=1]
414+
%CHAIN.310.0.0.0.val56.i9 = zext i32 %CHAIN.310.0.0.0.val5.i8 to i64 ; <i64> [#uses=1]
415+
%CHAIN.310.0.0.1.val2.i10 = zext i32 %tmp32 to i64 ; <i64> [#uses=1]
416+
%CHAIN.310.0.0.1.val23.i11 = shl i64 %CHAIN.310.0.0.1.val2.i10, 32 ; <i64> [#uses=1]
417+
%CHAIN.310.0.0.1.val23.ins.i12 = or i64 %CHAIN.310.0.0.1.val23.i11, %CHAIN.310.0.0.0.val56.i9 ; <i64> [#uses=1]
418+
call void @system__secondary_stack__ss_release( i64 %CHAIN.310.0.0.1.val23.ins.i12 )
419+
call i32 (...)* @_Unwind_Resume( i8* %eh_exception.0 ) ; <i32>:0 [#uses=0]
420+
unreachable
421+
422+
UnifiedUnreachableBlock: ; preds = %bb555, %cond_true497, %bb336, %cond_true276, %bb215, %cond_true157, %bb97, %cond_true43
423+
unreachable
424+
}
425+
426+
declare i8* @llvm.stacksave()
427+
428+
declare void @llvm.stackrestore(i8*)
429+
430+
declare i32 @report__ident_int(i32 %x)
431+
432+
declare i8 @report__equal(i32 %x, i32 %y)
433+
434+
declare i8 @report__ident_char(i8 zext %x)
435+
436+
declare i16 @report__ident_wide_char(i16 zext %x)
437+
438+
declare i8 @report__ident_bool(i8 %x)
439+
440+
declare void @report__ident_str(%struct.string___XUP* sret %agg.result, i64 %x.0.0)
441+
442+
declare void @llvm.memcpy.i32(i8*, i8*, i32, i32)
443+
444+
declare void @report__ident_wide_str(%struct.wide_string___XUP* sret %agg.result, i64 %x.0.0)
445+
446+
declare void @__gnat_begin_handler(i8*)
447+
448+
declare void @__gnat_end_handler(i8*)
449+
450+
declare void @report__legal_file_name(%struct.string___XUP* sret %agg.result, i32 %x, i64 %nam.0.0)
451+
452+
declare void @__gnat_rcheck_06(i8*, i32)
453+
454+
declare void @system__string_ops__str_concat_cs(%struct.string___XUP* sret , i8 zext , i64)

0 commit comments

Comments
 (0)
Please sign in to comment.