Mercurial > hg > truffle
annotate test/compiler/6796786/Test6796786.java @ 12986:1b422ef5288a
8025728: Missing volatile specifier for field G1AllocRegion::_alloc_region
Summary: The field G1AllocRegion::_alloc_region needs to be declared volatile as it is used with that intention. Otherwise the compiler may generate the code that reloads the value which might have changed in the meantime, leading to spurious crashes.
Reviewed-by: iveresov, simonis, tschatzl
Contributed-by: Axel Siebenborn <axel.siebenborn@sap.com>
author | tschatzl |
---|---|
date | Wed, 23 Oct 2013 10:23:06 +0200 |
parents | 37e4df3c8952 |
children |
rev | line source |
---|---|
3338
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
1 /* |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
2 * Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved. |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
4 * |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
5 * This code is free software; you can redistribute it and/or modify it |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
6 * under the terms of the GNU General Public License version 2 only, as |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
7 * published by the Free Software Foundation. |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
8 * |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
9 * This code is distributed in the hope that it will be useful, but WITHOUT |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
12 * version 2 for more details (a copy is included in the LICENSE file that |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
13 * accompanied this code). |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
14 * |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
15 * You should have received a copy of the GNU General Public License version |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
16 * 2 along with this work; if not, write to the Free Software Foundation, |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
18 * |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
21 * questions. |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
22 * |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
23 */ |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
24 |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
25 /** |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
26 * @test |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
27 * @bug 6796786 |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
28 * @summary invalid FP identity transform - (a - b) -> b - a |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
29 * |
3347 | 30 * @run main/othervm -Xbatch Test6796786 |
3338
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
31 */ |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
32 |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
33 public class Test6796786 { |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
34 static volatile float d1; |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
35 static volatile float d2; |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
36 |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
37 public static void main(String[] args) { |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
38 int total = 0; |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
39 for (int i = 0; i < 100000; i++) { |
3347 | 40 if (Float.floatToRawIntBits(- (d1 - d2)) == Float.floatToRawIntBits(-0.0f)) { |
3338
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
41 total++; |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
42 } |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
43 } |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
44 if (total != 100000) { |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
45 throw new InternalError(); |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
46 } |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
47 } |
f1d6640088a1
6796786: invalid FP identity transform - (a - b) -> b - a
never
parents:
diff
changeset
|
48 } |