blob: 8176cca06268d002de50103767e4061f34ebf99c [file] [log] [blame]
/*
* Copyright (C) 2022 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 <type_traits>
#include "art_method-alloc-inl.h"
#include "base/casts.h"
#include "common_runtime_test.h"
#include "mirror/class-alloc-inl.h"
#include "well_known_classes.h"
namespace art HIDDEN {
namespace {
// Helper function to avoid `ASSERT_EQ` with floating point types.
int32_t ToIntegralType(float value) { return bit_cast<int32_t>(value); }
int64_t ToIntegralType(double value) { return bit_cast<int64_t>(value); }
template <typename T> T ToIntegralType(T value) { return value; }
}
class ArtMethodTest : public CommonRuntimeTest {
protected:
ArtMethodTest() {
use_boot_image_ = true; // Make the Runtime creation cheaper.
}
// Test primitive type boxing and unboxing.
//
// This provides basic checks that the translation of the compile-time shorty
// to argument types and return type are correct and that values are passed
// correctly for these single-argument calls (`ArtMethod::InvokeStatic()` with
// primitive args and `ArtMethod::InvokeInstance()` with a reference arg).
template <typename Type, char kPrimitive>
void TestBoxUnbox(ArtMethod* value_of, const char* unbox_name, Type value) {
Thread* self = Thread::Current();
ScopedObjectAccess soa(self);
ASSERT_STREQ(value_of->GetName(), "valueOf");
std::string unbox_signature = std::string("()") + kPrimitive;
ArtMethod* unbox_method = value_of->GetDeclaringClass()->FindClassMethod(
unbox_name, unbox_signature, kRuntimePointerSize);
ASSERT_TRUE(unbox_method != nullptr);
ASSERT_FALSE(unbox_method->IsStatic());
ASSERT_TRUE(value_of->GetDeclaringClass()->IsFinal());
static_assert(std::is_same_v<ObjPtr<mirror::Object> (ArtMethod::*)(Thread*, Type),
decltype(&ArtMethod::InvokeStatic<'L', kPrimitive>)>);
StackHandleScope<1u> hs(self);
Handle<mirror::Object> boxed =
hs.NewHandle(value_of->InvokeStatic<'L', kPrimitive>(self, value));
ASSERT_TRUE(boxed != nullptr);
ASSERT_OBJ_PTR_EQ(boxed->GetClass(), value_of->GetDeclaringClass());
static_assert(std::is_same_v<Type (ArtMethod::*)(Thread*, ObjPtr<mirror::Object>),
decltype(&ArtMethod::InvokeInstance<kPrimitive>)>);
// Exercise both `InvokeInstance()` and `InvokeFinal()` (boxing classes are final).
Type unboxed1 = unbox_method->InvokeInstance<kPrimitive>(self, boxed.Get());
ASSERT_EQ(ToIntegralType(value), ToIntegralType(unboxed1));
Type unboxed2 = unbox_method->InvokeFinal<kPrimitive>(self, boxed.Get());
ASSERT_EQ(ToIntegralType(value), ToIntegralType(unboxed2));
}
};
TEST_F(ArtMethodTest, BoxUnboxBoolean) {
TestBoxUnbox<bool, 'Z'>(WellKnownClasses::java_lang_Boolean_valueOf, "booleanValue", true);
}
TEST_F(ArtMethodTest, BoxUnboxByte) {
TestBoxUnbox<int8_t, 'B'>(WellKnownClasses::java_lang_Byte_valueOf, "byteValue", -12);
}
TEST_F(ArtMethodTest, BoxUnboxChar) {
TestBoxUnbox<uint16_t, 'C'>(WellKnownClasses::java_lang_Character_valueOf, "charValue", 0xffaa);
}
TEST_F(ArtMethodTest, BoxUnboxShort) {
TestBoxUnbox<int16_t, 'S'>(WellKnownClasses::java_lang_Short_valueOf, "shortValue", -0x1234);
}
TEST_F(ArtMethodTest, BoxUnboxInt) {
TestBoxUnbox<int32_t, 'I'>(WellKnownClasses::java_lang_Integer_valueOf, "intValue", -0x12345678);
}
TEST_F(ArtMethodTest, BoxUnboxLong) {
TestBoxUnbox<int64_t, 'J'>(
WellKnownClasses::java_lang_Long_valueOf, "longValue", UINT64_C(-0x1234567887654321));
}
TEST_F(ArtMethodTest, BoxUnboxFloat) {
TestBoxUnbox<float, 'F'>(WellKnownClasses::java_lang_Float_valueOf, "floatValue", -2.0f);
}
TEST_F(ArtMethodTest, BoxUnboxDouble) {
TestBoxUnbox<double, 'D'>(WellKnownClasses::java_lang_Double_valueOf, "doubleValue", 8.0);
}
TEST_F(ArtMethodTest, ArrayList) {
Thread* self = Thread::Current();
ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
ScopedObjectAccess soa(self);
StackHandleScope<4u> hs(self);
Handle<mirror::Class> list_class =
hs.NewHandle(class_linker->FindSystemClass(self, "Ljava/util/List;"));
ASSERT_TRUE(list_class != nullptr);
Handle<mirror::Class> abstract_list_class =
hs.NewHandle(class_linker->FindSystemClass(self, "Ljava/util/AbstractList;"));
ASSERT_TRUE(abstract_list_class != nullptr);
Handle<mirror::Class> array_list_class =
hs.NewHandle(class_linker->FindSystemClass(self, "Ljava/util/ArrayList;"));
ASSERT_TRUE(array_list_class != nullptr);
ASSERT_TRUE(abstract_list_class->Implements(list_class.Get()));
ASSERT_TRUE(array_list_class->IsSubClass(abstract_list_class.Get()));
ArtMethod* init = array_list_class->FindClassMethod("<init>", "()V", kRuntimePointerSize);
ASSERT_TRUE(init != nullptr);
ArtMethod* array_list_size_method =
array_list_class->FindClassMethod("size", "()I", kRuntimePointerSize);
DCHECK(array_list_size_method != nullptr);
ArtMethod* abstract_list_size_method =
abstract_list_class->FindClassMethod("size", "()I", kRuntimePointerSize);
DCHECK(abstract_list_size_method != nullptr);
ArtMethod* list_size_method =
list_class->FindInterfaceMethod("size", "()I", kRuntimePointerSize);
DCHECK(list_size_method != nullptr);
Handle<mirror::Object> array_list = init->NewObject<>(hs, self);
ASSERT_FALSE(self->IsExceptionPending());
ASSERT_TRUE(array_list != nullptr);
// Invoke `ArrayList.size()` directly, with virtual dispatch from
// `AbstractList.size()` and with interface dispatch from `List.size()`.
int32_t size = array_list_size_method->InvokeInstance<'I'>(self, array_list.Get());
ASSERT_FALSE(self->IsExceptionPending());
ASSERT_EQ(0, size);
size = abstract_list_size_method->InvokeVirtual<'I'>(self, array_list.Get());
ASSERT_FALSE(self->IsExceptionPending());
ASSERT_EQ(0, size);
size = list_size_method->InvokeInterface<'I'>(self, array_list.Get());
ASSERT_FALSE(self->IsExceptionPending());
ASSERT_EQ(0, size);
// Try to invoke abstract method `AbstractList.size()` directly.
abstract_list_size_method->InvokeInstance<'I'>(self, array_list.Get());
ASSERT_TRUE(self->IsExceptionPending());
self->ClearException();
}
} // namespace art