AArch64: Mark sve instructions that require MOVPRFX constraints
[deliverable/binutils-gdb.git] / bfd / cpu-arm.c
CommitLineData
252b5132 1/* BFD support for the ARM processor
219d1afa 2 Copyright (C) 1994-2018 Free Software Foundation, Inc.
252b5132
RH
3 Contributed by Richard Earnshaw (rwe@pegasus.esprit.ec.org)
4
e2fd756b 5 This file is part of BFD, the Binary File Descriptor library.
252b5132 6
e2fd756b
NC
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
cd123cb7 9 the Free Software Foundation; either version 3 of the License, or
e2fd756b 10 (at your option) any later version.
252b5132 11
e2fd756b
NC
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
252b5132 16
e2fd756b
NC
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
cd123cb7
NC
19 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
20 MA 02110-1301, USA. */
252b5132 21
252b5132 22#include "sysdep.h"
3db64b00 23#include "bfd.h"
252b5132 24#include "libbfd.h"
5a6c6817 25#include "libiberty.h"
252b5132 26
252b5132
RH
27/* This routine is provided two arch_infos and works out which ARM
28 machine which would be compatible with both and returns a pointer
e2fd756b 29 to its info structure. */
252b5132
RH
30
31static const bfd_arch_info_type *
f075ee0c 32compatible (const bfd_arch_info_type *a, const bfd_arch_info_type *b)
252b5132 33{
e2fd756b 34 /* If a & b are for different architecture we can do nothing. */
252b5132
RH
35 if (a->arch != b->arch)
36 return NULL;
37
e2fd756b 38 /* If a & b are for the same machine then all is well. */
252b5132
RH
39 if (a->mach == b->mach)
40 return a;
41
e2fd756b
NC
42 /* Otherwise if either a or b is the 'default' machine
43 then it can be polymorphed into the other. */
252b5132
RH
44 if (a->the_default)
45 return b;
71f6b586 46
252b5132
RH
47 if (b->the_default)
48 return a;
49
e2fd756b
NC
50 /* So far all newer ARM architecture cores are
51 supersets of previous cores. */
252b5132
RH
52 if (a->mach < b->mach)
53 return b;
54 else if (a->mach > b->mach)
55 return a;
56
e2fd756b 57 /* Never reached! */
252b5132
RH
58 return NULL;
59}
60
61static struct
62{
e2fd756b
NC
63 unsigned int mach;
64 char * name;
252b5132
RH
65}
66processors[] =
67{
68 { bfd_mach_arm_2, "arm2" },
69 { bfd_mach_arm_2a, "arm250" },
70 { bfd_mach_arm_2a, "arm3" },
71 { bfd_mach_arm_3, "arm6" },
72 { bfd_mach_arm_3, "arm60" },
73 { bfd_mach_arm_3, "arm600" },
74 { bfd_mach_arm_3, "arm610" },
75 { bfd_mach_arm_3, "arm7" },
76 { bfd_mach_arm_3, "arm710" },
77 { bfd_mach_arm_3, "arm7500" },
78 { bfd_mach_arm_3, "arm7d" },
79 { bfd_mach_arm_3, "arm7di" },
80 { bfd_mach_arm_3M, "arm7dm" },
81 { bfd_mach_arm_3M, "arm7dmi" },
478d07d6 82 { bfd_mach_arm_4T, "arm7tdmi" },
252b5132
RH
83 { bfd_mach_arm_4, "arm8" },
84 { bfd_mach_arm_4, "arm810" },
478d07d6
NC
85 { bfd_mach_arm_4, "arm9" },
86 { bfd_mach_arm_4, "arm920" },
87 { bfd_mach_arm_4T, "arm920t" },
88 { bfd_mach_arm_4T, "arm9tdmi" },
252b5132 89 { bfd_mach_arm_4, "sa1" },
478d07d6
NC
90 { bfd_mach_arm_4, "strongarm"},
91 { bfd_mach_arm_4, "strongarm110" },
92 { bfd_mach_arm_4, "strongarm1100" },
fde78edd 93 { bfd_mach_arm_XScale, "xscale" },
e16bb312 94 { bfd_mach_arm_ep9312, "ep9312" },
2d447fca 95 { bfd_mach_arm_iWMMXt, "iwmmxt" },
99914dfd
NC
96 { bfd_mach_arm_iWMMXt2, "iwmmxt2" },
97 { bfd_mach_arm_unknown, "arm_any" }
252b5132
RH
98};
99
b34976b6 100static bfd_boolean
f075ee0c 101scan (const struct bfd_arch_info *info, const char *string)
252b5132
RH
102{
103 int i;
104
e2fd756b 105 /* First test for an exact match. */
252b5132 106 if (strcasecmp (string, info->printable_name) == 0)
b34976b6 107 return TRUE;
252b5132 108
e2fd756b 109 /* Next check for a processor name instead of an Architecture name. */
252b5132
RH
110 for (i = sizeof (processors) / sizeof (processors[0]); i--;)
111 {
e2fd756b 112 if (strcasecmp (string, processors [i].name) == 0)
252b5132
RH
113 break;
114 }
115
e2fd756b 116 if (i != -1 && info->mach == processors [i].mach)
b34976b6 117 return TRUE;
252b5132 118
e2fd756b 119 /* Finally check for the default architecture. */
252b5132
RH
120 if (strcasecmp (string, "arm") == 0)
121 return info->the_default;
71f6b586 122
b34976b6 123 return FALSE;
252b5132
RH
124}
125
252b5132 126#define N(number, print, default, next) \
b7761f11
L
127{ 32, 32, 8, bfd_arch_arm, number, "arm", print, 4, default, compatible, \
128 scan, bfd_arch_default_fill, next }
252b5132
RH
129
130static const bfd_arch_info_type arch_info_struct[] =
71f6b586 131{
c0c468d5
TP
132 N (bfd_mach_arm_2, "armv2", FALSE, & arch_info_struct[1]),
133 N (bfd_mach_arm_2a, "armv2a", FALSE, & arch_info_struct[2]),
134 N (bfd_mach_arm_3, "armv3", FALSE, & arch_info_struct[3]),
135 N (bfd_mach_arm_3M, "armv3m", FALSE, & arch_info_struct[4]),
136 N (bfd_mach_arm_4, "armv4", FALSE, & arch_info_struct[5]),
137 N (bfd_mach_arm_4T, "armv4t", FALSE, & arch_info_struct[6]),
138 N (bfd_mach_arm_5, "armv5", FALSE, & arch_info_struct[7]),
139 N (bfd_mach_arm_5T, "armv5t", FALSE, & arch_info_struct[8]),
140 N (bfd_mach_arm_5TE, "armv5te", FALSE, & arch_info_struct[9]),
141 N (bfd_mach_arm_XScale, "xscale", FALSE, & arch_info_struct[10]),
142 N (bfd_mach_arm_ep9312, "ep9312", FALSE, & arch_info_struct[11]),
143 N (bfd_mach_arm_iWMMXt, "iwmmxt", FALSE, & arch_info_struct[12]),
144 N (bfd_mach_arm_iWMMXt2, "iwmmxt2", FALSE, & arch_info_struct[13]),
145 N (bfd_mach_arm_5TEJ, "armv5tej", FALSE, & arch_info_struct[14]),
146 N (bfd_mach_arm_6, "armv6", FALSE, & arch_info_struct[15]),
147 N (bfd_mach_arm_6KZ, "armv6kz", FALSE, & arch_info_struct[16]),
148 N (bfd_mach_arm_6T2, "armv6t2", FALSE, & arch_info_struct[17]),
149 N (bfd_mach_arm_6K, "armv6k", FALSE, & arch_info_struct[18]),
150 N (bfd_mach_arm_7, "armv7", FALSE, & arch_info_struct[19]),
151 N (bfd_mach_arm_6M, "armv6-m", FALSE, & arch_info_struct[20]),
152 N (bfd_mach_arm_6SM, "armv6s-m", FALSE, & arch_info_struct[21]),
153 N (bfd_mach_arm_7EM, "armv7e-m", FALSE, & arch_info_struct[22]),
154 N (bfd_mach_arm_8, "armv8-a", FALSE, & arch_info_struct[23]),
155 N (bfd_mach_arm_8R, "armv8-r", FALSE, & arch_info_struct[24]),
156 N (bfd_mach_arm_8M_BASE, "armv8-m.base", FALSE, & arch_info_struct[25]),
157 N (bfd_mach_arm_8M_MAIN, "armv8-m.main", FALSE, & arch_info_struct[26]),
158 N (bfd_mach_arm_unknown, "arm_any", FALSE, NULL)
252b5132
RH
159};
160
161const bfd_arch_info_type bfd_arm_arch =
b34976b6 162 N (0, "arm", TRUE, & arch_info_struct[0]);
5a6c6817
NC
163
164/* Support functions used by both the COFF and ELF versions of the ARM port. */
165
5c4491d3 166/* Handle the merging of the 'machine' settings of input file IBFD
5a6c6817
NC
167 and an output file OBFD. These values actually represent the
168 different possible ARM architecture variants.
169 Returns TRUE if they were merged successfully or FALSE otherwise. */
170
171bfd_boolean
f075ee0c 172bfd_arm_merge_machines (bfd *ibfd, bfd *obfd)
5a6c6817
NC
173{
174 unsigned int in = bfd_get_mach (ibfd);
175 unsigned int out = bfd_get_mach (obfd);
176
177 /* If the output architecture is unknown, we now have a value to set. */
178 if (out == bfd_mach_arm_unknown)
179 bfd_set_arch_mach (obfd, bfd_arch_arm, in);
180
5c4491d3 181 /* If the input architecture is unknown,
5a6c6817
NC
182 then so must be the output architecture. */
183 else if (in == bfd_mach_arm_unknown)
184 /* FIXME: We ought to have some way to
185 override this on the command line. */
186 bfd_set_arch_mach (obfd, bfd_arch_arm, bfd_mach_arm_unknown);
187
188 /* If they are the same then nothing needs to be done. */
189 else if (out == in)
190 ;
191
192 /* Otherwise the general principle that a earlier architecture can be
5c4491d3 193 linked with a later architecture to produce a binary that will execute
5a6c6817
NC
194 on the later architecture.
195
196 We fail however if we attempt to link a Cirrus EP9312 binary with an
197 Intel XScale binary, since these architecture have co-processors which
198 will not both be present on the same physical hardware. */
199 else if (in == bfd_mach_arm_ep9312
2d447fca
JM
200 && (out == bfd_mach_arm_XScale
201 || out == bfd_mach_arm_iWMMXt
202 || out == bfd_mach_arm_iWMMXt2))
5a6c6817 203 {
695344c0 204 /* xgettext: c-format */
5a6c6817 205 _bfd_error_handler (_("\
871b3ab2 206error: %pB is compiled for the EP9312, whereas %pB is compiled for XScale"),
d003868e 207 ibfd, obfd);
5a6c6817
NC
208 bfd_set_error (bfd_error_wrong_format);
209 return FALSE;
210 }
211 else if (out == bfd_mach_arm_ep9312
2d447fca
JM
212 && (in == bfd_mach_arm_XScale
213 || in == bfd_mach_arm_iWMMXt
214 || in == bfd_mach_arm_iWMMXt2))
5a6c6817 215 {
695344c0 216 /* xgettext: c-format */
5a6c6817 217 _bfd_error_handler (_("\
871b3ab2 218error: %pB is compiled for the EP9312, whereas %pB is compiled for XScale"),
d003868e 219 obfd, ibfd);
5a6c6817
NC
220 bfd_set_error (bfd_error_wrong_format);
221 return FALSE;
222 }
223 else if (in > out)
224 bfd_set_arch_mach (obfd, bfd_arch_arm, in);
225 /* else
226 Nothing to do. */
227
228 return TRUE;
229}
230
231typedef struct
232{
233 unsigned char namesz[4]; /* Size of entry's owner string. */
234 unsigned char descsz[4]; /* Size of the note descriptor. */
235 unsigned char type[4]; /* Interpretation of the descriptor. */
236 char name[1]; /* Start of the name+desc data. */
237} arm_Note;
238
239static bfd_boolean
f075ee0c
AM
240arm_check_note (bfd *abfd,
241 bfd_byte *buffer,
242 bfd_size_type buffer_size,
243 const char *expected_name,
244 char **description_return)
5a6c6817
NC
245{
246 unsigned long namesz;
247 unsigned long descsz;
248 unsigned long type;
07d6d2b8 249 char * descr;
5a6c6817
NC
250
251 if (buffer_size < offsetof (arm_Note, name))
252 return FALSE;
253
254 /* We have to extract the values this way to allow for a
255 host whose endian-ness is different from the target. */
256 namesz = bfd_get_32 (abfd, buffer);
257 descsz = bfd_get_32 (abfd, buffer + offsetof (arm_Note, descsz));
258 type = bfd_get_32 (abfd, buffer + offsetof (arm_Note, type));
f075ee0c 259 descr = (char *) buffer + offsetof (arm_Note, name);
5a6c6817
NC
260
261 /* Check for buffer overflow. */
262 if (namesz + descsz + offsetof (arm_Note, name) > buffer_size)
263 return FALSE;
264
265 if (expected_name == NULL)
266 {
267 if (namesz != 0)
268 return FALSE;
269 }
270 else
68ffbac6 271 {
60d8b524 272 if (namesz != ((strlen (expected_name) + 1 + 3) & ~3))
5a6c6817 273 return FALSE;
68ffbac6 274
5a6c6817
NC
275 if (strcmp (descr, expected_name) != 0)
276 return FALSE;
277
278 descr += (namesz + 3) & ~3;
279 }
280
281 /* FIXME: We should probably check the type as well. */
c7e2358a 282 (void) type;
5a6c6817
NC
283
284 if (description_return != NULL)
285 * description_return = descr;
286
287 return TRUE;
288}
289
07d6d2b8 290#define NOTE_ARCH_STRING "arch: "
5a6c6817
NC
291
292bfd_boolean
f075ee0c 293bfd_arm_update_notes (bfd *abfd, const char *note_section)
5a6c6817 294{
07d6d2b8
AM
295 asection * arm_arch_section;
296 bfd_size_type buffer_size;
297 bfd_byte * buffer;
298 char * arch_string;
299 char * expected;
5a6c6817
NC
300
301 /* Look for a note section. If one is present check the architecture
302 string encoded in it, and set it to the current architecture if it is
303 different. */
304 arm_arch_section = bfd_get_section_by_name (abfd, note_section);
305
306 if (arm_arch_section == NULL)
307 return TRUE;
308
eea6121a 309 buffer_size = arm_arch_section->size;
5a6c6817
NC
310 if (buffer_size == 0)
311 return FALSE;
312
eea6121a 313 if (!bfd_malloc_and_get_section (abfd, arm_arch_section, &buffer))
5a6c6817
NC
314 goto FAIL;
315
316 /* Parse the note. */
317 if (! arm_check_note (abfd, buffer, buffer_size, NOTE_ARCH_STRING, & arch_string))
318 goto FAIL;
319
320 /* Check the architecture in the note against the architecture of the bfd. */
321 switch (bfd_get_mach (abfd))
322 {
323 default:
324 case bfd_mach_arm_unknown: expected = "unknown"; break;
325 case bfd_mach_arm_2: expected = "armv2"; break;
326 case bfd_mach_arm_2a: expected = "armv2a"; break;
327 case bfd_mach_arm_3: expected = "armv3"; break;
328 case bfd_mach_arm_3M: expected = "armv3M"; break;
329 case bfd_mach_arm_4: expected = "armv4"; break;
330 case bfd_mach_arm_4T: expected = "armv4t"; break;
331 case bfd_mach_arm_5: expected = "armv5"; break;
332 case bfd_mach_arm_5T: expected = "armv5t"; break;
333 case bfd_mach_arm_5TE: expected = "armv5te"; break;
334 case bfd_mach_arm_XScale: expected = "XScale"; break;
335 case bfd_mach_arm_ep9312: expected = "ep9312"; break;
336 case bfd_mach_arm_iWMMXt: expected = "iWMMXt"; break;
2d447fca 337 case bfd_mach_arm_iWMMXt2: expected = "iWMMXt2"; break;
5a6c6817
NC
338 }
339
340 if (strcmp (arch_string, expected) != 0)
341 {
f075ee0c
AM
342 strcpy ((char *) buffer + (offsetof (arm_Note, name)
343 + ((strlen (NOTE_ARCH_STRING) + 3) & ~3)),
344 expected);
5a6c6817
NC
345
346 if (! bfd_set_section_contents (abfd, arm_arch_section, buffer,
347 (file_ptr) 0, buffer_size))
348 {
4eca0228 349 _bfd_error_handler
695344c0 350 /* xgettext: c-format */
871b3ab2 351 (_("warning: unable to update contents of %s section in %pB"),
dae82561 352 note_section, abfd);
5a6c6817
NC
353 goto FAIL;
354 }
355 }
356
357 free (buffer);
358 return TRUE;
359
360 FAIL:
eea6121a
AM
361 if (buffer != NULL)
362 free (buffer);
5a6c6817
NC
363 return FALSE;
364}
365
366
367static struct
368{
369 const char * string;
370 unsigned int mach;
371}
372architectures[] =
373{
374 { "armv2", bfd_mach_arm_2 },
375 { "armv2a", bfd_mach_arm_2a },
376 { "armv3", bfd_mach_arm_3 },
377 { "armv3M", bfd_mach_arm_3M },
378 { "armv4", bfd_mach_arm_4 },
379 { "armv4t", bfd_mach_arm_4T },
380 { "armv5", bfd_mach_arm_5 },
381 { "armv5t", bfd_mach_arm_5T },
382 { "armv5te", bfd_mach_arm_5TE },
383 { "XScale", bfd_mach_arm_XScale },
384 { "ep9312", bfd_mach_arm_ep9312 },
2d447fca 385 { "iWMMXt", bfd_mach_arm_iWMMXt },
99914dfd
NC
386 { "iWMMXt2", bfd_mach_arm_iWMMXt2 },
387 { "arm_any", bfd_mach_arm_unknown }
5a6c6817
NC
388};
389
390/* Extract the machine number stored in a note section. */
391unsigned int
f075ee0c 392bfd_arm_get_mach_from_notes (bfd *abfd, const char *note_section)
5a6c6817 393{
07d6d2b8
AM
394 asection * arm_arch_section;
395 bfd_size_type buffer_size;
396 bfd_byte * buffer;
397 char * arch_string;
398 int i;
5a6c6817
NC
399
400 /* Look for a note section. If one is present check the architecture
401 string encoded in it, and set it to the current architecture if it is
402 different. */
403 arm_arch_section = bfd_get_section_by_name (abfd, note_section);
404
405 if (arm_arch_section == NULL)
406 return bfd_mach_arm_unknown;
407
eea6121a 408 buffer_size = arm_arch_section->size;
5a6c6817
NC
409 if (buffer_size == 0)
410 return bfd_mach_arm_unknown;
411
eea6121a 412 if (!bfd_malloc_and_get_section (abfd, arm_arch_section, &buffer))
5a6c6817
NC
413 goto FAIL;
414
415 /* Parse the note. */
416 if (! arm_check_note (abfd, buffer, buffer_size, NOTE_ARCH_STRING, & arch_string))
417 goto FAIL;
418
419 /* Interpret the architecture string. */
420 for (i = ARRAY_SIZE (architectures); i--;)
421 if (strcmp (arch_string, architectures[i].string) == 0)
422 {
423 free (buffer);
424 return architectures[i].mach;
425 }
426
427 FAIL:
eea6121a
AM
428 if (buffer != NULL)
429 free (buffer);
5a6c6817
NC
430 return bfd_mach_arm_unknown;
431}
9d2da7ca
JB
432
433bfd_boolean
b0796911 434bfd_is_arm_special_symbol_name (const char * name, int type)
9d2da7ca 435{
38406048 436 /* The ARM compiler outputs several obsolete forms. Recognize them
efacb0fb
DJ
437 in addition to the standard $a, $t and $d. We are somewhat loose
438 in what we accept here, since the full set is not documented. */
b0796911
PB
439 if (!name || name[0] != '$')
440 return FALSE;
441 if (name[1] == 'a' || name[1] == 't' || name[1] == 'd')
442 type &= BFD_ARM_SPECIAL_SYM_TYPE_MAP;
443 else if (name[1] == 'm' || name[1] == 'f' || name[1] == 'p')
444 type &= BFD_ARM_SPECIAL_SYM_TYPE_TAG;
445 else if (name[1] >= 'a' && name[1] <= 'z')
446 type &= BFD_ARM_SPECIAL_SYM_TYPE_OTHER;
447 else
448 return FALSE;
449
450 return (type != 0 && (name[2] == 0 || name[2] == '.'));
9d2da7ca
JB
451}
452
This page took 0.855768 seconds and 4 git commands to generate.