comparison test/compiler/5091921/Test6992759.java @ 3345:bad7ecd0b6ed

5091921: Sign flip issues in loop optimizer Summary: Fix integer overflow problem in the code generated by loop optimizer. Reviewed-by: never
author kvn
date Wed, 04 May 2011 13:12:42 -0700
parents
children 514efad5e81a
comparison
equal deleted inserted replaced
3344:0139aac70fb5 3345:bad7ecd0b6ed
1 /*
2 * Copyright (c) 2011, 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 /**
26 * @test
27 * @bug 6992759
28 * @summary Bad code generated for integer <= comparison, fails for Integer.MAX_VALUE
29 *
30 * @run main Test6992759
31 */
32
33 public class Test6992759 {
34
35 static final int N_TESTS = 1000000000;
36
37 public static void main(String[] args) throws Exception {
38
39 /*
40 * If MAX_VALUE is changed to MAX_VALUE - 1 below, the test passes
41 * because (apparently) bad code is only generated when comparing
42 * <= MAX_VALUE in the doTest method.
43 */
44 Test6992759 test = new Test6992759();
45 for (int i = 0; i < N_TESTS; i += 1) {
46 test.doTest(10, Integer.MAX_VALUE, i);
47 //test.doTest(10, Integer.MAX_VALUE - 1, i);
48 }
49 System.out.println("No failure");
50 }
51
52 void doTest(int expected, int max, int i) {
53 int counted;
54 for (counted = 0;
55 (counted <= max) && (counted < expected);
56 counted += 1) {
57 }
58 if (counted != expected) {
59 throw new RuntimeException("Failed test iteration=" + i +
60 " max=" + max +
61 " counted=" + counted +
62 " expected=" + expected);
63 }
64 }
65 }
66