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