blob: f9e3930f5695664d9dea8017cb901806494bdae5 [file] [log] [blame]
Vladimir Markod8dbc8d2017-09-20 13:37:47 +01001/*
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#ifndef ART_COMPILER_LINKER_LINKER_PATCH_H_
18#define ART_COMPILER_LINKER_LINKER_PATCH_H_
19
20#include <iosfwd>
21#include <stdint.h>
22
Andreas Gampe57943812017-12-06 21:39:13 -080023#include <android-base/logging.h>
24
Vladimir Markod8dbc8d2017-09-20 13:37:47 +010025#include "base/bit_utils.h"
David Sehr312f3b22018-03-19 08:39:26 -070026#include "dex/method_reference.h"
Vladimir Markod8dbc8d2017-09-20 13:37:47 +010027
28namespace art {
29
30class DexFile;
31
32namespace linker {
33
34class LinkerPatch {
35 public:
36 // Note: We explicitly specify the underlying type of the enum because GCC
37 // would otherwise select a bigger underlying type and then complain that
38 // 'art::LinkerPatch::patch_type_' is too small to hold all
39 // values of 'enum class art::LinkerPatch::Type'
40 // which is ridiculous given we have only a handful of values here. If we
41 // choose to squeeze the Type into fewer than 8 bits, we'll have to declare
42 // patch_type_ as an uintN_t and do explicit static_cast<>s.
Vladimir Marko6fd16062018-06-26 11:02:04 +010043 //
44 // Note: Actual patching is instruction_set-dependent.
Vladimir Markod8dbc8d2017-09-20 13:37:47 +010045 enum class Type : uint8_t {
Vladimir Marko6fd16062018-06-26 11:02:04 +010046 kIntrinsicReference, // Boot image reference for an intrinsic, see IntrinsicObjects.
47 kDataBimgRelRo,
48 kMethodRelative,
49 kMethodBssEntry,
Vladimir Marko6fd16062018-06-26 11:02:04 +010050 kCallRelative,
51 kTypeRelative,
52 kTypeBssEntry,
53 kStringRelative,
54 kStringBssEntry,
55 kBakerReadBarrierBranch,
Vladimir Markod8dbc8d2017-09-20 13:37:47 +010056 };
57
Vladimir Marko6fd16062018-06-26 11:02:04 +010058 static LinkerPatch IntrinsicReferencePatch(size_t literal_offset,
59 uint32_t pc_insn_offset,
60 uint32_t intrinsic_data) {
Andreas Gampe3db70682018-12-26 15:12:03 -080061 LinkerPatch patch(literal_offset, Type::kIntrinsicReference, /* target_dex_file= */ nullptr);
Vladimir Marko6fd16062018-06-26 11:02:04 +010062 patch.intrinsic_data_ = intrinsic_data;
63 patch.pc_insn_offset_ = pc_insn_offset;
64 return patch;
65 }
66
Vladimir Markob066d432018-01-03 13:14:37 +000067 static LinkerPatch DataBimgRelRoPatch(size_t literal_offset,
68 uint32_t pc_insn_offset,
69 uint32_t boot_image_offset) {
Andreas Gampe3db70682018-12-26 15:12:03 -080070 LinkerPatch patch(literal_offset, Type::kDataBimgRelRo, /* target_dex_file= */ nullptr);
Vladimir Markob066d432018-01-03 13:14:37 +000071 patch.boot_image_offset_ = boot_image_offset;
72 patch.pc_insn_offset_ = pc_insn_offset;
73 return patch;
74 }
75
Vladimir Markod8dbc8d2017-09-20 13:37:47 +010076 static LinkerPatch RelativeMethodPatch(size_t literal_offset,
77 const DexFile* target_dex_file,
78 uint32_t pc_insn_offset,
79 uint32_t target_method_idx) {
80 LinkerPatch patch(literal_offset, Type::kMethodRelative, target_dex_file);
81 patch.method_idx_ = target_method_idx;
82 patch.pc_insn_offset_ = pc_insn_offset;
83 return patch;
84 }
85
86 static LinkerPatch MethodBssEntryPatch(size_t literal_offset,
87 const DexFile* target_dex_file,
88 uint32_t pc_insn_offset,
89 uint32_t target_method_idx) {
90 LinkerPatch patch(literal_offset, Type::kMethodBssEntry, target_dex_file);
91 patch.method_idx_ = target_method_idx;
92 patch.pc_insn_offset_ = pc_insn_offset;
93 return patch;
94 }
95
Vladimir Markod8dbc8d2017-09-20 13:37:47 +010096 static LinkerPatch RelativeCodePatch(size_t literal_offset,
97 const DexFile* target_dex_file,
98 uint32_t target_method_idx) {
99 LinkerPatch patch(literal_offset, Type::kCallRelative, target_dex_file);
100 patch.method_idx_ = target_method_idx;
101 return patch;
102 }
103
104 static LinkerPatch RelativeTypePatch(size_t literal_offset,
105 const DexFile* target_dex_file,
106 uint32_t pc_insn_offset,
107 uint32_t target_type_idx) {
108 LinkerPatch patch(literal_offset, Type::kTypeRelative, target_dex_file);
109 patch.type_idx_ = target_type_idx;
110 patch.pc_insn_offset_ = pc_insn_offset;
111 return patch;
112 }
113
Vladimir Markod8dbc8d2017-09-20 13:37:47 +0100114 static LinkerPatch TypeBssEntryPatch(size_t literal_offset,
115 const DexFile* target_dex_file,
116 uint32_t pc_insn_offset,
117 uint32_t target_type_idx) {
118 LinkerPatch patch(literal_offset, Type::kTypeBssEntry, target_dex_file);
119 patch.type_idx_ = target_type_idx;
120 patch.pc_insn_offset_ = pc_insn_offset;
121 return patch;
122 }
123
124 static LinkerPatch RelativeStringPatch(size_t literal_offset,
125 const DexFile* target_dex_file,
126 uint32_t pc_insn_offset,
127 uint32_t target_string_idx) {
128 LinkerPatch patch(literal_offset, Type::kStringRelative, target_dex_file);
129 patch.string_idx_ = target_string_idx;
130 patch.pc_insn_offset_ = pc_insn_offset;
131 return patch;
132 }
133
Vladimir Markod8dbc8d2017-09-20 13:37:47 +0100134 static LinkerPatch StringBssEntryPatch(size_t literal_offset,
135 const DexFile* target_dex_file,
136 uint32_t pc_insn_offset,
137 uint32_t target_string_idx) {
138 LinkerPatch patch(literal_offset, Type::kStringBssEntry, target_dex_file);
139 patch.string_idx_ = target_string_idx;
140 patch.pc_insn_offset_ = pc_insn_offset;
141 return patch;
142 }
143
144 static LinkerPatch BakerReadBarrierBranchPatch(size_t literal_offset,
145 uint32_t custom_value1 = 0u,
146 uint32_t custom_value2 = 0u) {
Andreas Gampe3db70682018-12-26 15:12:03 -0800147 LinkerPatch patch(literal_offset,
148 Type::kBakerReadBarrierBranch,
149 /* target_dex_file= */ nullptr);
Vladimir Markod8dbc8d2017-09-20 13:37:47 +0100150 patch.baker_custom_value1_ = custom_value1;
151 patch.baker_custom_value2_ = custom_value2;
152 return patch;
153 }
154
155 LinkerPatch(const LinkerPatch& other) = default;
156 LinkerPatch& operator=(const LinkerPatch& other) = default;
157
158 size_t LiteralOffset() const {
159 return literal_offset_;
160 }
161
162 Type GetType() const {
163 return patch_type_;
164 }
165
Vladimir Marko6fd16062018-06-26 11:02:04 +0100166 uint32_t IntrinsicData() const {
167 DCHECK(patch_type_ == Type::kIntrinsicReference);
168 return intrinsic_data_;
169 }
170
Vladimir Markob066d432018-01-03 13:14:37 +0000171 uint32_t BootImageOffset() const {
172 DCHECK(patch_type_ == Type::kDataBimgRelRo);
173 return boot_image_offset_;
174 }
175
Vladimir Markod8dbc8d2017-09-20 13:37:47 +0100176 MethodReference TargetMethod() const {
177 DCHECK(patch_type_ == Type::kMethodRelative ||
178 patch_type_ == Type::kMethodBssEntry ||
Vladimir Markod8dbc8d2017-09-20 13:37:47 +0100179 patch_type_ == Type::kCallRelative);
180 return MethodReference(target_dex_file_, method_idx_);
181 }
182
183 const DexFile* TargetTypeDexFile() const {
184 DCHECK(patch_type_ == Type::kTypeRelative ||
Vladimir Markod8dbc8d2017-09-20 13:37:47 +0100185 patch_type_ == Type::kTypeBssEntry);
186 return target_dex_file_;
187 }
188
189 dex::TypeIndex TargetTypeIndex() const {
190 DCHECK(patch_type_ == Type::kTypeRelative ||
Vladimir Markod8dbc8d2017-09-20 13:37:47 +0100191 patch_type_ == Type::kTypeBssEntry);
192 return dex::TypeIndex(type_idx_);
193 }
194
195 const DexFile* TargetStringDexFile() const {
196 DCHECK(patch_type_ == Type::kStringRelative ||
Vladimir Markod8dbc8d2017-09-20 13:37:47 +0100197 patch_type_ == Type::kStringBssEntry);
198 return target_dex_file_;
199 }
200
201 dex::StringIndex TargetStringIndex() const {
202 DCHECK(patch_type_ == Type::kStringRelative ||
Vladimir Markod8dbc8d2017-09-20 13:37:47 +0100203 patch_type_ == Type::kStringBssEntry);
204 return dex::StringIndex(string_idx_);
205 }
206
207 uint32_t PcInsnOffset() const {
Vladimir Marko6fd16062018-06-26 11:02:04 +0100208 DCHECK(patch_type_ == Type::kIntrinsicReference ||
209 patch_type_ == Type::kDataBimgRelRo ||
Vladimir Markob066d432018-01-03 13:14:37 +0000210 patch_type_ == Type::kMethodRelative ||
Vladimir Markod8dbc8d2017-09-20 13:37:47 +0100211 patch_type_ == Type::kMethodBssEntry ||
212 patch_type_ == Type::kTypeRelative ||
Vladimir Markod8dbc8d2017-09-20 13:37:47 +0100213 patch_type_ == Type::kTypeBssEntry ||
214 patch_type_ == Type::kStringRelative ||
Vladimir Markod8dbc8d2017-09-20 13:37:47 +0100215 patch_type_ == Type::kStringBssEntry);
216 return pc_insn_offset_;
217 }
218
219 uint32_t GetBakerCustomValue1() const {
220 DCHECK(patch_type_ == Type::kBakerReadBarrierBranch);
221 return baker_custom_value1_;
222 }
223
224 uint32_t GetBakerCustomValue2() const {
225 DCHECK(patch_type_ == Type::kBakerReadBarrierBranch);
226 return baker_custom_value2_;
227 }
228
229 private:
230 LinkerPatch(size_t literal_offset, Type patch_type, const DexFile* target_dex_file)
231 : target_dex_file_(target_dex_file),
232 literal_offset_(literal_offset),
233 patch_type_(patch_type) {
234 cmp1_ = 0u;
235 cmp2_ = 0u;
236 // The compiler rejects methods that are too big, so the compiled code
237 // of a single method really shouln't be anywhere close to 16MiB.
238 DCHECK(IsUint<24>(literal_offset));
239 }
240
241 const DexFile* target_dex_file_;
242 // TODO: Clean up naming. Some patched locations are literals but others are not.
243 uint32_t literal_offset_ : 24; // Method code size up to 16MiB.
244 Type patch_type_ : 8;
245 union {
Vladimir Markob066d432018-01-03 13:14:37 +0000246 uint32_t cmp1_; // Used for relational operators.
247 uint32_t boot_image_offset_; // Data to write to the .data.bimg.rel.ro entry.
248 uint32_t method_idx_; // Method index for Call/Method patches.
249 uint32_t type_idx_; // Type index for Type patches.
250 uint32_t string_idx_; // String index for String patches.
Vladimir Marko6fd16062018-06-26 11:02:04 +0100251 uint32_t intrinsic_data_; // Data for IntrinsicObjects.
Vladimir Markod8dbc8d2017-09-20 13:37:47 +0100252 uint32_t baker_custom_value1_;
253 static_assert(sizeof(method_idx_) == sizeof(cmp1_), "needed by relational operators");
254 static_assert(sizeof(type_idx_) == sizeof(cmp1_), "needed by relational operators");
255 static_assert(sizeof(string_idx_) == sizeof(cmp1_), "needed by relational operators");
Vladimir Marko6fd16062018-06-26 11:02:04 +0100256 static_assert(sizeof(intrinsic_data_) == sizeof(cmp1_), "needed by relational operators");
Vladimir Markod8dbc8d2017-09-20 13:37:47 +0100257 static_assert(sizeof(baker_custom_value1_) == sizeof(cmp1_), "needed by relational operators");
258 };
259 union {
260 // Note: To avoid uninitialized padding on 64-bit systems, we use `size_t` for `cmp2_`.
261 // This allows a hashing function to treat an array of linker patches as raw memory.
262 size_t cmp2_; // Used for relational operators.
263 // Literal offset of the insn loading PC (same as literal_offset if it's the same insn,
264 // may be different if the PC-relative addressing needs multiple insns).
265 uint32_t pc_insn_offset_;
266 uint32_t baker_custom_value2_;
267 static_assert(sizeof(pc_insn_offset_) <= sizeof(cmp2_), "needed by relational operators");
268 static_assert(sizeof(baker_custom_value2_) <= sizeof(cmp2_), "needed by relational operators");
269 };
270
271 friend bool operator==(const LinkerPatch& lhs, const LinkerPatch& rhs);
272 friend bool operator<(const LinkerPatch& lhs, const LinkerPatch& rhs);
273};
274std::ostream& operator<<(std::ostream& os, const LinkerPatch::Type& type);
275
276inline bool operator==(const LinkerPatch& lhs, const LinkerPatch& rhs) {
277 return lhs.literal_offset_ == rhs.literal_offset_ &&
278 lhs.patch_type_ == rhs.patch_type_ &&
279 lhs.target_dex_file_ == rhs.target_dex_file_ &&
280 lhs.cmp1_ == rhs.cmp1_ &&
281 lhs.cmp2_ == rhs.cmp2_;
282}
283
284inline bool operator<(const LinkerPatch& lhs, const LinkerPatch& rhs) {
285 return (lhs.literal_offset_ != rhs.literal_offset_) ? lhs.literal_offset_ < rhs.literal_offset_
286 : (lhs.patch_type_ != rhs.patch_type_) ? lhs.patch_type_ < rhs.patch_type_
287 : (lhs.target_dex_file_ != rhs.target_dex_file_) ? lhs.target_dex_file_ < rhs.target_dex_file_
288 : (lhs.cmp1_ != rhs.cmp1_) ? lhs.cmp1_ < rhs.cmp1_
289 : lhs.cmp2_ < rhs.cmp2_;
290}
291
292} // namespace linker
293} // namespace art
294
295#endif // ART_COMPILER_LINKER_LINKER_PATCH_H_