1 /* ARM Mach-O support for BFD.
2 Copyright (C) 2015-2020 Free Software Foundation, Inc.
3
4 This file is part of BFD, the Binary File Descriptor library.
5
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3 of the License, or
9 (at your option) any later version.
10
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with this program; if not, write to the Free Software
18 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
19 MA 02110-1301, USA. */
20
21 #include "sysdep.h"
22 #include "bfd.h"
23 #include "libbfd.h"
24 #include "libiberty.h"
25 #include "mach-o.h"
26 #include "mach-o/arm.h"
27
28 #define bfd_mach_o_object_p bfd_mach_o_arm_object_p
29 #define bfd_mach_o_core_p bfd_mach_o_arm_core_p
30 #define bfd_mach_o_mkobject bfd_mach_o_arm_mkobject
31
32 #define bfd_mach_o_canonicalize_one_reloc bfd_mach_o_arm_canonicalize_one_reloc
33 #define bfd_mach_o_swap_reloc_out NULL
34 #define bfd_mach_o_bfd_reloc_type_lookup bfd_mach_o_arm_bfd_reloc_type_lookup
35 #define bfd_mach_o_bfd_reloc_name_lookup bfd_mach_o_arm_bfd_reloc_name_lookup
36
37 #define bfd_mach_o_print_thread NULL
38 #define bfd_mach_o_tgt_seg_table NULL
39 #define bfd_mach_o_section_type_valid_for_tgt NULL
40
41 static bfd_cleanup
bfd_mach_o_arm_object_p(bfd * abfd)42 bfd_mach_o_arm_object_p (bfd *abfd)
43 {
44 return bfd_mach_o_header_p (abfd, 0, 0, BFD_MACH_O_CPU_TYPE_ARM);
45 }
46
47 static bfd_cleanup
bfd_mach_o_arm_core_p(bfd * abfd)48 bfd_mach_o_arm_core_p (bfd *abfd)
49 {
50 return bfd_mach_o_header_p (abfd, 0,
51 BFD_MACH_O_MH_CORE, BFD_MACH_O_CPU_TYPE_ARM);
52 }
53
54 static bfd_boolean
bfd_mach_o_arm_mkobject(bfd * abfd)55 bfd_mach_o_arm_mkobject (bfd *abfd)
56 {
57 bfd_mach_o_data_struct *mdata;
58
59 if (!bfd_mach_o_mkobject_init (abfd))
60 return FALSE;
61
62 mdata = bfd_mach_o_get_data (abfd);
63 mdata->header.magic = BFD_MACH_O_MH_MAGIC;
64 mdata->header.cputype = BFD_MACH_O_CPU_TYPE_ARM;
65 mdata->header.cpusubtype = BFD_MACH_O_CPU_SUBTYPE_ARM_ALL;
66 mdata->header.byteorder = BFD_ENDIAN_LITTLE;
67 mdata->header.version = 1;
68
69 return TRUE;
70 }
71
72 static reloc_howto_type arm_howto_table[]=
73 {
74 /* 0 */
75 HOWTO (BFD_RELOC_32, 0, 2, 32, FALSE, 0,
76 complain_overflow_bitfield,
77 NULL, "32",
78 FALSE, 0xffffffff, 0xffffffff, FALSE),
79 HOWTO (BFD_RELOC_16, 0, 1, 16, FALSE, 0,
80 complain_overflow_bitfield,
81 NULL, "16",
82 FALSE, 0xffff, 0xffff, FALSE),
83 HOWTO (BFD_RELOC_8, 0, 0, 8, FALSE, 0,
84 complain_overflow_bitfield,
85 NULL, "8",
86 FALSE, 0xff, 0xff, FALSE),
87 HOWTO (BFD_RELOC_32_PCREL, 0, 2, 32, TRUE, 0,
88 complain_overflow_bitfield,
89 NULL, "DISP32",
90 FALSE, 0xffffffff, 0xffffffff, TRUE),
91 /* 4 */
92 HOWTO (BFD_RELOC_16_PCREL, 0, 1, 16, TRUE, 0,
93 complain_overflow_bitfield,
94 NULL, "DISP16",
95 FALSE, 0xffff, 0xffff, TRUE),
96 HOWTO (BFD_RELOC_MACH_O_SECTDIFF, 0, 2, 32, FALSE, 0,
97 complain_overflow_bitfield,
98 NULL, "SECTDIFF_32",
99 FALSE, 0xffffffff, 0xffffffff, FALSE),
100 HOWTO (BFD_RELOC_MACH_O_LOCAL_SECTDIFF, 0, 2, 32, FALSE, 0,
101 complain_overflow_bitfield,
102 NULL, "LSECTDIFF_32",
103 FALSE, 0xffffffff, 0xffffffff, FALSE),
104 HOWTO (BFD_RELOC_MACH_O_PAIR, 0, 2, 32, FALSE, 0,
105 complain_overflow_bitfield,
106 NULL, "PAIR_32",
107 FALSE, 0xffffffff, 0xffffffff, FALSE),
108 /* 8 */
109 HOWTO (BFD_RELOC_MACH_O_SECTDIFF, 0, 1, 16, FALSE, 0,
110 complain_overflow_bitfield,
111 NULL, "SECTDIFF_16",
112 FALSE, 0xffff, 0xffff, FALSE),
113 HOWTO (BFD_RELOC_MACH_O_LOCAL_SECTDIFF, 0, 1, 16, FALSE, 0,
114 complain_overflow_bitfield,
115 NULL, "LSECTDIFF_16",
116 FALSE, 0xffff, 0xffff, FALSE),
117 HOWTO (BFD_RELOC_MACH_O_PAIR, 0, 1, 16, FALSE, 0,
118 complain_overflow_bitfield,
119 NULL, "PAIR_16",
120 FALSE, 0xffff, 0xffff, FALSE),
121 HOWTO (BFD_RELOC_ARM_PCREL_CALL, 2, 2, 24, TRUE, 0,
122 complain_overflow_signed,
123 NULL, "BR24",
124 FALSE, 0x00ffffff, 0x00ffffff, TRUE),
125 /* 12 */
126 HOWTO (BFD_RELOC_ARM_MOVW, 0, 2, 16, FALSE, 0,
127 complain_overflow_dont,
128 NULL, "MOVW",
129 FALSE, 0x000f0fff, 0x000f0fff, FALSE),
130 HOWTO (BFD_RELOC_MACH_O_PAIR, 0, 2, 16, FALSE, 0,
131 complain_overflow_bitfield,
132 NULL, "PAIR_W",
133 FALSE, 0x000f0fff, 0x000f0fff, FALSE),
134 HOWTO (BFD_RELOC_ARM_MOVT, 0, 2, 16, FALSE, 0,
135 complain_overflow_bitfield,
136 NULL, "MOVT",
137 FALSE, 0x000f0fff, 0x000f0fff, FALSE),
138 HOWTO (BFD_RELOC_MACH_O_PAIR, 0, 2, 16, FALSE, 0,
139 complain_overflow_bitfield,
140 NULL, "PAIR_T",
141 FALSE, 0x000f0fff, 0x000f0fff, FALSE),
142 /* 16 */
143 HOWTO (BFD_RELOC_THUMB_PCREL_BLX, 2, 2, 24, TRUE, 0,
144 complain_overflow_signed,
145 NULL, "TBR22",
146 FALSE, 0x07ff2fff, 0x07ff2fff, TRUE)
147 };
148
149 static bfd_boolean
bfd_mach_o_arm_canonicalize_one_reloc(bfd * abfd,struct mach_o_reloc_info_external * raw,arelent * res,asymbol ** syms,arelent * res_base)150 bfd_mach_o_arm_canonicalize_one_reloc (bfd * abfd,
151 struct mach_o_reloc_info_external * raw,
152 arelent * res,
153 asymbol ** syms,
154 arelent * res_base)
155 {
156 bfd_mach_o_reloc_info reloc;
157
158 if (!bfd_mach_o_pre_canonicalize_one_reloc (abfd, raw, &reloc, res, syms))
159 {
160 fprintf (stderr, "ARm 1\n");
161 return FALSE;
162 }
163
164 if (reloc.r_scattered)
165 {
166 switch (reloc.r_type)
167 {
168 case BFD_MACH_O_ARM_RELOC_PAIR:
169 /* PR 21813: Check for a corrupt PAIR reloc at the start. */
170 if (res == res_base)
171 {
172 _bfd_error_handler (_("\
173 malformed mach-o ARM reloc pair: reloc is first reloc"));
174 return FALSE;
175 }
176 if (reloc.r_length == 2)
177 {
178 res->howto = &arm_howto_table[7];
179 res->address = res[-1].address;
180 return TRUE;
181 }
182 else if (reloc.r_length == 1)
183 {
184 res->howto = &arm_howto_table[10];
185 res->address = res[-1].address;
186 return TRUE;
187 }
188 _bfd_error_handler (_("\
189 malformed mach-o ARM reloc pair: invalid length: %d"), reloc.r_length);
190 return FALSE;
191
192 case BFD_MACH_O_ARM_RELOC_SECTDIFF:
193 if (reloc.r_length == 2)
194 {
195 res->howto = &arm_howto_table[5];
196 return TRUE;
197 }
198 else if (reloc.r_length == 1)
199 {
200 res->howto = &arm_howto_table[8];
201 return TRUE;
202 }
203 _bfd_error_handler (_("\
204 malformed mach-o ARM sectdiff reloc: invalid length: %d"), reloc.r_length);
205 return FALSE;
206
207 case BFD_MACH_O_ARM_RELOC_LOCAL_SECTDIFF:
208 if (reloc.r_length == 2)
209 {
210 res->howto = &arm_howto_table[6];
211 return TRUE;
212 }
213 else if (reloc.r_length == 1)
214 {
215 res->howto = &arm_howto_table[9];
216 return TRUE;
217 }
218 _bfd_error_handler (_("\
219 malformed mach-o ARM local sectdiff reloc: invalid length: %d"),
220 reloc.r_length);
221 return FALSE;
222
223 case BFD_MACH_O_ARM_RELOC_HALF_SECTDIFF:
224 switch (reloc.r_length)
225 {
226 case 2: /* :lower16: for movw arm. */
227 res->howto = &arm_howto_table[12];
228 return TRUE;
229 case 3: /* :upper16: for movt arm. */
230 res->howto = &arm_howto_table[14];
231 return TRUE;
232 }
233 _bfd_error_handler (_("\
234 malformed mach-o ARM half sectdiff reloc: invalid length: %d"),
235 reloc.r_length);
236 return FALSE;
237
238 default:
239 break;
240 }
241 }
242 else
243 {
244 switch (reloc.r_type)
245 {
246 case BFD_MACH_O_ARM_RELOC_VANILLA:
247 switch ((reloc.r_length << 1) | reloc.r_pcrel)
248 {
249 case 0: /* len = 0, pcrel = 0 */
250 res->howto = &arm_howto_table[2];
251 return TRUE;
252 case 2: /* len = 1, pcrel = 0 */
253 res->howto = &arm_howto_table[1];
254 return TRUE;
255 case 3: /* len = 1, pcrel = 1 */
256 res->howto = &arm_howto_table[4];
257 return TRUE;
258 case 4: /* len = 2, pcrel = 0 */
259 res->howto = &arm_howto_table[0];
260 return TRUE;
261 case 5: /* len = 2, pcrel = 1 */
262 res->howto = &arm_howto_table[3];
263 return TRUE;
264 default:
265 _bfd_error_handler (_("\
266 malformed mach-o ARM vanilla reloc: invalid length: %d (pcrel: %d)"),
267 reloc.r_length, reloc.r_pcrel);
268 return FALSE;
269 }
270 break;
271
272 case BFD_MACH_O_ARM_RELOC_BR24:
273 if (reloc.r_length == 2 && reloc.r_pcrel == 1)
274 {
275 res->howto = &arm_howto_table[11];
276 return TRUE;
277 }
278 break;
279
280 case BFD_MACH_O_THUMB_RELOC_BR22:
281 if (reloc.r_length == 2 && reloc.r_pcrel == 1)
282 {
283 res->howto = &arm_howto_table[16];
284 return TRUE;
285 }
286 break;
287
288 case BFD_MACH_O_ARM_RELOC_HALF:
289 if (reloc.r_pcrel == 0)
290 switch (reloc.r_length)
291 {
292 case 0: /* :lower16: for movw arm. */
293 res->howto = &arm_howto_table[12];
294 return TRUE;
295 case 1: /* :upper16: for movt arm. */
296 res->howto = &arm_howto_table[14];
297 return TRUE;
298 }
299 break;
300
301 case BFD_MACH_O_ARM_RELOC_PAIR:
302 if (res[-1].howto == &arm_howto_table[12]
303 && reloc.r_length == 0)
304 {
305 /* Pair for :lower16: of movw arm. */
306 res->howto = &arm_howto_table[13];
307 /* This reloc contains the other half in its r_address field. */
308 res[-1].addend += (res->address & 0xffff) << 16;
309 res->address = res[-1].address;
310 return TRUE;
311 }
312 else if (res[-1].howto == &arm_howto_table[14]
313 && reloc.r_length == 1)
314 {
315 /* Pair for :upper16: of movt arm. */
316 res->howto = &arm_howto_table[15];
317 /* This reloc contains the other half in its r_address field. */
318 res[-1].addend += res->address & 0xffff;
319 res->address = res[-1].address;
320 return TRUE;
321 }
322 break;
323
324 default:
325 break;
326 }
327 }
328
329 _bfd_error_handler (_("\
330 malformed mach-o ARM reloc: unknown reloc type: %d"), reloc.r_length);
331 return FALSE;
332 }
333
334 static reloc_howto_type *
bfd_mach_o_arm_bfd_reloc_type_lookup(bfd * abfd ATTRIBUTE_UNUSED,bfd_reloc_code_real_type code)335 bfd_mach_o_arm_bfd_reloc_type_lookup (bfd *abfd ATTRIBUTE_UNUSED,
336 bfd_reloc_code_real_type code)
337 {
338 unsigned int i;
339
340 for (i = 0; i < sizeof (arm_howto_table) / sizeof (*arm_howto_table); i++)
341 if (code == arm_howto_table[i].type)
342 return &arm_howto_table[i];
343 return NULL;
344 }
345
346 static reloc_howto_type *
bfd_mach_o_arm_bfd_reloc_name_lookup(bfd * abfd ATTRIBUTE_UNUSED,const char * name ATTRIBUTE_UNUSED)347 bfd_mach_o_arm_bfd_reloc_name_lookup (bfd *abfd ATTRIBUTE_UNUSED,
348 const char *name ATTRIBUTE_UNUSED)
349 {
350 return NULL;
351 }
352
353 #define TARGET_NAME arm_mach_o_vec
354 #define TARGET_STRING "mach-o-arm"
355 #define TARGET_ARCHITECTURE bfd_arch_arm
356 #define TARGET_PAGESIZE 4096
357 #define TARGET_BIG_ENDIAN 0
358 #define TARGET_ARCHIVE 0
359 #define TARGET_PRIORITY 0
360 #include "mach-o-target.c"
361