Elliott Hughes | 2faa5f1 | 2012-01-30 14:42:07 -0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2011 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 16 | |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 17 | #include "dex_cache.h" |
Brian Carlstrom | a1ce1fe | 2014-02-24 23:23:58 -0800 | [diff] [blame] | 18 | |
| 19 | #include <stdio.h> |
| 20 | |
| 21 | #include "class_linker.h" |
| 22 | #include "common_runtime_test.h" |
Mathieu Chartier | d57d454 | 2015-10-14 10:55:30 -0700 | [diff] [blame] | 23 | #include "linear_alloc.h" |
| 24 | #include "mirror/class_loader-inl.h" |
Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 25 | #include "mirror/dex_cache-inl.h" |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 26 | #include "handle_scope-inl.h" |
Mathieu Chartier | 0795f23 | 2016-09-27 18:43:30 -0700 | [diff] [blame] | 27 | #include "scoped_thread_state_change-inl.h" |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 28 | |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 29 | namespace art { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 30 | namespace mirror { |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 31 | |
Brian Carlstrom | a1ce1fe | 2014-02-24 23:23:58 -0800 | [diff] [blame] | 32 | class DexCacheTest : public CommonRuntimeTest {}; |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 33 | |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 34 | class DexCacheMethodHandlesTest : public DexCacheTest { |
| 35 | protected: |
| 36 | virtual void SetUpRuntimeOptions(RuntimeOptions* options) OVERRIDE { |
| 37 | CommonRuntimeTest::SetUpRuntimeOptions(options); |
| 38 | options->push_back(std::make_pair("-Xexperimental:method-handles", nullptr)); |
| 39 | } |
| 40 | }; |
| 41 | |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 42 | TEST_F(DexCacheTest, Open) { |
Ian Rogers | 00f7d0e | 2012-07-19 15:28:27 -0700 | [diff] [blame] | 43 | ScopedObjectAccess soa(Thread::Current()); |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 44 | StackHandleScope<1> hs(soa.Self()); |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 45 | ASSERT_TRUE(java_lang_dex_file_ != nullptr); |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 46 | Handle<DexCache> dex_cache( |
Mathieu Chartier | 6c60d84 | 2016-09-15 10:24:43 -0700 | [diff] [blame] | 47 | hs.NewHandle(class_linker_->AllocAndInitializeDexCache( |
| 48 | soa.Self(), |
| 49 | *java_lang_dex_file_, |
| 50 | Runtime::Current()->GetLinearAlloc()))); |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 51 | ASSERT_TRUE(dex_cache.Get() != nullptr); |
Brian Carlstrom | c4fa2c0 | 2011-08-21 03:00:12 -0700 | [diff] [blame] | 52 | |
Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 53 | EXPECT_TRUE(dex_cache->StaticStringSize() == dex_cache->NumStrings() |
| 54 | || java_lang_dex_file_->NumStringIds() == dex_cache->NumStrings()); |
Brian Carlstrom | 1caa2c2 | 2011-08-28 13:02:33 -0700 | [diff] [blame] | 55 | EXPECT_EQ(java_lang_dex_file_->NumTypeIds(), dex_cache->NumResolvedTypes()); |
| 56 | EXPECT_EQ(java_lang_dex_file_->NumMethodIds(), dex_cache->NumResolvedMethods()); |
| 57 | EXPECT_EQ(java_lang_dex_file_->NumFieldIds(), dex_cache->NumResolvedFields()); |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 58 | // This should always be zero because the -Xexperimental:method-handles isn't |
| 59 | // set. |
| 60 | EXPECT_EQ(0u, dex_cache->NumResolvedMethodTypes()); |
| 61 | } |
| 62 | |
| 63 | TEST_F(DexCacheMethodHandlesTest, Open) { |
| 64 | ScopedObjectAccess soa(Thread::Current()); |
| 65 | StackHandleScope<1> hs(soa.Self()); |
| 66 | ASSERT_TRUE(java_lang_dex_file_ != nullptr); |
| 67 | Handle<DexCache> dex_cache( |
Mathieu Chartier | 6c60d84 | 2016-09-15 10:24:43 -0700 | [diff] [blame] | 68 | hs.NewHandle(class_linker_->AllocAndInitializeDexCache( |
| 69 | soa.Self(), |
| 70 | *java_lang_dex_file_, |
| 71 | Runtime::Current()->GetLinearAlloc()))); |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 72 | |
| 73 | EXPECT_TRUE(dex_cache->StaticMethodTypeSize() == dex_cache->NumResolvedMethodTypes() |
| 74 | || java_lang_dex_file_->NumProtoIds() == dex_cache->NumResolvedMethodTypes()); |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 75 | } |
| 76 | |
Mathieu Chartier | d57d454 | 2015-10-14 10:55:30 -0700 | [diff] [blame] | 77 | TEST_F(DexCacheTest, LinearAlloc) { |
| 78 | ScopedObjectAccess soa(Thread::Current()); |
| 79 | jobject jclass_loader(LoadDex("Main")); |
| 80 | ASSERT_TRUE(jclass_loader != nullptr); |
Mathieu Chartier | d57d454 | 2015-10-14 10:55:30 -0700 | [diff] [blame] | 81 | StackHandleScope<1> hs(soa.Self()); |
| 82 | Handle<mirror::ClassLoader> class_loader(hs.NewHandle( |
Mathieu Chartier | 0795f23 | 2016-09-27 18:43:30 -0700 | [diff] [blame] | 83 | soa.Decode<mirror::ClassLoader>(jclass_loader))); |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 84 | mirror::Class* klass = class_linker_->FindClass(soa.Self(), "LMain;", class_loader); |
Mathieu Chartier | d57d454 | 2015-10-14 10:55:30 -0700 | [diff] [blame] | 85 | ASSERT_TRUE(klass != nullptr); |
| 86 | LinearAlloc* const linear_alloc = klass->GetClassLoader()->GetAllocator(); |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 87 | EXPECT_NE(linear_alloc, runtime_->GetLinearAlloc()); |
Mathieu Chartier | d57d454 | 2015-10-14 10:55:30 -0700 | [diff] [blame] | 88 | EXPECT_TRUE(linear_alloc->Contains(klass->GetDexCache()->GetResolvedMethods())); |
| 89 | } |
| 90 | |
Mathieu Chartier | 279ac5c | 2016-09-08 17:34:25 -0700 | [diff] [blame] | 91 | TEST_F(DexCacheTest, TestResolvedFieldAccess) { |
| 92 | ScopedObjectAccess soa(Thread::Current()); |
| 93 | jobject jclass_loader(LoadDex("Packages")); |
| 94 | ASSERT_TRUE(jclass_loader != nullptr); |
Mathieu Chartier | 279ac5c | 2016-09-08 17:34:25 -0700 | [diff] [blame] | 95 | StackHandleScope<3> hs(soa.Self()); |
| 96 | Handle<mirror::ClassLoader> class_loader(hs.NewHandle( |
Mathieu Chartier | 0795f23 | 2016-09-27 18:43:30 -0700 | [diff] [blame] | 97 | soa.Decode<mirror::ClassLoader>(jclass_loader))); |
Mathieu Chartier | 279ac5c | 2016-09-08 17:34:25 -0700 | [diff] [blame] | 98 | Handle<mirror::Class> klass1 = |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 99 | hs.NewHandle(class_linker_->FindClass(soa.Self(), "Lpackage1/Package1;", class_loader)); |
Mathieu Chartier | 279ac5c | 2016-09-08 17:34:25 -0700 | [diff] [blame] | 100 | ASSERT_TRUE(klass1.Get() != nullptr); |
| 101 | Handle<mirror::Class> klass2 = |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 102 | hs.NewHandle(class_linker_->FindClass(soa.Self(), "Lpackage2/Package2;", class_loader)); |
Mathieu Chartier | 279ac5c | 2016-09-08 17:34:25 -0700 | [diff] [blame] | 103 | ASSERT_TRUE(klass2.Get() != nullptr); |
| 104 | EXPECT_EQ(klass1->GetDexCache(), klass2->GetDexCache()); |
| 105 | |
| 106 | EXPECT_NE(klass1->NumStaticFields(), 0u); |
| 107 | for (ArtField& field : klass2->GetSFields()) { |
| 108 | EXPECT_FALSE(( |
| 109 | klass1->ResolvedFieldAccessTest</*throw_on_failure*/ false, |
| 110 | /*use_referrers_cache*/ false>(klass2.Get(), |
| 111 | &field, |
| 112 | field.GetDexFieldIndex(), |
| 113 | klass1->GetDexCache()))); |
| 114 | } |
| 115 | } |
| 116 | |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 117 | TEST_F(DexCacheMethodHandlesTest, TestResolvedMethodTypes) { |
| 118 | ScopedObjectAccess soa(Thread::Current()); |
| 119 | jobject jclass_loader(LoadDex("MethodTypes")); |
| 120 | ASSERT_TRUE(jclass_loader != nullptr); |
| 121 | |
| 122 | StackHandleScope<5> hs(soa.Self()); |
| 123 | Handle<mirror::ClassLoader> class_loader(hs.NewHandle( |
| 124 | soa.Decode<mirror::ClassLoader>(jclass_loader))); |
| 125 | |
| 126 | Handle<mirror::Class> method_types( |
| 127 | hs.NewHandle(class_linker_->FindClass(soa.Self(), "LMethodTypes;", class_loader))); |
| 128 | class_linker_->EnsureInitialized(soa.Self(), method_types, true, true); |
| 129 | |
| 130 | ArtMethod* method1 = method_types->FindVirtualMethod( |
| 131 | "method1", |
| 132 | "(Ljava/lang/String;)Ljava/lang/String;", |
| 133 | kRuntimePointerSize); |
| 134 | ArtMethod* method2 = method_types->FindVirtualMethod( |
| 135 | "method2", |
| 136 | "(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;", |
| 137 | kRuntimePointerSize); |
| 138 | |
| 139 | const DexFile& dex_file = *(method1->GetDexFile()); |
| 140 | Handle<mirror::DexCache> dex_cache = hs.NewHandle( |
| 141 | class_linker_->FindDexCache(Thread::Current(), dex_file)); |
| 142 | |
| 143 | const DexFile::MethodId& method1_id = dex_file.GetMethodId(method1->GetDexMethodIndex()); |
| 144 | const DexFile::MethodId& method2_id = dex_file.GetMethodId(method2->GetDexMethodIndex()); |
| 145 | |
| 146 | Handle<mirror::MethodType> method1_type = hs.NewHandle( |
| 147 | class_linker_->ResolveMethodType(dex_file, method1_id.proto_idx_, dex_cache, class_loader)); |
| 148 | Handle<mirror::MethodType> method2_type = hs.NewHandle( |
| 149 | class_linker_->ResolveMethodType(dex_file, method2_id.proto_idx_, dex_cache, class_loader)); |
| 150 | |
| 151 | EXPECT_EQ(method1_type.Get(), dex_cache->GetResolvedMethodType(method1_id.proto_idx_)); |
| 152 | EXPECT_EQ(method2_type.Get(), dex_cache->GetResolvedMethodType(method2_id.proto_idx_)); |
| 153 | |
| 154 | // The MethodTypes dex file contains a single interface with two abstract |
| 155 | // methods. It must therefore contain precisely two method IDs. |
| 156 | ASSERT_EQ(2u, dex_file.NumProtoIds()); |
| 157 | ASSERT_EQ(dex_file.NumProtoIds(), dex_cache->NumResolvedMethodTypes()); |
| 158 | MethodTypeDexCacheType* method_types_cache = dex_cache->GetResolvedMethodTypes(); |
| 159 | |
| 160 | for (size_t i = 0; i < dex_file.NumProtoIds(); ++i) { |
| 161 | const MethodTypeDexCachePair pair = method_types_cache[i].load(std::memory_order_relaxed); |
| 162 | if (pair.index == method1_id.proto_idx_) { |
| 163 | ASSERT_EQ(method1_type.Get(), pair.object.Read()); |
| 164 | } else if (pair.index == method2_id.proto_idx_) { |
| 165 | ASSERT_EQ(method2_type.Get(), pair.object.Read()); |
| 166 | } else { |
| 167 | ASSERT_TRUE(false); |
| 168 | } |
| 169 | } |
| 170 | } |
| 171 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 172 | } // namespace mirror |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 173 | } // namespace art |