1999-05-03 15:29:11 +08:00
|
|
|
/* write.h
|
2024-01-04 19:52:08 +08:00
|
|
|
Copyright (C) 1987-2024 Free Software Foundation, Inc.
|
1999-05-03 15:29:11 +08:00
|
|
|
|
|
|
|
This file is part of GAS, the GNU Assembler.
|
|
|
|
|
|
|
|
GAS is free software; you can redistribute it and/or modify
|
|
|
|
it under the terms of the GNU General Public License as published by
|
2007-07-03 19:01:12 +08:00
|
|
|
the Free Software Foundation; either version 3, or (at your option)
|
1999-05-03 15:29:11 +08:00
|
|
|
any later version.
|
|
|
|
|
|
|
|
GAS is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
along with GAS; see the file COPYING. If not, write to the Free
|
2005-05-05 17:13:19 +08:00
|
|
|
Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
|
|
|
|
02110-1301, USA. */
|
1999-05-03 15:29:11 +08:00
|
|
|
|
|
|
|
#ifndef __write_h__
|
|
|
|
#define __write_h__
|
|
|
|
|
|
|
|
/* This is the name of a fake symbol which will never appear in the
|
|
|
|
assembler output. S_IS_LOCAL detects it because of the \001. */
|
2003-05-03 02:38:49 +08:00
|
|
|
#ifndef FAKE_LABEL_NAME
|
1999-05-03 15:29:11 +08:00
|
|
|
#define FAKE_LABEL_NAME "L0\001"
|
2003-05-03 02:38:49 +08:00
|
|
|
#endif
|
1999-05-03 15:29:11 +08:00
|
|
|
|
2017-11-25 01:31:59 +08:00
|
|
|
/* This is a special character that is used to indicate a fake label.
|
|
|
|
It must be present in FAKE_LABEL_NAME, although it does not have to
|
|
|
|
be the first character. It must not be a character that would be
|
|
|
|
found in a valid symbol name.
|
|
|
|
|
|
|
|
Also be aware that the function _bfd_elf_is_local_label_name in
|
|
|
|
bfd/elf.c has an implicit assumption that FAKE_LABEL_CHAR is '\001'.
|
|
|
|
If this is not the case then FAKE_LABEL_NAME must start with ".L" in
|
|
|
|
order for the function to continue working. */
|
2017-11-23 03:20:48 +08:00
|
|
|
#ifndef FAKE_LABEL_CHAR
|
|
|
|
#define FAKE_LABEL_CHAR '\001'
|
|
|
|
#endif
|
|
|
|
|
1999-05-03 15:29:11 +08:00
|
|
|
/*
|
|
|
|
* FixSs may be built up in any order.
|
|
|
|
*/
|
|
|
|
|
|
|
|
struct fix
|
|
|
|
{
|
2019-04-16 14:17:02 +08:00
|
|
|
/* Next fixS in linked list, or NULL. */
|
|
|
|
struct fix *fx_next;
|
|
|
|
|
1999-05-03 15:29:11 +08:00
|
|
|
/* These small fields are grouped together for compactness of
|
|
|
|
this structure, and efficiency of access on some architectures. */
|
|
|
|
|
2022-05-12 15:32:11 +08:00
|
|
|
/* pc-relative offset adjust (only used by some CPU specific code).
|
|
|
|
A 4-bit field would be sufficient for most uses, except for ppc
|
|
|
|
which pokes an operand table index here. Bits may be stolen
|
|
|
|
from here should that be necessary, provided PPC_OPINDEX_MAX is
|
|
|
|
adjusted suitably. */
|
|
|
|
int fx_pcrel_adjust : 16;
|
|
|
|
|
|
|
|
/* How many bytes are involved? */
|
|
|
|
unsigned fx_size : 8;
|
|
|
|
|
1999-05-03 15:29:11 +08:00
|
|
|
/* Is this a pc-relative relocation? */
|
|
|
|
unsigned fx_pcrel : 1;
|
|
|
|
|
|
|
|
/* Has this relocation already been applied? */
|
|
|
|
unsigned fx_done : 1;
|
|
|
|
|
|
|
|
/* Suppress overflow complaints on large addends. This is used
|
|
|
|
in the PowerPC ELF config to allow large addends on the
|
|
|
|
BFD_RELOC_{LO16,HI16,HI16_S} relocations.
|
|
|
|
|
|
|
|
@@ Can this be determined from BFD? */
|
|
|
|
unsigned fx_no_overflow : 1;
|
|
|
|
|
|
|
|
/* The value is signed when checking for overflow. */
|
|
|
|
unsigned fx_signed : 1;
|
|
|
|
|
2019-04-16 14:17:02 +08:00
|
|
|
/* Some bits for the CPU specific code. */
|
|
|
|
unsigned fx_tcbit : 1;
|
|
|
|
unsigned fx_tcbit2 : 1;
|
x86-64: Add R_X86_64_CODE_4_GOTPCRELX
For
mov name@GOTPCREL(%rip), %reg
test %reg, name@GOTPCREL(%rip)
binop name@GOTPCREL(%rip), %reg
where binop is one of adc, add, add, cmp, or, sbb, sub, xor instructions,
add
# define R_X86_64_CODE_4_GOTPCRELX 43
if the instruction starts at 4 bytes before the relocation offset. It
similar to R_X86_64_GOTPCRELX. Linker can treat R_X86_64_CODE_4_GOTPCRELX
as R_X86_64_GOTPCREL or convert the above instructions to
lea name(%rip), %reg
mov $name, %reg
test $name, %reg
binop $name, %reg
if the instruction is encoded with the REX2 prefix when possible.
bfd/
* elf64-x86-64.c (x86_64_elf_howto_table): Add
R_X86_64_CODE_4_GOTPCRELX.
(R_X86_64_standard): Updated.
(x86_64_reloc_map): Add BFD_RELOC_X86_64_CODE_4_GOTPCRELX.
(elf_x86_64_convert_load_reloc): Handle R_X86_64_CODE_4_GOTPCRELX.
(elf_x86_64_scan_relocs): Likewise.
(elf_x86_64_relocate_section): Likewise.
* reloc.c (bfd_reloc_code_real): Add
BFD_RELOC_X86_64_CODE_4_GOTPCRELX.
* bfd-in2.h: Regenerated.
* libbfd.h: Likewise.
gas/
* write.h (fix): Add fx_tcbit3. Change fx_unused to 1 bit.
* config/tc-i386.c (tc_i386_fix_adjustable): Handle
BFD_RELOC_X86_64_CODE_4_GOTPCRELX.
(tc_gen_reloc): Likewise.
(output_disp): Set fixP->fx_tcbit3 for REX2 prefix.
(i386_validate_fix): Generate BFD_RELOC_X86_64_CODE_4_GOTPCRELX
if fixp->fx_tcbit3 is set.
* config/tc-i386.h (TC_FORCE_RELOCATION_LOCAL): Add
BFD_RELOC_X86_64_CODE_4_GOTPCRELX.
(TC_FORCE_RELOCATION_ABS): Likewise.
* testsuite/gas/i386/x86-64-gotpcrel.s: Add tests for
R_X86_64_CODE_4_GOTPCRELX.
* testsuite/gas/i386/x86-64-localpic.s: Likewise.
* testsuite/gas/i386/x86-64-gotpcrel.d: Updated.
* testsuite/gas/i386/x86-64-localpic.d: Likewise.
* testsuite/gas/i386/ilp32/x86-64-localpic.d: Likewise.
include/
* elf/x86-64.h (elf_x86_64_reloc_type): Add
R_X86_64_CODE_4_GOTPCRELX.
ld/
* testsuite/ld-x86-64/apx-load1.s: New file.
* testsuite/ld-x86-64/apx-load1a.d: Likewise.
* testsuite/ld-x86-64/apx-load1b.d: Likewise.
* testsuite/ld-x86-64/apx-load1c.d: Likewise.
* testsuite/ld-x86-64/apx-load1d.d: Likewise.
* testsuite/ld-x86-64/x86-64.exp: Run apx-load1a, apx-load1b,
apx-load1c and apx-load1d.
2023-06-09 01:01:03 +08:00
|
|
|
unsigned fx_tcbit3 : 1;
|
2019-04-16 14:17:02 +08:00
|
|
|
|
|
|
|
/* Spare bits. */
|
x86-64: Add R_X86_64_CODE_4_GOTPCRELX
For
mov name@GOTPCREL(%rip), %reg
test %reg, name@GOTPCREL(%rip)
binop name@GOTPCREL(%rip), %reg
where binop is one of adc, add, add, cmp, or, sbb, sub, xor instructions,
add
# define R_X86_64_CODE_4_GOTPCRELX 43
if the instruction starts at 4 bytes before the relocation offset. It
similar to R_X86_64_GOTPCRELX. Linker can treat R_X86_64_CODE_4_GOTPCRELX
as R_X86_64_GOTPCREL or convert the above instructions to
lea name(%rip), %reg
mov $name, %reg
test $name, %reg
binop $name, %reg
if the instruction is encoded with the REX2 prefix when possible.
bfd/
* elf64-x86-64.c (x86_64_elf_howto_table): Add
R_X86_64_CODE_4_GOTPCRELX.
(R_X86_64_standard): Updated.
(x86_64_reloc_map): Add BFD_RELOC_X86_64_CODE_4_GOTPCRELX.
(elf_x86_64_convert_load_reloc): Handle R_X86_64_CODE_4_GOTPCRELX.
(elf_x86_64_scan_relocs): Likewise.
(elf_x86_64_relocate_section): Likewise.
* reloc.c (bfd_reloc_code_real): Add
BFD_RELOC_X86_64_CODE_4_GOTPCRELX.
* bfd-in2.h: Regenerated.
* libbfd.h: Likewise.
gas/
* write.h (fix): Add fx_tcbit3. Change fx_unused to 1 bit.
* config/tc-i386.c (tc_i386_fix_adjustable): Handle
BFD_RELOC_X86_64_CODE_4_GOTPCRELX.
(tc_gen_reloc): Likewise.
(output_disp): Set fixP->fx_tcbit3 for REX2 prefix.
(i386_validate_fix): Generate BFD_RELOC_X86_64_CODE_4_GOTPCRELX
if fixp->fx_tcbit3 is set.
* config/tc-i386.h (TC_FORCE_RELOCATION_LOCAL): Add
BFD_RELOC_X86_64_CODE_4_GOTPCRELX.
(TC_FORCE_RELOCATION_ABS): Likewise.
* testsuite/gas/i386/x86-64-gotpcrel.s: Add tests for
R_X86_64_CODE_4_GOTPCRELX.
* testsuite/gas/i386/x86-64-localpic.s: Likewise.
* testsuite/gas/i386/x86-64-gotpcrel.d: Updated.
* testsuite/gas/i386/x86-64-localpic.d: Likewise.
* testsuite/gas/i386/ilp32/x86-64-localpic.d: Likewise.
include/
* elf/x86-64.h (elf_x86_64_reloc_type): Add
R_X86_64_CODE_4_GOTPCRELX.
ld/
* testsuite/ld-x86-64/apx-load1.s: New file.
* testsuite/ld-x86-64/apx-load1a.d: Likewise.
* testsuite/ld-x86-64/apx-load1b.d: Likewise.
* testsuite/ld-x86-64/apx-load1c.d: Likewise.
* testsuite/ld-x86-64/apx-load1d.d: Likewise.
* testsuite/ld-x86-64/x86-64.exp: Run apx-load1a, apx-load1b,
apx-load1c and apx-load1d.
2023-06-09 01:01:03 +08:00
|
|
|
unsigned fx_unused : 1;
|
2019-04-16 14:17:02 +08:00
|
|
|
|
|
|
|
bfd_reloc_code_real_type fx_r_type;
|
2007-02-01 22:12:20 +08:00
|
|
|
|
1999-05-03 15:29:11 +08:00
|
|
|
/* Which frag does this fix apply to? */
|
|
|
|
fragS *fx_frag;
|
|
|
|
|
2019-04-16 09:40:44 +08:00
|
|
|
/* The location within the frag where the fixup occurs. */
|
|
|
|
unsigned long fx_where;
|
1999-05-03 15:29:11 +08:00
|
|
|
|
2000-09-13 04:57:14 +08:00
|
|
|
/* NULL or Symbol whose value we add in. */
|
1999-05-03 15:29:11 +08:00
|
|
|
symbolS *fx_addsy;
|
|
|
|
|
2000-09-13 04:57:14 +08:00
|
|
|
/* NULL or Symbol whose value we subtract. */
|
1999-05-03 15:29:11 +08:00
|
|
|
symbolS *fx_subsy;
|
|
|
|
|
2000-09-13 04:57:14 +08:00
|
|
|
/* Absolute number we add in. */
|
1999-05-03 15:29:11 +08:00
|
|
|
valueT fx_offset;
|
|
|
|
|
2002-09-20 07:51:35 +08:00
|
|
|
/* The value of dot when the fixup expression was parsed. */
|
|
|
|
addressT fx_dot_value;
|
|
|
|
|
2013-03-08 18:17:00 +08:00
|
|
|
/* The frag fx_dot_value is based on. */
|
|
|
|
fragS *fx_dot_frag;
|
|
|
|
|
1999-05-03 15:29:11 +08:00
|
|
|
/* This field is sort of misnamed. It appears to be a sort of random
|
|
|
|
scratch field, for use by the back ends. The main gas code doesn't
|
|
|
|
do anything but initialize it to zero. The use of it does need to
|
|
|
|
be coordinated between the cpu and format files, though. E.g., some
|
|
|
|
coff targets pass the `addend' field from the cpu file via this
|
|
|
|
field. I don't know why the `fx_offset' field above can't be used
|
|
|
|
for that; investigate later and document. KR */
|
|
|
|
valueT fx_addnumber;
|
|
|
|
|
|
|
|
/* The location of the instruction which created the reloc, used
|
|
|
|
in error messages. */
|
2016-02-22 22:11:27 +08:00
|
|
|
const char *fx_file;
|
1999-05-03 15:29:11 +08:00
|
|
|
unsigned fx_line;
|
|
|
|
|
|
|
|
#ifdef USING_CGEN
|
|
|
|
struct {
|
|
|
|
/* CGEN_INSN entry for this instruction. */
|
|
|
|
const struct cgen_insn *insn;
|
|
|
|
/* Target specific data, usually reloc number. */
|
|
|
|
int opinfo;
|
2007-02-06 04:10:25 +08:00
|
|
|
/* Which ifield this fixup applies to. */
|
|
|
|
struct cgen_maybe_multi_ifield * field;
|
|
|
|
/* is this field is the MSB field in a set? */
|
|
|
|
int msb_field_p;
|
1999-05-03 15:29:11 +08:00
|
|
|
} fx_cgen;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#ifdef TC_FIX_TYPE
|
|
|
|
/* Location where a backend can attach additional data
|
|
|
|
needed to perform fixups. */
|
|
|
|
TC_FIX_TYPE tc_fix_data;
|
|
|
|
#endif
|
|
|
|
};
|
|
|
|
|
|
|
|
typedef struct fix fixS;
|
|
|
|
|
2007-03-26 20:23:48 +08:00
|
|
|
struct reloc_list
|
|
|
|
{
|
|
|
|
struct reloc_list *next;
|
|
|
|
union
|
|
|
|
{
|
|
|
|
struct
|
|
|
|
{
|
|
|
|
symbolS *offset_sym;
|
|
|
|
reloc_howto_type *howto;
|
|
|
|
symbolS *sym;
|
|
|
|
bfd_vma addend;
|
|
|
|
} a;
|
|
|
|
struct
|
|
|
|
{
|
|
|
|
asection *sec;
|
|
|
|
asymbol *s;
|
|
|
|
arelent r;
|
|
|
|
} b;
|
|
|
|
} u;
|
2016-02-22 22:11:27 +08:00
|
|
|
const char *file;
|
2007-03-26 20:23:48 +08:00
|
|
|
unsigned int line;
|
|
|
|
};
|
|
|
|
|
2001-03-30 10:19:36 +08:00
|
|
|
extern int finalize_syms;
|
2002-09-05 08:01:18 +08:00
|
|
|
extern symbolS *abs_section_sym;
|
2002-09-20 07:51:35 +08:00
|
|
|
extern addressT dot_value;
|
2013-03-08 18:17:00 +08:00
|
|
|
extern fragS *dot_frag;
|
2007-03-26 20:23:48 +08:00
|
|
|
extern struct reloc_list* reloc_list;
|
1999-05-03 15:29:11 +08:00
|
|
|
|
2016-02-18 17:47:31 +08:00
|
|
|
extern void append (char **, char *, unsigned long);
|
|
|
|
extern void record_alignment (segT, unsigned);
|
|
|
|
extern int get_recorded_alignment (segT);
|
2003-12-07 00:16:51 +08:00
|
|
|
extern void write_object_file (void);
|
|
|
|
extern long relax_frag (segT, fragS *, long);
|
2006-05-08 07:03:48 +08:00
|
|
|
extern int relax_segment (struct frag *, segT, int);
|
2003-12-07 00:16:51 +08:00
|
|
|
extern void number_to_chars_littleendian (char *, valueT, int);
|
|
|
|
extern void number_to_chars_bigendian (char *, valueT, int);
|
2019-04-16 09:40:44 +08:00
|
|
|
extern fixS *fix_new (fragS *, unsigned long, unsigned long, symbolS *,
|
|
|
|
offsetT, int, bfd_reloc_code_real_type);
|
|
|
|
extern fixS *fix_at_start (fragS *, unsigned long, symbolS *,
|
|
|
|
offsetT, int, bfd_reloc_code_real_type);
|
|
|
|
extern fixS *fix_new_exp (fragS *, unsigned long, unsigned long,
|
|
|
|
expressionS *, int, bfd_reloc_code_real_type);
|
2003-12-07 00:16:51 +08:00
|
|
|
extern void write_print_statistics (FILE *);
|
2021-07-21 13:09:29 +08:00
|
|
|
extern void as_bad_subtract (fixS *);
|
1999-05-03 15:29:11 +08:00
|
|
|
|
|
|
|
#endif /* __write_h__ */
|