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 | 7957d54 | 2011-09-09 17:16:01 -0700 | [diff] [blame] | 21 | void AssertStaticIntMethod(jint expected, const ClassLoader* class_loader, |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 22 | const char* class_name, const char* method, const char* signature, |
Elliott Hughes | 7957d54 | 2011-09-09 17:16:01 -0700 | [diff] [blame] | 23 | ...) { |
Shih-wei Liao | 303b01e | 2011-09-14 00:46:13 -0700 | [diff] [blame] | 24 | EnsureCompiled(class_loader, class_name, method, signature, false); |
Elliott Hughes | d3a7297 | 2011-09-07 15:31:59 -0700 | [diff] [blame] | 25 | #if defined(__arm__) |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 26 | va_list args; |
Elliott Hughes | 7957d54 | 2011-09-09 17:16:01 -0700 | [diff] [blame] | 27 | va_start(args, signature); |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 28 | jint result = env_->CallStaticIntMethodV(class_, mid_, args); |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 29 | va_end(args); |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 30 | LOG(INFO) << class_name << "." << method << "(...) result is " << result; |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 31 | EXPECT_EQ(expected, result); |
| 32 | #endif // __arm__ |
| 33 | } |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 34 | |
Elliott Hughes | 7957d54 | 2011-09-09 17:16:01 -0700 | [diff] [blame] | 35 | void AssertStaticLongMethod(jlong expected, const ClassLoader* class_loader, |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 36 | const char* class_name, const char* method, const char* signature, |
Elliott Hughes | 7957d54 | 2011-09-09 17:16:01 -0700 | [diff] [blame] | 37 | ...) { |
Shih-wei Liao | 303b01e | 2011-09-14 00:46:13 -0700 | [diff] [blame] | 38 | EnsureCompiled(class_loader, class_name, method, signature, false); |
Elliott Hughes | d3a7297 | 2011-09-07 15:31:59 -0700 | [diff] [blame] | 39 | #if defined(__arm__) |
buzbee | bafc342 | 2011-08-25 15:22:55 -0700 | [diff] [blame] | 40 | va_list args; |
Elliott Hughes | 7957d54 | 2011-09-09 17:16:01 -0700 | [diff] [blame] | 41 | va_start(args, signature); |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 42 | jlong result = env_->CallStaticLongMethodV(class_, mid_, args); |
buzbee | bafc342 | 2011-08-25 15:22:55 -0700 | [diff] [blame] | 43 | va_end(args); |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 44 | LOG(INFO) << class_name << "." << method << "(...) result is " << result; |
buzbee | bafc342 | 2011-08-25 15:22:55 -0700 | [diff] [blame] | 45 | EXPECT_EQ(expected, result); |
| 46 | #endif // __arm__ |
| 47 | } |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 48 | |
| 49 | void CompileAll(const ClassLoader* class_loader) { |
| 50 | compiler_->CompileAll(class_loader); |
| 51 | MakeAllExecutable(class_loader); |
| 52 | } |
| 53 | |
| 54 | void EnsureCompiled(const ClassLoader* class_loader, |
Shih-wei Liao | 303b01e | 2011-09-14 00:46:13 -0700 | [diff] [blame] | 55 | 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] | 56 | CompileAll(class_loader); |
Ian Rogers | a0841a8 | 2011-09-22 14:16:31 -0700 | [diff] [blame] | 57 | runtime_->Start(); |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 58 | env_ = Thread::Current()->GetJniEnv(); |
| 59 | class_ = env_->FindClass(class_name); |
| 60 | CHECK(class_ != NULL) << "Class not found: " << class_name; |
Shih-wei Liao | 303b01e | 2011-09-14 00:46:13 -0700 | [diff] [blame] | 61 | if (is_virtual) { |
| 62 | mid_ = env_->GetMethodID(class_, method, signature); |
| 63 | } else { |
| 64 | mid_ = env_->GetStaticMethodID(class_, method, signature); |
| 65 | } |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 66 | CHECK(mid_ != NULL) << "Method not found: " << class_name << "." << method << signature; |
| 67 | } |
| 68 | |
| 69 | void MakeAllExecutable(const ClassLoader* class_loader) { |
| 70 | const std::vector<const DexFile*>& class_path = ClassLoader::GetClassPath(class_loader); |
| 71 | for (size_t i = 0; i != class_path.size(); ++i) { |
| 72 | const DexFile* dex_file = class_path[i]; |
| 73 | CHECK(dex_file != NULL); |
| 74 | MakeDexFileExecutable(class_loader, *dex_file); |
| 75 | } |
| 76 | } |
| 77 | |
| 78 | void MakeDexFileExecutable(const ClassLoader* class_loader, const DexFile& dex_file) { |
| 79 | ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); |
| 80 | for (size_t i = 0; i < dex_file.NumClassDefs(); i++) { |
| 81 | const DexFile::ClassDef& class_def = dex_file.GetClassDef(i); |
| 82 | const char* descriptor = dex_file.GetClassDescriptor(class_def); |
| 83 | Class* c = class_linker->FindClass(descriptor, class_loader); |
| 84 | CHECK(c != NULL); |
| 85 | for (size_t i = 0; i < c->NumDirectMethods(); i++) { |
| 86 | MakeMethodExecutable(c->GetDirectMethod(i)); |
| 87 | } |
| 88 | for (size_t i = 0; i < c->NumVirtualMethods(); i++) { |
| 89 | MakeMethodExecutable(c->GetVirtualMethod(i)); |
| 90 | } |
| 91 | } |
| 92 | } |
| 93 | |
| 94 | void MakeMethodExecutable(Method* m) { |
| 95 | if (m->GetCodeArray() != NULL) { |
| 96 | MakeExecutable(m->GetCodeArray()); |
| 97 | } else { |
| 98 | LOG(WARNING) << "no code for " << PrettyMethod(m); |
| 99 | } |
| 100 | if (m->GetInvokeStubArray() != NULL) { |
| 101 | MakeExecutable(m->GetInvokeStubArray()); |
| 102 | } else { |
| 103 | LOG(WARNING) << "no invoke stub for " << PrettyMethod(m); |
| 104 | } |
| 105 | } |
| 106 | |
| 107 | JNIEnv* env_; |
| 108 | jclass class_; |
| 109 | jmethodID mid_; |
buzbee | c143c55 | 2011-08-20 17:38:58 -0700 | [diff] [blame] | 110 | }; |
| 111 | |
Brian Carlstrom | 7540ff4 | 2011-09-04 16:38:46 -0700 | [diff] [blame] | 112 | // Disabled due to 10 second runtime on host |
Elliott Hughes | 1240dad | 2011-09-09 16:24:50 -0700 | [diff] [blame] | 113 | TEST_F(CompilerTest, DISABLED_LARGE_CompileDexLibCore) { |
| 114 | CompileAll(NULL); |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 115 | |
| 116 | // All libcore references should resolve |
| 117 | const DexFile* dex = java_lang_dex_file_.get(); |
| 118 | DexCache* dex_cache = class_linker_->FindDexCache(*dex); |
| 119 | EXPECT_EQ(dex->NumStringIds(), dex_cache->NumStrings()); |
| 120 | for (size_t i = 0; i < dex_cache->NumStrings(); i++) { |
Elliott Hughes | cf4c6c4 | 2011-09-01 15:16:42 -0700 | [diff] [blame] | 121 | const String* string = dex_cache->GetResolvedString(i); |
Brian Carlstrom | 7540ff4 | 2011-09-04 16:38:46 -0700 | [diff] [blame] | 122 | EXPECT_TRUE(string != NULL) << "string_idx=" << i; |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 123 | } |
Brian Carlstrom | 1caa2c2 | 2011-08-28 13:02:33 -0700 | [diff] [blame] | 124 | EXPECT_EQ(dex->NumTypeIds(), dex_cache->NumResolvedTypes()); |
| 125 | for (size_t i = 0; i < dex_cache->NumResolvedTypes(); i++) { |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 126 | Class* type = dex_cache->GetResolvedType(i); |
Brian Carlstrom | 7540ff4 | 2011-09-04 16:38:46 -0700 | [diff] [blame] | 127 | EXPECT_TRUE(type != NULL) << "type_idx=" << i |
| 128 | << " " << dex->GetTypeDescriptor(dex->GetTypeId(i)); |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 129 | } |
Brian Carlstrom | 1caa2c2 | 2011-08-28 13:02:33 -0700 | [diff] [blame] | 130 | EXPECT_EQ(dex->NumMethodIds(), dex_cache->NumResolvedMethods()); |
| 131 | for (size_t i = 0; i < dex_cache->NumResolvedMethods(); i++) { |
Brian Carlstrom | 20cfffa | 2011-08-26 02:31:27 -0700 | [diff] [blame] | 132 | Method* method = dex_cache->GetResolvedMethod(i); |
Brian Carlstrom | 7540ff4 | 2011-09-04 16:38:46 -0700 | [diff] [blame] | 133 | EXPECT_TRUE(method != NULL) << "method_idx=" << i |
| 134 | << " " << dex->GetMethodClassDescriptor(dex->GetMethodId(i)) |
| 135 | << " " << dex->GetMethodName(dex->GetMethodId(i)); |
Shih-wei Liao | c486c11 | 2011-09-13 16:43:52 -0700 | [diff] [blame] | 136 | EXPECT_TRUE(method->GetCode() != NULL) << "method_idx=" << i |
| 137 | << " " |
| 138 | << dex->GetMethodClassDescriptor(dex->GetMethodId(i)) |
| 139 | << " " << dex->GetMethodName(dex->GetMethodId(i)); |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 140 | } |
Brian Carlstrom | 1caa2c2 | 2011-08-28 13:02:33 -0700 | [diff] [blame] | 141 | EXPECT_EQ(dex->NumFieldIds(), dex_cache->NumResolvedFields()); |
| 142 | for (size_t i = 0; i < dex_cache->NumResolvedFields(); i++) { |
Brian Carlstrom | 20cfffa | 2011-08-26 02:31:27 -0700 | [diff] [blame] | 143 | Field* field = dex_cache->GetResolvedField(i); |
Brian Carlstrom | 7540ff4 | 2011-09-04 16:38:46 -0700 | [diff] [blame] | 144 | EXPECT_TRUE(field != NULL) << "field_idx=" << i |
| 145 | << " " << dex->GetFieldClassDescriptor(dex->GetFieldId(i)) |
| 146 | << " " << dex->GetFieldName(dex->GetFieldId(i)); |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 147 | } |
| 148 | |
Brian Carlstrom | 83db772 | 2011-08-26 17:32:56 -0700 | [diff] [blame] | 149 | // TODO check Class::IsVerified for all classes |
| 150 | |
| 151 | // TODO: check that all Method::GetCode() values are non-null |
| 152 | |
Brian Carlstrom | 9cc262e | 2011-08-28 12:45:30 -0700 | [diff] [blame] | 153 | EXPECT_EQ(dex->NumMethodIds(), dex_cache->NumCodeAndDirectMethods()); |
| 154 | CodeAndDirectMethods* code_and_direct_methods = dex_cache->GetCodeAndDirectMethods(); |
| 155 | for (size_t i = 0; i < dex_cache->NumCodeAndDirectMethods(); i++) { |
Brian Carlstrom | 83db772 | 2011-08-26 17:32:56 -0700 | [diff] [blame] | 156 | Method* method = dex_cache->GetResolvedMethod(i); |
Brian Carlstrom | 7540ff4 | 2011-09-04 16:38:46 -0700 | [diff] [blame] | 157 | if (method->IsDirect()) { |
| 158 | EXPECT_EQ(method->GetCode(), code_and_direct_methods->GetResolvedCode(i)); |
| 159 | EXPECT_EQ(method, code_and_direct_methods->GetResolvedMethod(i)); |
| 160 | } else { |
| 161 | EXPECT_EQ(0U, code_and_direct_methods->GetResolvedCode(i)); |
| 162 | EXPECT_TRUE(code_and_direct_methods->GetResolvedMethod(i) == NULL); |
| 163 | } |
Brian Carlstrom | 83db772 | 2011-08-26 17:32:56 -0700 | [diff] [blame] | 164 | } |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 165 | } |
| 166 | |
Ian Rogers | a0841a8 | 2011-09-22 14:16:31 -0700 | [diff] [blame] | 167 | TEST_F(CompilerTest, AbstractMethodErrorStub) { |
Shih-wei Liao | 303b01e | 2011-09-14 00:46:13 -0700 | [diff] [blame] | 168 | const ClassLoader* class_loader = LoadDex("AbstractMethod"); |
Ian Rogers | a0841a8 | 2011-09-22 14:16:31 -0700 | [diff] [blame] | 169 | ASSERT_TRUE(class_loader != NULL); |
| 170 | EnsureCompiled(class_loader, "AbstractClass", "foo", "()V", true); |
Shih-wei Liao | 303b01e | 2011-09-14 00:46:13 -0700 | [diff] [blame] | 171 | |
Ian Rogers | a0841a8 | 2011-09-22 14:16:31 -0700 | [diff] [blame] | 172 | // Create a jobj_ of ConcreteClass, NOT AbstractClass. |
| 173 | jclass c_class = env_->FindClass("ConcreteClass"); |
| 174 | jmethodID constructor = env_->GetMethodID(c_class, "<init>", "()V"); |
| 175 | jobject jobj_ = env_->NewObject(c_class, constructor); |
Shih-wei Liao | 303b01e | 2011-09-14 00:46:13 -0700 | [diff] [blame] | 176 | ASSERT_TRUE(jobj_ != NULL); |
| 177 | |
| 178 | #if defined(__arm__) |
Ian Rogers | a0841a8 | 2011-09-22 14:16:31 -0700 | [diff] [blame] | 179 | Class* jlame = class_linker_->FindClass("Ljava/lang/AbstractMethodError;", class_loader); |
| 180 | // Force non-virtal call to AbstractClass foo, will throw AbstractMethodError exception. |
Shih-wei Liao | 303b01e | 2011-09-14 00:46:13 -0700 | [diff] [blame] | 181 | env_->CallNonvirtualVoidMethod(jobj_, class_, mid_); |
Ian Rogers | a0841a8 | 2011-09-22 14:16:31 -0700 | [diff] [blame] | 182 | EXPECT_TRUE(Thread::Current()->IsExceptionPending()); |
| 183 | EXPECT_TRUE(Thread::Current()->GetException()->InstanceOf(jlame)); |
| 184 | Thread::Current()->ClearException(); |
Shih-wei Liao | 303b01e | 2011-09-14 00:46:13 -0700 | [diff] [blame] | 185 | #endif // __arm__ |
| 186 | } |
| 187 | |
buzbee | 2a475e7 | 2011-09-07 17:19:17 -0700 | [diff] [blame] | 188 | // TODO: need check-cast test (when stub complete & we can throw/catch |
| 189 | |
buzbee | c143c55 | 2011-08-20 17:38:58 -0700 | [diff] [blame] | 190 | } // namespace art |