annotate test/compiler/7110586/Test7110586.java @ 4112:e8fdaf4a66cb

7110586: C2 generates incorrect results Summary: Exact limit of empty loop calculated incorrectly. Reviewed-by: iveresov, never
author kvn
date Thu, 10 Nov 2011 20:17:05 -0800
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4112
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
1 /*
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
2 * Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved.
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
4 *
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
7 * published by the Free Software Foundation.
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
8 *
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
13 * accompanied this code).
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
14 *
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
18 *
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
21 * questions.
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
22 *
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
23 */
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
24
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
25 /**
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
26 * @test
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
27 * @bug 7110586
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
28 * @summary C2 generates icorrect results
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
29 *
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
30 * @run main/othervm -Xbatch Test7110586
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
31 */
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
32
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
33 public class Test7110586 {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
34 static int test1() {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
35 int i = 0;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
36 for ( ; i < 11; i+=1) {}
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
37 return i;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
38 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
39 static int test2() {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
40 int i = 0;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
41 for ( ; i < 11; i+=2) {}
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
42 return i;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
43 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
44 static int test3() {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
45 int i = 0;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
46 for ( ; i < 11; i+=3) {}
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
47 return i;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
48 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
49 static int test11() {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
50 int i = 0;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
51 for ( ; i < 11; i+=11) {}
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
52 return i;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
53 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
54
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
55 static int testm1() {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
56 int i = 0;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
57 for ( ; i > -11; i-=1) {}
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
58 return i;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
59 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
60 static int testm2() {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
61 int i = 0;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
62 for ( ; i > -11; i-=2) {}
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
63 return i;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
64 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
65 static int testm3() {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
66 int i = 0;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
67 for ( ; i > -11; i-=3) {}
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
68 return i;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
69 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
70 static int testm11() {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
71 int i = 0;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
72 for ( ; i > -11; i-=11) {}
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
73 return i;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
74 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
75
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
76 public static void main(String args[]) {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
77 int x1 = 0;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
78 int x2 = 0;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
79 int x3 = 0;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
80 int x11 = 0;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
81 int m1 = 0;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
82 int m2 = 0;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
83 int m3 = 0;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
84 int m11 = 0;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
85 for (int i=0; i<10000; i++) {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
86 x1 = test1();
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
87 x2 = test2();
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
88 x3 = test3();
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
89 x11 = test11();
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
90 m1 = testm1();
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
91 m2 = testm2();
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
92 m3 = testm3();
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
93 m11 = testm11();
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
94 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
95 boolean failed = false;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
96 if (x1 != 11) {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
97 System.out.println("ERROR (incr = +1): " + x1 + " != 11");
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
98 failed = true;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
99 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
100 if (x2 != 12) {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
101 System.out.println("ERROR (incr = +2): " + x2 + " != 12");
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
102 failed = true;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
103 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
104 if (x3 != 12) {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
105 System.out.println("ERROR (incr = +3): " + x3 + " != 12");
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
106 failed = true;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
107 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
108 if (x11 != 11) {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
109 System.out.println("ERROR (incr = +11): " + x11 + " != 11");
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
110 failed = true;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
111 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
112 if (m1 != -11) {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
113 System.out.println("ERROR (incr = -1): " + m1 + " != -11");
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
114 failed = true;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
115 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
116 if (m2 != -12) {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
117 System.out.println("ERROR (incr = -2): " + m2 + " != -12");
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
118 failed = true;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
119 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
120 if (m3 != -12) {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
121 System.out.println("ERROR (incr = -3): " + m3 + " != -12");
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
122 failed = true;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
123 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
124 if (m11 != -11) {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
125 System.out.println("ERROR (incr = -11): " + m11 + " != -11");
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
126 failed = true;
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
127 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
128 if (failed) {
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
129 System.exit(97);
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
130 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
131 }
e8fdaf4a66cb 7110586: C2 generates incorrect results
kvn
parents:
diff changeset
132 }