gdb: add target_ops::supports_displaced_step
[deliverable/binutils-gdb.git] / bfd / libhppa.h
CommitLineData
252b5132 1/* HP PA-RISC SOM object file format: definitions internal to BFD.
b3adc24a 2 Copyright (C) 1990-2020 Free Software Foundation, Inc.
252b5132
RH
3
4 Contributed by the Center for Software Science at the
5 University of Utah (pa-gdb-bugs@cs.utah.edu).
6
7 This file is part of BFD, the Binary File Descriptor library.
8
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
cd123cb7 11 the Free Software Foundation; either version 3 of the License, or
252b5132
RH
12 (at your option) any later version.
13
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
18
19 You should have received a copy of the GNU General Public License
20 along with this program; if not, write to the Free Software
cd123cb7
NC
21 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
22 MA 02110-1301, USA. */
252b5132 23
edd21aca
AM
24#ifndef _LIBHPPA_H
25#define _LIBHPPA_H
252b5132
RH
26
27#define BYTES_IN_WORD 4
28#define PA_PAGESIZE 0x1000
29
252b5132 30/* The PA instruction set variants. */
9fd9378c 31enum pa_arch {pa10 = 10, pa11 = 11, pa20 = 20, pa20w = 25};
252b5132
RH
32
33/* HP PA-RISC relocation types */
34
35enum hppa_reloc_field_selector_type
36 {
37 R_HPPA_FSEL = 0x0,
38 R_HPPA_LSSEL = 0x1,
39 R_HPPA_RSSEL = 0x2,
40 R_HPPA_LSEL = 0x3,
41 R_HPPA_RSEL = 0x4,
42 R_HPPA_LDSEL = 0x5,
43 R_HPPA_RDSEL = 0x6,
44 R_HPPA_LRSEL = 0x7,
45 R_HPPA_RRSEL = 0x8,
46 R_HPPA_NSEL = 0x9,
47 R_HPPA_NLSEL = 0xa,
48 R_HPPA_NLRSEL = 0xb,
49 R_HPPA_PSEL = 0xc,
50 R_HPPA_LPSEL = 0xd,
51 R_HPPA_RPSEL = 0xe,
52 R_HPPA_TSEL = 0xf,
53 R_HPPA_LTSEL = 0x10,
1560fbe4
JL
54 R_HPPA_RTSEL = 0x11,
55 R_HPPA_LTPSEL = 0x12,
56 R_HPPA_RTPSEL = 0x13
252b5132
RH
57 };
58
59/* /usr/include/reloc.h defines these to constants. We want to use
60 them in enums, so #undef them before we start using them. We might
61 be able to fix this another way by simply managing not to include
62 /usr/include/reloc.h, but currently GDB picks up these defines
63 somewhere. */
64#undef e_fsel
65#undef e_lssel
66#undef e_rssel
67#undef e_lsel
68#undef e_rsel
69#undef e_ldsel
70#undef e_rdsel
71#undef e_lrsel
72#undef e_rrsel
73#undef e_nsel
74#undef e_nlsel
75#undef e_nlrsel
76#undef e_psel
77#undef e_lpsel
78#undef e_rpsel
79#undef e_tsel
80#undef e_ltsel
81#undef e_rtsel
82#undef e_one
83#undef e_two
84#undef e_pcrel
85#undef e_con
86#undef e_plabel
87#undef e_abs
88
89/* for compatibility */
90enum hppa_reloc_field_selector_type_alt
91 {
92 e_fsel = R_HPPA_FSEL,
93 e_lssel = R_HPPA_LSSEL,
94 e_rssel = R_HPPA_RSSEL,
95 e_lsel = R_HPPA_LSEL,
96 e_rsel = R_HPPA_RSEL,
97 e_ldsel = R_HPPA_LDSEL,
98 e_rdsel = R_HPPA_RDSEL,
99 e_lrsel = R_HPPA_LRSEL,
100 e_rrsel = R_HPPA_RRSEL,
101 e_nsel = R_HPPA_NSEL,
102 e_nlsel = R_HPPA_NLSEL,
103 e_nlrsel = R_HPPA_NLRSEL,
104 e_psel = R_HPPA_PSEL,
105 e_lpsel = R_HPPA_LPSEL,
106 e_rpsel = R_HPPA_RPSEL,
107 e_tsel = R_HPPA_TSEL,
108 e_ltsel = R_HPPA_LTSEL,
1560fbe4
JL
109 e_rtsel = R_HPPA_RTSEL,
110 e_ltpsel = R_HPPA_LTPSEL,
111 e_rtpsel = R_HPPA_RTPSEL
252b5132
RH
112 };
113
114enum hppa_reloc_expr_type
115 {
116 R_HPPA_E_ONE = 0,
117 R_HPPA_E_TWO = 1,
118 R_HPPA_E_PCREL = 2,
119 R_HPPA_E_CON = 3,
120 R_HPPA_E_PLABEL = 7,
121 R_HPPA_E_ABS = 18
122 };
123
124/* for compatibility */
125enum hppa_reloc_expr_type_alt
126 {
127 e_one = R_HPPA_E_ONE,
128 e_two = R_HPPA_E_TWO,
129 e_pcrel = R_HPPA_E_PCREL,
130 e_con = R_HPPA_E_CON,
131 e_plabel = R_HPPA_E_PLABEL,
132 e_abs = R_HPPA_E_ABS
133 };
134
135
37afc161
JL
136/* Relocations for function calls must be accompanied by parameter
137 relocation bits. These bits describe exactly where the caller has
138 placed the function's arguments and where it expects to find a return
139 value.
140
141 Both ELF and SOM encode this information within the addend field
142 of the call relocation. (Note this could break very badly if one
143 was to make a call like bl foo + 0x12345678).
144
145 The high order 10 bits contain parameter relocation information,
146 the low order 22 bits contain the constant offset. */
3f9b03b5
AM
147
148#define HPPA_R_ARG_RELOC(a) \
149 (((a) >> 22) & 0x3ff)
150#define HPPA_R_CONSTANT(a) \
13c9c485 151 ((((bfd_signed_vma) (a) & 0x3fffff) ^ 0x200000) - 0x200000)
3f9b03b5
AM
152#define HPPA_R_ADDEND(r, c) \
153 (((r) << 22) + ((c) & 0x3fffff))
252b5132 154
3f9b03b5 155
252b5132
RH
156/* Some functions to manipulate PA instructions. */
157
edd21aca
AM
158/* The *sign_extend functions are used to assemble various bitfields
159 taken from an instruction and return the resulting immediate
160 value. */
161
15d2859f
AM
162static inline unsigned ATTRIBUTE_UNUSED
163sign_extend (unsigned x, unsigned len)
252b5132 164{
15d2859f
AM
165 unsigned signbit = (1 << (len - 1));
166 unsigned mask = (signbit << 1) - 1;
3f9b03b5 167 return ((x & mask) ^ signbit) - signbit;
252b5132
RH
168}
169
15d2859f
AM
170static inline unsigned ATTRIBUTE_UNUSED
171low_sign_extend (unsigned x, unsigned len)
252b5132 172{
3f9b03b5 173 return (x >> 1) - ((x & 1) << (len - 1));
252b5132
RH
174}
175
252b5132 176
edd21aca
AM
177/* The re_assemble_* functions prepare an immediate value for
178 insertion into an opcode. pa-risc uses all sorts of weird bitfields
179 in the instruction to hold the value. */
252b5132 180
15d2859f
AM
181static inline unsigned ATTRIBUTE_UNUSED
182sign_unext (unsigned x, unsigned len)
252b5132 183{
15d2859f 184 unsigned len_ones;
252b5132 185
edd21aca 186 len_ones = (1 << len) - 1;
252b5132 187
3f9b03b5 188 return x & len_ones;
252b5132
RH
189}
190
15d2859f
AM
191static inline unsigned ATTRIBUTE_UNUSED
192low_sign_unext (unsigned x, unsigned len)
252b5132 193{
15d2859f
AM
194 unsigned temp;
195 unsigned sign;
252b5132 196
3f9b03b5 197 sign = (x >> (len-1)) & 1;
252b5132 198
3f9b03b5
AM
199 temp = sign_unext (x, len-1);
200
201 return (temp << 1) | sign;
252b5132
RH
202}
203
15d2859f
AM
204static inline unsigned ATTRIBUTE_UNUSED
205re_assemble_3 (unsigned as3)
252b5132 206{
edd21aca 207 return (( (as3 & 4) << (13-2))
3f9b03b5 208 | ((as3 & 3) << (13+1)));
252b5132
RH
209}
210
15d2859f
AM
211static inline unsigned ATTRIBUTE_UNUSED
212re_assemble_12 (unsigned as12)
252b5132 213{
edd21aca 214 return (( (as12 & 0x800) >> 11)
3f9b03b5
AM
215 | ((as12 & 0x400) >> (10 - 2))
216 | ((as12 & 0x3ff) << (1 + 2)));
217}
218
15d2859f
AM
219static inline unsigned ATTRIBUTE_UNUSED
220re_assemble_14 (unsigned as14)
3f9b03b5 221{
edd21aca
AM
222 return (( (as14 & 0x1fff) << 1)
223 | ((as14 & 0x2000) >> 13));
224}
252b5132 225
15d2859f
AM
226static inline unsigned ATTRIBUTE_UNUSED
227re_assemble_16 (unsigned as16)
edd21aca 228{
15d2859f 229 unsigned s, t;
edd21aca
AM
230
231 /* Unusual 16-bit encoding, for wide mode only. */
232 t = (as16 << 1) & 0xffff;
233 s = (as16 & 0x8000);
234 return (t ^ s ^ (s >> 1)) | (s >> 15);
3f9b03b5 235}
252b5132 236
15d2859f
AM
237static inline unsigned ATTRIBUTE_UNUSED
238re_assemble_17 (unsigned as17)
3f9b03b5 239{
edd21aca 240 return (( (as17 & 0x10000) >> 16)
3f9b03b5
AM
241 | ((as17 & 0x0f800) << (16 - 11))
242 | ((as17 & 0x00400) >> (10 - 2))
243 | ((as17 & 0x003ff) << (1 + 2)));
244}
252b5132 245
15d2859f
AM
246static inline unsigned ATTRIBUTE_UNUSED
247re_assemble_21 (unsigned as21)
3f9b03b5 248{
edd21aca 249 return (( (as21 & 0x100000) >> 20)
3f9b03b5
AM
250 | ((as21 & 0x0ffe00) >> 8)
251 | ((as21 & 0x000180) << 7)
252 | ((as21 & 0x00007c) << 14)
253 | ((as21 & 0x000003) << 12));
254}
252b5132 255
15d2859f
AM
256static inline unsigned ATTRIBUTE_UNUSED
257re_assemble_22 (unsigned as22)
3f9b03b5 258{
edd21aca 259 return (( (as22 & 0x200000) >> 21)
3f9b03b5
AM
260 | ((as22 & 0x1f0000) << (21 - 16))
261 | ((as22 & 0x00f800) << (16 - 11))
262 | ((as22 & 0x000400) >> (10 - 2))
263 | ((as22 & 0x0003ff) << (1 + 2)));
252b5132
RH
264}
265
252b5132 266
3f9b03b5
AM
267/* Handle field selectors for PA instructions.
268 The L and R (and LS, RS etc.) selectors are used in pairs to form a
269 full 32 bit address. eg.
270
271 LDIL L'start,%r1 ; put left part into r1
272 LDW R'start(%r1),%r2 ; add r1 and right part to form address
273
274 This function returns sign extended values in all cases.
275*/
276
15d2859f 277static inline bfd_signed_vma ATTRIBUTE_UNUSED
c39a58e6
AM
278hppa_field_adjust (bfd_vma sym_val,
279 bfd_signed_vma addend,
280 enum hppa_reloc_field_selector_type_alt r_field)
252b5132 281{
3f9b03b5
AM
282 bfd_signed_vma value;
283
284 value = sym_val + addend;
252b5132
RH
285 switch (r_field)
286 {
3f9b03b5 287 case e_fsel:
3f9b03b5 288 /* F: No change. */
252b5132
RH
289 break;
290
edd21aca
AM
291 case e_nsel:
292 /* N: null selector. I don't really understand what this is all
293 about, but HP's documentation says "this indicates that zero
294 bits are to be used for the displacement on the instruction.
295 This fixup is used to identify three-instruction sequences to
296 access data (for importing shared library data)." */
297 value = 0;
298 break;
299
3f9b03b5
AM
300 case e_lsel:
301 case e_nlsel:
302 /* L: Select top 21 bits. */
303 value = value >> 11;
252b5132
RH
304 break;
305
3f9b03b5
AM
306 case e_rsel:
307 /* R: Select bottom 11 bits. */
308 value = value & 0x7ff;
252b5132
RH
309 break;
310
3f9b03b5
AM
311 case e_lssel:
312 /* LS: Round to nearest multiple of 2048 then select top 21 bits. */
313 value = value + 0x400;
314 value = value >> 11;
252b5132
RH
315 break;
316
3f9b03b5
AM
317 case e_rssel:
318 /* RS: Select bottom 11 bits for LS.
319 We need to return a value such that 2048 * LS'x + RS'x == x.
320 ie. RS'x = x - ((x + 0x400) & -0x800)
321 this is just a sign extension from bit 21. */
322 value = ((value & 0x7ff) ^ 0x400) - 0x400;
252b5132
RH
323 break;
324
3f9b03b5
AM
325 case e_ldsel:
326 /* LD: Round to next multiple of 2048 then select top 21 bits.
327 Yes, if we are already on a multiple of 2048, we go up to the
328 next one. RD in this case will be -2048. */
329 value = value + 0x800;
330 value = value >> 11;
252b5132
RH
331 break;
332
3f9b03b5
AM
333 case e_rdsel:
334 /* RD: Set bits 0-20 to one. */
335 value = value | -0x800;
252b5132
RH
336 break;
337
3f9b03b5
AM
338 case e_lrsel:
339 case e_nlrsel:
340 /* LR: L with rounding of the addend to nearest 8k. */
341 value = sym_val + ((addend + 0x1000) & -0x2000);
342 value = value >> 11;
252b5132
RH
343 break;
344
3f9b03b5
AM
345 case e_rrsel:
346 /* RR: R with rounding of the addend to nearest 8k.
347 We need to return a value such that 2048 * LR'x + RR'x == x
348 ie. RR'x = s+a - (s + (((a + 0x1000) & -0x2000) & -0x800))
349 . = s+a - ((s & -0x800) + ((a + 0x1000) & -0x2000))
350 . = (s & 0x7ff) + a - ((a + 0x1000) & -0x2000) */
351 value = (sym_val & 0x7ff) + (((addend & 0x1fff) ^ 0x1000) - 0x1000);
252b5132
RH
352 break;
353
354 default:
355 abort ();
356 }
357 return value;
252b5132
RH
358}
359
360/* PA-RISC OPCODES */
3f9b03b5 361#define get_opcode(insn) (((insn) >> 26) & 0x3f)
252b5132 362
edd21aca
AM
363enum hppa_opcode_type
364{
365 /* None of the opcodes in the first group generate relocs, so we
366 aren't too concerned about them. */
367 OP_SYSOP = 0x00,
368 OP_MEMMNG = 0x01,
369 OP_ALU = 0x02,
370 OP_NDXMEM = 0x03,
371 OP_SPOP = 0x04,
372 OP_DIAG = 0x05,
373 OP_FMPYADD = 0x06,
374 OP_UNDEF07 = 0x07,
375 OP_COPRW = 0x09,
376 OP_COPRDW = 0x0b,
377 OP_COPR = 0x0c,
378 OP_FLOAT = 0x0e,
379 OP_PRDSPEC = 0x0f,
380 OP_UNDEF15 = 0x15,
381 OP_UNDEF1d = 0x1d,
382 OP_FMPYSUB = 0x26,
383 OP_FPFUSED = 0x2e,
384 OP_SHEXDP0 = 0x34,
385 OP_SHEXDP1 = 0x35,
386 OP_SHEXDP2 = 0x36,
387 OP_UNDEF37 = 0x37,
388 OP_SHEXDP3 = 0x3c,
389 OP_SHEXDP4 = 0x3d,
390 OP_MULTMED = 0x3e,
391 OP_UNDEF3f = 0x3f,
392
393 OP_LDIL = 0x08,
394 OP_ADDIL = 0x0a,
395
396 OP_LDO = 0x0d,
397 OP_LDB = 0x10,
398 OP_LDH = 0x11,
399 OP_LDW = 0x12,
400 OP_LDWM = 0x13,
401 OP_STB = 0x18,
402 OP_STH = 0x19,
403 OP_STW = 0x1a,
404 OP_STWM = 0x1b,
405
406 OP_LDD = 0x14,
407 OP_STD = 0x1c,
408
409 OP_FLDW = 0x16,
410 OP_LDWL = 0x17,
411 OP_FSTW = 0x1e,
412 OP_STWL = 0x1f,
413
414 OP_COMBT = 0x20,
415 OP_COMIBT = 0x21,
416 OP_COMBF = 0x22,
417 OP_COMIBF = 0x23,
418 OP_CMPBDT = 0x27,
419 OP_ADDBT = 0x28,
420 OP_ADDIBT = 0x29,
421 OP_ADDBF = 0x2a,
422 OP_ADDIBF = 0x2b,
423 OP_CMPBDF = 0x2f,
424 OP_BVB = 0x30,
425 OP_BB = 0x31,
426 OP_MOVB = 0x32,
427 OP_MOVIB = 0x33,
428 OP_CMPIBD = 0x3b,
429
430 OP_COMICLR = 0x24,
431 OP_SUBI = 0x25,
432 OP_ADDIT = 0x2c,
433 OP_ADDI = 0x2d,
434
435 OP_BE = 0x38,
436 OP_BLE = 0x39,
437 OP_BL = 0x3a
438};
439
440
441/* Given a machine instruction, return its format. */
252b5132 442
15d2859f
AM
443static inline unsigned ATTRIBUTE_UNUSED
444bfd_hppa_insn2fmt (bfd *abfd, unsigned insn)
252b5132 445{
968bc5cc 446 enum hppa_opcode_type op = (enum hppa_opcode_type) get_opcode (insn);
3f9b03b5 447
252b5132
RH
448 switch (op)
449 {
edd21aca
AM
450 case OP_COMICLR:
451 case OP_SUBI:
452 case OP_ADDIT:
453 case OP_ADDI:
3f9b03b5
AM
454 return 11;
455
edd21aca
AM
456 case OP_COMBT:
457 case OP_COMIBT:
458 case OP_COMBF:
459 case OP_COMIBF:
460 case OP_CMPBDT:
461 case OP_ADDBT:
462 case OP_ADDIBT:
463 case OP_ADDBF:
464 case OP_ADDIBF:
465 case OP_CMPBDF:
466 case OP_BVB:
467 case OP_BB:
468 case OP_MOVB:
469 case OP_MOVIB:
470 case OP_CMPIBD:
3f9b03b5
AM
471 return 12;
472
edd21aca
AM
473 case OP_LDO:
474 case OP_LDB:
475 case OP_LDH:
476 case OP_LDW:
477 case OP_LDWM:
478 case OP_STB:
479 case OP_STH:
480 case OP_STW:
481 case OP_STWM:
482 if (abfd->arch_info->mach >= 25)
483 return 16; /* Wide mode, format 16. */
3f9b03b5
AM
484 return 14;
485
edd21aca
AM
486 case OP_FLDW:
487 case OP_LDWL:
488 case OP_FSTW:
489 case OP_STWL:
2667095f
JL
490 /* This is a hack. Unfortunately, format 11 is already taken
491 and we're using integers rather than an enum, so it's hard
3f9b03b5 492 to describe the 11a format. */
edd21aca
AM
493 if (abfd->arch_info->mach >= 25)
494 return -16; /* Wide mode, format 16a. */
3f9b03b5
AM
495 return -11;
496
edd21aca
AM
497 case OP_LDD:
498 case OP_STD:
499 if (abfd->arch_info->mach >= 25)
500 return -10; /* Wide mode, format 10a. */
3f9b03b5
AM
501 return 10;
502
edd21aca
AM
503 case OP_BL:
504 if ((insn & 0x8000) != 0)
2667095f 505 return 22;
edd21aca
AM
506 /* fall thru */
507 case OP_BE:
508 case OP_BLE:
3f9b03b5
AM
509 return 17;
510
edd21aca
AM
511 case OP_LDIL:
512 case OP_ADDIL:
3f9b03b5
AM
513 return 21;
514
252b5132 515 default:
252b5132
RH
516 break;
517 }
3f9b03b5 518 return 32;
252b5132
RH
519}
520
521
522/* Insert VALUE into INSN using R_FORMAT to determine exactly what
523 bits to change. */
3f9b03b5 524
15d2859f
AM
525static inline unsigned ATTRIBUTE_UNUSED
526hppa_rebuild_insn (unsigned insn, unsigned value, int r_format)
252b5132 527{
252b5132
RH
528 switch (r_format)
529 {
edd21aca
AM
530 case 11:
531 return (insn & ~ 0x7ff) | low_sign_unext (value, 11);
532
533 case 12:
534 return (insn & ~ 0x1ffd) | re_assemble_12 (value);
535
536
537 case 10:
538 return (insn & ~ 0x3ff1) | re_assemble_14 (value & -8);
539
540 case -11:
541 return (insn & ~ 0x3ff9) | re_assemble_14 (value & -4);
542
543 case 14:
544 return (insn & ~ 0x3fff) | re_assemble_14 (value);
545
546
547 case -10:
548 return (insn & ~ 0xfff1) | re_assemble_16 (value & -8);
549
550 case -16:
551 return (insn & ~ 0xfff9) | re_assemble_16 (value & -4);
552
553 case 16:
554 return (insn & ~ 0xffff) | re_assemble_16 (value);
555
556
557 case 17:
558 return (insn & ~ 0x1f1ffd) | re_assemble_17 (value);
559
560 case 21:
561 return (insn & ~ 0x1fffff) | re_assemble_21 (value);
562
563 case 22:
564 return (insn & ~ 0x3ff1ffd) | re_assemble_22 (value);
565
566 case 32:
567 return value;
252b5132
RH
568
569 default:
570 abort ();
571 }
572 return insn;
573}
574
edd21aca 575#endif /* _LIBHPPA_H */
This page took 1.077653 seconds and 4 git commands to generate.