/*
|
* Copyright (C) 2016 The Android Open Source Project
|
*
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
* you may not use this file except in compliance with the License.
|
* You may obtain a copy of the License at
|
*
|
* http://www.apache.org/licenses/LICENSE-2.0
|
*
|
* Unless required by applicable law or agreed to in writing, software
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
* See the License for the specific language governing permissions and
|
* limitations under the License.
|
*/
|
|
#include "method_type-inl.h"
|
|
#include "class-alloc-inl.h"
|
#include "class_root.h"
|
#include "method_handles.h"
|
#include "obj_ptr-inl.h"
|
#include "object_array-alloc-inl.h"
|
#include "object_array-inl.h"
|
|
namespace art {
|
namespace mirror {
|
|
namespace {
|
|
ObjPtr<ObjectArray<Class>> AllocatePTypesArray(Thread* self, int count)
|
REQUIRES_SHARED(Locks::mutator_lock_) {
|
ObjPtr<Class> class_array_type = GetClassRoot<mirror::ObjectArray<mirror::Class>>();
|
return ObjectArray<Class>::Alloc(self, class_array_type, count);
|
}
|
|
} // namespace
|
|
ObjPtr<MethodType> MethodType::Create(Thread* const self,
|
Handle<Class> return_type,
|
Handle<ObjectArray<Class>> parameter_types) {
|
StackHandleScope<1> hs(self);
|
Handle<MethodType> mt(
|
hs.NewHandle(ObjPtr<MethodType>::DownCast(GetClassRoot<MethodType>()->AllocObject(self))));
|
|
// TODO: Do we ever create a MethodType during a transaction ? There doesn't
|
// seem like a good reason to do a polymorphic invoke that results in the
|
// resolution of a method type in an unstarted runtime.
|
mt->SetFieldObject<false>(FormOffset(), nullptr);
|
mt->SetFieldObject<false>(MethodDescriptorOffset(), nullptr);
|
mt->SetFieldObject<false>(RTypeOffset(), return_type.Get());
|
mt->SetFieldObject<false>(PTypesOffset(), parameter_types.Get());
|
mt->SetFieldObject<false>(WrapAltOffset(), nullptr);
|
|
return mt.Get();
|
}
|
|
ObjPtr<MethodType> MethodType::CloneWithoutLeadingParameter(Thread* const self,
|
ObjPtr<MethodType> method_type) {
|
StackHandleScope<3> hs(self);
|
Handle<ObjectArray<Class>> src_ptypes = hs.NewHandle(method_type->GetPTypes());
|
Handle<Class> dst_rtype = hs.NewHandle(method_type->GetRType());
|
const int32_t dst_ptypes_count = method_type->GetNumberOfPTypes() - 1;
|
Handle<ObjectArray<Class>> dst_ptypes = hs.NewHandle(AllocatePTypesArray(self, dst_ptypes_count));
|
if (dst_ptypes.IsNull()) {
|
return nullptr;
|
}
|
for (int32_t i = 0; i < dst_ptypes_count; ++i) {
|
dst_ptypes->Set(i, src_ptypes->Get(i + 1));
|
}
|
return Create(self, dst_rtype, dst_ptypes);
|
}
|
|
ObjPtr<MethodType> MethodType::CollectTrailingArguments(Thread* self,
|
ObjPtr<MethodType> method_type,
|
ObjPtr<Class> collector_array_class,
|
int32_t start_index) {
|
int32_t ptypes_length = method_type->GetNumberOfPTypes();
|
if (start_index > ptypes_length) {
|
return method_type;
|
}
|
|
StackHandleScope<4> hs(self);
|
Handle<Class> collector_class = hs.NewHandle(collector_array_class);
|
Handle<Class> dst_rtype = hs.NewHandle(method_type->GetRType());
|
Handle<ObjectArray<Class>> src_ptypes = hs.NewHandle(method_type->GetPTypes());
|
Handle<ObjectArray<Class>> dst_ptypes = hs.NewHandle(AllocatePTypesArray(self, start_index + 1));
|
if (dst_ptypes.IsNull()) {
|
return nullptr;
|
}
|
for (int32_t i = 0; i < start_index; ++i) {
|
dst_ptypes->Set(i, src_ptypes->Get(i));
|
}
|
dst_ptypes->Set(start_index, collector_class.Get());
|
return Create(self, dst_rtype, dst_ptypes);
|
}
|
|
size_t MethodType::NumberOfVRegs() {
|
const ObjPtr<ObjectArray<Class>> p_types = GetPTypes();
|
const int32_t p_types_length = p_types->GetLength();
|
|
// Initialize |num_vregs| with number of parameters and only increment it for
|
// types requiring a second vreg.
|
size_t num_vregs = static_cast<size_t>(p_types_length);
|
for (int32_t i = 0; i < p_types_length; ++i) {
|
ObjPtr<Class> klass = p_types->GetWithoutChecks(i);
|
if (klass->IsPrimitiveLong() || klass->IsPrimitiveDouble()) {
|
++num_vregs;
|
}
|
}
|
return num_vregs;
|
}
|
|
bool MethodType::IsExactMatch(ObjPtr<MethodType> target) {
|
const ObjPtr<ObjectArray<Class>> p_types = GetPTypes();
|
const int32_t params_length = p_types->GetLength();
|
|
const ObjPtr<ObjectArray<Class>> target_p_types = target->GetPTypes();
|
if (params_length != target_p_types->GetLength()) {
|
return false;
|
}
|
for (int32_t i = 0; i < params_length; ++i) {
|
if (p_types->GetWithoutChecks(i) != target_p_types->GetWithoutChecks(i)) {
|
return false;
|
}
|
}
|
return GetRType() == target->GetRType();
|
}
|
|
bool MethodType::IsConvertible(ObjPtr<MethodType> target) {
|
const ObjPtr<ObjectArray<Class>> p_types = GetPTypes();
|
const int32_t params_length = p_types->GetLength();
|
|
const ObjPtr<ObjectArray<Class>> target_p_types = target->GetPTypes();
|
if (params_length != target_p_types->GetLength()) {
|
return false;
|
}
|
|
// Perform return check before invoking method handle otherwise side
|
// effects from the invocation may be observable before
|
// WrongMethodTypeException is raised.
|
if (!IsReturnTypeConvertible(target->GetRType(), GetRType())) {
|
return false;
|
}
|
|
for (int32_t i = 0; i < params_length; ++i) {
|
if (!IsParameterTypeConvertible(p_types->GetWithoutChecks(i),
|
target_p_types->GetWithoutChecks(i))) {
|
return false;
|
}
|
}
|
return true;
|
}
|
|
std::string MethodType::PrettyDescriptor() {
|
std::ostringstream ss;
|
ss << "(";
|
|
const ObjPtr<ObjectArray<Class>> p_types = GetPTypes();
|
const int32_t params_length = p_types->GetLength();
|
for (int32_t i = 0; i < params_length; ++i) {
|
ss << p_types->GetWithoutChecks(i)->PrettyDescriptor();
|
if (i != (params_length - 1)) {
|
ss << ", ";
|
}
|
}
|
|
ss << ")";
|
ss << GetRType()->PrettyDescriptor();
|
|
return ss.str();
|
}
|
|
} // namespace mirror
|
} // namespace art
|
