blob: 86f8b823cc2bded879b9674af17c39f8186da320 [file] [log] [blame]
Brian Carlstrom7940e442013-07-12 13:46:57 -07001/*
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 */
16
17#include "driver/compiler_driver.h"
18
19#include <stdint.h>
20#include <stdio.h>
Ian Rogers700a4022014-05-19 16:49:03 -070021#include <memory>
Brian Carlstrom7940e442013-07-12 13:46:57 -070022
Mathieu Chartiere401d142015-04-22 13:56:20 -070023#include "art_method-inl.h"
Vladimir Marko3481ba22015-04-13 12:22:36 +010024#include "class_linker-inl.h"
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080025#include "common_compiler_test.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070026#include "dex_file.h"
27#include "gc/heap.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070028#include "mirror/class-inl.h"
Ian Rogerse63db272014-07-15 15:36:11 -070029#include "mirror/class_loader.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070030#include "mirror/dex_cache-inl.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070031#include "mirror/object_array-inl.h"
32#include "mirror/object-inl.h"
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070033#include "handle_scope-inl.h"
Ian Rogerse63db272014-07-15 15:36:11 -070034#include "scoped_thread_state_change.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070035
36namespace art {
37
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080038class CompilerDriverTest : public CommonCompilerTest {
Brian Carlstrom7940e442013-07-12 13:46:57 -070039 protected:
Mathieu Chartier90443472015-07-16 20:32:27 -070040 void CompileAll(jobject class_loader) REQUIRES(!Locks::mutator_lock_) {
Ian Rogers5fe9af72013-11-14 00:17:20 -080041 TimingLogger timings("CompilerDriverTest::CompileAll", false, false);
Mathieu Chartierf5997b42014-06-20 10:37:54 -070042 TimingLogger::ScopedTiming t(__FUNCTION__, &timings);
Brian Carlstrom45602482013-07-21 22:07:55 -070043 compiler_driver_->CompileAll(class_loader,
Andreas Gampe81c6f8d2015-03-25 17:19:53 -070044 GetDexFiles(class_loader),
Ian Rogers3d504072014-03-01 09:16:49 -080045 &timings);
Mathieu Chartierf5997b42014-06-20 10:37:54 -070046 t.NewTiming("MakeAllExecutable");
Brian Carlstrom7940e442013-07-12 13:46:57 -070047 MakeAllExecutable(class_loader);
48 }
49
50 void EnsureCompiled(jobject class_loader, const char* class_name, const char* method,
51 const char* signature, bool is_virtual)
Mathieu Chartier90443472015-07-16 20:32:27 -070052 REQUIRES(!Locks::mutator_lock_) {
Brian Carlstrom7940e442013-07-12 13:46:57 -070053 CompileAll(class_loader);
54 Thread::Current()->TransitionFromSuspendedToRunnable();
55 bool started = runtime_->Start();
56 CHECK(started);
57 env_ = Thread::Current()->GetJniEnv();
58 class_ = env_->FindClass(class_name);
Mathieu Chartier2cebb242015-04-21 16:50:40 -070059 CHECK(class_ != nullptr) << "Class not found: " << class_name;
Brian Carlstrom7940e442013-07-12 13:46:57 -070060 if (is_virtual) {
61 mid_ = env_->GetMethodID(class_, method, signature);
62 } else {
63 mid_ = env_->GetStaticMethodID(class_, method, signature);
64 }
Mathieu Chartier2cebb242015-04-21 16:50:40 -070065 CHECK(mid_ != nullptr) << "Method not found: " << class_name << "." << method << signature;
Brian Carlstrom7940e442013-07-12 13:46:57 -070066 }
67
68 void MakeAllExecutable(jobject class_loader) {
Andreas Gampe81c6f8d2015-03-25 17:19:53 -070069 const std::vector<const DexFile*> class_path = GetDexFiles(class_loader);
Brian Carlstrom7940e442013-07-12 13:46:57 -070070 for (size_t i = 0; i != class_path.size(); ++i) {
71 const DexFile* dex_file = class_path[i];
Mathieu Chartier2cebb242015-04-21 16:50:40 -070072 CHECK(dex_file != nullptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -070073 MakeDexFileExecutable(class_loader, *dex_file);
74 }
75 }
76
77 void MakeDexFileExecutable(jobject class_loader, const DexFile& dex_file) {
78 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
79 for (size_t i = 0; i < dex_file.NumClassDefs(); i++) {
80 const DexFile::ClassDef& class_def = dex_file.GetClassDef(i);
81 const char* descriptor = dex_file.GetClassDescriptor(class_def);
82 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070083 StackHandleScope<1> hs(soa.Self());
84 Handle<mirror::ClassLoader> loader(
85 hs.NewHandle(soa.Decode<mirror::ClassLoader*>(class_loader)));
Ian Rogers98379392014-02-24 16:53:16 -080086 mirror::Class* c = class_linker->FindClass(soa.Self(), descriptor, loader);
Mathieu Chartier2cebb242015-04-21 16:50:40 -070087 CHECK(c != nullptr);
Mathieu Chartiere401d142015-04-22 13:56:20 -070088 const auto pointer_size = class_linker->GetImagePointerSize();
Alex Lighte64300b2015-12-15 15:02:47 -080089 for (auto& m : c->GetMethods(pointer_size)) {
Mathieu Chartiere401d142015-04-22 13:56:20 -070090 MakeExecutable(&m);
Brian Carlstrom7940e442013-07-12 13:46:57 -070091 }
92 }
93 }
94
95 JNIEnv* env_;
96 jclass class_;
97 jmethodID mid_;
98};
99
100// Disabled due to 10 second runtime on host
101TEST_F(CompilerDriverTest, DISABLED_LARGE_CompileDexLibCore) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700102 CompileAll(nullptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700103
104 // All libcore references should resolve
105 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700106 ASSERT_TRUE(java_lang_dex_file_ != nullptr);
Richard Uhlerfbef44d2014-12-23 09:48:51 -0800107 const DexFile& dex = *java_lang_dex_file_;
Mathieu Chartier673ed3d2015-08-28 14:56:43 -0700108 mirror::DexCache* dex_cache = class_linker_->FindDexCache(soa.Self(), dex);
Richard Uhlerfbef44d2014-12-23 09:48:51 -0800109 EXPECT_EQ(dex.NumStringIds(), dex_cache->NumStrings());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700110 for (size_t i = 0; i < dex_cache->NumStrings(); i++) {
111 const mirror::String* string = dex_cache->GetResolvedString(i);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700112 EXPECT_TRUE(string != nullptr) << "string_idx=" << i;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700113 }
Richard Uhlerfbef44d2014-12-23 09:48:51 -0800114 EXPECT_EQ(dex.NumTypeIds(), dex_cache->NumResolvedTypes());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700115 for (size_t i = 0; i < dex_cache->NumResolvedTypes(); i++) {
116 mirror::Class* type = dex_cache->GetResolvedType(i);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700117 EXPECT_TRUE(type != nullptr) << "type_idx=" << i
Richard Uhlerfbef44d2014-12-23 09:48:51 -0800118 << " " << dex.GetTypeDescriptor(dex.GetTypeId(i));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700119 }
Richard Uhlerfbef44d2014-12-23 09:48:51 -0800120 EXPECT_EQ(dex.NumMethodIds(), dex_cache->NumResolvedMethods());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700121 auto* cl = Runtime::Current()->GetClassLinker();
122 auto pointer_size = cl->GetImagePointerSize();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700123 for (size_t i = 0; i < dex_cache->NumResolvedMethods(); i++) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700124 ArtMethod* method = dex_cache->GetResolvedMethod(i, pointer_size);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700125 EXPECT_TRUE(method != nullptr) << "method_idx=" << i
Richard Uhlerfbef44d2014-12-23 09:48:51 -0800126 << " " << dex.GetMethodDeclaringClassDescriptor(dex.GetMethodId(i))
127 << " " << dex.GetMethodName(dex.GetMethodId(i));
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700128 EXPECT_TRUE(method->GetEntryPointFromQuickCompiledCode() != nullptr) << "method_idx=" << i
129 << " " << dex.GetMethodDeclaringClassDescriptor(dex.GetMethodId(i)) << " "
130 << dex.GetMethodName(dex.GetMethodId(i));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700131 }
Richard Uhlerfbef44d2014-12-23 09:48:51 -0800132 EXPECT_EQ(dex.NumFieldIds(), dex_cache->NumResolvedFields());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700133 for (size_t i = 0; i < dex_cache->NumResolvedFields(); i++) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700134 ArtField* field = cl->GetResolvedField(i, dex_cache);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700135 EXPECT_TRUE(field != nullptr) << "field_idx=" << i
Richard Uhlerfbef44d2014-12-23 09:48:51 -0800136 << " " << dex.GetFieldDeclaringClassDescriptor(dex.GetFieldId(i))
137 << " " << dex.GetFieldName(dex.GetFieldId(i));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700138 }
139
140 // TODO check Class::IsVerified for all classes
141
142 // TODO: check that all Method::GetCode() values are non-null
143}
144
145TEST_F(CompilerDriverTest, AbstractMethodErrorStub) {
Roland Levillain4d027112015-07-01 15:41:14 +0100146 TEST_DISABLED_FOR_HEAP_REFERENCE_POISONING_WITH_QUICK();
Roland Levillain0d5a2812015-11-13 10:07:31 +0000147 TEST_DISABLED_FOR_READ_BARRIER_WITH_QUICK();
148 TEST_DISABLED_FOR_READ_BARRIER_WITH_OPTIMIZING_FOR_UNSUPPORTED_INSTRUCTION_SETS();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700149 jobject class_loader;
150 {
151 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartier0cd81352014-05-22 16:48:55 -0700152 CompileVirtualMethod(NullHandle<mirror::ClassLoader>(), "java.lang.Class", "isFinalizable",
153 "()Z");
154 CompileDirectMethod(NullHandle<mirror::ClassLoader>(), "java.lang.Object", "<init>", "()V");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700155 class_loader = LoadDex("AbstractMethod");
156 }
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700157 ASSERT_TRUE(class_loader != nullptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700158 EnsureCompiled(class_loader, "AbstractClass", "foo", "()V", true);
159
160 // Create a jobj_ of ConcreteClass, NOT AbstractClass.
161 jclass c_class = env_->FindClass("ConcreteClass");
Mathieu Chartiere401d142015-04-22 13:56:20 -0700162
Brian Carlstrom7940e442013-07-12 13:46:57 -0700163 jmethodID constructor = env_->GetMethodID(c_class, "<init>", "()V");
Mathieu Chartiere401d142015-04-22 13:56:20 -0700164
Brian Carlstrom7940e442013-07-12 13:46:57 -0700165 jobject jobj_ = env_->NewObject(c_class, constructor);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700166 ASSERT_TRUE(jobj_ != nullptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700167
168 // Force non-virtual call to AbstractClass foo, will throw AbstractMethodError exception.
169 env_->CallNonvirtualVoidMethod(jobj_, class_, mid_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700170
Brian Carlstrom7940e442013-07-12 13:46:57 -0700171 EXPECT_EQ(env_->ExceptionCheck(), JNI_TRUE);
172 jthrowable exception = env_->ExceptionOccurred();
173 env_->ExceptionClear();
174 jclass jlame = env_->FindClass("java/lang/AbstractMethodError");
175 EXPECT_TRUE(env_->IsInstanceOf(exception, jlame));
Serguei Katkova309d762014-05-26 11:23:39 +0700176 {
177 ScopedObjectAccess soa(Thread::Current());
178 Thread::Current()->ClearException();
179 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700180}
181
Andreas Gampe70bef0d2015-04-15 02:37:28 -0700182class CompilerDriverMethodsTest : public CompilerDriverTest {
183 protected:
184 std::unordered_set<std::string>* GetCompiledMethods() OVERRIDE {
185 return new std::unordered_set<std::string>({
186 "byte StaticLeafMethods.identity(byte)",
187 "int StaticLeafMethods.sum(int, int, int)",
188 "double StaticLeafMethods.sum(double, double, double, double)"
189 });
190 }
191};
192
193TEST_F(CompilerDriverMethodsTest, Selection) {
Roland Levillain4d027112015-07-01 15:41:14 +0100194 TEST_DISABLED_FOR_HEAP_REFERENCE_POISONING_WITH_QUICK();
Roland Levillain0d5a2812015-11-13 10:07:31 +0000195 TEST_DISABLED_FOR_READ_BARRIER_WITH_QUICK();
196 TEST_DISABLED_FOR_READ_BARRIER_WITH_OPTIMIZING_FOR_UNSUPPORTED_INSTRUCTION_SETS();
Andreas Gampe70bef0d2015-04-15 02:37:28 -0700197 Thread* self = Thread::Current();
198 jobject class_loader;
199 {
200 ScopedObjectAccess soa(self);
201 class_loader = LoadDex("StaticLeafMethods");
202 }
203 ASSERT_NE(class_loader, nullptr);
204
205 // Need to enable dex-file writability. Methods rejected to be compiled will run through the
206 // dex-to-dex compiler.
207 for (const DexFile* dex_file : GetDexFiles(class_loader)) {
208 ASSERT_TRUE(dex_file->EnableWrite());
209 }
210
211 CompileAll(class_loader);
212
213 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Andreas Gampe70bef0d2015-04-15 02:37:28 -0700214 ScopedObjectAccess soa(self);
Mathieu Chartiered150002015-08-28 11:16:54 -0700215 StackHandleScope<1> hs(self);
Andreas Gampe70bef0d2015-04-15 02:37:28 -0700216 Handle<mirror::ClassLoader> h_loader(hs.NewHandle(
217 reinterpret_cast<mirror::ClassLoader*>(self->DecodeJObject(class_loader))));
218 mirror::Class* klass = class_linker->FindClass(self, "LStaticLeafMethods;", h_loader);
219 ASSERT_NE(klass, nullptr);
220
221 std::unique_ptr<std::unordered_set<std::string>> expected(GetCompiledMethods());
222
Mathieu Chartiere401d142015-04-22 13:56:20 -0700223 const auto pointer_size = class_linker->GetImagePointerSize();
224 for (auto& m : klass->GetDirectMethods(pointer_size)) {
225 std::string name = PrettyMethod(&m, true);
226 const void* code = m.GetEntryPointFromQuickCompiledCodePtrSize(pointer_size);
Andreas Gampe70bef0d2015-04-15 02:37:28 -0700227 ASSERT_NE(code, nullptr);
228 if (expected->find(name) != expected->end()) {
229 expected->erase(name);
230 EXPECT_FALSE(class_linker->IsQuickToInterpreterBridge(code));
231 } else {
232 EXPECT_TRUE(class_linker->IsQuickToInterpreterBridge(code));
233 }
234 }
235 EXPECT_TRUE(expected->empty());
236}
237
Brian Carlstrom7940e442013-07-12 13:46:57 -0700238// TODO: need check-cast test (when stub complete & we can throw/catch
239
240} // namespace art