buzbee | c143c55 | 2011-08-20 17:38:58 -0700 | [diff] [blame] | 1 | // Copyright 2011 Google Inc. All Rights Reserved. |
| 2 | |
Elliott Hughes | 90a3369 | 2011-08-30 13:27:07 -0700 | [diff] [blame] | 3 | #include "compiler.h" |
| 4 | |
| 5 | #include <stdint.h> |
| 6 | #include <stdio.h> |
| 7 | |
| 8 | #include "UniquePtr.h" |
buzbee | c143c55 | 2011-08-20 17:38:58 -0700 | [diff] [blame] | 9 | #include "class_linker.h" |
| 10 | #include "common_test.h" |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 11 | #include "dex_cache.h" |
buzbee | c143c55 | 2011-08-20 17:38:58 -0700 | [diff] [blame] | 12 | #include "dex_file.h" |
| 13 | #include "heap.h" |
| 14 | #include "object.h" |
buzbee | c143c55 | 2011-08-20 17:38:58 -0700 | [diff] [blame] | 15 | |
| 16 | namespace art { |
| 17 | |
| 18 | class CompilerTest : public CommonTest { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 19 | protected: |
Brian Carlstrom | 8a48741 | 2011-08-29 20:08:52 -0700 | [diff] [blame] | 20 | |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 21 | void CompileAll(const ClassLoader* class_loader) { |
| 22 | compiler_->CompileAll(class_loader); |
| 23 | MakeAllExecutable(class_loader); |
| 24 | } |
| 25 | |
| 26 | void EnsureCompiled(const ClassLoader* class_loader, |
Shih-wei Liao | 303b01e | 2011-09-14 00:46:13 -0700 | [diff] [blame] | 27 | const char* class_name, const char* method, const char* signature, bool is_virtual) { |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 28 | CompileAll(class_loader); |
Ian Rogers | a0841a8 | 2011-09-22 14:16:31 -0700 | [diff] [blame] | 29 | runtime_->Start(); |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 30 | env_ = Thread::Current()->GetJniEnv(); |
| 31 | class_ = env_->FindClass(class_name); |
| 32 | CHECK(class_ != NULL) << "Class not found: " << class_name; |
Shih-wei Liao | 303b01e | 2011-09-14 00:46:13 -0700 | [diff] [blame] | 33 | if (is_virtual) { |
| 34 | mid_ = env_->GetMethodID(class_, method, signature); |
| 35 | } else { |
| 36 | mid_ = env_->GetStaticMethodID(class_, method, signature); |
| 37 | } |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 38 | CHECK(mid_ != NULL) << "Method not found: " << class_name << "." << method << signature; |
| 39 | } |
| 40 | |
| 41 | void MakeAllExecutable(const ClassLoader* class_loader) { |
| 42 | const std::vector<const DexFile*>& class_path = ClassLoader::GetClassPath(class_loader); |
| 43 | for (size_t i = 0; i != class_path.size(); ++i) { |
| 44 | const DexFile* dex_file = class_path[i]; |
| 45 | CHECK(dex_file != NULL); |
| 46 | MakeDexFileExecutable(class_loader, *dex_file); |
| 47 | } |
| 48 | } |
| 49 | |
| 50 | void MakeDexFileExecutable(const ClassLoader* class_loader, const DexFile& dex_file) { |
| 51 | ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); |
| 52 | for (size_t i = 0; i < dex_file.NumClassDefs(); i++) { |
| 53 | const DexFile::ClassDef& class_def = dex_file.GetClassDef(i); |
| 54 | const char* descriptor = dex_file.GetClassDescriptor(class_def); |
| 55 | Class* c = class_linker->FindClass(descriptor, class_loader); |
| 56 | CHECK(c != NULL); |
| 57 | for (size_t i = 0; i < c->NumDirectMethods(); i++) { |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame^] | 58 | MakeExecutable(c->GetDirectMethod(i)); |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 59 | } |
| 60 | for (size_t i = 0; i < c->NumVirtualMethods(); i++) { |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame^] | 61 | MakeExecutable(c->GetVirtualMethod(i)); |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 62 | } |
| 63 | } |
| 64 | } |
| 65 | |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 66 | JNIEnv* env_; |
| 67 | jclass class_; |
| 68 | jmethodID mid_; |
buzbee | c143c55 | 2011-08-20 17:38:58 -0700 | [diff] [blame] | 69 | }; |
| 70 | |
Brian Carlstrom | 7540ff4 | 2011-09-04 16:38:46 -0700 | [diff] [blame] | 71 | // Disabled due to 10 second runtime on host |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 72 | TEST_F(CompilerTest, DISABLED_LARGE_CompileDexLibCore) { |
| 73 | CompileAll(NULL); |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 74 | |
| 75 | // All libcore references should resolve |
| 76 | const DexFile* dex = java_lang_dex_file_.get(); |
| 77 | DexCache* dex_cache = class_linker_->FindDexCache(*dex); |
| 78 | EXPECT_EQ(dex->NumStringIds(), dex_cache->NumStrings()); |
| 79 | for (size_t i = 0; i < dex_cache->NumStrings(); i++) { |
Elliott Hughes | cf4c6c4 | 2011-09-01 15:16:42 -0700 | [diff] [blame] | 80 | const String* string = dex_cache->GetResolvedString(i); |
Brian Carlstrom | 7540ff4 | 2011-09-04 16:38:46 -0700 | [diff] [blame] | 81 | EXPECT_TRUE(string != NULL) << "string_idx=" << i; |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 82 | } |
Brian Carlstrom | 1caa2c2 | 2011-08-28 13:02:33 -0700 | [diff] [blame] | 83 | EXPECT_EQ(dex->NumTypeIds(), dex_cache->NumResolvedTypes()); |
| 84 | for (size_t i = 0; i < dex_cache->NumResolvedTypes(); i++) { |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 85 | Class* type = dex_cache->GetResolvedType(i); |
Brian Carlstrom | 7540ff4 | 2011-09-04 16:38:46 -0700 | [diff] [blame] | 86 | EXPECT_TRUE(type != NULL) << "type_idx=" << i |
| 87 | << " " << dex->GetTypeDescriptor(dex->GetTypeId(i)); |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 88 | } |
Brian Carlstrom | 1caa2c2 | 2011-08-28 13:02:33 -0700 | [diff] [blame] | 89 | EXPECT_EQ(dex->NumMethodIds(), dex_cache->NumResolvedMethods()); |
| 90 | for (size_t i = 0; i < dex_cache->NumResolvedMethods(); i++) { |
Brian Carlstrom | 20cfffa | 2011-08-26 02:31:27 -0700 | [diff] [blame] | 91 | Method* method = dex_cache->GetResolvedMethod(i); |
Brian Carlstrom | 7540ff4 | 2011-09-04 16:38:46 -0700 | [diff] [blame] | 92 | EXPECT_TRUE(method != NULL) << "method_idx=" << i |
| 93 | << " " << dex->GetMethodClassDescriptor(dex->GetMethodId(i)) |
| 94 | << " " << dex->GetMethodName(dex->GetMethodId(i)); |
Shih-wei Liao | c486c11 | 2011-09-13 16:43:52 -0700 | [diff] [blame] | 95 | EXPECT_TRUE(method->GetCode() != NULL) << "method_idx=" << i |
| 96 | << " " |
| 97 | << dex->GetMethodClassDescriptor(dex->GetMethodId(i)) |
| 98 | << " " << dex->GetMethodName(dex->GetMethodId(i)); |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 99 | } |
Brian Carlstrom | 1caa2c2 | 2011-08-28 13:02:33 -0700 | [diff] [blame] | 100 | EXPECT_EQ(dex->NumFieldIds(), dex_cache->NumResolvedFields()); |
| 101 | for (size_t i = 0; i < dex_cache->NumResolvedFields(); i++) { |
Brian Carlstrom | 20cfffa | 2011-08-26 02:31:27 -0700 | [diff] [blame] | 102 | Field* field = dex_cache->GetResolvedField(i); |
Brian Carlstrom | 7540ff4 | 2011-09-04 16:38:46 -0700 | [diff] [blame] | 103 | EXPECT_TRUE(field != NULL) << "field_idx=" << i |
| 104 | << " " << dex->GetFieldClassDescriptor(dex->GetFieldId(i)) |
| 105 | << " " << dex->GetFieldName(dex->GetFieldId(i)); |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 106 | } |
| 107 | |
Brian Carlstrom | 83db772 | 2011-08-26 17:32:56 -0700 | [diff] [blame] | 108 | // TODO check Class::IsVerified for all classes |
| 109 | |
| 110 | // TODO: check that all Method::GetCode() values are non-null |
| 111 | |
Brian Carlstrom | 9cc262e | 2011-08-28 12:45:30 -0700 | [diff] [blame] | 112 | EXPECT_EQ(dex->NumMethodIds(), dex_cache->NumCodeAndDirectMethods()); |
| 113 | CodeAndDirectMethods* code_and_direct_methods = dex_cache->GetCodeAndDirectMethods(); |
| 114 | for (size_t i = 0; i < dex_cache->NumCodeAndDirectMethods(); i++) { |
Brian Carlstrom | 83db772 | 2011-08-26 17:32:56 -0700 | [diff] [blame] | 115 | Method* method = dex_cache->GetResolvedMethod(i); |
Brian Carlstrom | 7540ff4 | 2011-09-04 16:38:46 -0700 | [diff] [blame] | 116 | if (method->IsDirect()) { |
| 117 | EXPECT_EQ(method->GetCode(), code_and_direct_methods->GetResolvedCode(i)); |
| 118 | EXPECT_EQ(method, code_and_direct_methods->GetResolvedMethod(i)); |
| 119 | } else { |
| 120 | EXPECT_EQ(0U, code_and_direct_methods->GetResolvedCode(i)); |
| 121 | EXPECT_TRUE(code_and_direct_methods->GetResolvedMethod(i) == NULL); |
| 122 | } |
Brian Carlstrom | 83db772 | 2011-08-26 17:32:56 -0700 | [diff] [blame] | 123 | } |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 124 | } |
| 125 | |
Ian Rogers | a0841a8 | 2011-09-22 14:16:31 -0700 | [diff] [blame] | 126 | TEST_F(CompilerTest, AbstractMethodErrorStub) { |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame^] | 127 | CompileDirectMethod(NULL, "java.lang.Object", "<init>", "()V"); |
| 128 | |
Shih-wei Liao | 303b01e | 2011-09-14 00:46:13 -0700 | [diff] [blame] | 129 | const ClassLoader* class_loader = LoadDex("AbstractMethod"); |
Ian Rogers | a0841a8 | 2011-09-22 14:16:31 -0700 | [diff] [blame] | 130 | ASSERT_TRUE(class_loader != NULL); |
| 131 | EnsureCompiled(class_loader, "AbstractClass", "foo", "()V", true); |
Shih-wei Liao | 303b01e | 2011-09-14 00:46:13 -0700 | [diff] [blame] | 132 | |
Ian Rogers | a0841a8 | 2011-09-22 14:16:31 -0700 | [diff] [blame] | 133 | // Create a jobj_ of ConcreteClass, NOT AbstractClass. |
| 134 | jclass c_class = env_->FindClass("ConcreteClass"); |
| 135 | jmethodID constructor = env_->GetMethodID(c_class, "<init>", "()V"); |
| 136 | jobject jobj_ = env_->NewObject(c_class, constructor); |
Shih-wei Liao | 303b01e | 2011-09-14 00:46:13 -0700 | [diff] [blame] | 137 | ASSERT_TRUE(jobj_ != NULL); |
| 138 | |
| 139 | #if defined(__arm__) |
Ian Rogers | a0841a8 | 2011-09-22 14:16:31 -0700 | [diff] [blame] | 140 | Class* jlame = class_linker_->FindClass("Ljava/lang/AbstractMethodError;", class_loader); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame^] | 141 | // Force non-virtual call to AbstractClass foo, will throw AbstractMethodError exception. |
Shih-wei Liao | 303b01e | 2011-09-14 00:46:13 -0700 | [diff] [blame] | 142 | env_->CallNonvirtualVoidMethod(jobj_, class_, mid_); |
Ian Rogers | a0841a8 | 2011-09-22 14:16:31 -0700 | [diff] [blame] | 143 | EXPECT_TRUE(Thread::Current()->IsExceptionPending()); |
| 144 | EXPECT_TRUE(Thread::Current()->GetException()->InstanceOf(jlame)); |
| 145 | Thread::Current()->ClearException(); |
Shih-wei Liao | 303b01e | 2011-09-14 00:46:13 -0700 | [diff] [blame] | 146 | #endif // __arm__ |
| 147 | } |
| 148 | |
buzbee | 2a475e7 | 2011-09-07 17:19:17 -0700 | [diff] [blame] | 149 | // TODO: need check-cast test (when stub complete & we can throw/catch |
| 150 | |
buzbee | c143c55 | 2011-08-20 17:38:58 -0700 | [diff] [blame] | 151 | } // namespace art |