8170455: C2: Access to [].clone from interfaces fails
Passed holder klass to LR for proper resolution. Reviewed-by: vlivanov
This commit is contained in:
parent
a7f34a3295
commit
e05df4e05f
@ -704,16 +704,17 @@ ciField* ciEnv::get_field_by_index(ciInstanceKlass* accessor,
|
|||||||
//
|
//
|
||||||
// Perform an appropriate method lookup based on accessor, holder,
|
// Perform an appropriate method lookup based on accessor, holder,
|
||||||
// name, signature, and bytecode.
|
// name, signature, and bytecode.
|
||||||
Method* ciEnv::lookup_method(InstanceKlass* accessor,
|
Method* ciEnv::lookup_method(ciInstanceKlass* accessor,
|
||||||
InstanceKlass* holder,
|
ciKlass* holder,
|
||||||
Symbol* name,
|
Symbol* name,
|
||||||
Symbol* sig,
|
Symbol* sig,
|
||||||
Bytecodes::Code bc,
|
Bytecodes::Code bc,
|
||||||
constantTag tag) {
|
constantTag tag) {
|
||||||
EXCEPTION_CONTEXT;
|
// Accessibility checks are performed in ciEnv::get_method_by_index_impl.
|
||||||
KlassHandle h_accessor(THREAD, accessor);
|
assert(check_klass_accessibility(accessor, holder->get_Klass()), "holder not accessible");
|
||||||
KlassHandle h_holder(THREAD, holder);
|
|
||||||
LinkResolver::check_klass_accessability(h_accessor, h_holder, KILL_COMPILE_ON_FATAL_(NULL));
|
KlassHandle h_accessor(accessor->get_instanceKlass());
|
||||||
|
KlassHandle h_holder(holder->get_Klass());
|
||||||
methodHandle dest_method;
|
methodHandle dest_method;
|
||||||
LinkInfo link_info(h_holder, name, sig, h_accessor, LinkInfo::needs_access_check, tag);
|
LinkInfo link_info(h_holder, name, sig, h_accessor, LinkInfo::needs_access_check, tag);
|
||||||
switch (bc) {
|
switch (bc) {
|
||||||
@ -772,7 +773,6 @@ ciMethod* ciEnv::get_method_by_index_impl(const constantPoolHandle& cpool,
|
|||||||
const int holder_index = cpool->klass_ref_index_at(index);
|
const int holder_index = cpool->klass_ref_index_at(index);
|
||||||
bool holder_is_accessible;
|
bool holder_is_accessible;
|
||||||
ciKlass* holder = get_klass_by_index_impl(cpool, holder_index, holder_is_accessible, accessor);
|
ciKlass* holder = get_klass_by_index_impl(cpool, holder_index, holder_is_accessible, accessor);
|
||||||
ciInstanceKlass* declared_holder = get_instance_klass_for_declared_method_holder(holder);
|
|
||||||
|
|
||||||
// Get the method's name and signature.
|
// Get the method's name and signature.
|
||||||
Symbol* name_sym = cpool->name_ref_at(index);
|
Symbol* name_sym = cpool->name_ref_at(index);
|
||||||
@ -800,10 +800,9 @@ ciMethod* ciEnv::get_method_by_index_impl(const constantPoolHandle& cpool,
|
|||||||
}
|
}
|
||||||
|
|
||||||
if (holder_is_accessible) { // Our declared holder is loaded.
|
if (holder_is_accessible) { // Our declared holder is loaded.
|
||||||
InstanceKlass* lookup = declared_holder->get_instanceKlass();
|
|
||||||
constantTag tag = cpool->tag_ref_at(index);
|
constantTag tag = cpool->tag_ref_at(index);
|
||||||
assert(accessor->get_instanceKlass() == cpool->pool_holder(), "not the pool holder?");
|
assert(accessor->get_instanceKlass() == cpool->pool_holder(), "not the pool holder?");
|
||||||
Method* m = lookup_method(accessor->get_instanceKlass(), lookup, name_sym, sig_sym, bc, tag);
|
Method* m = lookup_method(accessor, holder, name_sym, sig_sym, bc, tag);
|
||||||
if (m != NULL &&
|
if (m != NULL &&
|
||||||
(bc == Bytecodes::_invokestatic
|
(bc == Bytecodes::_invokestatic
|
||||||
? m->method_holder()->is_not_initialized()
|
? m->method_holder()->is_not_initialized()
|
||||||
@ -826,7 +825,7 @@ ciMethod* ciEnv::get_method_by_index_impl(const constantPoolHandle& cpool,
|
|||||||
// lookup.
|
// lookup.
|
||||||
ciSymbol* name = get_symbol(name_sym);
|
ciSymbol* name = get_symbol(name_sym);
|
||||||
ciSymbol* signature = get_symbol(sig_sym);
|
ciSymbol* signature = get_symbol(sig_sym);
|
||||||
return get_unloaded_method(declared_holder, name, signature, accessor);
|
return get_unloaded_method(holder, name, signature, accessor);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -153,12 +153,12 @@ private:
|
|||||||
// Helper methods
|
// Helper methods
|
||||||
bool check_klass_accessibility(ciKlass* accessing_klass,
|
bool check_klass_accessibility(ciKlass* accessing_klass,
|
||||||
Klass* resolved_klass);
|
Klass* resolved_klass);
|
||||||
Method* lookup_method(InstanceKlass* accessor,
|
Method* lookup_method(ciInstanceKlass* accessor,
|
||||||
InstanceKlass* holder,
|
ciKlass* holder,
|
||||||
Symbol* name,
|
Symbol* name,
|
||||||
Symbol* sig,
|
Symbol* sig,
|
||||||
Bytecodes::Code bc,
|
Bytecodes::Code bc,
|
||||||
constantTag tag);
|
constantTag tag);
|
||||||
|
|
||||||
// Get a ciObject from the object factory. Ensures uniqueness
|
// Get a ciObject from the object factory. Ensures uniqueness
|
||||||
// of ciObjects.
|
// of ciObjects.
|
||||||
@ -227,11 +227,12 @@ private:
|
|||||||
// Get a ciMethod representing either an unfound method or
|
// Get a ciMethod representing either an unfound method or
|
||||||
// a method with an unloaded holder. Ensures uniqueness of
|
// a method with an unloaded holder. Ensures uniqueness of
|
||||||
// the result.
|
// the result.
|
||||||
ciMethod* get_unloaded_method(ciInstanceKlass* holder,
|
ciMethod* get_unloaded_method(ciKlass* holder,
|
||||||
ciSymbol* name,
|
ciSymbol* name,
|
||||||
ciSymbol* signature,
|
ciSymbol* signature,
|
||||||
ciInstanceKlass* accessor) {
|
ciInstanceKlass* accessor) {
|
||||||
return _factory->get_unloaded_method(holder, name, signature, accessor);
|
ciInstanceKlass* declared_holder = get_instance_klass_for_declared_method_holder(holder);
|
||||||
|
return _factory->get_unloaded_method(declared_holder, name, signature, accessor);
|
||||||
}
|
}
|
||||||
|
|
||||||
// Get a ciKlass representing an unloaded klass.
|
// Get a ciKlass representing an unloaded klass.
|
||||||
|
@ -283,13 +283,14 @@ void JVMCIEnv::get_field_by_index(instanceKlassHandle accessor, fieldDescriptor&
|
|||||||
// Perform an appropriate method lookup based on accessor, holder,
|
// Perform an appropriate method lookup based on accessor, holder,
|
||||||
// name, signature, and bytecode.
|
// name, signature, and bytecode.
|
||||||
methodHandle JVMCIEnv::lookup_method(instanceKlassHandle h_accessor,
|
methodHandle JVMCIEnv::lookup_method(instanceKlassHandle h_accessor,
|
||||||
instanceKlassHandle h_holder,
|
KlassHandle h_holder,
|
||||||
Symbol* name,
|
Symbol* name,
|
||||||
Symbol* sig,
|
Symbol* sig,
|
||||||
Bytecodes::Code bc,
|
Bytecodes::Code bc,
|
||||||
constantTag tag) {
|
constantTag tag) {
|
||||||
JVMCI_EXCEPTION_CONTEXT;
|
// Accessibility checks are performed in JVMCIEnv::get_method_by_index_impl().
|
||||||
LinkResolver::check_klass_accessability(h_accessor, h_holder, KILL_COMPILE_ON_FATAL_(NULL));
|
assert(check_klass_accessibility(h_accessor, h_holder), "holder not accessible");
|
||||||
|
|
||||||
methodHandle dest_method;
|
methodHandle dest_method;
|
||||||
LinkInfo link_info(h_holder, name, sig, h_accessor, LinkInfo::needs_access_check, tag);
|
LinkInfo link_info(h_holder, name, sig, h_accessor, LinkInfo::needs_access_check, tag);
|
||||||
switch (bc) {
|
switch (bc) {
|
||||||
@ -363,9 +364,8 @@ methodHandle JVMCIEnv::get_method_by_index_impl(const constantPoolHandle& cpool,
|
|||||||
}
|
}
|
||||||
|
|
||||||
if (holder_is_accessible) { // Our declared holder is loaded.
|
if (holder_is_accessible) { // Our declared holder is loaded.
|
||||||
instanceKlassHandle lookup = get_instance_klass_for_declared_method_holder(holder);
|
|
||||||
constantTag tag = cpool->tag_ref_at(index);
|
constantTag tag = cpool->tag_ref_at(index);
|
||||||
methodHandle m = lookup_method(accessor, lookup, name_sym, sig_sym, bc, tag);
|
methodHandle m = lookup_method(accessor, holder, name_sym, sig_sym, bc, tag);
|
||||||
if (!m.is_null() &&
|
if (!m.is_null() &&
|
||||||
(bc == Bytecodes::_invokestatic
|
(bc == Bytecodes::_invokestatic
|
||||||
? InstanceKlass::cast(m->method_holder())->is_not_initialized()
|
? InstanceKlass::cast(m->method_holder())->is_not_initialized()
|
||||||
|
@ -127,7 +127,7 @@ private:
|
|||||||
// Helper methods
|
// Helper methods
|
||||||
static bool check_klass_accessibility(KlassHandle accessing_klass, KlassHandle resolved_klass);
|
static bool check_klass_accessibility(KlassHandle accessing_klass, KlassHandle resolved_klass);
|
||||||
static methodHandle lookup_method(instanceKlassHandle accessor,
|
static methodHandle lookup_method(instanceKlassHandle accessor,
|
||||||
instanceKlassHandle holder,
|
KlassHandle holder,
|
||||||
Symbol* name,
|
Symbol* name,
|
||||||
Symbol* sig,
|
Symbol* sig,
|
||||||
Bytecodes::Code bc,
|
Bytecodes::Code bc,
|
||||||
|
@ -0,0 +1,117 @@
|
|||||||
|
/*
|
||||||
|
* Copyright (c) 2017, Oracle and/or its affiliates. All rights reserved.
|
||||||
|
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
|
||||||
|
*
|
||||||
|
* This code is free software; you can redistribute it and/or modify it
|
||||||
|
* under the terms of the GNU General Public License version 2 only, as
|
||||||
|
* published by the Free Software Foundation.
|
||||||
|
*
|
||||||
|
* This code is distributed in the hope that it will be useful, but WITHOUT
|
||||||
|
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
||||||
|
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
||||||
|
* version 2 for more details (a copy is included in the LICENSE file that
|
||||||
|
* accompanied this code).
|
||||||
|
*
|
||||||
|
* You should have received a copy of the GNU General Public License version
|
||||||
|
* 2 along with this work; if not, write to the Free Software Foundation,
|
||||||
|
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
|
||||||
|
*
|
||||||
|
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
|
||||||
|
* or visit www.oracle.com if you need additional information or have any
|
||||||
|
* questions.
|
||||||
|
*/
|
||||||
|
|
||||||
|
/*
|
||||||
|
* @test
|
||||||
|
* @bug 8170455
|
||||||
|
* @summary C2: Access to [].clone from interfaces fails.
|
||||||
|
* @library /test/lib /
|
||||||
|
*
|
||||||
|
* @requires vm.flavor == "server" & !vm.emulatedClient
|
||||||
|
* @build sun.hotspot.WhiteBox
|
||||||
|
* @run driver ClassFileInstaller sun.hotspot.WhiteBox sun.hotspot.WhiteBox$WhiteBoxPermission
|
||||||
|
* @run main/othervm -Xcomp -Xbatch -Xbootclasspath/a:. -XX:-TieredCompilation -XX:+UnlockDiagnosticVMOptions -XX:+WhiteBoxAPI
|
||||||
|
* -XX:CompileCommand=compileonly,*TestDefaultMethodArrayCloneDeoptC2Interface::test
|
||||||
|
* compiler.arraycopy.TestDefaultMethodArrayCloneDeoptC2
|
||||||
|
*/
|
||||||
|
|
||||||
|
package compiler.arraycopy;
|
||||||
|
|
||||||
|
import sun.hotspot.WhiteBox;
|
||||||
|
import java.lang.reflect.Method;
|
||||||
|
import compiler.whitebox.CompilerWhiteBoxTest;
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
interface TestDefaultMethodArrayCloneDeoptC2Interface {
|
||||||
|
default int[] test(int[] arr) {
|
||||||
|
return arr.clone();
|
||||||
|
}
|
||||||
|
|
||||||
|
default TDMACDC2InterfaceTypeTest[] test(TDMACDC2InterfaceTypeTest[] arr) {
|
||||||
|
return arr.clone();
|
||||||
|
}
|
||||||
|
|
||||||
|
default TDMACDC2ClassTypeTest[] test(TDMACDC2ClassTypeTest[] arr) {
|
||||||
|
return arr.clone();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
public class TestDefaultMethodArrayCloneDeoptC2 implements TestDefaultMethodArrayCloneDeoptC2Interface {
|
||||||
|
private static final WhiteBox WB = WhiteBox.getWhiteBox();
|
||||||
|
public static TestDefaultMethodArrayCloneDeoptC2 a = new TestDefaultMethodArrayCloneDeoptC2();
|
||||||
|
|
||||||
|
public static void main(String[] args) throws Exception {
|
||||||
|
testPrimitiveArr();
|
||||||
|
testIntfArr();
|
||||||
|
testClassArr();
|
||||||
|
}
|
||||||
|
|
||||||
|
public static void testPrimitiveArr() throws Exception {
|
||||||
|
Method m = TestDefaultMethodArrayCloneDeoptC2Interface.class.getMethod("test", int[].class);
|
||||||
|
a.test(new int[1]); // Compiled
|
||||||
|
a.test(new int[1]);
|
||||||
|
if (!WB.isMethodCompiled(m)) {
|
||||||
|
WB.enqueueMethodForCompilation(m, CompilerWhiteBoxTest.COMP_LEVEL_FULL_OPTIMIZATION);
|
||||||
|
}
|
||||||
|
a.test(new int[1]);
|
||||||
|
if (!WB.isMethodCompiled(m)) {
|
||||||
|
throw new Exception("Method should be compiled");
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
public static void testIntfArr() throws Exception {
|
||||||
|
Method m = TestDefaultMethodArrayCloneDeoptC2Interface.class.getMethod("test", TDMACDC2InterfaceTypeTest[].class);
|
||||||
|
a.test(new TDMACDC2InterfaceTypeTest[1]); // Compiled, Decompile unloaded
|
||||||
|
a.test(new TDMACDC2InterfaceTypeTest[1]); // Compiled
|
||||||
|
a.test(new TDMACDC2InterfaceTypeTest[1]);
|
||||||
|
if (!WB.isMethodCompiled(m)) {
|
||||||
|
WB.enqueueMethodForCompilation(m, CompilerWhiteBoxTest.COMP_LEVEL_FULL_OPTIMIZATION);
|
||||||
|
}
|
||||||
|
a.test(new TDMACDC2InterfaceTypeTest[1]);
|
||||||
|
if (!WB.isMethodCompiled(m)) {
|
||||||
|
throw new Exception("Method should be compiled");
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
public static void testClassArr() throws Exception {
|
||||||
|
Method m = TestDefaultMethodArrayCloneDeoptC2Interface.class.getMethod("test", TDMACDC2ClassTypeTest[].class);
|
||||||
|
a.test(new TDMACDC2ClassTypeTest[1]); // Compiled, Decompile unloaded
|
||||||
|
a.test(new TDMACDC2ClassTypeTest[1]); // Compiled
|
||||||
|
a.test(new TDMACDC2ClassTypeTest[1]);
|
||||||
|
if (!WB.isMethodCompiled(m)) {
|
||||||
|
WB.enqueueMethodForCompilation(m, CompilerWhiteBoxTest.COMP_LEVEL_FULL_OPTIMIZATION);
|
||||||
|
}
|
||||||
|
a.test(new TDMACDC2ClassTypeTest[1]);
|
||||||
|
if (!WB.isMethodCompiled(m)) {
|
||||||
|
throw new Exception("Method should be compiled");
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
interface TDMACDC2InterfaceTypeTest {
|
||||||
|
}
|
||||||
|
|
||||||
|
class TDMACDC2ClassTypeTest {
|
||||||
|
}
|
||||||
|
|
Loading…
x
Reference in New Issue
Block a user