| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2017 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 | */ |
| 16 | |
| 17 | #include "code_item_accessors-inl.h" |
| 18 | |
| David Sehr | 0225f8e | 2018-01-31 08:52:24 +0000 | [diff] [blame] | 19 | #include <sys/mman.h> |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 20 | #include <memory> |
| David Sehr | e112340 | 2018-02-01 02:46:18 -0800 | [diff] [blame] | 21 | #include <vector> |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 22 | |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 23 | #include "dex_file_loader.h" |
| David Sehr | e112340 | 2018-02-01 02:46:18 -0800 | [diff] [blame] | 24 | #include "gtest/gtest.h" |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 25 | |
| 26 | namespace art { |
| 27 | |
| David Sehr | e112340 | 2018-02-01 02:46:18 -0800 | [diff] [blame] | 28 | class CodeItemAccessorsTest : public testing::Test {}; |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 29 | |
| David Sehr | e112340 | 2018-02-01 02:46:18 -0800 | [diff] [blame] | 30 | std::unique_ptr<const DexFile> CreateFakeDex(bool compact_dex, std::vector<uint8_t>* data) { |
| 31 | data->resize(kPageSize); |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 32 | if (compact_dex) { |
| Mathieu Chartier | c3a22aa | 2018-01-19 18:58:34 -0800 | [diff] [blame] | 33 | CompactDexFile::Header* header = |
| David Sehr | e112340 | 2018-02-01 02:46:18 -0800 | [diff] [blame] | 34 | const_cast<CompactDexFile::Header*>(CompactDexFile::Header::At(data->data())); |
| Mathieu Chartier | c3a22aa | 2018-01-19 18:58:34 -0800 | [diff] [blame] | 35 | CompactDexFile::WriteMagic(header->magic_); |
| 36 | CompactDexFile::WriteCurrentVersion(header->magic_); |
| 37 | header->data_off_ = 0; |
| David Sehr | e112340 | 2018-02-01 02:46:18 -0800 | [diff] [blame] | 38 | header->data_size_ = data->size(); |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 39 | } else { |
| David Sehr | e112340 | 2018-02-01 02:46:18 -0800 | [diff] [blame] | 40 | StandardDexFile::WriteMagic(data->data()); |
| 41 | StandardDexFile::WriteCurrentVersion(data->data()); |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 42 | } |
| David Sehr | e112340 | 2018-02-01 02:46:18 -0800 | [diff] [blame] | 43 | const DexFileLoader dex_file_loader; |
| 44 | std::string error_msg; |
| 45 | std::unique_ptr<const DexFile> dex(dex_file_loader.Open(data->data(), |
| 46 | data->size(), |
| 47 | "location", |
| Andreas Gampe | 0de385f | 2018-10-11 11:11:13 -0700 | [diff] [blame] | 48 | /*location_checksum=*/ 123, |
| 49 | /*oat_dex_file=*/nullptr, |
| 50 | /*verify=*/false, |
| 51 | /*verify_checksum=*/false, |
| David Sehr | 013fd80 | 2018-01-11 22:55:24 -0800 | [diff] [blame] | 52 | &error_msg)); |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 53 | CHECK(dex != nullptr) << error_msg; |
| 54 | return dex; |
| 55 | } |
| 56 | |
| 57 | TEST(CodeItemAccessorsTest, TestDexInstructionsAccessor) { |
| David Sehr | e112340 | 2018-02-01 02:46:18 -0800 | [diff] [blame] | 58 | std::vector<uint8_t> standard_dex_data; |
| Andreas Gampe | 0de385f | 2018-10-11 11:11:13 -0700 | [diff] [blame] | 59 | std::unique_ptr<const DexFile> standard_dex(CreateFakeDex(/*compact_dex=*/false, |
| David Sehr | e112340 | 2018-02-01 02:46:18 -0800 | [diff] [blame] | 60 | &standard_dex_data)); |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 61 | ASSERT_TRUE(standard_dex != nullptr); |
| David Sehr | e112340 | 2018-02-01 02:46:18 -0800 | [diff] [blame] | 62 | std::vector<uint8_t> compact_dex_data; |
| Andreas Gampe | 0de385f | 2018-10-11 11:11:13 -0700 | [diff] [blame] | 63 | std::unique_ptr<const DexFile> compact_dex(CreateFakeDex(/*compact_dex=*/true, |
| David Sehr | e112340 | 2018-02-01 02:46:18 -0800 | [diff] [blame] | 64 | &compact_dex_data)); |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 65 | ASSERT_TRUE(compact_dex != nullptr); |
| Mathieu Chartier | 8740c66 | 2018-01-11 14:50:02 -0800 | [diff] [blame] | 66 | static constexpr uint16_t kRegisterSize = 2; |
| 67 | static constexpr uint16_t kInsSize = 1; |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 68 | static constexpr uint16_t kOutsSize = 3; |
| 69 | static constexpr uint16_t kTriesSize = 4; |
| 70 | // debug_info_off_ is not accessible from the helpers yet. |
| 71 | static constexpr size_t kInsnsSizeInCodeUnits = 5; |
| 72 | |
| 73 | auto verify_code_item = [&](const DexFile* dex, |
| Andreas Gampe | 3f1dcd3 | 2018-12-28 09:39:56 -0800 | [diff] [blame] | 74 | const dex::CodeItem* item, |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 75 | const uint16_t* insns) { |
| Mathieu Chartier | 698ebbc | 2018-01-05 11:00:42 -0800 | [diff] [blame] | 76 | CodeItemInstructionAccessor insns_accessor(*dex, item); |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 77 | EXPECT_TRUE(insns_accessor.HasCodeItem()); |
| 78 | ASSERT_EQ(insns_accessor.InsnsSizeInCodeUnits(), kInsnsSizeInCodeUnits); |
| 79 | EXPECT_EQ(insns_accessor.Insns(), insns); |
| 80 | |
| Mathieu Chartier | 698ebbc | 2018-01-05 11:00:42 -0800 | [diff] [blame] | 81 | CodeItemDataAccessor data_accessor(*dex, item); |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 82 | EXPECT_TRUE(data_accessor.HasCodeItem()); |
| 83 | EXPECT_EQ(data_accessor.InsnsSizeInCodeUnits(), kInsnsSizeInCodeUnits); |
| 84 | EXPECT_EQ(data_accessor.Insns(), insns); |
| 85 | EXPECT_EQ(data_accessor.RegistersSize(), kRegisterSize); |
| 86 | EXPECT_EQ(data_accessor.InsSize(), kInsSize); |
| 87 | EXPECT_EQ(data_accessor.OutsSize(), kOutsSize); |
| 88 | EXPECT_EQ(data_accessor.TriesSize(), kTriesSize); |
| 89 | }; |
| 90 | |
| Mathieu Chartier | 73f21d4 | 2018-01-02 14:26:50 -0800 | [diff] [blame] | 91 | StandardDexFile::CodeItem* dex_code_item = |
| 92 | reinterpret_cast<StandardDexFile::CodeItem*>(const_cast<uint8_t*>(standard_dex->Begin())); |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 93 | dex_code_item->registers_size_ = kRegisterSize; |
| 94 | dex_code_item->ins_size_ = kInsSize; |
| 95 | dex_code_item->outs_size_ = kOutsSize; |
| 96 | dex_code_item->tries_size_ = kTriesSize; |
| 97 | dex_code_item->insns_size_in_code_units_ = kInsnsSizeInCodeUnits; |
| Mathieu Chartier | 73f21d4 | 2018-01-02 14:26:50 -0800 | [diff] [blame] | 98 | verify_code_item(standard_dex.get(), dex_code_item, dex_code_item->insns_); |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 99 | |
| Mathieu Chartier | 73f21d4 | 2018-01-02 14:26:50 -0800 | [diff] [blame] | 100 | CompactDexFile::CodeItem* cdex_code_item = |
| Mathieu Chartier | 8740c66 | 2018-01-11 14:50:02 -0800 | [diff] [blame] | 101 | reinterpret_cast<CompactDexFile::CodeItem*>(const_cast<uint8_t*>(compact_dex->Begin() + |
| 102 | CompactDexFile::CodeItem::kMaxPreHeaderSize * sizeof(uint16_t))); |
| 103 | std::vector<uint16_t> preheader; |
| 104 | cdex_code_item->Create(kRegisterSize, |
| 105 | kInsSize, |
| 106 | kOutsSize, |
| 107 | kTriesSize, |
| 108 | kInsnsSizeInCodeUnits, |
| 109 | cdex_code_item->GetPreHeader()); |
| 110 | |
| Mathieu Chartier | 69147f1 | 2017-11-06 20:02:24 -0800 | [diff] [blame] | 111 | verify_code_item(compact_dex.get(), cdex_code_item, cdex_code_item->insns_); |
| 112 | } |
| 113 | |
| 114 | } // namespace art |