blob: 859e86c1cbe24f3ed2cb2ee8b1105e49ba845901 [file] [log] [blame]
/*
* Copyright (C) 2017 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 "var_handle.h"
#include <string>
#include <vector>
#include "art_field-inl.h"
#include "class-alloc-inl.h"
#include "class-inl.h"
#include "class_linker-inl.h"
#include "class_loader.h"
#include "class_root-inl.h"
#include "common_runtime_test.h"
#include "handle_scope-inl.h"
#include "jvalue-inl.h"
#include "method_type.h"
#include "object_array-alloc-inl.h"
#include "object_array-inl.h"
#include "reflection.h"
#include "scoped_thread_state_change-inl.h"
namespace art {
namespace mirror {
// Tests for mirror::VarHandle and it's descendents.
class VarHandleTest : public CommonRuntimeTest {
public:
VarHandleTest() {
use_boot_image_ = true; // Make the Runtime creation cheaper.
}
static ObjPtr<FieldVarHandle> CreateFieldVarHandle(Thread* const self,
ArtField* art_field,
int32_t access_modes_bit_mask)
REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!Roles::uninterruptible_) {
StackHandleScope<4> hs(self);
Handle<FieldVarHandle> fvh = hs.NewHandle(
ObjPtr<FieldVarHandle>::DownCast(GetClassRoot<FieldVarHandle>()->AllocObject(self)));
Handle<Class> var_type = hs.NewHandle(art_field->ResolveType());
if (art_field->IsStatic()) {
InitializeVarHandle(fvh.Get(), var_type, access_modes_bit_mask);
} else {
Handle<Class> declaring_type = hs.NewHandle(art_field->GetDeclaringClass());
InitializeVarHandle(fvh.Get(),
var_type,
declaring_type,
access_modes_bit_mask);
}
uintptr_t opaque_field = reinterpret_cast<uintptr_t>(art_field);
fvh->SetField64<false>(FieldVarHandle::ArtFieldOffset(), opaque_field);
return fvh.Get();
}
static ObjPtr<ArrayElementVarHandle> CreateArrayElementVarHandle(Thread* const self,
Handle<Class> array_class,
int32_t access_modes_bit_mask)
REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!Roles::uninterruptible_) {
StackHandleScope<3> hs(self);
Handle<ArrayElementVarHandle> vh = hs.NewHandle(
ObjPtr<ArrayElementVarHandle>::DownCast(
GetClassRoot<ArrayElementVarHandle>()->AllocObject(self)));
// Initialize super class fields
ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Handle<Class> var_type = hs.NewHandle(array_class->GetComponentType());
Handle<Class> index_type = hs.NewHandle(class_linker->FindPrimitiveClass('I'));
InitializeVarHandle(vh.Get(), var_type, array_class, index_type, access_modes_bit_mask);
return vh.Get();
}
static ObjPtr<ByteArrayViewVarHandle> CreateByteArrayViewVarHandle(
Thread* const self,
Handle<Class> view_array_class,
bool native_byte_order,
int32_t access_modes_bit_mask)
REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!Roles::uninterruptible_) {
StackHandleScope<4> hs(self);
Handle<ByteArrayViewVarHandle> bvh = hs.NewHandle(
ObjPtr<ByteArrayViewVarHandle>::DownCast(
GetClassRoot<ByteArrayViewVarHandle>()->AllocObject(self)));
// Initialize super class fields
ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Handle<Class> var_type = hs.NewHandle(view_array_class->GetComponentType());
Handle<Class> index_type = hs.NewHandle(class_linker->FindPrimitiveClass('I'));
Handle<Class> byte_array_class(hs.NewHandle(GetClassRoot<mirror::ByteArray>()));
InitializeVarHandle(bvh.Get(), var_type, byte_array_class, index_type, access_modes_bit_mask);
bvh->SetFieldBoolean<false>(ByteArrayViewVarHandle::NativeByteOrderOffset(), native_byte_order);
return bvh.Get();
}
static ObjPtr<ByteBufferViewVarHandle> CreateByteBufferViewVarHandle(
Thread* const self,
Handle<Class> view_array_class,
bool native_byte_order,
int32_t access_modes_bit_mask)
REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(!Roles::uninterruptible_) {
StackHandleScope<5> hs(self);
Handle<ByteBufferViewVarHandle> bvh = hs.NewHandle(
ObjPtr<ByteBufferViewVarHandle>::DownCast(
GetClassRoot<ByteArrayViewVarHandle>()->AllocObject(self)));
// Initialize super class fields
ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Handle<Class> var_type = hs.NewHandle(view_array_class->GetComponentType());
Handle<Class> index_type = hs.NewHandle(class_linker->FindPrimitiveClass('I'));
Handle<ClassLoader> boot_class_loader;
Handle<Class> byte_buffer_class = hs.NewHandle(
class_linker->FindSystemClass(self, "Ljava/nio/ByteBuffer;"));
InitializeVarHandle(bvh.Get(), var_type, byte_buffer_class, index_type, access_modes_bit_mask);
bvh->SetFieldBoolean<false>(ByteBufferViewVarHandle::NativeByteOrderOffset(),
native_byte_order);
return bvh.Get();
}
static int32_t AccessModesBitMask(VarHandle::AccessMode mode) {
return 1 << static_cast<int32_t>(mode);
}
template<typename... Args>
static int32_t AccessModesBitMask(VarHandle::AccessMode first, Args... args) {
return AccessModesBitMask(first) | AccessModesBitMask(args...);
}
private:
static void InitializeVarHandle(ObjPtr<VarHandle> vh,
Handle<Class> var_type,
int32_t access_modes_bit_mask)
REQUIRES_SHARED(Locks::mutator_lock_) {
vh->SetFieldObject<false>(VarHandle::VarTypeOffset(), var_type.Get());
vh->SetField32<false>(VarHandle::AccessModesBitMaskOffset(), access_modes_bit_mask);
}
static void InitializeVarHandle(ObjPtr<VarHandle> vh,
Handle<Class> var_type,
Handle<Class> coordinate_type0,
int32_t access_modes_bit_mask)
REQUIRES_SHARED(Locks::mutator_lock_) {
InitializeVarHandle(vh, var_type, access_modes_bit_mask);
vh->SetFieldObject<false>(VarHandle::CoordinateType0Offset(), coordinate_type0.Get());
}
static void InitializeVarHandle(ObjPtr<VarHandle> vh,
Handle<Class> var_type,
Handle<Class> coordinate_type0,
Handle<Class> coordinate_type1,
int32_t access_modes_bit_mask)
REQUIRES_SHARED(Locks::mutator_lock_) {
InitializeVarHandle(vh, var_type, access_modes_bit_mask);
vh->SetFieldObject<false>(VarHandle::CoordinateType0Offset(), coordinate_type0.Get());
vh->SetFieldObject<false>(VarHandle::CoordinateType1Offset(), coordinate_type1.Get());
}
};
// Convenience method for constructing MethodType instances from
// well-formed method descriptors.
static ObjPtr<MethodType> MethodTypeOf(const std::string& method_descriptor) {
std::vector<std::string> descriptors;
auto it = method_descriptor.cbegin();
if (*it++ != '(') {
LOG(FATAL) << "Bad descriptor: " << method_descriptor;
}
bool returnValueSeen = false;
const char* prefix = "";
for (; it != method_descriptor.cend() && !returnValueSeen; ++it) {
switch (*it) {
case ')':
descriptors.push_back(std::string(++it, method_descriptor.cend()));
returnValueSeen = true;
break;
case '[':
prefix = "[";
break;
case 'Z':
case 'B':
case 'C':
case 'S':
case 'I':
case 'J':
case 'F':
case 'D':
descriptors.push_back(prefix + std::string(it, it + 1));
prefix = "";
break;
case 'L': {
auto last = it + 1;
while (*last != ';') {
++last;
}
descriptors.push_back(prefix + std::string(it, last + 1));
prefix = "";
it = last;
break;
}
default:
LOG(FATAL) << "Bad descriptor: " << method_descriptor;
}
}
Runtime* const runtime = Runtime::Current();
ClassLinker* const class_linker = runtime->GetClassLinker();
Thread* const self = Thread::Current();
ScopedObjectAccess soa(self);
StackHandleScope<3> hs(self);
int ptypes_count = static_cast<int>(descriptors.size()) - 1;
ObjPtr<mirror::Class> array_of_class = GetClassRoot<mirror::ObjectArray<mirror::Class>>();
Handle<ObjectArray<Class>> ptypes = hs.NewHandle(
ObjectArray<Class>::Alloc(Thread::Current(), array_of_class, ptypes_count));
Handle<mirror::ClassLoader> boot_class_loader = hs.NewHandle<mirror::ClassLoader>(nullptr);
for (int i = 0; i < ptypes_count; ++i) {
ptypes->Set(i, class_linker->FindClass(self, descriptors[i].c_str(), boot_class_loader));
}
Handle<Class> rtype =
hs.NewHandle(class_linker->FindClass(self, descriptors.back().c_str(), boot_class_loader));
return MethodType::Create(self, rtype, ptypes);
}
static bool AccessModeMatch(ObjPtr<VarHandle> vh,
VarHandle::AccessMode access_mode,
ObjPtr<MethodType> method_type,
VarHandle::MatchKind expected_match)
REQUIRES_SHARED(Locks::mutator_lock_) {
return vh->GetMethodTypeMatchForAccessMode(access_mode, method_type) == expected_match;
}
template <typename VH>
static bool AccessModeExactMatch(Handle<VH> vh,
VarHandle::AccessMode access_mode,
const char* descriptor)
REQUIRES_SHARED(Locks::mutator_lock_) {
ObjPtr<MethodType> method_type = MethodTypeOf(descriptor);
return AccessModeMatch(vh.Get(),
access_mode,
method_type,
VarHandle::MatchKind::kExact);
}
template <typename VH>
static bool AccessModeWithConversionsMatch(Handle<VH> vh,
VarHandle::AccessMode access_mode,
const char* descriptor)
REQUIRES_SHARED(Locks::mutator_lock_) {
ObjPtr<MethodType> method_type = MethodTypeOf(descriptor);
return AccessModeMatch(vh.Get(),
access_mode,
method_type,
VarHandle::MatchKind::kWithConversions);
}
template <typename VH>
static bool AccessModeNoMatch(Handle<VH> vh,
VarHandle::AccessMode access_mode,
const char* descriptor)
REQUIRES_SHARED(Locks::mutator_lock_) {
ObjPtr<MethodType> method_type = MethodTypeOf(descriptor);
return AccessModeMatch(vh.Get(),
access_mode,
method_type,
VarHandle::MatchKind::kNone);
}
TEST_F(VarHandleTest, InstanceFieldVarHandle) {
Thread * const self = Thread::Current();
ScopedObjectAccess soa(self);
ObjPtr<Object> i = BoxPrimitive(Primitive::kPrimInt, JValue::FromPrimitive<int32_t>(37));
ArtField* value = i->GetClass()->FindDeclaredInstanceField("value", "I");
int32_t mask = AccessModesBitMask(VarHandle::AccessMode::kGet,
VarHandle::AccessMode::kGetAndSet,
VarHandle::AccessMode::kGetAndBitwiseXor);
StackHandleScope<6> hs(self);
Handle<mirror::FieldVarHandle> fvh(hs.NewHandle(CreateFieldVarHandle(self, value, mask)));
EXPECT_FALSE(fvh.IsNull());
EXPECT_EQ(value, fvh->GetArtField());
// Check access modes
EXPECT_TRUE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGet));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kSet));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetVolatile));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kSetVolatile));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAcquire));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kSetRelease));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetOpaque));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kSetOpaque));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndSet));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndExchange));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndExchangeAcquire));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndExchangeRelease));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSetPlain));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSet));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSetAcquire));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSetRelease));
EXPECT_TRUE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndSet));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndSetAcquire));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndSetRelease));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndAdd));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndAddAcquire));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndAddRelease));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseOr));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseOrRelease));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseOrAcquire));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseAnd));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseAndRelease));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseAndAcquire));
EXPECT_TRUE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseXor));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseXorRelease));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseXorAcquire));
// Check compatibility - "Get" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kGet;
EXPECT_TRUE(AccessModeExactMatch(fvh, access_mode, "(Ljava/lang/Integer;)I"));
EXPECT_TRUE(AccessModeExactMatch(fvh, access_mode, "(Ljava/lang/Integer;)V"));
EXPECT_TRUE(AccessModeWithConversionsMatch(fvh, access_mode, "(Ljava/lang/Integer;)D"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(Ljava/lang/Integer;)Z"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(Z)Z"));
}
// Check compatibility - "Set" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kSet;
EXPECT_TRUE(AccessModeExactMatch(fvh, access_mode, "(Ljava/lang/Integer;I)V"));
EXPECT_TRUE(AccessModeWithConversionsMatch(fvh, access_mode, "(Ljava/lang/Integer;S)V"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(Ljava/lang/Integer;)V"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(Ljava/lang/Integer;)Z"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(Z)V"));
}
// Check compatibility - "CompareAndSet" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kCompareAndSet;
EXPECT_TRUE(AccessModeExactMatch(fvh, access_mode, "(Ljava/lang/Integer;II)Z"));
EXPECT_TRUE(AccessModeExactMatch(fvh, access_mode, "(Ljava/lang/Integer;II)V"));
EXPECT_TRUE(AccessModeWithConversionsMatch(fvh, access_mode, "(Ljava/lang/Integer;II)Ljava/lang/Boolean;"));
EXPECT_TRUE(AccessModeWithConversionsMatch(fvh, access_mode, "(Ljava/lang/Integer;IB)V"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(Ljava/lang/Integer;II)I"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(Ljava/lang/Integer;)Z"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(Z)V"));
}
// Check compatibility - "CompareAndExchange" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kCompareAndExchange;
EXPECT_TRUE(AccessModeExactMatch(fvh, access_mode, "(Ljava/lang/Integer;II)I"));
EXPECT_TRUE(AccessModeExactMatch(fvh, access_mode, "(Ljava/lang/Integer;II)V"));
EXPECT_TRUE(AccessModeWithConversionsMatch(fvh, access_mode, "(Ljava/lang/Integer;II)J"));
EXPECT_TRUE(AccessModeWithConversionsMatch(fvh, access_mode, "(Ljava/lang/Integer;BS)F"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(Ljava/lang/Integer;I)Z"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(IIII)V"));
}
// Check compatibility - "GetAndUpdate" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kGetAndAdd;
EXPECT_TRUE(AccessModeExactMatch(fvh, access_mode, "(Ljava/lang/Integer;I)I"));
EXPECT_TRUE(AccessModeExactMatch(fvh, access_mode, "(Ljava/lang/Integer;I)V"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(Ljava/lang/Integer;I)Z"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(II)S"));
}
// Check synthesized method types match expected forms.
{
Handle<MethodType> get = hs.NewHandle(MethodTypeOf("(Ljava/lang/Integer;)I"));
Handle<MethodType> set = hs.NewHandle(MethodTypeOf("(Ljava/lang/Integer;I)V"));
Handle<MethodType> compareAndSet = hs.NewHandle(MethodTypeOf("(Ljava/lang/Integer;II)Z"));
Handle<MethodType> compareAndExchange = hs.NewHandle(MethodTypeOf("(Ljava/lang/Integer;II)I"));
Handle<MethodType> getAndUpdate = hs.NewHandle(MethodTypeOf("(Ljava/lang/Integer;I)I"));
auto test_mode = [=](VarHandle::AccessMode access_mode, Handle<MethodType> method_type)
REQUIRES_SHARED(Locks::mutator_lock_) {
return fvh->GetMethodTypeForAccessMode(self, access_mode)->IsExactMatch(method_type.Get());
};
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGet, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSet, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetVolatile, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSetVolatile, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAcquire, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSetRelease, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetOpaque, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSetOpaque, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndSet, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndExchange, compareAndExchange));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndExchangeAcquire, compareAndExchange));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndExchangeRelease, compareAndExchange));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSetPlain, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSet, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSetAcquire, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSetRelease, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndSet, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndSetAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndSetRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndAdd, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndAddAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndAddRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseOr, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseOrRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseOrAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseAnd, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseAndRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseAndAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseXor, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseXorRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseXorAcquire, getAndUpdate));
}
}
TEST_F(VarHandleTest, AccessModeTemplate) {
EXPECT_EQ(VarHandle::AccessModeTemplate::kGet,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kGet));
EXPECT_EQ(VarHandle::AccessModeTemplate::kSet,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kSet));
EXPECT_EQ(VarHandle::AccessModeTemplate::kGet,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kGetVolatile));
EXPECT_EQ(VarHandle::AccessModeTemplate::kSet,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kSetVolatile));
EXPECT_EQ(VarHandle::AccessModeTemplate::kGet,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kGetAcquire));
EXPECT_EQ(VarHandle::AccessModeTemplate::kSet,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kSetRelease));
EXPECT_EQ(VarHandle::AccessModeTemplate::kGet,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kGetOpaque));
EXPECT_EQ(VarHandle::AccessModeTemplate::kSet,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kSetOpaque));
EXPECT_EQ(VarHandle::AccessModeTemplate::kCompareAndSet,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kCompareAndSet));
EXPECT_EQ(VarHandle::AccessModeTemplate::kCompareAndExchange,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kCompareAndExchange));
EXPECT_EQ(VarHandle::AccessModeTemplate::kCompareAndExchange,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kCompareAndExchangeAcquire));
EXPECT_EQ(VarHandle::AccessModeTemplate::kCompareAndExchange,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kCompareAndExchangeRelease));
EXPECT_EQ(VarHandle::AccessModeTemplate::kCompareAndSet,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kWeakCompareAndSetPlain));
EXPECT_EQ(VarHandle::AccessModeTemplate::kCompareAndSet,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kWeakCompareAndSet));
EXPECT_EQ(VarHandle::AccessModeTemplate::kCompareAndSet,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kWeakCompareAndSetAcquire));
EXPECT_EQ(VarHandle::AccessModeTemplate::kCompareAndSet,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kWeakCompareAndSetRelease));
EXPECT_EQ(VarHandle::AccessModeTemplate::kGetAndUpdate,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kGetAndSet));
EXPECT_EQ(VarHandle::AccessModeTemplate::kGetAndUpdate,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kGetAndSetAcquire));
EXPECT_EQ(VarHandle::AccessModeTemplate::kGetAndUpdate,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kGetAndSetRelease));
EXPECT_EQ(VarHandle::AccessModeTemplate::kGetAndUpdate,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kGetAndBitwiseOr));
EXPECT_EQ(VarHandle::AccessModeTemplate::kGetAndUpdate,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kGetAndBitwiseOrRelease));
EXPECT_EQ(VarHandle::AccessModeTemplate::kGetAndUpdate,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kGetAndBitwiseOrAcquire));
EXPECT_EQ(VarHandle::AccessModeTemplate::kGetAndUpdate,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kGetAndBitwiseAnd));
EXPECT_EQ(VarHandle::AccessModeTemplate::kGetAndUpdate,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kGetAndBitwiseAndRelease));
EXPECT_EQ(VarHandle::AccessModeTemplate::kGetAndUpdate,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kGetAndBitwiseAndAcquire));
EXPECT_EQ(VarHandle::AccessModeTemplate::kGetAndUpdate,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kGetAndBitwiseXor));
EXPECT_EQ(VarHandle::AccessModeTemplate::kGetAndUpdate,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kGetAndBitwiseXorRelease));
EXPECT_EQ(VarHandle::AccessModeTemplate::kGetAndUpdate,
VarHandle::GetAccessModeTemplate(VarHandle::AccessMode::kGetAndBitwiseXorAcquire));
}
TEST_F(VarHandleTest, StaticFieldVarHandle) {
Thread * const self = Thread::Current();
ScopedObjectAccess soa(self);
ObjPtr<Object> i = BoxPrimitive(Primitive::kPrimInt, JValue::FromPrimitive<int32_t>(37));
ArtField* value = i->GetClass()->FindDeclaredStaticField("MIN_VALUE", "I");
int32_t mask = AccessModesBitMask(VarHandle::AccessMode::kSet,
VarHandle::AccessMode::kGetOpaque,
VarHandle::AccessMode::kGetAndBitwiseAndRelease);
StackHandleScope<6> hs(self);
Handle<mirror::FieldVarHandle> fvh(hs.NewHandle(CreateFieldVarHandle(self, value, mask)));
EXPECT_FALSE(fvh.IsNull());
EXPECT_EQ(value, fvh->GetArtField());
// Check access modes
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGet));
EXPECT_TRUE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kSet));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetVolatile));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kSetVolatile));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAcquire));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kSetRelease));
EXPECT_TRUE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetOpaque));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kSetOpaque));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndSet));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndExchange));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndExchangeAcquire));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndExchangeRelease));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSetPlain));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSet));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSetAcquire));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSetRelease));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndSet));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndSetAcquire));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndSetRelease));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndAdd));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndAddAcquire));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndAddRelease));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseOr));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseOrRelease));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseOrAcquire));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseAnd));
EXPECT_TRUE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseAndRelease));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseAndAcquire));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseXor));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseXorRelease));
EXPECT_FALSE(fvh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseXorAcquire));
// Check compatibility - "Get" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kGet;
EXPECT_TRUE(AccessModeExactMatch(fvh, access_mode, "()I"));
EXPECT_TRUE(AccessModeExactMatch(fvh, access_mode, "()V"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "()Z"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(Z)Z"));
}
// Check compatibility - "Set" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kSet;
EXPECT_TRUE(AccessModeExactMatch(fvh, access_mode, "(I)V"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "()V"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "()Z"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(F)V"));
}
// Check compatibility - "CompareAndSet" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kCompareAndSet;
EXPECT_TRUE(AccessModeExactMatch(fvh, access_mode, "(II)Z"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(II)Ljava/lang/String;"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "()Z"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(Z)V"));
}
// Check compatibility - "CompareAndExchange" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kCompareAndExchange;
EXPECT_TRUE(AccessModeExactMatch(fvh, access_mode, "(II)I"));
EXPECT_TRUE(AccessModeExactMatch(fvh, access_mode, "(II)V"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(ID)I"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(II)S"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(IIJ)V"));
}
// Check compatibility - "GetAndUpdate" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kGetAndAdd;
EXPECT_TRUE(AccessModeExactMatch(fvh, access_mode, "(I)I"));
EXPECT_TRUE(AccessModeExactMatch(fvh, access_mode, "(I)V"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(I)Z"));
EXPECT_TRUE(AccessModeNoMatch(fvh, access_mode, "(II)V"));
}
// Check synthesized method types match expected forms.
{
Handle<MethodType> get = hs.NewHandle(MethodTypeOf("()I"));
Handle<MethodType> set = hs.NewHandle(MethodTypeOf("(I)V"));
Handle<MethodType> compareAndSet = hs.NewHandle(MethodTypeOf("(II)Z"));
Handle<MethodType> compareAndExchange = hs.NewHandle(MethodTypeOf("(II)I"));
Handle<MethodType> getAndUpdate = hs.NewHandle(MethodTypeOf("(I)I"));
auto test_mode = [=](VarHandle::AccessMode access_mode, Handle<MethodType> method_type)
REQUIRES_SHARED(Locks::mutator_lock_) {
return fvh->GetMethodTypeForAccessMode(self, access_mode)->IsExactMatch(method_type.Get());
};
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGet, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSet, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetVolatile, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSetVolatile, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAcquire, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSetRelease, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetOpaque, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSetOpaque, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndSet, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndExchange, compareAndExchange));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndExchangeAcquire, compareAndExchange));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndExchangeRelease, compareAndExchange));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSetPlain, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSet, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSetAcquire, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSetRelease, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndSet, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndSetAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndSetRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndAdd, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndAddAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndAddRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseOr, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseOrRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseOrAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseAnd, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseAndRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseAndAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseXor, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseXorRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseXorAcquire, getAndUpdate));
}
}
TEST_F(VarHandleTest, ArrayElementVarHandle) {
Thread * const self = Thread::Current();
ScopedObjectAccess soa(self);
StackHandleScope<7> hs(self);
int32_t mask = AccessModesBitMask(VarHandle::AccessMode::kGet,
VarHandle::AccessMode::kSet,
VarHandle::AccessMode::kGetVolatile,
VarHandle::AccessMode::kSetVolatile,
VarHandle::AccessMode::kGetAcquire,
VarHandle::AccessMode::kSetRelease,
VarHandle::AccessMode::kGetOpaque,
VarHandle::AccessMode::kSetOpaque,
VarHandle::AccessMode::kCompareAndSet,
VarHandle::AccessMode::kCompareAndExchange,
VarHandle::AccessMode::kCompareAndExchangeAcquire,
VarHandle::AccessMode::kCompareAndExchangeRelease,
VarHandle::AccessMode::kWeakCompareAndSetPlain,
VarHandle::AccessMode::kWeakCompareAndSet,
VarHandle::AccessMode::kWeakCompareAndSetAcquire,
VarHandle::AccessMode::kWeakCompareAndSetRelease,
VarHandle::AccessMode::kGetAndSet,
VarHandle::AccessMode::kGetAndSetAcquire,
VarHandle::AccessMode::kGetAndSetRelease,
VarHandle::AccessMode::kGetAndAdd,
VarHandle::AccessMode::kGetAndAddAcquire,
VarHandle::AccessMode::kGetAndAddRelease,
VarHandle::AccessMode::kGetAndBitwiseOr,
VarHandle::AccessMode::kGetAndBitwiseOrRelease,
VarHandle::AccessMode::kGetAndBitwiseOrAcquire,
VarHandle::AccessMode::kGetAndBitwiseAnd,
VarHandle::AccessMode::kGetAndBitwiseAndRelease,
VarHandle::AccessMode::kGetAndBitwiseAndAcquire,
VarHandle::AccessMode::kGetAndBitwiseXor,
VarHandle::AccessMode::kGetAndBitwiseXorRelease,
VarHandle::AccessMode::kGetAndBitwiseXorAcquire);
Handle<mirror::Class> string_array_class = hs.NewHandle(
GetClassRoot<mirror::ObjectArray<mirror::String>>());
Handle<mirror::ArrayElementVarHandle> vh(
hs.NewHandle(CreateArrayElementVarHandle(self, string_array_class, mask)));
EXPECT_FALSE(vh.IsNull());
// Check access modes
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGet));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kSet));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetVolatile));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kSetVolatile));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAcquire));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kSetRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetOpaque));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kSetOpaque));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndSet));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndExchange));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndExchangeAcquire));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndExchangeRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSetPlain));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSet));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSetAcquire));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSetRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndSet));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndSetAcquire));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndSetRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndAdd));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndAddAcquire));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndAddRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseOr));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseOrRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseOrAcquire));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseAnd));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseAndRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseAndAcquire));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseXor));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseXorRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseXorAcquire));
// Check compatibility - "Get" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kGet;
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "([Ljava/lang/String;I)Ljava/lang/String;"));
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "([Ljava/lang/String;I)V"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "([Ljava/lang/String;Ljava/lang/String;)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(Z)Z"));
}
// Check compatibility - "Set" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kSet;
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "([Ljava/lang/String;ILjava/lang/String;)V"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "([Ljava/lang/String;I)V"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "([Ljava/lang/String;I)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(Z)V"));
}
// Check compatibility - "CompareAndSet" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kCompareAndSet;
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "([Ljava/lang/String;ILjava/lang/String;Ljava/lang/String;)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "([Ljava/lang/String;III)I"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "([Ljava/lang/String;I)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(Z)V"));
}
// Check compatibility - "CompareAndExchange" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kCompareAndExchange;
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "([Ljava/lang/String;ILjava/lang/String;Ljava/lang/String;)Ljava/lang/String;"));
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "([Ljava/lang/String;ILjava/lang/String;Ljava/lang/String;)V"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "([Ljava/lang/String;II)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(III)V"));
}
// Check compatibility - "GetAndUpdate" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kGetAndAdd;
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "([Ljava/lang/String;ILjava/lang/String;)Ljava/lang/String;"));
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "([Ljava/lang/String;ILjava/lang/String;)V"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "([Ljava/lang/String;ILjava/lang/String;)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(II)V"));
}
// Check synthesized method types match expected forms.
{
Handle<MethodType> get = hs.NewHandle(MethodTypeOf("([Ljava/lang/String;I)Ljava/lang/String;"));
Handle<MethodType> set =
hs.NewHandle(MethodTypeOf("([Ljava/lang/String;ILjava/lang/String;)V"));
Handle<MethodType> compareAndSet =
hs.NewHandle(MethodTypeOf("([Ljava/lang/String;ILjava/lang/String;Ljava/lang/String;)Z"));
Handle<MethodType> compareAndExchange = hs.NewHandle(MethodTypeOf(
"([Ljava/lang/String;ILjava/lang/String;Ljava/lang/String;)Ljava/lang/String;"));
Handle<MethodType> getAndUpdate =
hs.NewHandle(MethodTypeOf("([Ljava/lang/String;ILjava/lang/String;)Ljava/lang/String;"));
auto test_mode = [=](VarHandle::AccessMode access_mode, Handle<MethodType> method_type)
REQUIRES_SHARED(Locks::mutator_lock_) {
return vh->GetMethodTypeForAccessMode(self, access_mode)->IsExactMatch(method_type.Get());
};
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGet, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSet, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetVolatile, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSetVolatile, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAcquire, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSetRelease, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetOpaque, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSetOpaque, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndSet, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndExchange, compareAndExchange));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndExchangeAcquire, compareAndExchange));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndExchangeRelease, compareAndExchange));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSetPlain, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSet, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSetAcquire, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSetRelease, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndSet, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndSetAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndSetRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndAdd, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndAddAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndAddRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseOr, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseOrRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseOrAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseAnd, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseAndRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseAndAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseXor, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseXorRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseXorAcquire, getAndUpdate));
}
}
TEST_F(VarHandleTest, ByteArrayViewVarHandle) {
Thread * const self = Thread::Current();
ScopedObjectAccess soa(self);
StackHandleScope<7> hs(self);
int32_t mask = AccessModesBitMask(VarHandle::AccessMode::kGet,
VarHandle::AccessMode::kGetVolatile,
VarHandle::AccessMode::kGetAcquire,
VarHandle::AccessMode::kGetOpaque,
VarHandle::AccessMode::kCompareAndSet,
VarHandle::AccessMode::kCompareAndExchangeAcquire,
VarHandle::AccessMode::kWeakCompareAndSetPlain,
VarHandle::AccessMode::kWeakCompareAndSetAcquire,
VarHandle::AccessMode::kGetAndSet,
VarHandle::AccessMode::kGetAndSetRelease,
VarHandle::AccessMode::kGetAndAddAcquire,
VarHandle::AccessMode::kGetAndBitwiseOr,
VarHandle::AccessMode::kGetAndBitwiseOrAcquire,
VarHandle::AccessMode::kGetAndBitwiseAndRelease,
VarHandle::AccessMode::kGetAndBitwiseXor,
VarHandle::AccessMode::kGetAndBitwiseXorAcquire);
Handle<Class> char_array_class(hs.NewHandle(GetClassRoot<mirror::CharArray>()));
const bool native_byte_order = true;
Handle<mirror::ByteArrayViewVarHandle> vh(
hs.NewHandle(CreateByteArrayViewVarHandle(self, char_array_class, native_byte_order, mask)));
EXPECT_FALSE(vh.IsNull());
EXPECT_EQ(native_byte_order, vh->GetNativeByteOrder());
// Check access modes
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGet));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kSet));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetVolatile));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kSetVolatile));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAcquire));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kSetRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetOpaque));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kSetOpaque));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndSet));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndExchange));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndExchangeAcquire));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndExchangeRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSetPlain));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSet));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSetAcquire));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSetRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndSet));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndSetAcquire));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndSetRelease));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndAdd));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndAddAcquire));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndAddRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseOr));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseOrRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseOrAcquire));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseAnd));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseAndRelease));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseAndAcquire));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseXor));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseXorRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseXorAcquire));
// Check compatibility - "Get" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kGet;
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "([BI)C"));
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "([BI)V"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "([BC)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(Z)Z"));
}
// Check compatibility - "Set" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kSet;
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "([BIC)V"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "([BI)V"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "([BI)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(Z)V"));
}
// Check compatibility - "CompareAndSet" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kCompareAndSet;
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "([BICC)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "([BIII)I"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "([BI)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(Z)V"));
}
// Check compatibility - "CompareAndExchange" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kCompareAndExchange;
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "([BICC)C"));
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "([BICC)V"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "([BII)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(III)V"));
}
// Check compatibility - "GetAndUpdate" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kGetAndAdd;
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "([BIC)C"));
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "([BIC)V"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "([BIC)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(II)V"));
}
// Check synthesized method types match expected forms.
{
Handle<MethodType> get = hs.NewHandle(MethodTypeOf("([BI)C"));
Handle<MethodType> set = hs.NewHandle(MethodTypeOf("([BIC)V"));
Handle<MethodType> compareAndSet = hs.NewHandle(MethodTypeOf("([BICC)Z"));
Handle<MethodType> compareAndExchange = hs.NewHandle(MethodTypeOf("([BICC)C"));
Handle<MethodType> getAndUpdate = hs.NewHandle(MethodTypeOf("([BIC)C"));
auto test_mode = [=](VarHandle::AccessMode access_mode, Handle<MethodType> method_type)
REQUIRES_SHARED(Locks::mutator_lock_) {
return vh->GetMethodTypeForAccessMode(self, access_mode)->IsExactMatch(method_type.Get());
};
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGet, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSet, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetVolatile, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSetVolatile, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAcquire, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSetRelease, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetOpaque, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSetOpaque, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndSet, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndExchange, compareAndExchange));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndExchangeAcquire, compareAndExchange));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndExchangeRelease, compareAndExchange));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSetPlain, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSet, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSetAcquire, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSetRelease, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndSet, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndSetAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndSetRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndAdd, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndAddAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndAddRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseOr, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseOrRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseOrAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseAnd, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseAndRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseAndAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseXor, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseXorRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseXorAcquire, getAndUpdate));
}
}
TEST_F(VarHandleTest, ByteBufferViewVarHandle) {
Thread * const self = Thread::Current();
ScopedObjectAccess soa(self);
StackHandleScope<7> hs(self);
int32_t mask = AccessModesBitMask(VarHandle::AccessMode::kGet,
VarHandle::AccessMode::kGetVolatile,
VarHandle::AccessMode::kGetAcquire,
VarHandle::AccessMode::kGetOpaque,
VarHandle::AccessMode::kCompareAndSet,
VarHandle::AccessMode::kCompareAndExchangeAcquire,
VarHandle::AccessMode::kWeakCompareAndSetPlain,
VarHandle::AccessMode::kWeakCompareAndSetAcquire,
VarHandle::AccessMode::kGetAndSet,
VarHandle::AccessMode::kGetAndSetRelease,
VarHandle::AccessMode::kGetAndAddAcquire,
VarHandle::AccessMode::kGetAndBitwiseOr,
VarHandle::AccessMode::kGetAndBitwiseOrAcquire,
VarHandle::AccessMode::kGetAndBitwiseAndRelease,
VarHandle::AccessMode::kGetAndBitwiseXor,
VarHandle::AccessMode::kGetAndBitwiseXorAcquire);
Handle<Class> double_array_class(hs.NewHandle(GetClassRoot<mirror::DoubleArray>()));
const bool native_byte_order = false;
Handle<mirror::ByteBufferViewVarHandle> vh(hs.NewHandle(
CreateByteBufferViewVarHandle(self, double_array_class, native_byte_order, mask)));
EXPECT_FALSE(vh.IsNull());
EXPECT_EQ(native_byte_order, vh->GetNativeByteOrder());
// Check access modes
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGet));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kSet));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetVolatile));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kSetVolatile));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAcquire));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kSetRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetOpaque));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kSetOpaque));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndSet));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndExchange));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndExchangeAcquire));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kCompareAndExchangeRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSetPlain));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSet));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSetAcquire));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kWeakCompareAndSetRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndSet));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndSetAcquire));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndSetRelease));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndAdd));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndAddAcquire));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndAddRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseOr));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseOrRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseOrAcquire));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseAnd));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseAndRelease));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseAndAcquire));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseXor));
EXPECT_FALSE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseXorRelease));
EXPECT_TRUE(vh->IsAccessModeSupported(VarHandle::AccessMode::kGetAndBitwiseXorAcquire));
// Check compatibility - "Get" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kGet;
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "(Ljava/nio/ByteBuffer;I)D"));
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "(Ljava/nio/ByteBuffer;I)V"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(Ljava/nio/ByteBuffer;D)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(Z)Z"));
}
// Check compatibility - "Set" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kSet;
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "(Ljava/nio/ByteBuffer;ID)V"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(Ljava/nio/ByteBuffer;I)V"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(Ljava/nio/ByteBuffer;I)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(Z)V"));
}
// Check compatibility - "CompareAndSet" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kCompareAndSet;
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "(Ljava/nio/ByteBuffer;IDD)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(Ljava/nio/ByteBuffer;IDI)D"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(Ljava/nio/ByteBuffer;I)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(Z)V"));
}
// Check compatibility - "CompareAndExchange" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kCompareAndExchange;
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "(Ljava/nio/ByteBuffer;IDD)D"));
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "(Ljava/nio/ByteBuffer;IDD)V"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(Ljava/nio/ByteBuffer;II)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(III)V"));
}
// Check compatibility - "GetAndUpdate" pattern
{
const VarHandle::AccessMode access_mode = VarHandle::AccessMode::kGetAndAdd;
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "(Ljava/nio/ByteBuffer;ID)D"));
EXPECT_TRUE(AccessModeExactMatch(vh, access_mode, "(Ljava/nio/ByteBuffer;ID)V"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(Ljava/nio/ByteBuffer;ID)Z"));
EXPECT_TRUE(AccessModeNoMatch(vh, access_mode, "(II)V"));
}
// Check synthesized method types match expected forms.
{
Handle<MethodType> get = hs.NewHandle(MethodTypeOf("(Ljava/nio/ByteBuffer;I)D"));
Handle<MethodType> set = hs.NewHandle(MethodTypeOf("(Ljava/nio/ByteBuffer;ID)V"));
Handle<MethodType> compareAndSet = hs.NewHandle(MethodTypeOf("(Ljava/nio/ByteBuffer;IDD)Z"));
Handle<MethodType> compareAndExchange =
hs.NewHandle(MethodTypeOf("(Ljava/nio/ByteBuffer;IDD)D"));
Handle<MethodType> getAndUpdate = hs.NewHandle(MethodTypeOf("(Ljava/nio/ByteBuffer;ID)D"));
auto test_mode = [=](VarHandle::AccessMode access_mode, Handle<MethodType> method_type)
REQUIRES_SHARED(Locks::mutator_lock_) {
return vh->GetMethodTypeForAccessMode(self, access_mode)->IsExactMatch(method_type.Get());
};
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGet, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSet, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetVolatile, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSetVolatile, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAcquire, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSetRelease, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetOpaque, get));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kSetOpaque, set));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndSet, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndExchange, compareAndExchange));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndExchangeAcquire, compareAndExchange));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kCompareAndExchangeRelease, compareAndExchange));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSetPlain, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSet, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSetAcquire, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kWeakCompareAndSetRelease, compareAndSet));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndSet, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndSetAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndSetRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndAdd, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndAddAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndAddRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseOr, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseOrRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseOrAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseAnd, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseAndRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseAndAcquire, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseXor, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseXorRelease, getAndUpdate));
EXPECT_TRUE(test_mode(VarHandle::AccessMode::kGetAndBitwiseXorAcquire, getAndUpdate));
}
}
TEST_F(VarHandleTest, GetMethodTypeForAccessMode) {
VarHandle::AccessMode access_mode;
// Invalid access mode names
EXPECT_FALSE(VarHandle::GetAccessModeByMethodName(nullptr, &access_mode));
EXPECT_FALSE(VarHandle::GetAccessModeByMethodName("", &access_mode));
EXPECT_FALSE(VarHandle::GetAccessModeByMethodName("CompareAndExchange", &access_mode));
EXPECT_FALSE(VarHandle::GetAccessModeByMethodName("compareAndExchangX", &access_mode));
// Valid access mode names
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("compareAndExchange", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kCompareAndExchange, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("compareAndExchangeAcquire", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kCompareAndExchangeAcquire, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("compareAndExchangeRelease", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kCompareAndExchangeRelease, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("compareAndSet", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kCompareAndSet, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("get", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGet, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getAcquire", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetAcquire, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getAndAdd", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetAndAdd, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getAndAddAcquire", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetAndAddAcquire, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getAndAddRelease", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetAndAddRelease, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getAndBitwiseAnd", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetAndBitwiseAnd, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getAndBitwiseAndAcquire", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetAndBitwiseAndAcquire, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getAndBitwiseAndRelease", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetAndBitwiseAndRelease, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getAndBitwiseOr", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetAndBitwiseOr, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getAndBitwiseOrAcquire", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetAndBitwiseOrAcquire, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getAndBitwiseOrRelease", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetAndBitwiseOrRelease, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getAndBitwiseXor", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetAndBitwiseXor, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getAndBitwiseXorAcquire", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetAndBitwiseXorAcquire, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getAndBitwiseXorRelease", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetAndBitwiseXorRelease, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getAndSet", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetAndSet, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getAndSetAcquire", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetAndSetAcquire, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getAndSetRelease", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetAndSetRelease, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getOpaque", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetOpaque, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("getVolatile", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kGetVolatile, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("set", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kSet, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("setOpaque", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kSetOpaque, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("setRelease", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kSetRelease, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("setVolatile", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kSetVolatile, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("weakCompareAndSet", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kWeakCompareAndSet, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("weakCompareAndSetAcquire", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kWeakCompareAndSetAcquire, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("weakCompareAndSetPlain", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kWeakCompareAndSetPlain, access_mode);
EXPECT_TRUE(VarHandle::GetAccessModeByMethodName("weakCompareAndSetRelease", &access_mode));
EXPECT_EQ(VarHandle::AccessMode::kWeakCompareAndSetRelease, access_mode);
}
} // namespace mirror
} // namespace art