Mercurial > hg > truffle
annotate test/compiler/types/TypeSpeculation.java @ 14343:05ede1d98e1e
8032771: The flag VerifySilently misses a test case
Summary: Add test case for the VerifySilently flag.
Reviewed-by: brutisso
author | tschatzl |
---|---|
date | Fri, 31 Jan 2014 09:55:59 +0100 |
parents | 1891b98ded49 |
children | 45b0159f30f2 4ca6dc0799b6 |
rev | line source |
---|---|
12966 | 1 /* |
2 * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved. | |
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. | |
4 * | |
5 * This code is free software; you can redistribute it and/or modify it | |
6 * under the terms of the GNU General Public License version 2 only, as | |
7 * published by the Free Software Foundation. | |
8 * | |
9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 * version 2 for more details (a copy is included in the LICENSE file that | |
13 * accompanied this code). | |
14 * | |
15 * You should have received a copy of the GNU General Public License version | |
16 * 2 along with this work; if not, write to the Free Software Foundation, | |
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
18 * | |
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA | |
20 * or visit www.oracle.com if you need additional information or have any | |
21 * questions. | |
22 */ | |
23 | |
24 /* | |
25 * @test | |
26 * @bug 8024070 | |
27 * @summary Test that type speculation doesn't cause incorrect execution | |
14226
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
28 * @run main/othervm -XX:+IgnoreUnrecognizedVMOptions -XX:-UseOnStackReplacement -XX:-BackgroundCompilation -XX:TypeProfileLevel=222 -XX:+UnlockExperimentalVMOptions -XX:+UseTypeSpeculation TypeSpeculation |
12966 | 29 * |
30 */ | |
31 | |
32 public class TypeSpeculation { | |
33 | |
34 interface I { | |
35 } | |
36 | |
37 static class A { | |
38 int m() { | |
39 return 1; | |
40 } | |
41 } | |
42 | |
43 static class B extends A implements I { | |
44 int m() { | |
45 return 2; | |
46 } | |
47 } | |
48 | |
49 static class C extends B { | |
50 int m() { | |
51 return 3; | |
52 } | |
53 } | |
54 | |
55 static int test1_invokevirtual(A a) { | |
56 return a.m(); | |
57 } | |
58 | |
59 static int test1_1(A a) { | |
60 return test1_invokevirtual(a); | |
61 } | |
62 | |
63 static boolean test1() { | |
64 A a = new A(); | |
65 B b = new B(); | |
66 C c = new C(); | |
67 | |
68 // pollute profile at test1_invokevirtual to make sure the | |
69 // compiler cannot rely on it | |
70 for (int i = 0; i < 5000; i++) { | |
71 test1_invokevirtual(a); | |
72 test1_invokevirtual(b); | |
73 test1_invokevirtual(c); | |
74 } | |
75 | |
76 // profiling + speculation should make test1_invokevirtual | |
77 // inline A.m() with a guard | |
78 for (int i = 0; i < 20000; i++) { | |
79 int res = test1_1(b); | |
80 if (res != b.m()) { | |
81 System.out.println("test1 failed with class B"); | |
82 return false; | |
83 } | |
84 } | |
85 // check that the guard works as expected by passing a | |
86 // different type | |
87 int res = test1_1(a); | |
88 if (res != a.m()) { | |
89 System.out.println("test1 failed with class A"); | |
90 return false; | |
91 } | |
92 return true; | |
93 } | |
94 | |
95 static int test2_invokevirtual(A a) { | |
96 return a.m(); | |
97 } | |
98 | |
99 static int test2_1(A a, boolean t) { | |
100 A aa; | |
101 if (t) { | |
102 aa = (B)a; | |
103 } else { | |
104 aa = a; | |
105 } | |
106 // if a of type B is passed to test2_1, the static type of aa | |
107 // here is no better than A but the profiled type is B so this | |
108 // should inline | |
109 return test2_invokevirtual(aa); | |
110 } | |
111 | |
112 static boolean test2() { | |
113 A a = new A(); | |
114 B b = new B(); | |
115 C c = new C(); | |
116 | |
117 // pollute profile at test2_invokevirtual to make sure the | |
118 // compiler cannot rely on it | |
119 for (int i = 0; i < 5000; i++) { | |
120 test2_invokevirtual(a); | |
121 test2_invokevirtual(b); | |
122 test2_invokevirtual(c); | |
123 } | |
124 | |
125 // profiling + speculation should make test2_invokevirtual | |
126 // inline A.m() with a guard | |
127 for (int i = 0; i < 20000; i++) { | |
128 int res = test2_1(b, (i % 2) == 0); | |
129 if (res != b.m()) { | |
130 System.out.println("test2 failed with class B"); | |
131 return false; | |
132 } | |
133 } | |
134 // check that the guard works as expected by passing a | |
135 // different type | |
136 int res = test2_1(a, false); | |
137 if (res != a.m()) { | |
138 System.out.println("test2 failed with class A"); | |
139 return false; | |
140 } | |
141 return true; | |
142 } | |
143 | |
144 static int test3_invokevirtual(A a) { | |
145 return a.m(); | |
146 } | |
147 | |
148 static void test3_2(A a) { | |
149 } | |
150 | |
151 static int test3_1(A a, int i) { | |
152 if (i == 0) { | |
153 return 0; | |
154 } | |
155 // If we come here and a is of type B but parameter profiling | |
156 // is polluted, both branches of the if below should have | |
157 // profiling that tell us and inlining of the virtual call | |
158 // should happen | |
159 if (i == 1) { | |
160 test3_2(a); | |
161 } else { | |
162 test3_2(a); | |
163 } | |
164 return test3_invokevirtual(a); | |
165 } | |
166 | |
167 static boolean test3() { | |
168 A a = new A(); | |
169 B b = new B(); | |
170 C c = new C(); | |
171 | |
172 // pollute profile at test3_invokevirtual and test3_1 to make | |
173 // sure the compiler cannot rely on it | |
174 for (int i = 0; i < 3000; i++) { | |
175 test3_invokevirtual(a); | |
176 test3_invokevirtual(b); | |
177 test3_invokevirtual(c); | |
178 test3_1(a, 0); | |
179 test3_1(b, 0); | |
180 } | |
181 | |
182 // profiling + speculation should make test3_invokevirtual | |
183 // inline A.m() with a guard | |
184 for (int i = 0; i < 20000; i++) { | |
185 int res = test3_1(b, (i % 2) + 1); | |
186 if (res != b.m()) { | |
187 System.out.println("test3 failed with class B"); | |
188 return false; | |
189 } | |
190 } | |
191 // check that the guard works as expected by passing a | |
192 // different type | |
193 int res = test3_1(a, 1); | |
194 if (res != a.m()) { | |
195 System.out.println("test3 failed with class A"); | |
196 return false; | |
197 } | |
198 return true; | |
199 } | |
200 | |
201 // Mix 2 incompatible profiled types | |
202 static int test4_invokevirtual(A a) { | |
203 return a.m(); | |
204 } | |
205 | |
206 static void test4_2(A a) { | |
207 } | |
208 | |
209 static int test4_1(A a, boolean b) { | |
210 if (b) { | |
211 test4_2(a); | |
212 } else { | |
213 test4_2(a); | |
214 } | |
215 // shouldn't inline | |
216 return test4_invokevirtual(a); | |
217 } | |
218 | |
219 static boolean test4() { | |
220 A a = new A(); | |
221 B b = new B(); | |
222 C c = new C(); | |
223 | |
224 // pollute profile at test3_invokevirtual and test3_1 to make | |
225 // sure the compiler cannot rely on it | |
226 for (int i = 0; i < 3000; i++) { | |
227 test4_invokevirtual(a); | |
228 test4_invokevirtual(b); | |
229 test4_invokevirtual(c); | |
230 } | |
231 | |
232 for (int i = 0; i < 20000; i++) { | |
233 if ((i % 2) == 0) { | |
234 int res = test4_1(a, true); | |
235 if (res != a.m()) { | |
236 System.out.println("test4 failed with class A"); | |
237 return false; | |
238 } | |
239 } else { | |
240 int res = test4_1(b, false); | |
241 if (res != b.m()) { | |
242 System.out.println("test4 failed with class B"); | |
243 return false; | |
244 } | |
245 } | |
246 } | |
247 return true; | |
248 } | |
249 | |
250 // Mix one profiled type with an incompatible type | |
251 static int test5_invokevirtual(A a) { | |
252 return a.m(); | |
253 } | |
254 | |
255 static void test5_2(A a) { | |
256 } | |
257 | |
258 static int test5_1(A a, boolean b) { | |
259 if (b) { | |
260 test5_2(a); | |
261 } else { | |
262 A aa = (B)a; | |
263 } | |
264 // shouldn't inline | |
265 return test5_invokevirtual(a); | |
266 } | |
267 | |
268 static boolean test5() { | |
269 A a = new A(); | |
270 B b = new B(); | |
271 C c = new C(); | |
272 | |
273 // pollute profile at test3_invokevirtual and test3_1 to make | |
274 // sure the compiler cannot rely on it | |
275 for (int i = 0; i < 3000; i++) { | |
276 test5_invokevirtual(a); | |
277 test5_invokevirtual(b); | |
278 test5_invokevirtual(c); | |
279 } | |
280 | |
281 for (int i = 0; i < 20000; i++) { | |
282 if ((i % 2) == 0) { | |
283 int res = test5_1(a, true); | |
284 if (res != a.m()) { | |
285 System.out.println("test5 failed with class A"); | |
286 return false; | |
287 } | |
288 } else { | |
289 int res = test5_1(b, false); | |
290 if (res != b.m()) { | |
291 System.out.println("test5 failed with class B"); | |
292 return false; | |
293 } | |
294 } | |
295 } | |
296 return true; | |
297 } | |
298 | |
299 // Mix incompatible profiled types | |
300 static void test6_2(Object o) { | |
301 } | |
302 | |
303 static Object test6_1(Object o, boolean b) { | |
304 if (b) { | |
305 test6_2(o); | |
306 } else { | |
307 test6_2(o); | |
308 } | |
309 return o; | |
310 } | |
311 | |
312 static boolean test6() { | |
313 A a = new A(); | |
314 A[] aa = new A[10]; | |
315 | |
316 for (int i = 0; i < 20000; i++) { | |
317 if ((i % 2) == 0) { | |
318 test6_1(a, true); | |
319 } else { | |
320 test6_1(aa, false); | |
321 } | |
322 } | |
323 return true; | |
324 } | |
325 | |
326 // Mix a profiled type with an incompatible type | |
327 static void test7_2(Object o) { | |
328 } | |
329 | |
330 static Object test7_1(Object o, boolean b) { | |
331 if (b) { | |
332 test7_2(o); | |
333 } else { | |
334 Object oo = (A[])o; | |
335 } | |
336 return o; | |
337 } | |
338 | |
339 static boolean test7() { | |
340 A a = new A(); | |
341 A[] aa = new A[10]; | |
342 | |
343 for (int i = 0; i < 20000; i++) { | |
344 if ((i % 2) == 0) { | |
345 test7_1(a, true); | |
346 } else { | |
347 test7_1(aa, false); | |
348 } | |
349 } | |
350 return true; | |
351 } | |
352 | |
353 // Mix a profiled type with an interface | |
354 static void test8_2(Object o) { | |
355 } | |
356 | |
357 static I test8_1(Object o) { | |
358 test8_2(o); | |
359 return (I)o; | |
360 } | |
361 | |
362 static boolean test8() { | |
363 A a = new A(); | |
364 B b = new B(); | |
365 C c = new C(); | |
366 | |
367 for (int i = 0; i < 20000; i++) { | |
368 test8_1(b); | |
369 } | |
370 return true; | |
371 } | |
372 | |
373 // Mix a profiled type with a constant | |
374 static void test9_2(Object o) { | |
375 } | |
376 | |
377 static Object test9_1(Object o, boolean b) { | |
378 Object oo; | |
379 if (b) { | |
380 test9_2(o); | |
381 oo = o; | |
382 } else { | |
383 oo = "some string"; | |
384 } | |
385 return oo; | |
386 } | |
387 | |
388 static boolean test9() { | |
389 A a = new A(); | |
390 | |
391 for (int i = 0; i < 20000; i++) { | |
392 if ((i % 2) == 0) { | |
393 test9_1(a, true); | |
394 } else { | |
395 test9_1(a, false); | |
396 } | |
397 } | |
398 return true; | |
399 } | |
400 | |
14226
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
401 // java/lang/Object:AnyNull:exact *,iid=top |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
402 // meets |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
403 // stable:bottom[int:max..0]:NotNull * |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
404 static void test10_4(Object o) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
405 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
406 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
407 static void test10_3(Object o, boolean b) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
408 if (b) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
409 test10_4(o); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
410 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
411 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
412 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
413 static void test10_2(Object o, boolean b1, boolean b2) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
414 if (b1) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
415 test10_3(o, b2); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
416 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
417 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
418 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
419 static void test10_1(B[] b, boolean b1, boolean b2) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
420 test10_2(b, b1, b2); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
421 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
422 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
423 static boolean test10() { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
424 Object o = new Object(); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
425 A[] a = new A[10]; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
426 B[] b = new B[10]; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
427 B[] c = new C[10]; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
428 for (int i = 0; i < 20000; i++) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
429 test10_1(b, false, false); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
430 test10_1(c, false, false); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
431 test10_2(a, true, false); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
432 test10_3(o, true); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
433 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
434 return true; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
435 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
436 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
437 // stable:TypeSpeculation$B:TopPTR *,iid=top[int:max..0]:TopPTR *,iid=top |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
438 // meets |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
439 // java/lang/Object:AnyNull:exact *,iid=top |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
440 static void test11_3(Object o) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
441 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
442 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
443 static void test11_2(Object o, boolean b) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
444 if (b) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
445 test11_3(o); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
446 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
447 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
448 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
449 static void test11_1(B[] b, boolean bb) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
450 test11_2(b, bb); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
451 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
452 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
453 static boolean test11() { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
454 Object o = new Object(); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
455 B[] b = new B[10]; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
456 B[] c = new C[10]; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
457 for (int i = 0; i < 20000; i++) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
458 test11_1(b, false); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
459 test11_1(c, false); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
460 test11_2(o, true); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
461 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
462 return true; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
463 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
464 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
465 // TypeSpeculation$I * |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
466 // meets |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
467 // java/lang/Object:AnyNull *,iid=top |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
468 static void test12_3(Object o) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
469 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
470 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
471 static void test12_2(Object o, boolean b) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
472 if (b) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
473 test12_3(o); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
474 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
475 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
476 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
477 static void test12_1(I i, boolean b) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
478 test12_2(i, b); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
479 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
480 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
481 static boolean test12() { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
482 Object o = new Object(); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
483 B b = new B(); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
484 C c = new C(); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
485 for (int i = 0; i < 20000; i++) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
486 test12_1(b, false); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
487 test12_1(c, false); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
488 test12_2(o, true); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
489 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
490 return true; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
491 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
492 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
493 // stable:bottom[int:max..0]:NotNull * |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
494 // meets |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
495 // stable:TypeSpeculation$A:TopPTR *,iid=top[int:max..0]:AnyNull:exact *,iid=top |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
496 static Object test13_3(Object o, boolean b) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
497 Object oo; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
498 if (b) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
499 oo = o; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
500 } else { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
501 oo = new A[10]; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
502 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
503 return oo; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
504 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
505 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
506 static void test13_2(Object o, boolean b1, boolean b2) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
507 if (b1) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
508 test13_3(o, b2); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
509 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
510 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
511 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
512 static void test13_1(B[] b, boolean b1, boolean b2) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
513 test13_2(b, b1, b2); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
514 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
515 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
516 static boolean test13() { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
517 A[] a = new A[10]; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
518 B[] b = new B[10]; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
519 B[] c = new C[10]; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
520 for (int i = 0; i < 20000; i++) { |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
521 test13_1(b, false, false); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
522 test13_1(c, false, false); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
523 test13_2(a, true, (i%2) == 0); |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
524 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
525 return true; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
526 } |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
527 |
12966 | 528 static public void main(String[] args) { |
529 boolean success = true; | |
530 | |
531 success = test1() && success; | |
532 | |
533 success = test2() && success; | |
534 | |
535 success = test3() && success; | |
536 | |
537 success = test4() && success; | |
538 | |
539 success = test5() && success; | |
540 | |
541 success = test6() && success; | |
542 | |
543 success = test7() && success; | |
544 | |
545 success = test8() && success; | |
546 | |
547 success = test9() && success; | |
548 | |
14226
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
549 success = test10() && success; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
550 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
551 success = test11() && success; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
552 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
553 success = test12() && success; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
554 |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
555 success = test13() && success; |
1891b98ded49
8028536: Test cases to cover type system fixes pushed with 8024070
roland
parents:
12966
diff
changeset
|
556 |
12966 | 557 if (success) { |
558 System.out.println("TEST PASSED"); | |
559 } else { | |
560 throw new RuntimeException("TEST FAILED: erroneous bound check elimination"); | |
561 } | |
562 } | |
563 } |