Vladimir Marko | b163bb7 | 2015-03-31 21:49:49 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2015 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/arm/relative_patcher_thumb2.h" |
| 18 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 19 | #include "art_method.h" |
Vladimir Marko | b163bb7 | 2015-03-31 21:49:49 +0100 | [diff] [blame] | 20 | #include "compiled_method.h" |
Vladimir Marko | b163bb7 | 2015-03-31 21:49:49 +0100 | [diff] [blame] | 21 | #include "utils/arm/assembler_thumb2.h" |
| 22 | |
| 23 | namespace art { |
| 24 | namespace linker { |
| 25 | |
| 26 | Thumb2RelativePatcher::Thumb2RelativePatcher(RelativePatcherTargetProvider* provider) |
| 27 | : ArmBaseRelativePatcher(provider, kThumb2, CompileThunkCode(), |
| 28 | kMaxPositiveDisplacement, kMaxNegativeDisplacement) { |
| 29 | } |
| 30 | |
Vladimir Marko | 944da60 | 2016-02-19 12:27:55 +0000 | [diff] [blame] | 31 | void Thumb2RelativePatcher::PatchCall(std::vector<uint8_t>* code, |
| 32 | uint32_t literal_offset, |
| 33 | uint32_t patch_offset, |
| 34 | uint32_t target_offset) { |
Vladimir Marko | b163bb7 | 2015-03-31 21:49:49 +0100 | [diff] [blame] | 35 | DCHECK_LE(literal_offset + 4u, code->size()); |
| 36 | DCHECK_EQ(literal_offset & 1u, 0u); |
| 37 | DCHECK_EQ(patch_offset & 1u, 0u); |
| 38 | DCHECK_EQ(target_offset & 1u, 1u); // Thumb2 mode bit. |
| 39 | uint32_t displacement = CalculateDisplacement(patch_offset, target_offset & ~1u); |
| 40 | displacement -= kPcDisplacement; // The base PC is at the end of the 4-byte patch. |
| 41 | DCHECK_EQ(displacement & 1u, 0u); |
| 42 | DCHECK((displacement >> 24) == 0u || (displacement >> 24) == 255u); // 25-bit signed. |
| 43 | uint32_t signbit = (displacement >> 31) & 0x1; |
| 44 | uint32_t i1 = (displacement >> 23) & 0x1; |
| 45 | uint32_t i2 = (displacement >> 22) & 0x1; |
| 46 | uint32_t imm10 = (displacement >> 12) & 0x03ff; |
| 47 | uint32_t imm11 = (displacement >> 1) & 0x07ff; |
| 48 | uint32_t j1 = i1 ^ (signbit ^ 1); |
| 49 | uint32_t j2 = i2 ^ (signbit ^ 1); |
| 50 | uint32_t value = (signbit << 26) | (j1 << 13) | (j2 << 11) | (imm10 << 16) | imm11; |
| 51 | value |= 0xf000d000; // BL |
| 52 | |
Vladimir Marko | b163bb7 | 2015-03-31 21:49:49 +0100 | [diff] [blame] | 53 | // Check that we're just overwriting an existing BL. |
Vladimir Marko | e5c76c5 | 2015-04-06 12:10:19 +0100 | [diff] [blame] | 54 | DCHECK_EQ(GetInsn32(code, literal_offset) & 0xf800d000, 0xf000d000); |
Vladimir Marko | b163bb7 | 2015-03-31 21:49:49 +0100 | [diff] [blame] | 55 | // Write the new BL. |
Vladimir Marko | e5c76c5 | 2015-04-06 12:10:19 +0100 | [diff] [blame] | 56 | SetInsn32(code, literal_offset, value); |
Vladimir Marko | b163bb7 | 2015-03-31 21:49:49 +0100 | [diff] [blame] | 57 | } |
| 58 | |
Vladimir Marko | cac5a7e | 2016-02-22 10:39:50 +0000 | [diff] [blame] | 59 | void Thumb2RelativePatcher::PatchPcRelativeReference(std::vector<uint8_t>* code, |
| 60 | const LinkerPatch& patch, |
| 61 | uint32_t patch_offset, |
| 62 | uint32_t target_offset) { |
Vladimir Marko | e5c76c5 | 2015-04-06 12:10:19 +0100 | [diff] [blame] | 63 | uint32_t literal_offset = patch.LiteralOffset(); |
| 64 | uint32_t pc_literal_offset = patch.PcInsnOffset(); |
| 65 | uint32_t pc_base = patch_offset + (pc_literal_offset - literal_offset) + 4u /* PC adjustment */; |
| 66 | uint32_t diff = target_offset - pc_base; |
| 67 | |
| 68 | uint32_t insn = GetInsn32(code, literal_offset); |
| 69 | DCHECK_EQ(insn & 0xff7ff0ffu, 0xf2400000u); // MOVW/MOVT, unpatched (imm16 == 0). |
| 70 | uint32_t diff16 = ((insn & 0x00800000u) != 0u) ? (diff >> 16) : (diff & 0xffffu); |
| 71 | uint32_t imm4 = (diff16 >> 12) & 0xfu; |
| 72 | uint32_t imm = (diff16 >> 11) & 0x1u; |
| 73 | uint32_t imm3 = (diff16 >> 8) & 0x7u; |
| 74 | uint32_t imm8 = diff16 & 0xffu; |
| 75 | insn = (insn & 0xfbf08f00u) | (imm << 26) | (imm4 << 16) | (imm3 << 12) | imm8; |
| 76 | SetInsn32(code, literal_offset, insn); |
Vladimir Marko | b163bb7 | 2015-03-31 21:49:49 +0100 | [diff] [blame] | 77 | } |
| 78 | |
| 79 | std::vector<uint8_t> Thumb2RelativePatcher::CompileThunkCode() { |
| 80 | // The thunk just uses the entry point in the ArtMethod. This works even for calls |
| 81 | // to the generic JNI and interpreter trampolines. |
Vladimir Marko | 93205e3 | 2016-04-13 11:59:46 +0100 | [diff] [blame] | 82 | ArenaPool pool; |
| 83 | ArenaAllocator arena(&pool); |
| 84 | arm::Thumb2Assembler assembler(&arena); |
Vladimir Marko | b163bb7 | 2015-03-31 21:49:49 +0100 | [diff] [blame] | 85 | assembler.LoadFromOffset( |
| 86 | arm::kLoadWord, arm::PC, arm::R0, |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 87 | ArtMethod::EntryPointFromQuickCompiledCodeOffset(kArmPointerSize).Int32Value()); |
Vladimir Marko | b163bb7 | 2015-03-31 21:49:49 +0100 | [diff] [blame] | 88 | assembler.bkpt(0); |
Vladimir Marko | cf93a5c | 2015-06-16 11:33:24 +0000 | [diff] [blame] | 89 | assembler.FinalizeCode(); |
Vladimir Marko | b163bb7 | 2015-03-31 21:49:49 +0100 | [diff] [blame] | 90 | std::vector<uint8_t> thunk_code(assembler.CodeSize()); |
| 91 | MemoryRegion code(thunk_code.data(), thunk_code.size()); |
| 92 | assembler.FinalizeInstructions(code); |
| 93 | return thunk_code; |
| 94 | } |
| 95 | |
Vladimir Marko | e5c76c5 | 2015-04-06 12:10:19 +0100 | [diff] [blame] | 96 | void Thumb2RelativePatcher::SetInsn32(std::vector<uint8_t>* code, uint32_t offset, uint32_t value) { |
| 97 | DCHECK_LE(offset + 4u, code->size()); |
| 98 | DCHECK_EQ(offset & 1u, 0u); |
| 99 | uint8_t* addr = &(*code)[offset]; |
| 100 | addr[0] = (value >> 16) & 0xff; |
| 101 | addr[1] = (value >> 24) & 0xff; |
| 102 | addr[2] = (value >> 0) & 0xff; |
| 103 | addr[3] = (value >> 8) & 0xff; |
| 104 | } |
| 105 | |
| 106 | uint32_t Thumb2RelativePatcher::GetInsn32(ArrayRef<const uint8_t> code, uint32_t offset) { |
| 107 | DCHECK_LE(offset + 4u, code.size()); |
| 108 | DCHECK_EQ(offset & 1u, 0u); |
| 109 | const uint8_t* addr = &code[offset]; |
| 110 | return |
| 111 | (static_cast<uint32_t>(addr[0]) << 16) + |
| 112 | (static_cast<uint32_t>(addr[1]) << 24) + |
| 113 | (static_cast<uint32_t>(addr[2]) << 0)+ |
| 114 | (static_cast<uint32_t>(addr[3]) << 8); |
| 115 | } |
| 116 | |
Vladimir Marko | ec7802a | 2015-10-01 20:57:57 +0100 | [diff] [blame] | 117 | template <typename Vector> |
| 118 | uint32_t Thumb2RelativePatcher::GetInsn32(Vector* code, uint32_t offset) { |
| 119 | static_assert(std::is_same<typename Vector::value_type, uint8_t>::value, "Invalid value type"); |
Vladimir Marko | e5c76c5 | 2015-04-06 12:10:19 +0100 | [diff] [blame] | 120 | return GetInsn32(ArrayRef<const uint8_t>(*code), offset); |
| 121 | } |
| 122 | |
Vladimir Marko | b163bb7 | 2015-03-31 21:49:49 +0100 | [diff] [blame] | 123 | } // namespace linker |
| 124 | } // namespace art |