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