blob: 17854fd61a8daece8cbd2d2ed986d935c79c0e90 [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"
Nicolas Geoffrayc7da1d62017-04-19 09:36:24 +010026#include "compiled_class.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070027#include "dex_file.h"
Andreas Gampea5b09a62016-11-17 15:21:22 -080028#include "dex_file_types.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070029#include "gc/heap.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070030#include "mirror/class-inl.h"
Ian Rogerse63db272014-07-15 15:36:11 -070031#include "mirror/class_loader.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070032#include "mirror/dex_cache-inl.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070033#include "mirror/object_array-inl.h"
34#include "mirror/object-inl.h"
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070035#include "handle_scope-inl.h"
Calin Juravle33083d62017-01-18 15:29:12 -080036#include "jit/profile_compilation_info.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070037#include "scoped_thread_state_change-inl.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070038
39namespace art {
40
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080041class CompilerDriverTest : public CommonCompilerTest {
Brian Carlstrom7940e442013-07-12 13:46:57 -070042 protected:
Mathieu Chartier90443472015-07-16 20:32:27 -070043 void CompileAll(jobject class_loader) REQUIRES(!Locks::mutator_lock_) {
Ian Rogers5fe9af72013-11-14 00:17:20 -080044 TimingLogger timings("CompilerDriverTest::CompileAll", false, false);
Mathieu Chartierf5997b42014-06-20 10:37:54 -070045 TimingLogger::ScopedTiming t(__FUNCTION__, &timings);
Brian Carlstrom45602482013-07-21 22:07:55 -070046 compiler_driver_->CompileAll(class_loader,
Andreas Gampe81c6f8d2015-03-25 17:19:53 -070047 GetDexFiles(class_loader),
Nicolas Geoffray6bb7f1b2016-11-03 10:52:49 +000048 /* verifier_deps */ nullptr,
Ian Rogers3d504072014-03-01 09:16:49 -080049 &timings);
Mathieu Chartierf5997b42014-06-20 10:37:54 -070050 t.NewTiming("MakeAllExecutable");
Brian Carlstrom7940e442013-07-12 13:46:57 -070051 MakeAllExecutable(class_loader);
52 }
53
54 void EnsureCompiled(jobject class_loader, const char* class_name, const char* method,
55 const char* signature, bool is_virtual)
Mathieu Chartier90443472015-07-16 20:32:27 -070056 REQUIRES(!Locks::mutator_lock_) {
Brian Carlstrom7940e442013-07-12 13:46:57 -070057 CompileAll(class_loader);
58 Thread::Current()->TransitionFromSuspendedToRunnable();
59 bool started = runtime_->Start();
60 CHECK(started);
61 env_ = Thread::Current()->GetJniEnv();
62 class_ = env_->FindClass(class_name);
Mathieu Chartier2cebb242015-04-21 16:50:40 -070063 CHECK(class_ != nullptr) << "Class not found: " << class_name;
Brian Carlstrom7940e442013-07-12 13:46:57 -070064 if (is_virtual) {
65 mid_ = env_->GetMethodID(class_, method, signature);
66 } else {
67 mid_ = env_->GetStaticMethodID(class_, method, signature);
68 }
Mathieu Chartier2cebb242015-04-21 16:50:40 -070069 CHECK(mid_ != nullptr) << "Method not found: " << class_name << "." << method << signature;
Brian Carlstrom7940e442013-07-12 13:46:57 -070070 }
71
72 void MakeAllExecutable(jobject class_loader) {
Andreas Gampe81c6f8d2015-03-25 17:19:53 -070073 const std::vector<const DexFile*> class_path = GetDexFiles(class_loader);
Brian Carlstrom7940e442013-07-12 13:46:57 -070074 for (size_t i = 0; i != class_path.size(); ++i) {
75 const DexFile* dex_file = class_path[i];
Mathieu Chartier2cebb242015-04-21 16:50:40 -070076 CHECK(dex_file != nullptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -070077 MakeDexFileExecutable(class_loader, *dex_file);
78 }
79 }
80
81 void MakeDexFileExecutable(jobject class_loader, const DexFile& dex_file) {
82 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
83 for (size_t i = 0; i < dex_file.NumClassDefs(); i++) {
84 const DexFile::ClassDef& class_def = dex_file.GetClassDef(i);
85 const char* descriptor = dex_file.GetClassDescriptor(class_def);
86 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070087 StackHandleScope<1> hs(soa.Self());
88 Handle<mirror::ClassLoader> loader(
Mathieu Chartier0795f232016-09-27 18:43:30 -070089 hs.NewHandle(soa.Decode<mirror::ClassLoader>(class_loader)));
Ian Rogers98379392014-02-24 16:53:16 -080090 mirror::Class* c = class_linker->FindClass(soa.Self(), descriptor, loader);
Mathieu Chartier2cebb242015-04-21 16:50:40 -070091 CHECK(c != nullptr);
Mathieu Chartiere401d142015-04-22 13:56:20 -070092 const auto pointer_size = class_linker->GetImagePointerSize();
Alex Lighte64300b2015-12-15 15:02:47 -080093 for (auto& m : c->GetMethods(pointer_size)) {
Mathieu Chartiere401d142015-04-22 13:56:20 -070094 MakeExecutable(&m);
Brian Carlstrom7940e442013-07-12 13:46:57 -070095 }
96 }
97 }
98
99 JNIEnv* env_;
100 jclass class_;
101 jmethodID mid_;
102};
103
104// Disabled due to 10 second runtime on host
Vladimir Marko8d6768d2017-03-14 10:13:21 +0000105// TODO: Update the test for hash-based dex cache arrays. Bug: 30627598
Brian Carlstrom7940e442013-07-12 13:46:57 -0700106TEST_F(CompilerDriverTest, DISABLED_LARGE_CompileDexLibCore) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700107 CompileAll(nullptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700108
109 // All libcore references should resolve
110 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700111 ASSERT_TRUE(java_lang_dex_file_ != nullptr);
Richard Uhlerfbef44d2014-12-23 09:48:51 -0800112 const DexFile& dex = *java_lang_dex_file_;
Mathieu Chartier28357fa2016-10-18 16:27:40 -0700113 ObjPtr<mirror::DexCache> dex_cache = class_linker_->FindDexCache(soa.Self(), dex);
Richard Uhlerfbef44d2014-12-23 09:48:51 -0800114 EXPECT_EQ(dex.NumStringIds(), dex_cache->NumStrings());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700115 for (size_t i = 0; i < dex_cache->NumStrings(); i++) {
Andreas Gampe8a0128a2016-11-28 07:38:35 -0800116 const mirror::String* string = dex_cache->GetResolvedString(dex::StringIndex(i));
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700117 EXPECT_TRUE(string != nullptr) << "string_idx=" << i;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700118 }
Richard Uhlerfbef44d2014-12-23 09:48:51 -0800119 EXPECT_EQ(dex.NumTypeIds(), dex_cache->NumResolvedTypes());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700120 for (size_t i = 0; i < dex_cache->NumResolvedTypes(); i++) {
Andreas Gampea5b09a62016-11-17 15:21:22 -0800121 mirror::Class* type = dex_cache->GetResolvedType(dex::TypeIndex(i));
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700122 EXPECT_TRUE(type != nullptr) << "type_idx=" << i
Andreas Gampea5b09a62016-11-17 15:21:22 -0800123 << " " << dex.GetTypeDescriptor(dex.GetTypeId(dex::TypeIndex(i)));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700124 }
Richard Uhlerfbef44d2014-12-23 09:48:51 -0800125 EXPECT_EQ(dex.NumMethodIds(), dex_cache->NumResolvedMethods());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700126 auto* cl = Runtime::Current()->GetClassLinker();
127 auto pointer_size = cl->GetImagePointerSize();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700128 for (size_t i = 0; i < dex_cache->NumResolvedMethods(); i++) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700129 ArtMethod* method = dex_cache->GetResolvedMethod(i, pointer_size);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700130 EXPECT_TRUE(method != nullptr) << "method_idx=" << i
Richard Uhlerfbef44d2014-12-23 09:48:51 -0800131 << " " << dex.GetMethodDeclaringClassDescriptor(dex.GetMethodId(i))
132 << " " << dex.GetMethodName(dex.GetMethodId(i));
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700133 EXPECT_TRUE(method->GetEntryPointFromQuickCompiledCode() != nullptr) << "method_idx=" << i
134 << " " << dex.GetMethodDeclaringClassDescriptor(dex.GetMethodId(i)) << " "
135 << dex.GetMethodName(dex.GetMethodId(i));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700136 }
Vladimir Markof44d36c2017-03-14 14:18:46 +0000137 EXPECT_TRUE(dex_cache->StaticArtFieldSize() == dex_cache->NumResolvedFields()
138 || dex.NumFieldIds() == dex_cache->NumResolvedFields());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700139 for (size_t i = 0; i < dex_cache->NumResolvedFields(); i++) {
Vladimir Markof44d36c2017-03-14 14:18:46 +0000140 ArtField* field = dex_cache->GetResolvedField(i, cl->GetImagePointerSize());
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700141 EXPECT_TRUE(field != nullptr) << "field_idx=" << i
Richard Uhlerfbef44d2014-12-23 09:48:51 -0800142 << " " << dex.GetFieldDeclaringClassDescriptor(dex.GetFieldId(i))
143 << " " << dex.GetFieldName(dex.GetFieldId(i));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700144 }
145
146 // TODO check Class::IsVerified for all classes
147
148 // TODO: check that all Method::GetCode() values are non-null
149}
150
Yi Kong5dcf19d2016-04-04 17:44:59 +0100151TEST_F(CompilerDriverTest, AbstractMethodErrorStub) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700152 jobject class_loader;
153 {
154 ScopedObjectAccess soa(Thread::Current());
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) {
194 Thread* self = Thread::Current();
195 jobject class_loader;
196 {
197 ScopedObjectAccess soa(self);
198 class_loader = LoadDex("StaticLeafMethods");
199 }
200 ASSERT_NE(class_loader, nullptr);
201
202 // Need to enable dex-file writability. Methods rejected to be compiled will run through the
203 // dex-to-dex compiler.
204 for (const DexFile* dex_file : GetDexFiles(class_loader)) {
205 ASSERT_TRUE(dex_file->EnableWrite());
206 }
207
208 CompileAll(class_loader);
209
210 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Andreas Gampe70bef0d2015-04-15 02:37:28 -0700211 ScopedObjectAccess soa(self);
Mathieu Chartiered150002015-08-28 11:16:54 -0700212 StackHandleScope<1> hs(self);
Mathieu Chartierc4f39252016-10-05 18:32:08 -0700213 Handle<mirror::ClassLoader> h_loader(
214 hs.NewHandle(soa.Decode<mirror::ClassLoader>(class_loader)));
Andreas Gampe70bef0d2015-04-15 02:37:28 -0700215 mirror::Class* klass = class_linker->FindClass(self, "LStaticLeafMethods;", h_loader);
216 ASSERT_NE(klass, nullptr);
217
218 std::unique_ptr<std::unordered_set<std::string>> expected(GetCompiledMethods());
219
Mathieu Chartiere401d142015-04-22 13:56:20 -0700220 const auto pointer_size = class_linker->GetImagePointerSize();
221 for (auto& m : klass->GetDirectMethods(pointer_size)) {
David Sehr709b0702016-10-13 09:12:37 -0700222 std::string name = m.PrettyMethod(true);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700223 const void* code = m.GetEntryPointFromQuickCompiledCodePtrSize(pointer_size);
Andreas Gampe70bef0d2015-04-15 02:37:28 -0700224 ASSERT_NE(code, nullptr);
225 if (expected->find(name) != expected->end()) {
226 expected->erase(name);
227 EXPECT_FALSE(class_linker->IsQuickToInterpreterBridge(code));
228 } else {
229 EXPECT_TRUE(class_linker->IsQuickToInterpreterBridge(code));
230 }
231 }
232 EXPECT_TRUE(expected->empty());
233}
234
Calin Juravle877fd962016-01-05 14:29:29 +0000235class CompilerDriverProfileTest : public CompilerDriverTest {
236 protected:
237 ProfileCompilationInfo* GetProfileCompilationInfo() OVERRIDE {
238 ScopedObjectAccess soa(Thread::Current());
239 std::vector<std::unique_ptr<const DexFile>> dex_files = OpenTestDexFiles("ProfileTestMultiDex");
240
241 ProfileCompilationInfo info;
242 for (const std::unique_ptr<const DexFile>& dex_file : dex_files) {
Calin Juravlee0ac1152017-02-13 19:03:47 -0800243 profile_info_.AddMethodIndex(dex_file->GetLocation(), dex_file->GetLocationChecksum(), 1);
244 profile_info_.AddMethodIndex(dex_file->GetLocation(), dex_file->GetLocationChecksum(), 2);
Calin Juravle877fd962016-01-05 14:29:29 +0000245 }
246 return &profile_info_;
247 }
248
Mathieu Chartierd0af56c2017-02-17 12:56:25 -0800249 CompilerFilter::Filter GetCompilerFilter() const OVERRIDE {
250 // Use a profile based filter.
251 return CompilerFilter::kSpeedProfile;
252 }
253
Calin Juravle877fd962016-01-05 14:29:29 +0000254 std::unordered_set<std::string> GetExpectedMethodsForClass(const std::string& clazz) {
255 if (clazz == "Main") {
256 return std::unordered_set<std::string>({
257 "java.lang.String Main.getA()",
258 "java.lang.String Main.getB()"});
259 } else if (clazz == "Second") {
260 return std::unordered_set<std::string>({
261 "java.lang.String Second.getX()",
262 "java.lang.String Second.getY()"});
263 } else {
264 return std::unordered_set<std::string>();
265 }
266 }
267
268 void CheckCompiledMethods(jobject class_loader,
269 const std::string& clazz,
270 const std::unordered_set<std::string>& expected_methods) {
271 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
272 Thread* self = Thread::Current();
273 ScopedObjectAccess soa(self);
274 StackHandleScope<1> hs(self);
Mathieu Chartierc4f39252016-10-05 18:32:08 -0700275 Handle<mirror::ClassLoader> h_loader(
276 hs.NewHandle(soa.Decode<mirror::ClassLoader>(class_loader)));
Calin Juravle877fd962016-01-05 14:29:29 +0000277 mirror::Class* klass = class_linker->FindClass(self, clazz.c_str(), h_loader);
278 ASSERT_NE(klass, nullptr);
279
280 const auto pointer_size = class_linker->GetImagePointerSize();
281 size_t number_of_compiled_methods = 0;
282 for (auto& m : klass->GetVirtualMethods(pointer_size)) {
David Sehr709b0702016-10-13 09:12:37 -0700283 std::string name = m.PrettyMethod(true);
Calin Juravle877fd962016-01-05 14:29:29 +0000284 const void* code = m.GetEntryPointFromQuickCompiledCodePtrSize(pointer_size);
285 ASSERT_NE(code, nullptr);
286 if (expected_methods.find(name) != expected_methods.end()) {
287 number_of_compiled_methods++;
288 EXPECT_FALSE(class_linker->IsQuickToInterpreterBridge(code));
289 } else {
290 EXPECT_TRUE(class_linker->IsQuickToInterpreterBridge(code));
291 }
292 }
293 EXPECT_EQ(expected_methods.size(), number_of_compiled_methods);
294 }
295
296 private:
297 ProfileCompilationInfo profile_info_;
298};
299
300TEST_F(CompilerDriverProfileTest, ProfileGuidedCompilation) {
Calin Juravle877fd962016-01-05 14:29:29 +0000301 Thread* self = Thread::Current();
302 jobject class_loader;
303 {
304 ScopedObjectAccess soa(self);
305 class_loader = LoadDex("ProfileTestMultiDex");
306 }
307 ASSERT_NE(class_loader, nullptr);
308
309 // Need to enable dex-file writability. Methods rejected to be compiled will run through the
310 // dex-to-dex compiler.
Calin Juravle877fd962016-01-05 14:29:29 +0000311 for (const DexFile* dex_file : GetDexFiles(class_loader)) {
312 ASSERT_TRUE(dex_file->EnableWrite());
313 }
314
315 CompileAll(class_loader);
316
317 std::unordered_set<std::string> m = GetExpectedMethodsForClass("Main");
318 std::unordered_set<std::string> s = GetExpectedMethodsForClass("Second");
319 CheckCompiledMethods(class_loader, "LMain;", m);
320 CheckCompiledMethods(class_loader, "LSecond;", s);
321}
322
Nicolas Geoffrayc7da1d62017-04-19 09:36:24 +0100323// Test that a verify only compiler filter updates the CompiledClass map,
324// which will be used for OatClass.
325class CompilerDriverVerifyTest : public CompilerDriverTest {
326 protected:
327 CompilerFilter::Filter GetCompilerFilter() const OVERRIDE {
Nicolas Geoffray49cda062017-04-21 13:08:25 +0100328 return CompilerFilter::kVerify;
Nicolas Geoffrayc7da1d62017-04-19 09:36:24 +0100329 }
330
331 void CheckVerifiedClass(jobject class_loader, const std::string& clazz) const {
332 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
333 Thread* self = Thread::Current();
334 ScopedObjectAccess soa(self);
335 StackHandleScope<1> hs(self);
336 Handle<mirror::ClassLoader> h_loader(
337 hs.NewHandle(soa.Decode<mirror::ClassLoader>(class_loader)));
338 mirror::Class* klass = class_linker->FindClass(self, clazz.c_str(), h_loader);
339 ASSERT_NE(klass, nullptr);
340 EXPECT_TRUE(klass->IsVerified());
341
342 CompiledClass* compiled_class = compiler_driver_->GetCompiledClass(
343 ClassReference(&klass->GetDexFile(), klass->GetDexTypeIndex().index_));
344 ASSERT_NE(compiled_class, nullptr);
345 EXPECT_EQ(compiled_class->GetStatus(), mirror::Class::kStatusVerified);
346 }
347};
348
349TEST_F(CompilerDriverVerifyTest, VerifyCompilation) {
350 Thread* self = Thread::Current();
351 jobject class_loader;
352 {
353 ScopedObjectAccess soa(self);
354 class_loader = LoadDex("ProfileTestMultiDex");
355 }
356 ASSERT_NE(class_loader, nullptr);
357
358 CompileAll(class_loader);
359
360 CheckVerifiedClass(class_loader, "LMain;");
361 CheckVerifiedClass(class_loader, "LSecond;");
362}
363
Brian Carlstrom7940e442013-07-12 13:46:57 -0700364// TODO: need check-cast test (when stub complete & we can throw/catch
365
366} // namespace art