annotate test/compiler/5091921/Test6992759.java @ 9010:08a16c26907f

MX_TESTFILE environment variable can be used to specify (and preserve) the test list file used by 'mx unittest'. This is useful when wanting to run the command under gdb.
author Doug Simon <doug.simon@oracle.com>
date Thu, 11 Apr 2013 21:40:52 +0200
parents 514efad5e81a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3345
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
1 /*
8077
514efad5e81a 8008180: Several tests in compiler/5091921 need more time to run
drchase
parents: 3345
diff changeset
2 * Copyright (c) 2011, 2013, Oracle and/or its affiliates. All rights reserved.
3345
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
4 *
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
7 * published by the Free Software Foundation.
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
8 *
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
13 * accompanied this code).
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
14 *
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
18 *
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
21 * questions.
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
22 *
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
23 */
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
24
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
25 /**
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
26 * @test
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
27 * @bug 6992759
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
28 * @summary Bad code generated for integer <= comparison, fails for Integer.MAX_VALUE
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
29 *
8077
514efad5e81a 8008180: Several tests in compiler/5091921 need more time to run
drchase
parents: 3345
diff changeset
30 * @run main/timeout=240 Test6992759
3345
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
31 */
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
32
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
33 public class Test6992759 {
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
34
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
35 static final int N_TESTS = 1000000000;
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
36
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
37 public static void main(String[] args) throws Exception {
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
38
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
39 /*
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
40 * If MAX_VALUE is changed to MAX_VALUE - 1 below, the test passes
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
41 * because (apparently) bad code is only generated when comparing
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
42 * <= MAX_VALUE in the doTest method.
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
43 */
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
44 Test6992759 test = new Test6992759();
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
45 for (int i = 0; i < N_TESTS; i += 1) {
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
46 test.doTest(10, Integer.MAX_VALUE, i);
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
47 //test.doTest(10, Integer.MAX_VALUE - 1, i);
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
48 }
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
49 System.out.println("No failure");
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
50 }
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
51
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
52 void doTest(int expected, int max, int i) {
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
53 int counted;
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
54 for (counted = 0;
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
55 (counted <= max) && (counted < expected);
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
56 counted += 1) {
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
57 }
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
58 if (counted != expected) {
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
59 throw new RuntimeException("Failed test iteration=" + i +
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
60 " max=" + max +
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
61 " counted=" + counted +
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
62 " expected=" + expected);
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
63 }
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
64 }
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
65 }
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
66