Elliott Hughes | 2faa5f1 | 2012-01-30 14:42:07 -0800 | [diff] [blame] | 1 | /* |
| 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 | */ |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 16 | |
Brian Carlstrom | a1ce1fe | 2014-02-24 23:23:58 -0800 | [diff] [blame] | 17 | #include "common_compiler_test.h" |
Nicolas Geoffray | b34f69a | 2014-03-07 15:28:39 +0000 | [diff] [blame] | 18 | #include "compiler/compiler.h" |
Brian Carlstrom | a1ce1fe | 2014-02-24 23:23:58 -0800 | [diff] [blame] | 19 | #include "compiler/oat_writer.h" |
Vladimir Marko | 7624d25 | 2014-05-02 14:40:15 +0100 | [diff] [blame] | 20 | #include "entrypoints/quick/quick_entrypoints.h" |
Brian Carlstrom | ea46f95 | 2013-07-30 01:26:50 -0700 | [diff] [blame] | 21 | #include "mirror/art_method-inl.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 22 | #include "mirror/class-inl.h" |
Ian Rogers | 04d7aa9 | 2013-03-16 14:29:17 -0700 | [diff] [blame] | 23 | #include "mirror/object-inl.h" |
Brian Carlstrom | a1ce1fe | 2014-02-24 23:23:58 -0800 | [diff] [blame] | 24 | #include "mirror/object_array-inl.h" |
Vladimir Marko | 7624d25 | 2014-05-02 14:40:15 +0100 | [diff] [blame] | 25 | #include "oat_file-inl.h" |
Brian Carlstrom | 700c8d3 | 2012-11-05 10:42:02 -0800 | [diff] [blame] | 26 | #include "vector_output_stream.h" |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 27 | |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 28 | namespace art { |
| 29 | |
Brian Carlstrom | a1ce1fe | 2014-02-24 23:23:58 -0800 | [diff] [blame] | 30 | class OatTest : public CommonCompilerTest { |
Logan Chien | eeb7edf | 2012-03-09 20:38:39 +0800 | [diff] [blame] | 31 | protected: |
Brian Carlstrom | ba150c3 | 2013-08-27 17:31:03 -0700 | [diff] [blame] | 32 | static const bool kCompile = false; // DISABLED_ due to the time to compile libcore |
| 33 | |
Brian Carlstrom | ea46f95 | 2013-07-30 01:26:50 -0700 | [diff] [blame] | 34 | void CheckMethod(mirror::ArtMethod* method, |
Logan Chien | eeb7edf | 2012-03-09 20:38:39 +0800 | [diff] [blame] | 35 | const OatFile::OatMethod& oat_method, |
Ian Rogers | 00f7d0e | 2012-07-19 15:28:27 -0700 | [diff] [blame] | 36 | const DexFile* dex_file) |
Ian Rogers | b726dcb | 2012-09-05 08:57:23 -0700 | [diff] [blame] | 37 | SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { |
Logan Chien | eeb7edf | 2012-03-09 20:38:39 +0800 | [diff] [blame] | 38 | const CompiledMethod* compiled_method = |
Brian Carlstrom | 51c2467 | 2013-07-11 16:00:56 -0700 | [diff] [blame] | 39 | compiler_driver_->GetCompiledMethod(MethodReference(dex_file, |
| 40 | method->GetDexMethodIndex())); |
Logan Chien | eeb7edf | 2012-03-09 20:38:39 +0800 | [diff] [blame] | 41 | |
| 42 | if (compiled_method == NULL) { |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 43 | EXPECT_TRUE(oat_method.GetQuickCode() == NULL) << PrettyMethod(method) << " " |
| 44 | << oat_method.GetQuickCode(); |
| 45 | EXPECT_TRUE(oat_method.GetPortableCode() == NULL) << PrettyMethod(method) << " " |
| 46 | << oat_method.GetPortableCode(); |
| 47 | EXPECT_EQ(oat_method.GetFrameSizeInBytes(), 0U); |
Logan Chien | eeb7edf | 2012-03-09 20:38:39 +0800 | [diff] [blame] | 48 | EXPECT_EQ(oat_method.GetCoreSpillMask(), 0U); |
| 49 | EXPECT_EQ(oat_method.GetFpSpillMask(), 0U); |
| 50 | } else { |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 51 | const void* quick_oat_code = oat_method.GetQuickCode(); |
| 52 | if (quick_oat_code != nullptr) { |
| 53 | EXPECT_EQ(oat_method.GetFrameSizeInBytes(), compiled_method->GetFrameSizeInBytes()); |
| 54 | EXPECT_EQ(oat_method.GetCoreSpillMask(), compiled_method->GetCoreSpillMask()); |
| 55 | EXPECT_EQ(oat_method.GetFpSpillMask(), compiled_method->GetFpSpillMask()); |
| 56 | uintptr_t oat_code_aligned = RoundDown(reinterpret_cast<uintptr_t>(quick_oat_code), 2); |
| 57 | quick_oat_code = reinterpret_cast<const void*>(oat_code_aligned); |
| 58 | const std::vector<uint8_t>* quick_code = compiled_method->GetQuickCode(); |
| 59 | EXPECT_TRUE(quick_code != nullptr); |
| 60 | size_t code_size = quick_code->size() * sizeof(quick_code[0]); |
| 61 | EXPECT_EQ(0, memcmp(quick_oat_code, &quick_code[0], code_size)) |
| 62 | << PrettyMethod(method) << " " << code_size; |
| 63 | CHECK_EQ(0, memcmp(quick_oat_code, &quick_code[0], code_size)); |
| 64 | } else { |
| 65 | const void* portable_oat_code = oat_method.GetPortableCode(); |
| 66 | EXPECT_TRUE(portable_oat_code != nullptr) << PrettyMethod(method); |
| 67 | EXPECT_EQ(oat_method.GetFrameSizeInBytes(), 0U); |
| 68 | EXPECT_EQ(oat_method.GetCoreSpillMask(), 0U); |
| 69 | EXPECT_EQ(oat_method.GetFpSpillMask(), 0U); |
| 70 | uintptr_t oat_code_aligned = RoundDown(reinterpret_cast<uintptr_t>(portable_oat_code), 2); |
| 71 | portable_oat_code = reinterpret_cast<const void*>(oat_code_aligned); |
| 72 | const std::vector<uint8_t>* portable_code = compiled_method->GetPortableCode(); |
| 73 | EXPECT_TRUE(portable_code != nullptr); |
| 74 | size_t code_size = portable_code->size() * sizeof(portable_code[0]); |
| 75 | EXPECT_EQ(0, memcmp(quick_oat_code, &portable_code[0], code_size)) |
| 76 | << PrettyMethod(method) << " " << code_size; |
| 77 | CHECK_EQ(0, memcmp(quick_oat_code, &portable_code[0], code_size)); |
| 78 | } |
Logan Chien | eeb7edf | 2012-03-09 20:38:39 +0800 | [diff] [blame] | 79 | } |
| 80 | } |
| 81 | }; |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 82 | |
| 83 | TEST_F(OatTest, WriteRead) { |
Brian Carlstrom | a1ce1fe | 2014-02-24 23:23:58 -0800 | [diff] [blame] | 84 | TimingLogger timings("OatTest::WriteRead", false, false); |
Jesse Wilson | 254db0f | 2011-11-16 16:44:11 -0500 | [diff] [blame] | 85 | ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 86 | |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 87 | // TODO: make selectable. |
Nicolas Geoffray | b34f69a | 2014-03-07 15:28:39 +0000 | [diff] [blame] | 88 | Compiler::Kind compiler_kind = kUsePortableCompiler |
| 89 | ? Compiler::kPortable |
| 90 | : Compiler::kQuick; |
Ian Rogers | a073c67 | 2013-07-30 17:43:55 -0700 | [diff] [blame] | 91 | InstructionSet insn_set = kIsTargetBuild ? kThumb2 : kX86; |
Dave Allison | 7020278 | 2013-10-22 17:52:19 -0700 | [diff] [blame] | 92 | |
| 93 | InstructionSetFeatures insn_features; |
Brian Carlstrom | 6449c62 | 2014-02-10 23:48:36 -0800 | [diff] [blame] | 94 | compiler_options_.reset(new CompilerOptions); |
| 95 | verification_results_.reset(new VerificationResults(compiler_options_.get())); |
Nicolas Geoffray | f5df897 | 2014-02-14 18:37:08 +0000 | [diff] [blame] | 96 | method_inliner_map_.reset(new DexFileToMethodInlinerMap); |
Brian Carlstrom | 6449c62 | 2014-02-10 23:48:36 -0800 | [diff] [blame] | 97 | callbacks_.reset(new CompilerCallbacksImpl(verification_results_.get(), |
| 98 | method_inliner_map_.get())); |
Nicolas Geoffray | ea3fa0b | 2014-02-10 11:59:41 +0000 | [diff] [blame] | 99 | timer_.reset(new CumulativeLogger("Compilation times")); |
Brian Carlstrom | 6449c62 | 2014-02-10 23:48:36 -0800 | [diff] [blame] | 100 | compiler_driver_.reset(new CompilerDriver(compiler_options_.get(), |
| 101 | verification_results_.get(), |
Sebastien Hertz | 102a8f2 | 2013-12-18 11:41:30 +0100 | [diff] [blame] | 102 | method_inliner_map_.get(), |
Nicolas Geoffray | b34f69a | 2014-03-07 15:28:39 +0000 | [diff] [blame] | 103 | compiler_kind, insn_set, |
Nicolas Geoffray | ea3fa0b | 2014-02-10 11:59:41 +0000 | [diff] [blame] | 104 | insn_features, false, NULL, 2, true, true, |
| 105 | timer_.get())); |
Ian Rogers | 00f7d0e | 2012-07-19 15:28:27 -0700 | [diff] [blame] | 106 | jobject class_loader = NULL; |
Brian Carlstrom | ba150c3 | 2013-08-27 17:31:03 -0700 | [diff] [blame] | 107 | if (kCompile) { |
Ian Rogers | 5fe9af7 | 2013-11-14 00:17:20 -0800 | [diff] [blame] | 108 | TimingLogger timings("OatTest::WriteRead", false, false); |
Ian Rogers | 3d50407 | 2014-03-01 09:16:49 -0800 | [diff] [blame] | 109 | compiler_driver_->CompileAll(class_loader, class_linker->GetBootClassPath(), &timings); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 110 | } |
| 111 | |
Ian Rogers | 00f7d0e | 2012-07-19 15:28:27 -0700 | [diff] [blame] | 112 | ScopedObjectAccess soa(Thread::Current()); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 113 | ScratchFile tmp; |
Brian Carlstrom | c50d8e1 | 2013-07-23 22:35:16 -0700 | [diff] [blame] | 114 | OatWriter oat_writer(class_linker->GetBootClassPath(), |
| 115 | 42U, |
| 116 | 4096U, |
| 117 | "lue.art", |
Ian Rogers | ca368cb | 2013-11-15 15:52:08 -0800 | [diff] [blame] | 118 | compiler_driver_.get(), |
| 119 | &timings); |
Brian Carlstrom | c50d8e1 | 2013-07-23 22:35:16 -0700 | [diff] [blame] | 120 | bool success = compiler_driver_->WriteElf(GetTestAndroidRoot(), |
| 121 | !kIsTargetBuild, |
| 122 | class_linker->GetBootClassPath(), |
Ian Rogers | 3d50407 | 2014-03-01 09:16:49 -0800 | [diff] [blame] | 123 | &oat_writer, |
Brian Carlstrom | c50d8e1 | 2013-07-23 22:35:16 -0700 | [diff] [blame] | 124 | tmp.GetFile()); |
| 125 | ASSERT_TRUE(success); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 126 | |
Brian Carlstrom | ba150c3 | 2013-08-27 17:31:03 -0700 | [diff] [blame] | 127 | if (kCompile) { // OatWriter strips the code, regenerate to compare |
Ian Rogers | 3d50407 | 2014-03-01 09:16:49 -0800 | [diff] [blame] | 128 | compiler_driver_->CompileAll(class_loader, class_linker->GetBootClassPath(), &timings); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 129 | } |
Ian Rogers | 8d31bbd | 2013-10-13 10:44:14 -0700 | [diff] [blame] | 130 | std::string error_msg; |
Ian Rogers | 700a402 | 2014-05-19 16:49:03 -0700 | [diff] [blame] | 131 | std::unique_ptr<OatFile> oat_file(OatFile::Open(tmp.GetFilename(), tmp.GetFilename(), NULL, false, |
Ian Rogers | 8d31bbd | 2013-10-13 10:44:14 -0700 | [diff] [blame] | 132 | &error_msg)); |
| 133 | ASSERT_TRUE(oat_file.get() != nullptr) << error_msg; |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 134 | const OatHeader& oat_header = oat_file->GetOatHeader(); |
Brian Carlstrom | f852fb2 | 2012-10-19 11:01:58 -0700 | [diff] [blame] | 135 | ASSERT_TRUE(oat_header.IsValid()); |
Brian Carlstrom | 919b11c | 2013-08-30 13:30:36 -0700 | [diff] [blame] | 136 | ASSERT_EQ(1U, oat_header.GetDexFileCount()); // core |
Brian Carlstrom | 28db012 | 2012-10-18 16:20:41 -0700 | [diff] [blame] | 137 | ASSERT_EQ(42U, oat_header.GetImageFileLocationOatChecksum()); |
Brian Carlstrom | 700c8d3 | 2012-11-05 10:42:02 -0800 | [diff] [blame] | 138 | ASSERT_EQ(4096U, oat_header.GetImageFileLocationOatDataBegin()); |
Brian Carlstrom | 81f3ca1 | 2012-03-17 00:27:35 -0700 | [diff] [blame] | 139 | ASSERT_EQ("lue.art", oat_header.GetImageFileLocation()); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 140 | |
Brian Carlstrom | a004aa9 | 2012-02-08 18:05:09 -0800 | [diff] [blame] | 141 | const DexFile* dex_file = java_lang_dex_file_; |
Brian Carlstrom | 756ee4e | 2013-10-03 15:46:12 -0700 | [diff] [blame] | 142 | uint32_t dex_file_checksum = dex_file->GetLocationChecksum(); |
Ian Rogers | 8d31bbd | 2013-10-13 10:44:14 -0700 | [diff] [blame] | 143 | const OatFile::OatDexFile* oat_dex_file = oat_file->GetOatDexFile(dex_file->GetLocation().c_str(), |
Brian Carlstrom | 756ee4e | 2013-10-03 15:46:12 -0700 | [diff] [blame] | 144 | &dex_file_checksum); |
Ian Rogers | 8d31bbd | 2013-10-13 10:44:14 -0700 | [diff] [blame] | 145 | ASSERT_TRUE(oat_dex_file != nullptr); |
Brian Carlstrom | a004aa9 | 2012-02-08 18:05:09 -0800 | [diff] [blame] | 146 | CHECK_EQ(dex_file->GetLocationChecksum(), oat_dex_file->GetDexFileLocationChecksum()); |
| 147 | for (size_t i = 0; i < dex_file->NumClassDefs(); i++) { |
| 148 | const DexFile::ClassDef& class_def = dex_file->GetClassDef(i); |
| 149 | const byte* class_data = dex_file->GetClassData(class_def); |
Brian Carlstrom | ba150c3 | 2013-08-27 17:31:03 -0700 | [diff] [blame] | 150 | size_t num_virtual_methods = 0; |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 151 | if (class_data != NULL) { |
Brian Carlstrom | a004aa9 | 2012-02-08 18:05:09 -0800 | [diff] [blame] | 152 | ClassDataItemIterator it(*dex_file, class_data); |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 153 | num_virtual_methods = it.NumVirtualMethods(); |
| 154 | } |
Brian Carlstrom | a004aa9 | 2012-02-08 18:05:09 -0800 | [diff] [blame] | 155 | const char* descriptor = dex_file->GetClassDescriptor(class_def); |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 156 | StackHandleScope<1> hs(soa.Self()); |
Mathieu Chartier | 0cd8135 | 2014-05-22 16:48:55 -0700 | [diff] [blame] | 157 | mirror::Class* klass = class_linker->FindClass(soa.Self(), descriptor, |
| 158 | NullHandle<mirror::ClassLoader>()); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 159 | |
Vladimir Marko | d3c5beb | 2014-04-11 16:32:51 +0100 | [diff] [blame] | 160 | const OatFile::OatClass oat_class = oat_dex_file->GetOatClass(i); |
| 161 | CHECK_EQ(mirror::Class::Status::kStatusNotReady, oat_class.GetStatus()) << descriptor; |
Brian Carlstrom | ba150c3 | 2013-08-27 17:31:03 -0700 | [diff] [blame] | 162 | CHECK_EQ(kCompile ? OatClassType::kOatClassAllCompiled : OatClassType::kOatClassNoneCompiled, |
Vladimir Marko | d3c5beb | 2014-04-11 16:32:51 +0100 | [diff] [blame] | 163 | oat_class.GetType()) << descriptor; |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 164 | |
| 165 | size_t method_index = 0; |
| 166 | for (size_t i = 0; i < klass->NumDirectMethods(); i++, method_index++) { |
Logan Chien | eeb7edf | 2012-03-09 20:38:39 +0800 | [diff] [blame] | 167 | CheckMethod(klass->GetDirectMethod(i), |
Vladimir Marko | d3c5beb | 2014-04-11 16:32:51 +0100 | [diff] [blame] | 168 | oat_class.GetOatMethod(method_index), dex_file); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 169 | } |
| 170 | for (size_t i = 0; i < num_virtual_methods; i++, method_index++) { |
Logan Chien | eeb7edf | 2012-03-09 20:38:39 +0800 | [diff] [blame] | 171 | CheckMethod(klass->GetVirtualMethod(i), |
Vladimir Marko | d3c5beb | 2014-04-11 16:32:51 +0100 | [diff] [blame] | 172 | oat_class.GetOatMethod(method_index), dex_file); |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 173 | } |
| 174 | } |
| 175 | } |
| 176 | |
Brian Carlstrom | 341df94 | 2012-06-27 12:29:22 -0700 | [diff] [blame] | 177 | TEST_F(OatTest, OatHeaderSizeCheck) { |
| 178 | // If this test is failing and you have to update these constants, |
| 179 | // it is time to update OatHeader::kOatVersion |
Andreas Gampe | 2da8823 | 2014-02-27 12:26:20 -0800 | [diff] [blame] | 180 | EXPECT_EQ(80U, sizeof(OatHeader)); |
Vladimir Marko | 7624d25 | 2014-05-02 14:40:15 +0100 | [diff] [blame] | 181 | EXPECT_EQ(8U, sizeof(OatMethodOffsets)); |
| 182 | EXPECT_EQ(24U, sizeof(OatQuickMethodHeader)); |
buzbee | 055c29f | 2014-05-27 13:59:04 -0700 | [diff] [blame] | 183 | EXPECT_EQ(79 * GetInstructionSetPointerSize(kRuntimeISA), sizeof(QuickEntryPoints)); |
Brian Carlstrom | 341df94 | 2012-06-27 12:29:22 -0700 | [diff] [blame] | 184 | } |
| 185 | |
Brian Carlstrom | f852fb2 | 2012-10-19 11:01:58 -0700 | [diff] [blame] | 186 | TEST_F(OatTest, OatHeaderIsValid) { |
| 187 | InstructionSet instruction_set = kX86; |
Dave Allison | 7020278 | 2013-10-22 17:52:19 -0700 | [diff] [blame] | 188 | InstructionSetFeatures instruction_set_features; |
Brian Carlstrom | f852fb2 | 2012-10-19 11:01:58 -0700 | [diff] [blame] | 189 | std::vector<const DexFile*> dex_files; |
| 190 | uint32_t image_file_location_oat_checksum = 0; |
| 191 | uint32_t image_file_location_oat_begin = 0; |
| 192 | const std::string image_file_location; |
| 193 | OatHeader oat_header(instruction_set, |
Dave Allison | 7020278 | 2013-10-22 17:52:19 -0700 | [diff] [blame] | 194 | instruction_set_features, |
Brian Carlstrom | f852fb2 | 2012-10-19 11:01:58 -0700 | [diff] [blame] | 195 | &dex_files, |
| 196 | image_file_location_oat_checksum, |
| 197 | image_file_location_oat_begin, |
| 198 | image_file_location); |
| 199 | ASSERT_TRUE(oat_header.IsValid()); |
| 200 | |
| 201 | char* magic = const_cast<char*>(oat_header.GetMagic()); |
| 202 | strcpy(magic, ""); // bad magic |
| 203 | ASSERT_FALSE(oat_header.IsValid()); |
Brian Carlstrom | 7934ac2 | 2013-07-26 10:54:15 -0700 | [diff] [blame] | 204 | strcpy(magic, "oat\n000"); // bad version |
Brian Carlstrom | f852fb2 | 2012-10-19 11:01:58 -0700 | [diff] [blame] | 205 | ASSERT_FALSE(oat_header.IsValid()); |
| 206 | } |
| 207 | |
Brian Carlstrom | e24fa61 | 2011-09-29 00:53:55 -0700 | [diff] [blame] | 208 | } // namespace art |