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