1 /*
2 * Copyright (c) 2016, 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 8138708
28 * @requires (os.simpleArch == "x64" | os.simpleArch == "sparcv9" | os.simpleArch == "aarch64")
29 * @library /testlibrary /test/lib /
30 * @library ../common/patches
31 * @modules java.base/jdk.internal.misc
32 * java.base/jdk.internal.reflect
33 * java.base/jdk.internal.org.objectweb.asm
34 * java.base/jdk.internal.org.objectweb.asm.tree
35 * jdk.vm.ci/jdk.vm.ci.hotspot
36 * jdk.vm.ci/jdk.vm.ci.meta
37 * jdk.vm.ci/jdk.vm.ci.runtime
38 * @build jdk.vm.ci/jdk.vm.ci.hotspot.CompilerToVMHelper
39 * @build sun.hotspot.WhiteBox
40 * compiler.jvmci.compilerToVM.ResolveFieldInPoolTest
41 * @run main ClassFileInstaller sun.hotspot.WhiteBox
42 * sun.hotspot.WhiteBox$WhiteBoxPermission
43 * @run main/othervm -Xbootclasspath/a:. -XX:+UnlockDiagnosticVMOptions
44 * -XX:+WhiteBoxAPI -XX:+UnlockExperimentalVMOptions -XX:+EnableJVMCI
45 * compiler.jvmci.compilerToVM.ResolveFieldInPoolTest
46 */
47
48 package compiler.jvmci.compilerToVM;
49
50 import compiler.jvmci.compilerToVM.ConstantPoolTestsHelper.DummyClasses;
51 import compiler.jvmci.compilerToVM.ConstantPoolTestCase.ConstantTypes;
52 import static compiler.jvmci.compilerToVM.ConstantPoolTestCase.ConstantTypes.*;
53 import compiler.jvmci.compilerToVM.ConstantPoolTestCase.TestedCPEntry;
54 import compiler.jvmci.compilerToVM.ConstantPoolTestCase.Validator;
55 import java.lang.reflect.Field;
56 import java.util.HashMap;
57 import java.util.Map;
58 import jdk.internal.org.objectweb.asm.Opcodes;
59 import jdk.vm.ci.hotspot.CompilerToVMHelper;
60 import jdk.vm.ci.hotspot.HotSpotResolvedObjectType;
61 import jdk.vm.ci.meta.ConstantPool;
62 import jdk.test.lib.Asserts;
63 import jdk.test.lib.Utils;
64 import jdk.internal.misc.Unsafe;
65
66 /**
67 * Test for {@code jdk.vm.ci.hotspot.CompilerToVM.resolveFieldInPool} method
68 */
69 public class ResolveFieldInPoolTest {
70
71 private static final Unsafe UNSAFE = Utils.getUnsafe();
72
73 public static void main(String[] args) throws Exception {
74 Map<ConstantTypes, Validator> typeTests = new HashMap<>();
75 typeTests.put(CONSTANT_FIELDREF, ResolveFieldInPoolTest::validate);
76 ConstantPoolTestCase testCase = new ConstantPoolTestCase(typeTests);
77 testCase.test();
78 // The next "Class.forName" and repeating "testCase.test()"
79 // are here for the following reason.
80 // The first test run is without dummy class initialization,
81 // which means no constant pool cache exists.
82 // The second run is with initialized class (with constant pool cache available).
83 // Some CompilerToVM methods require different input
84 // depending on whether CP cache exists or not.
85 for (DummyClasses dummy : DummyClasses.values()) {
86 Class.forName(dummy.klass.getName());
87 }
88 testCase.test();
89 }
90
91 private static void validate(ConstantPool constantPoolCTVM,
92 ConstantTypes cpType,
93 DummyClasses dummyClass,
94 int cpi) {
95 TestedCPEntry entry = cpType.getTestedCPEntry(dummyClass, cpi);
96 if (entry == null) {
97 return;
98 }
99 int index = cpi;
100 String cached = "";
101 int cpci = dummyClass.getCPCacheIndex(cpi);
102 if (cpci != ConstantPoolTestsHelper.NO_CP_CACHE_PRESENT) {
103 index = cpci;
104 cached = "cached ";
105 }
106 for (int j = 0; j < entry.opcodes.length; j++) {
107 long[] info = new long[2];
108 HotSpotResolvedObjectType fieldToVerify
109 = CompilerToVMHelper.resolveFieldInPool(constantPoolCTVM,
110 index,
111 entry.methods == null ? null : entry.methods[j],
112 entry.opcodes[j],
113 info);
114 String msg = String.format("Object returned by resolveFieldInPool method"
115 + " for %sindex %d should not be null",
116 cached,
117 index);
118 Asserts.assertNotNull(fieldToVerify, msg);
119 String classNameToRefer = entry.klass;
120 String fieldToVerifyKlassToString = fieldToVerify.klass().toValueString();
121 if (!fieldToVerifyKlassToString.contains(classNameToRefer)) {
122 msg = String.format("String representation \"%s\" of the object"
123 + " returned by resolveFieldInPool method"
124 + " for index %d does not contain a field's class name,"
125 + " should contain %s",
126 fieldToVerifyKlassToString,
127 index,
128 classNameToRefer);
129 throw new AssertionError(msg);
130 }
131 msg = String.format("Access flags returned by resolveFieldInPool"
132 + " method are wrong for the field %s.%s"
133 + " at %sindex %d",
134 entry.klass,
135 entry.name,
136 cached,
137 index);
138 Asserts.assertEQ(info[0], entry.accFlags, msg);
139 if (cpci == -1) {
140 return;
141 }
142 Class classOfTheField = null;
143 Field fieldToRefer = null;
144 try {
145 classOfTheField = Class.forName(classNameToRefer.replaceAll("/", "\\."));
146 fieldToRefer = classOfTheField.getDeclaredField(entry.name);
147 fieldToRefer.setAccessible(true);
148 } catch (Exception ex) {
149 throw new Error("Unexpected exception", ex);
150 }
151 long offsetToRefer;
152 if ((entry.accFlags & Opcodes.ACC_STATIC) != 0) {
153 offsetToRefer = UNSAFE.staticFieldOffset(fieldToRefer);
154 } else {
155 offsetToRefer = UNSAFE.objectFieldOffset(fieldToRefer);
156 }
157 msg = String.format("Field offset returned by resolveFieldInPool"
158 + " method is wrong for the field %s.%s"
159 + " at %sindex %d",
160 entry.klass,
161 entry.name,
162 cached,
163 index);
164 Asserts.assertEQ(info[1], offsetToRefer, msg);
165 }
166 }
167 }