annotate test/compiler/5091921/Test6959129.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 bad7ecd0b6ed
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 /*
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
2 * Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved.
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 6959129
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
28 * @summary COMPARISON WITH INTEGER.MAX_INT DOES NOT WORK CORRECTLY IN THE CLIENT VM.
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
29 *
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
30 * @run main/othervm -ea Test6959129
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 Test6959129 {
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 public static void main(String[] args) {
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
36 long start = System.currentTimeMillis();
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
37 int min = Integer.MAX_VALUE-30000;
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
38 int max = Integer.MAX_VALUE;
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
39 long maxmoves = 0;
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
40 try {
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
41 maxmoves = maxMoves(min, max);
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
42 } catch (AssertionError e) {
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
43 System.out.println("Passed");
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
44 System.exit(95);
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
45 }
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
46 System.out.println("maxMove:" + maxmoves);
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
47 System.out.println("FAILED");
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
48 System.exit(97);
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
49 }
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 * Imperative implementation that returns the length hailstone moves
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
52 * for a given number.
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
53 */
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
54 public static long hailstoneLengthImp(long n) {
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
55 long moves = 0;
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
56 while (n != 1) {
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
57 assert n > 1;
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
58 if (isEven(n)) {
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
59 n = n / 2;
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
60 } else {
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
61 n = 3 * n + 1;
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
62 }
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
63 ++moves;
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 return moves;
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
66 }
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
67
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
68 private static boolean isEven(long n) {
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
69 return n % 2 == 0;
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
70 }
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
71
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
72 /**
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
73 * Returns the maximum length of the hailstone sequence for numbers
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
74 * between min to max.
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
75 *
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
76 * For rec1 - Assume that min is bigger than max.
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
77 */
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
78 public static long maxMoves(int min, int max) {
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
79 long maxmoves = 0;
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
80 for (int n = min; n <= max; n++) {
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
81 if ((n & 1023) == 0) System.out.println(n);
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
82 long moves = hailstoneLengthImp(n);
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
83 if (moves > maxmoves) {
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
84 maxmoves = moves;
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
85 }
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
86 }
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
87 return maxmoves;
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
88 }
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
89 }
bad7ecd0b6ed 5091921: Sign flip issues in loop optimizer
kvn
parents:
diff changeset
90