1; RUN: opt < %s -analyze -scalar-evolution
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:32:32"
4  %JavaObject = type { [0 x i32 (...)*]*, i8* }
5
6define void @JnJVM_antlr_CSharpCodeGenerator_genBitSet__Lantlr_collections_impl_BitSet_2I(%JavaObject*, %JavaObject*, i32) {
7start:
8  br i1 undef, label %"stack overflow", label %"no stack overflow"
9
10"GOTO or IF*2":         ; preds = %"true verifyAndComputePtr89", %verifyNullCont84
11  unreachable
12
13"GOTO or IF*5":         ; preds = %"true verifyAndComputePtr127", %"GOTO or IF*6"
14  unreachable
15
16"GOTO or IF*6":         ; preds = %"true verifyAndComputePtr131.GOTO or IF*6_crit_edge", %"true verifyAndComputePtr89"
17  %indvar = phi i32 [ %indvar.next, %"true verifyAndComputePtr131.GOTO or IF*6_crit_edge" ], [ 0, %"true verifyAndComputePtr89" ]               ; <i32> [#uses=2]
18  %.0.in = add i32 %indvar, 0           ; <i32> [#uses=1]
19  %.0 = add i32 %.0.in, 1               ; <i32> [#uses=1]
20  %3 = icmp slt i32 %.0, %4             ; <i1> [#uses=1]
21  br i1 %3, label %verifyNullCont126, label %"GOTO or IF*5"
22
23end:            ; preds = %"no exception block35"
24  ret void
25
26"stack overflow":               ; preds = %start
27  ret void
28
29"no stack overflow":            ; preds = %start
30  br i1 undef, label %verifyNullCont, label %"no stack overflow.end_crit_edge"
31
32"no stack overflow.end_crit_edge":              ; preds = %"no stack overflow"
33  ret void
34
35verifyNullCont:         ; preds = %"no stack overflow"
36  br i1 undef, label %verifyNullCont9, label %verifyNullCont.end_crit_edge
37
38verifyNullCont.end_crit_edge:           ; preds = %verifyNullCont
39  ret void
40
41verifyNullCont9:                ; preds = %verifyNullCont
42  br i1 undef, label %verifyNullCont12, label %verifyNullCont9.end_crit_edge
43
44verifyNullCont9.end_crit_edge:          ; preds = %verifyNullCont9
45  ret void
46
47verifyNullCont12:               ; preds = %verifyNullCont9
48  br i1 undef, label %"no exception block13", label %verifyNullCont12.end_crit_edge
49
50verifyNullCont12.end_crit_edge:         ; preds = %verifyNullCont12
51  ret void
52
53"no exception block13":         ; preds = %verifyNullCont12
54  br i1 undef, label %verifyNullExit14, label %verifyNullCont15
55
56verifyNullExit14:               ; preds = %"no exception block13"
57  ret void
58
59verifyNullCont15:               ; preds = %"no exception block13"
60  br i1 undef, label %"no exception block16", label %verifyNullCont15.end_crit_edge
61
62verifyNullCont15.end_crit_edge:         ; preds = %verifyNullCont15
63  ret void
64
65"no exception block16":         ; preds = %verifyNullCont15
66  br i1 undef, label %verifyNullExit17, label %verifyNullCont18
67
68verifyNullExit17:               ; preds = %"no exception block16"
69  ret void
70
71verifyNullCont18:               ; preds = %"no exception block16"
72  br i1 undef, label %"no exception block19", label %verifyNullCont18.end_crit_edge
73
74verifyNullCont18.end_crit_edge:         ; preds = %verifyNullCont18
75  ret void
76
77"no exception block19":         ; preds = %verifyNullCont18
78  br i1 undef, label %verifyNullExit20, label %verifyNullCont21
79
80verifyNullExit20:               ; preds = %"no exception block19"
81  ret void
82
83verifyNullCont21:               ; preds = %"no exception block19"
84  br i1 undef, label %verifyNullCont24, label %verifyNullCont21.end_crit_edge
85
86verifyNullCont21.end_crit_edge:         ; preds = %verifyNullCont21
87  ret void
88
89verifyNullCont24:               ; preds = %verifyNullCont21
90  br i1 undef, label %verifyNullCont27, label %verifyNullCont24.end_crit_edge
91
92verifyNullCont24.end_crit_edge:         ; preds = %verifyNullCont24
93  ret void
94
95verifyNullCont27:               ; preds = %verifyNullCont24
96  br i1 undef, label %verifyNullCont32, label %verifyNullCont27.end_crit_edge
97
98verifyNullCont27.end_crit_edge:         ; preds = %verifyNullCont27
99  ret void
100
101verifyNullCont32:               ; preds = %verifyNullCont27
102  br i1 undef, label %verifyNullExit33, label %verifyNullCont34
103
104verifyNullExit33:               ; preds = %verifyNullCont32
105  ret void
106
107verifyNullCont34:               ; preds = %verifyNullCont32
108  br i1 undef, label %"no exception block35", label %verifyNullCont34.end_crit_edge
109
110verifyNullCont34.end_crit_edge:         ; preds = %verifyNullCont34
111  ret void
112
113"no exception block35":         ; preds = %verifyNullCont34
114  br i1 undef, label %end, label %verifyNullCont60
115
116verifyNullCont60:               ; preds = %"no exception block35"
117  br i1 undef, label %verifyNullCont63, label %verifyNullCont60.end_crit_edge
118
119verifyNullCont60.end_crit_edge:         ; preds = %verifyNullCont60
120  ret void
121
122verifyNullCont63:               ; preds = %verifyNullCont60
123  br i1 undef, label %"no exception block64", label %verifyNullCont63.end_crit_edge
124
125verifyNullCont63.end_crit_edge:         ; preds = %verifyNullCont63
126  ret void
127
128"no exception block64":         ; preds = %verifyNullCont63
129  br i1 undef, label %verifyNullExit65, label %verifyNullCont66
130
131verifyNullExit65:               ; preds = %"no exception block64"
132  ret void
133
134verifyNullCont66:               ; preds = %"no exception block64"
135  br i1 undef, label %"no exception block67", label %verifyNullCont66.end_crit_edge
136
137verifyNullCont66.end_crit_edge:         ; preds = %verifyNullCont66
138  ret void
139
140"no exception block67":         ; preds = %verifyNullCont66
141  br i1 undef, label %verifyNullExit68, label %verifyNullCont69
142
143verifyNullExit68:               ; preds = %"no exception block67"
144  ret void
145
146verifyNullCont69:               ; preds = %"no exception block67"
147  br i1 undef, label %"no exception block70", label %verifyNullCont69.end_crit_edge
148
149verifyNullCont69.end_crit_edge:         ; preds = %verifyNullCont69
150  ret void
151
152"no exception block70":         ; preds = %verifyNullCont69
153  br i1 undef, label %verifyNullExit71, label %verifyNullCont72
154
155verifyNullExit71:               ; preds = %"no exception block70"
156  ret void
157
158verifyNullCont72:               ; preds = %"no exception block70"
159  br i1 undef, label %verifyNullCont75, label %verifyNullCont72.end_crit_edge
160
161verifyNullCont72.end_crit_edge:         ; preds = %verifyNullCont72
162  ret void
163
164verifyNullCont75:               ; preds = %verifyNullCont72
165  br i1 undef, label %verifyNullCont78, label %verifyNullCont75.end_crit_edge
166
167verifyNullCont75.end_crit_edge:         ; preds = %verifyNullCont75
168  ret void
169
170verifyNullCont78:               ; preds = %verifyNullCont75
171  br i1 undef, label %"verifyNullCont78.GOTO or IF*4_crit_edge", label %verifyNullCont78.end_crit_edge
172
173"verifyNullCont78.GOTO or IF*4_crit_edge":              ; preds = %verifyNullCont78
174  br i1 undef, label %verifyNullExit80, label %verifyNullCont81
175
176verifyNullCont78.end_crit_edge:         ; preds = %verifyNullCont78
177  ret void
178
179verifyNullExit80:               ; preds = %"verifyNullCont78.GOTO or IF*4_crit_edge"
180  ret void
181
182verifyNullCont81:               ; preds = %"verifyNullCont78.GOTO or IF*4_crit_edge"
183  %4 = ptrtoint i8* undef to i32                ; <i32> [#uses=2]
184  %5 = icmp slt i32 0, %4               ; <i1> [#uses=1]
185  br i1 %5, label %verifyNullCont84, label %verifyNullCont172
186
187verifyNullCont84:               ; preds = %verifyNullCont81
188  br i1 undef, label %"GOTO or IF*2", label %verifyNullCont86
189
190verifyNullCont86:               ; preds = %verifyNullCont84
191  br i1 undef, label %"true verifyAndComputePtr", label %"false verifyAndComputePtr"
192
193"true verifyAndComputePtr":             ; preds = %verifyNullCont86
194  br i1 undef, label %"true verifyAndComputePtr89", label %"false verifyAndComputePtr90"
195
196"false verifyAndComputePtr":            ; preds = %verifyNullCont86
197  ret void
198
199"true verifyAndComputePtr89":           ; preds = %"true verifyAndComputePtr"
200  br i1 undef, label %"GOTO or IF*6", label %"GOTO or IF*2"
201
202"false verifyAndComputePtr90":          ; preds = %"true verifyAndComputePtr"
203  ret void
204
205verifyNullCont126:              ; preds = %"GOTO or IF*6"
206  br i1 undef, label %"true verifyAndComputePtr127", label %"false verifyAndComputePtr128"
207
208"true verifyAndComputePtr127":          ; preds = %verifyNullCont126
209  br i1 undef, label %"true verifyAndComputePtr131.GOTO or IF*6_crit_edge", label %"GOTO or IF*5"
210
211"false verifyAndComputePtr128":         ; preds = %verifyNullCont126
212  ret void
213
214"true verifyAndComputePtr131.GOTO or IF*6_crit_edge":           ; preds = %"true verifyAndComputePtr127"
215  %indvar.next = add i32 %indvar, 1             ; <i32> [#uses=1]
216  br label %"GOTO or IF*6"
217
218verifyNullCont172:              ; preds = %verifyNullCont81
219  unreachable
220}
221