Alexey Frunze | e3fb245 | 2016-05-10 16:08:05 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2016 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 "linker/mips/relative_patcher_mips.h" |
| 18 | |
| 19 | #include "compiled_method.h" |
| 20 | |
| 21 | namespace art { |
| 22 | namespace linker { |
| 23 | |
| 24 | uint32_t MipsRelativePatcher::ReserveSpace( |
| 25 | uint32_t offset, |
| 26 | const CompiledMethod* compiled_method ATTRIBUTE_UNUSED, |
| 27 | MethodReference method_ref ATTRIBUTE_UNUSED) { |
| 28 | return offset; // No space reserved; no limit on relative call distance. |
| 29 | } |
| 30 | |
| 31 | uint32_t MipsRelativePatcher::ReserveSpaceEnd(uint32_t offset) { |
| 32 | return offset; // No space reserved; no limit on relative call distance. |
| 33 | } |
| 34 | |
| 35 | uint32_t MipsRelativePatcher::WriteThunks(OutputStream* out ATTRIBUTE_UNUSED, uint32_t offset) { |
| 36 | return offset; // No thunks added; no limit on relative call distance. |
| 37 | } |
| 38 | |
| 39 | void MipsRelativePatcher::PatchCall(std::vector<uint8_t>* code ATTRIBUTE_UNUSED, |
| 40 | uint32_t literal_offset ATTRIBUTE_UNUSED, |
| 41 | uint32_t patch_offset ATTRIBUTE_UNUSED, |
| 42 | uint32_t target_offset ATTRIBUTE_UNUSED) { |
| 43 | UNIMPLEMENTED(FATAL) << "PatchCall unimplemented on MIPS"; |
| 44 | } |
| 45 | |
| 46 | void MipsRelativePatcher::PatchPcRelativeReference(std::vector<uint8_t>* code, |
| 47 | const LinkerPatch& patch, |
| 48 | uint32_t patch_offset, |
| 49 | uint32_t target_offset) { |
| 50 | uint32_t anchor_literal_offset = patch.PcInsnOffset(); |
| 51 | uint32_t literal_offset = patch.LiteralOffset(); |
| 52 | |
| 53 | // Basic sanity checks. |
| 54 | if (is_r6) { |
| 55 | DCHECK_GE(code->size(), 8u); |
| 56 | DCHECK_LE(literal_offset, code->size() - 8u); |
| 57 | DCHECK_EQ(literal_offset, anchor_literal_offset); |
| 58 | // AUIPC reg, offset_high |
| 59 | DCHECK_EQ((*code)[literal_offset + 0], 0x34); |
| 60 | DCHECK_EQ((*code)[literal_offset + 1], 0x12); |
| 61 | DCHECK_EQ(((*code)[literal_offset + 2] & 0x1F), 0x1E); |
| 62 | DCHECK_EQ(((*code)[literal_offset + 3] & 0xFC), 0xEC); |
| 63 | // ADDIU reg, reg, offset_low |
| 64 | DCHECK_EQ((*code)[literal_offset + 4], 0x78); |
| 65 | DCHECK_EQ((*code)[literal_offset + 5], 0x56); |
| 66 | DCHECK_EQ(((*code)[literal_offset + 7] & 0xFC), 0x24); |
| 67 | } else { |
| 68 | DCHECK_GE(code->size(), 16u); |
| 69 | DCHECK_LE(literal_offset, code->size() - 12u); |
| 70 | DCHECK_GE(literal_offset, 4u); |
| 71 | DCHECK_EQ(literal_offset + 4u, anchor_literal_offset); |
| 72 | // NAL |
| 73 | DCHECK_EQ((*code)[literal_offset - 4], 0x00); |
| 74 | DCHECK_EQ((*code)[literal_offset - 3], 0x00); |
| 75 | DCHECK_EQ((*code)[literal_offset - 2], 0x10); |
| 76 | DCHECK_EQ((*code)[literal_offset - 1], 0x04); |
| 77 | // LUI reg, offset_high |
| 78 | DCHECK_EQ((*code)[literal_offset + 0], 0x34); |
| 79 | DCHECK_EQ((*code)[literal_offset + 1], 0x12); |
| 80 | DCHECK_EQ(((*code)[literal_offset + 2] & 0xE0), 0x00); |
| 81 | DCHECK_EQ((*code)[literal_offset + 3], 0x3C); |
| 82 | // ORI reg, reg, offset_low |
| 83 | DCHECK_EQ((*code)[literal_offset + 4], 0x78); |
| 84 | DCHECK_EQ((*code)[literal_offset + 5], 0x56); |
| 85 | DCHECK_EQ(((*code)[literal_offset + 7] & 0xFC), 0x34); |
| 86 | // ADDU reg, reg, RA |
| 87 | DCHECK_EQ((*code)[literal_offset + 8], 0x21); |
| 88 | DCHECK_EQ(((*code)[literal_offset + 9] & 0x07), 0x00); |
| 89 | DCHECK_EQ(((*code)[literal_offset + 10] & 0x1F), 0x1F); |
| 90 | DCHECK_EQ(((*code)[literal_offset + 11] & 0xFC), 0x00); |
| 91 | } |
| 92 | |
| 93 | // Apply patch. |
| 94 | uint32_t anchor_offset = patch_offset - literal_offset + anchor_literal_offset; |
| 95 | uint32_t diff = target_offset - anchor_offset + kDexCacheArrayLwOffset; |
| 96 | if (is_r6) { |
| 97 | diff += (diff & 0x8000) << 1; // Account for sign extension in ADDIU. |
| 98 | } |
| 99 | |
| 100 | // LUI reg, offset_high / AUIPC reg, offset_high |
| 101 | (*code)[literal_offset + 0] = static_cast<uint8_t>(diff >> 16); |
| 102 | (*code)[literal_offset + 1] = static_cast<uint8_t>(diff >> 24); |
| 103 | // ORI reg, reg, offset_low / ADDIU reg, reg, offset_low |
| 104 | (*code)[literal_offset + 4] = static_cast<uint8_t>(diff >> 0); |
| 105 | (*code)[literal_offset + 5] = static_cast<uint8_t>(diff >> 8); |
| 106 | } |
| 107 | |
| 108 | } // namespace linker |
| 109 | } // namespace art |