blob: b3070b6f48e4c01d07282bc5c30875f496fb9e6b [file] [log] [blame]
Elliott Hughes2faa5f12012-01-30 14:42:07 -08001/*
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 Carlstrome24fa612011-09-29 00:53:55 -070016
Brian Carlstrom51c24672013-07-11 16:00:56 -070017#include "compiler/oat_writer.h"
Brian Carlstromea46f952013-07-30 01:26:50 -070018#include "mirror/art_method-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080019#include "mirror/class-inl.h"
20#include "mirror/object_array-inl.h"
Ian Rogers04d7aa92013-03-16 14:29:17 -070021#include "mirror/object-inl.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070022#include "oat_file.h"
Brian Carlstrom700c8d32012-11-05 10:42:02 -080023#include "vector_output_stream.h"
Brian Carlstrome24fa612011-09-29 00:53:55 -070024
25#include "common_test.h"
26
27namespace art {
28
Logan Chieneeb7edf2012-03-09 20:38:39 +080029class OatTest : public CommonTest {
30 protected:
Brian Carlstromba150c32013-08-27 17:31:03 -070031 static const bool kCompile = false; // DISABLED_ due to the time to compile libcore
32
Brian Carlstromea46f952013-07-30 01:26:50 -070033 void CheckMethod(mirror::ArtMethod* method,
Logan Chieneeb7edf2012-03-09 20:38:39 +080034 const OatFile::OatMethod& oat_method,
Ian Rogers00f7d0e2012-07-19 15:28:27 -070035 const DexFile* dex_file)
Ian Rogersb726dcb2012-09-05 08:57:23 -070036 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Logan Chieneeb7edf2012-03-09 20:38:39 +080037 const CompiledMethod* compiled_method =
Brian Carlstrom51c24672013-07-11 16:00:56 -070038 compiler_driver_->GetCompiledMethod(MethodReference(dex_file,
39 method->GetDexMethodIndex()));
Logan Chieneeb7edf2012-03-09 20:38:39 +080040
41 if (compiled_method == NULL) {
Ian Rogersef7d42f2014-01-06 12:55:46 -080042 EXPECT_TRUE(oat_method.GetQuickCode() == NULL) << PrettyMethod(method) << " "
43 << oat_method.GetQuickCode();
44 EXPECT_TRUE(oat_method.GetPortableCode() == NULL) << PrettyMethod(method) << " "
45 << oat_method.GetPortableCode();
46 EXPECT_EQ(oat_method.GetFrameSizeInBytes(), 0U);
Logan Chieneeb7edf2012-03-09 20:38:39 +080047 EXPECT_EQ(oat_method.GetCoreSpillMask(), 0U);
48 EXPECT_EQ(oat_method.GetFpSpillMask(), 0U);
49 } else {
Ian Rogersef7d42f2014-01-06 12:55:46 -080050 const void* quick_oat_code = oat_method.GetQuickCode();
51 if (quick_oat_code != nullptr) {
52 EXPECT_EQ(oat_method.GetFrameSizeInBytes(), compiled_method->GetFrameSizeInBytes());
53 EXPECT_EQ(oat_method.GetCoreSpillMask(), compiled_method->GetCoreSpillMask());
54 EXPECT_EQ(oat_method.GetFpSpillMask(), compiled_method->GetFpSpillMask());
55 uintptr_t oat_code_aligned = RoundDown(reinterpret_cast<uintptr_t>(quick_oat_code), 2);
56 quick_oat_code = reinterpret_cast<const void*>(oat_code_aligned);
57 const std::vector<uint8_t>* quick_code = compiled_method->GetQuickCode();
58 EXPECT_TRUE(quick_code != nullptr);
59 size_t code_size = quick_code->size() * sizeof(quick_code[0]);
60 EXPECT_EQ(0, memcmp(quick_oat_code, &quick_code[0], code_size))
61 << PrettyMethod(method) << " " << code_size;
62 CHECK_EQ(0, memcmp(quick_oat_code, &quick_code[0], code_size));
63 } else {
64 const void* portable_oat_code = oat_method.GetPortableCode();
65 EXPECT_TRUE(portable_oat_code != nullptr) << PrettyMethod(method);
66 EXPECT_EQ(oat_method.GetFrameSizeInBytes(), 0U);
67 EXPECT_EQ(oat_method.GetCoreSpillMask(), 0U);
68 EXPECT_EQ(oat_method.GetFpSpillMask(), 0U);
69 uintptr_t oat_code_aligned = RoundDown(reinterpret_cast<uintptr_t>(portable_oat_code), 2);
70 portable_oat_code = reinterpret_cast<const void*>(oat_code_aligned);
71 const std::vector<uint8_t>* portable_code = compiled_method->GetPortableCode();
72 EXPECT_TRUE(portable_code != nullptr);
73 size_t code_size = portable_code->size() * sizeof(portable_code[0]);
74 EXPECT_EQ(0, memcmp(quick_oat_code, &portable_code[0], code_size))
75 << PrettyMethod(method) << " " << code_size;
76 CHECK_EQ(0, memcmp(quick_oat_code, &portable_code[0], code_size));
77 }
Logan Chieneeb7edf2012-03-09 20:38:39 +080078 }
79 }
80};
Brian Carlstrome24fa612011-09-29 00:53:55 -070081
82TEST_F(OatTest, WriteRead) {
Ian Rogersca368cb2013-11-15 15:52:08 -080083 TimingLogger timings("CommonTest::WriteRead", false, false);
Jesse Wilson254db0f2011-11-16 16:44:11 -050084 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Brian Carlstrome24fa612011-09-29 00:53:55 -070085
Ian Rogersef7d42f2014-01-06 12:55:46 -080086 // TODO: make selectable.
87 CompilerBackend compiler_backend = kUsePortableCompiler ? kPortable : kQuick;
Ian Rogersa073c672013-07-30 17:43:55 -070088 InstructionSet insn_set = kIsTargetBuild ? kThumb2 : kX86;
Dave Allison70202782013-10-22 17:52:19 -070089
90 InstructionSetFeatures insn_features;
Vladimir Markoc7f83202014-01-24 17:55:18 +000091 verification_results_.reset(new VerificationResults);
Vladimir Marko95a4de72013-12-18 10:29:11 +000092 method_inliner_map_.reset(compiler_backend == kQuick ? new DexFileToMethodInlinerMap : nullptr);
Vladimir Markoc7f83202014-01-24 17:55:18 +000093 callbacks_.Reset(verification_results_.get(), method_inliner_map_.get());
94 compiler_driver_.reset(new CompilerDriver(verification_results_.get(),
Sebastien Hertz102a8f22013-12-18 11:41:30 +010095 method_inliner_map_.get(),
96 compiler_backend, insn_set,
Brian Carlstrom650be762014-01-20 10:55:16 -080097 insn_features, false, NULL, 2, true));
Ian Rogers00f7d0e2012-07-19 15:28:27 -070098 jobject class_loader = NULL;
Brian Carlstromba150c32013-08-27 17:31:03 -070099 if (kCompile) {
Ian Rogers5fe9af72013-11-14 00:17:20 -0800100 TimingLogger timings("OatTest::WriteRead", false, false);
Brian Carlstrom45602482013-07-21 22:07:55 -0700101 compiler_driver_->CompileAll(class_loader, class_linker->GetBootClassPath(), timings);
Brian Carlstrome24fa612011-09-29 00:53:55 -0700102 }
103
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700104 ScopedObjectAccess soa(Thread::Current());
Brian Carlstrome24fa612011-09-29 00:53:55 -0700105 ScratchFile tmp;
Brian Carlstromc50d8e12013-07-23 22:35:16 -0700106 OatWriter oat_writer(class_linker->GetBootClassPath(),
107 42U,
108 4096U,
109 "lue.art",
Ian Rogersca368cb2013-11-15 15:52:08 -0800110 compiler_driver_.get(),
111 &timings);
Brian Carlstromc50d8e12013-07-23 22:35:16 -0700112 bool success = compiler_driver_->WriteElf(GetTestAndroidRoot(),
113 !kIsTargetBuild,
114 class_linker->GetBootClassPath(),
115 oat_writer,
116 tmp.GetFile());
117 ASSERT_TRUE(success);
Brian Carlstrome24fa612011-09-29 00:53:55 -0700118
Brian Carlstromba150c32013-08-27 17:31:03 -0700119 if (kCompile) { // OatWriter strips the code, regenerate to compare
Brian Carlstrom45602482013-07-21 22:07:55 -0700120 compiler_driver_->CompileAll(class_loader, class_linker->GetBootClassPath(), timings);
Brian Carlstrome24fa612011-09-29 00:53:55 -0700121 }
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700122 std::string error_msg;
123 UniquePtr<OatFile> oat_file(OatFile::Open(tmp.GetFilename(), tmp.GetFilename(), NULL, false,
124 &error_msg));
125 ASSERT_TRUE(oat_file.get() != nullptr) << error_msg;
Brian Carlstrome24fa612011-09-29 00:53:55 -0700126 const OatHeader& oat_header = oat_file->GetOatHeader();
Brian Carlstromf852fb22012-10-19 11:01:58 -0700127 ASSERT_TRUE(oat_header.IsValid());
Brian Carlstrom919b11c2013-08-30 13:30:36 -0700128 ASSERT_EQ(1U, oat_header.GetDexFileCount()); // core
Brian Carlstrom28db0122012-10-18 16:20:41 -0700129 ASSERT_EQ(42U, oat_header.GetImageFileLocationOatChecksum());
Brian Carlstrom700c8d32012-11-05 10:42:02 -0800130 ASSERT_EQ(4096U, oat_header.GetImageFileLocationOatDataBegin());
Brian Carlstrom81f3ca12012-03-17 00:27:35 -0700131 ASSERT_EQ("lue.art", oat_header.GetImageFileLocation());
Brian Carlstrome24fa612011-09-29 00:53:55 -0700132
Brian Carlstroma004aa92012-02-08 18:05:09 -0800133 const DexFile* dex_file = java_lang_dex_file_;
Brian Carlstrom756ee4e2013-10-03 15:46:12 -0700134 uint32_t dex_file_checksum = dex_file->GetLocationChecksum();
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700135 const OatFile::OatDexFile* oat_dex_file = oat_file->GetOatDexFile(dex_file->GetLocation().c_str(),
Brian Carlstrom756ee4e2013-10-03 15:46:12 -0700136 &dex_file_checksum);
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700137 ASSERT_TRUE(oat_dex_file != nullptr);
Brian Carlstroma004aa92012-02-08 18:05:09 -0800138 CHECK_EQ(dex_file->GetLocationChecksum(), oat_dex_file->GetDexFileLocationChecksum());
139 for (size_t i = 0; i < dex_file->NumClassDefs(); i++) {
140 const DexFile::ClassDef& class_def = dex_file->GetClassDef(i);
141 const byte* class_data = dex_file->GetClassData(class_def);
Brian Carlstromba150c32013-08-27 17:31:03 -0700142 size_t num_virtual_methods = 0;
Ian Rogers0571d352011-11-03 19:51:38 -0700143 if (class_data != NULL) {
Brian Carlstroma004aa92012-02-08 18:05:09 -0800144 ClassDataItemIterator it(*dex_file, class_data);
Ian Rogers0571d352011-11-03 19:51:38 -0700145 num_virtual_methods = it.NumVirtualMethods();
146 }
Brian Carlstroma004aa92012-02-08 18:05:09 -0800147 const char* descriptor = dex_file->GetClassDescriptor(class_def);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700148 SirtRef<mirror::ClassLoader> loader(Thread::Current(), nullptr);
149 mirror::Class* klass = class_linker->FindClass(descriptor, loader);
Brian Carlstrome24fa612011-09-29 00:53:55 -0700150
Brian Carlstromaded5f72011-10-07 17:15:04 -0700151 UniquePtr<const OatFile::OatClass> oat_class(oat_dex_file->GetOatClass(i));
Brian Carlstromba150c32013-08-27 17:31:03 -0700152 CHECK_EQ(mirror::Class::Status::kStatusNotReady, oat_class->GetStatus()) << descriptor;
153 CHECK_EQ(kCompile ? OatClassType::kOatClassAllCompiled : OatClassType::kOatClassNoneCompiled,
154 oat_class->GetType()) << descriptor;
Brian Carlstrome24fa612011-09-29 00:53:55 -0700155
156 size_t method_index = 0;
157 for (size_t i = 0; i < klass->NumDirectMethods(); i++, method_index++) {
Logan Chieneeb7edf2012-03-09 20:38:39 +0800158 CheckMethod(klass->GetDirectMethod(i),
159 oat_class->GetOatMethod(method_index), dex_file);
Brian Carlstrome24fa612011-09-29 00:53:55 -0700160 }
161 for (size_t i = 0; i < num_virtual_methods; i++, method_index++) {
Logan Chieneeb7edf2012-03-09 20:38:39 +0800162 CheckMethod(klass->GetVirtualMethod(i),
163 oat_class->GetOatMethod(method_index), dex_file);
Brian Carlstrome24fa612011-09-29 00:53:55 -0700164 }
165 }
166}
167
Brian Carlstrom341df942012-06-27 12:29:22 -0700168TEST_F(OatTest, OatHeaderSizeCheck) {
169 // If this test is failing and you have to update these constants,
170 // it is time to update OatHeader::kOatVersion
Dave Allison70202782013-10-22 17:52:19 -0700171 EXPECT_EQ(76U, sizeof(OatHeader));
Jeff Hao74180ca2013-03-27 15:29:11 -0700172 EXPECT_EQ(28U, sizeof(OatMethodOffsets));
Brian Carlstrom341df942012-06-27 12:29:22 -0700173}
174
Brian Carlstromf852fb22012-10-19 11:01:58 -0700175TEST_F(OatTest, OatHeaderIsValid) {
176 InstructionSet instruction_set = kX86;
Dave Allison70202782013-10-22 17:52:19 -0700177 InstructionSetFeatures instruction_set_features;
Brian Carlstromf852fb22012-10-19 11:01:58 -0700178 std::vector<const DexFile*> dex_files;
179 uint32_t image_file_location_oat_checksum = 0;
180 uint32_t image_file_location_oat_begin = 0;
181 const std::string image_file_location;
182 OatHeader oat_header(instruction_set,
Dave Allison70202782013-10-22 17:52:19 -0700183 instruction_set_features,
Brian Carlstromf852fb22012-10-19 11:01:58 -0700184 &dex_files,
185 image_file_location_oat_checksum,
186 image_file_location_oat_begin,
187 image_file_location);
188 ASSERT_TRUE(oat_header.IsValid());
189
190 char* magic = const_cast<char*>(oat_header.GetMagic());
191 strcpy(magic, ""); // bad magic
192 ASSERT_FALSE(oat_header.IsValid());
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700193 strcpy(magic, "oat\n000"); // bad version
Brian Carlstromf852fb22012-10-19 11:01:58 -0700194 ASSERT_FALSE(oat_header.IsValid());
195}
196
Brian Carlstrome24fa612011-09-29 00:53:55 -0700197} // namespace art