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 }