ResolveFieldInPoolTest.java revision 11707:ad7af1afda7a 
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
49package compiler.jvmci.compilerToVM;
50
51import compiler.jvmci.compilerToVM.ConstantPoolTestCase.ConstantTypes;
52import compiler.jvmci.compilerToVM.ConstantPoolTestCase.TestedCPEntry;
53import compiler.jvmci.compilerToVM.ConstantPoolTestCase.Validator;
54import compiler.jvmci.compilerToVM.ConstantPoolTestsHelper.DummyClasses;
55import jdk.internal.misc.Unsafe;
56import jdk.internal.org.objectweb.asm.Opcodes;
57import jdk.test.lib.Asserts;
58import jdk.test.lib.Utils;
59import jdk.vm.ci.hotspot.CompilerToVMHelper;
60import jdk.vm.ci.hotspot.HotSpotResolvedObjectType;
61import jdk.vm.ci.meta.ConstantPool;
62
63import java.lang.reflect.Field;
64import java.util.HashMap;
65import java.util.Map;
66
67import static compiler.jvmci.compilerToVM.ConstantPoolTestCase.ConstantTypes.CONSTANT_FIELDREF;
68
69/**
70 * Test for {@code jdk.vm.ci.hotspot.CompilerToVM.resolveFieldInPool} method
71 */
72public 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}
171