/* BFD back-end for Intel 386 COFF files.

Copyright (C) 1990-2016 Free Software Foundation, Inc.

Written by Cygnus Support.

This file is part of BFD, the Binary File Descriptor library.

This program is free software; you can redistribute it and/or modify

it under the terms of the GNU General Public License as published by

the Free Software Foundation; either version 3 of the License, or

(at your option) any later version.

This program 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 this program; if not, write to the Free Software

Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,

MA 02110-1301, USA. */

#include "sysdep.h"

#include "bfd.h"

#include "libbfd.h"

#include "coff/i386.h"

#include "coff/internal.h"

#ifdef COFF_WITH_PE

#include "coff/pe.h"

#endif

#ifdef COFF_GO32_EXE

#include "coff/go32exe.h"

#endif

#ifndef bfd_pe_print_pdata

#define bfd_pe_print_pdata NULL

#endif

#include "libcoff.h"

static reloc_howto_type *coff_i386_rtype_to_howto

(bfd *, asection *, struct internal_reloc *,

struct coff_link_hash_entry *, struct internal_syment *,

bfd_vma *);

static reloc_howto_type *coff_i386_reloc_type_lookup

(bfd *, bfd_reloc_code_real_type);

#define COFF_DEFAULT_SECTION_ALIGNMENT_POWER (2)

/* The page size is a guess based on ELF. */

#define COFF_PAGE_SIZE 0x1000

/* For some reason when using i386 COFF the value stored in the .text

section for a reference to a common symbol is the value itself plus

any desired offset. Ian Taylor, Cygnus Support. */

/* If we are producing relocatable output, we need to do some

adjustments to the object file that are not done by the

bfd_perform_relocation function. This function is called by every

reloc type to make any required adjustments. */

static bfd_reloc_status_type

coff_i386_reloc (bfd *abfd,

char **error_message ATTRIBUTE_UNUSED)

{

symvalue diff;

#ifndef COFF_WITH_PE

if (output_bfd == (bfd *) NULL)

return bfd_reloc_continue;

#endif

if (bfd_is_com_section (symbol->section))

{

#ifndef COFF_WITH_PE

/* We are relocating a common symbol. The current value in the

object file is ORIG + OFFSET, where ORIG is the value of the

common symbol as seen by the object file when it was compiled

(this may be zero if the symbol was undefined) and OFFSET is

the offset into the common symbol (normally zero, but may be

non-zero when referring to a field in a common structure).

ORIG is the negative of reloc_entry->addend, which is set by

the CALC_ADDEND macro below. We want to replace the value in

the object file with NEW + OFFSET, where NEW is the value of

the common symbol which we are going to put in the final

object file. NEW is symbol->value. */

diff = symbol->value + reloc_entry->addend;

#else

/* In PE mode, we do not offset the common symbol. */

diff = reloc_entry->addend;

#endif

}

else

{

/* For some reason bfd_perform_relocation always effectively

ignores the addend for a COFF target when producing

relocatable output. This seems to be always wrong for 386

COFF, so we handle the addend here instead. */

#ifdef COFF_WITH_PE

if (output_bfd == (bfd *) NULL)

{

reloc_howto_type *howto = reloc_entry->howto;

/* Although PC relative relocations are very similar between

PE and non-PE formats, but they are off by 1 << howto->size

bytes. For the external relocation, PE is very different

from others. See md_apply_fix3 () in gas/config/tc-i386.c.

When we link PE and non-PE object files together to

generate a non-PE executable, we have to compensate it

here. */

if (howto->pc_relative && howto->pcrel_offset)

diff = -(1 << howto->size);

else if (symbol->flags & BSF_WEAK)

diff = reloc_entry->addend - symbol->value;

else

diff = -reloc_entry->addend;

}

else

#endif

diff = reloc_entry->addend;

}

#ifdef COFF_WITH_PE

/* FIXME: How should this case be handled? */

if (reloc_entry->howto->type == R_IMAGEBASE

&& output_bfd != NULL

&& bfd_get_flavour(output_bfd) == bfd_target_coff_flavour)

diff -= pe_data (output_bfd)->pe_opthdr.ImageBase;

#endif

#define DOIT(x) \

x = ((x & ~howto->dst_mask) | (((x & howto->src_mask) + diff) & howto->dst_mask))

if (diff != 0)

{

reloc_howto_type *howto = reloc_entry->howto;

unsigned char *addr = (unsigned char *) data + reloc_entry->address;

switch (howto->size)

{

case 0:

{

char x = bfd_get_8 (abfd, addr);

DOIT (x);

bfd_put_8 (abfd, x, addr);

}

break;

case 1:

{

short x = bfd_get_16 (abfd, addr);

DOIT (x);

bfd_put_16 (abfd, (bfd_vma) x, addr);

}

break;

case 2:

{

long x = bfd_get_32 (abfd, addr);

DOIT (x);

bfd_put_32 (abfd, (bfd_vma) x, addr);

}

break;

default:

abort ();

}

}

/* Now let bfd_perform_relocation finish everything up. */

return bfd_reloc_continue;

}

#ifdef COFF_WITH_PE

/* Return TRUE if this relocation should appear in the output .reloc

section. */

static bfd_boolean in_reloc_p (bfd * abfd ATTRIBUTE_UNUSED,

reloc_howto_type *howto)

{

return ! howto->pc_relative && howto->type != R_IMAGEBASE

&& howto->type != R_SECREL32;

}

#endif /* COFF_WITH_PE */

#ifndef PCRELOFFSET

#define PCRELOFFSET FALSE

#endif

static reloc_howto_type howto_table[] =

{

EMPTY_HOWTO (0),

EMPTY_HOWTO (1),

EMPTY_HOWTO (2),

EMPTY_HOWTO (3),

EMPTY_HOWTO (4),

EMPTY_HOWTO (5),

HOWTO (R_DIR32, /* type */

0, /* rightshift */

2, /* size (0 = byte, 1 = short, 2 = long) */

32, /* bitsize */

FALSE, /* pc_relative */

0, /* bitpos */

complain_overflow_bitfield, /* complain_on_overflow */

coff_i386_reloc, /* special_function */

"dir32", /* name */

TRUE, /* partial_inplace */

0xffffffff, /* src_mask */

0xffffffff, /* dst_mask */

TRUE), /* pcrel_offset */

/* PE IMAGE_REL_I386_DIR32NB relocation (7). */

HOWTO (R_IMAGEBASE, /* type */

0, /* rightshift */

2, /* size (0 = byte, 1 = short, 2 = long) */

32, /* bitsize */

FALSE, /* pc_relative */

0, /* bitpos */

complain_overflow_bitfield, /* complain_on_overflow */

coff_i386_reloc, /* special_function */

"rva32", /* name */

TRUE, /* partial_inplace */

0xffffffff, /* src_mask */

0xffffffff, /* dst_mask */

FALSE), /* pcrel_offset */

EMPTY_HOWTO (010),

EMPTY_HOWTO (011),

EMPTY_HOWTO (012),

#ifdef COFF_WITH_PE

/* 32-bit longword section relative relocation (013). */

HOWTO (R_SECREL32, /* type */

0, /* rightshift */

2, /* size (0 = byte, 1 = short, 2 = long) */

32, /* bitsize */

FALSE, /* pc_relative */

0, /* bitpos */

complain_overflow_bitfield, /* complain_on_overflow */

coff_i386_reloc, /* special_function */

"secrel32", /* name */

TRUE, /* partial_inplace */

0xffffffff, /* src_mask */

0xffffffff, /* dst_mask */

TRUE), /* pcrel_offset */

#else

EMPTY_HOWTO (013),

#endif

EMPTY_HOWTO (014),

EMPTY_HOWTO (015),

EMPTY_HOWTO (016),

/* Byte relocation (017). */

HOWTO (R_RELBYTE, /* type */

0, /* rightshift */

0, /* size (0 = byte, 1 = short, 2 = long) */

8, /* bitsize */

FALSE, /* pc_relative */

0, /* bitpos */

complain_overflow_bitfield, /* complain_on_overflow */

coff_i386_reloc, /* special_function */

"8", /* name */

TRUE, /* partial_inplace */

0x000000ff, /* src_mask */

0x000000ff, /* dst_mask */

PCRELOFFSET), /* pcrel_offset */

/* 16-bit word relocation (020). */

HOWTO (R_RELWORD, /* type */

0, /* rightshift */

1, /* size (0 = byte, 1 = short, 2 = long) */

16, /* bitsize */

FALSE, /* pc_relative */

0, /* bitpos */

complain_overflow_bitfield, /* complain_on_overflow */

coff_i386_reloc, /* special_function */

"16", /* name */

TRUE, /* partial_inplace */

0x0000ffff, /* src_mask */

0x0000ffff, /* dst_mask */

PCRELOFFSET), /* pcrel_offset */

/* 32-bit longword relocation (021). */

HOWTO (R_RELLONG, /* type */

0, /* rightshift */

2, /* size (0 = byte, 1 = short, 2 = long) */

32, /* bitsize */

FALSE, /* pc_relative */

0, /* bitpos */

complain_overflow_bitfield, /* complain_on_overflow */

coff_i386_reloc, /* special_function */

"32", /* name */

TRUE, /* partial_inplace */

0xffffffff, /* src_mask */

0xffffffff, /* dst_mask */

PCRELOFFSET), /* pcrel_offset */

/* Byte PC relative relocation (022). */

HOWTO (R_PCRBYTE, /* type */

0, /* rightshift */

0, /* size (0 = byte, 1 = short, 2 = long) */

8, /* bitsize */

TRUE, /* pc_relative */

0, /* bitpos */

complain_overflow_signed, /* complain_on_overflow */

coff_i386_reloc, /* special_function */

"DISP8", /* name */

TRUE, /* partial_inplace */

0x000000ff, /* src_mask */

0x000000ff, /* dst_mask */

PCRELOFFSET), /* pcrel_offset */

/* 16-bit word PC relative relocation (023). */

HOWTO (R_PCRWORD, /* type */

0, /* rightshift */

1, /* size (0 = byte, 1 = short, 2 = long) */

16, /* bitsize */

TRUE, /* pc_relative */

0, /* bitpos */

complain_overflow_signed, /* complain_on_overflow */

coff_i386_reloc, /* special_function */

"DISP16", /* name */

TRUE, /* partial_inplace */

0x0000ffff, /* src_mask */

0x0000ffff, /* dst_mask */

PCRELOFFSET), /* pcrel_offset */

/* 32-bit longword PC relative relocation (024). */

HOWTO (R_PCRLONG, /* type */

0, /* rightshift */

2, /* size (0 = byte, 1 = short, 2 = long) */

32, /* bitsize */

TRUE, /* pc_relative */

0, /* bitpos */

complain_overflow_signed, /* complain_on_overflow */

coff_i386_reloc, /* special_function */

"DISP32", /* name */

TRUE, /* partial_inplace */

0xffffffff, /* src_mask */

0xffffffff, /* dst_mask */

PCRELOFFSET) /* pcrel_offset */

};

#define NUM_HOWTOS (sizeof (howto_table) / sizeof (howto_table[0]))

/* Turn a howto into a reloc nunmber */

#define SELECT_RELOC(x,howto) { x.r_type = howto->type; }

#define BADMAG(x) I386BADMAG(x)

#define I386 1 /* Customize coffcode.h */

#define RTYPE2HOWTO(cache_ptr, dst) \

((cache_ptr)->howto = \

((dst)->r_type < NUM_HOWTOS \

? howto_table + (dst)->r_type \

: NULL))

/* For 386 COFF a STYP_NOLOAD | STYP_BSS section is part of a shared

library. On some other COFF targets STYP_BSS is normally

STYP_NOLOAD. */

#define BSS_NOLOAD_IS_SHARED_LIBRARY

/* Compute the addend of a reloc. If the reloc is to a common symbol,

the object file contains the value of the common symbol. By the

time this is called, the linker may be using a different symbol

from a different object file with a different value. Therefore, we

hack wildly to locate the original symbol from this file so that we

can make the correct adjustment. This macro sets coffsym to the

symbol from the original file, and uses it to set the addend value

correctly. If this is not a common symbol, the usual addend

calculation is done, except that an additional tweak is needed for

PC relative relocs.

FIXME: This macro refers to symbols and asect; these are from the

calling function, not the macro arguments. */

#define CALC_ADDEND(abfd, ptr, reloc, cache_ptr) \

{ \

coff_symbol_type *coffsym = (coff_symbol_type *) NULL; \

if (ptr && bfd_asymbol_bfd (ptr) != abfd) \

coffsym = (obj_symbols (abfd) \

+ (cache_ptr->sym_ptr_ptr - symbols)); \

else if (ptr) \

coffsym = coff_symbol_from (ptr); \

if (coffsym != (coff_symbol_type *) NULL \

&& coffsym->native->u.syment.n_scnum == 0) \

cache_ptr->addend = - coffsym->native->u.syment.n_value; \

else if (ptr && bfd_asymbol_bfd (ptr) == abfd \

&& ptr->section != (asection *) NULL) \

cache_ptr->addend = - (ptr->section->vma + ptr->value); \

else \

cache_ptr->addend = 0; \

if (ptr && reloc.r_type < NUM_HOWTOS \

&& howto_table[reloc.r_type].pc_relative) \

cache_ptr->addend += asect->vma; \

}

/* We use the special COFF backend linker. For normal i386 COFF, we

can use the generic relocate_section routine. For PE, we need our

own routine. */

#ifndef COFF_WITH_PE

#define coff_relocate_section _bfd_coff_generic_relocate_section

#else /* COFF_WITH_PE */

/* The PE relocate section routine. The only difference between this

and the regular routine is that we don't want to do anything for a

relocatable link. */

static bfd_boolean

coff_pe_i386_relocate_section (bfd *output_bfd,

asection **sections)

{

if (bfd_link_relocatable (info))

return TRUE;

return _bfd_coff_generic_relocate_section (output_bfd, info, input_bfd,

input_section, contents,

relocs, syms, sections);

}

#define coff_relocate_section coff_pe_i386_relocate_section

#endif /* COFF_WITH_PE */

/* Convert an rtype to howto for the COFF backend linker. */

static reloc_howto_type *

coff_i386_rtype_to_howto (bfd *abfd ATTRIBUTE_UNUSED,

bfd_vma *addendp)

{

reloc_howto_type *howto;

if (rel->r_type >= NUM_HOWTOS)

{

bfd_set_error (bfd_error_bad_value);

return NULL;

}

howto = howto_table + rel->r_type;

#ifdef COFF_WITH_PE

/* Cancel out code in _bfd_coff_generic_relocate_section. */

*addendp = 0;

#endif

if (howto->pc_relative)

*addendp += sec->vma;

if (sym != NULL && sym->n_scnum == 0 && sym->n_value != 0)

{

/* This is a common symbol. The section contents include the

size (sym->n_value) as an addend. The relocate_section

function will be adding in the final value of the symbol. We

need to subtract out the current size in order to get the

correct result. */

BFD_ASSERT (h != NULL);

#ifndef COFF_WITH_PE

/* I think we *do* want to bypass this. If we don't, I have

seen some data parameters get the wrong relocation address.

If I link two versions with and without this section bypassed

and then do a binary comparison, the addresses which are

different can be looked up in the map. The case in which

this section has been bypassed has addresses which correspond

to values I can find in the map. */

*addendp -= sym->n_value;

#endif

}

#ifndef COFF_WITH_PE

/* If the output symbol is common (in which case this must be a

relocatable link), we need to add in the final size of the

common symbol. */

if (h != NULL && h->root.type == bfd_link_hash_common)

*addendp += h->root.u.c.size;

#endif

#ifdef COFF_WITH_PE

if (howto->pc_relative)

{

*addendp -= 4;

/* If the symbol is defined, then the generic code is going to

add back the symbol value in order to cancel out an

adjustment it made to the addend. However, we set the addend

to 0 at the start of this function. We need to adjust here,

to avoid the adjustment the generic code will make. FIXME:

This is getting a bit hackish. */

if (sym != NULL && sym->n_scnum != 0)

*addendp -= sym->n_value;

}

if (rel->r_type == R_IMAGEBASE

&& (bfd_get_flavour(sec->output_section->owner)

== bfd_target_coff_flavour))

{

*addendp -= pe_data(sec->output_section->owner)->pe_opthdr.ImageBase;

}

/* PR 17099 - Absolute R_PCRLONG relocations do not need a symbol. */

if (rel->r_type == R_PCRLONG && sym == NULL)

*addendp -= rel->r_vaddr;

else

BFD_ASSERT (sym != NULL);

if (rel->r_type == R_SECREL32 && sym != NULL)

{

bfd_vma osect_vma;

if (h && (h->root.type == bfd_link_hash_defined

|| h->root.type == bfd_link_hash_defweak))

osect_vma = h->root.u.def.section->output_section->vma;

else

{

asection *s;

int i;

/* Sigh, the only way to get the section to offset against

is to find it the hard way. */

for (s = abfd->sections, i = 1; i < sym->n_scnum; i++)

s = s->next;

osect_vma = s->output_section->vma;

}

*addendp -= osect_vma;

}

#endif

return howto;

}

#define coff_bfd_reloc_type_lookup coff_i386_reloc_type_lookup

#define coff_bfd_reloc_name_lookup coff_i386_reloc_name_lookup

static reloc_howto_type *

coff_i386_reloc_type_lookup (bfd *abfd ATTRIBUTE_UNUSED,

bfd_reloc_code_real_type code)

{

switch (code)

{

case BFD_RELOC_RVA:

return howto_table + R_IMAGEBASE;

case BFD_RELOC_32:

return howto_table + R_DIR32;

case BFD_RELOC_32_PCREL:

return howto_table + R_PCRLONG;

case BFD_RELOC_16:

return howto_table + R_RELWORD;

case BFD_RELOC_16_PCREL:

return howto_table + R_PCRWORD;

case BFD_RELOC_8:

return howto_table + R_RELBYTE;

case BFD_RELOC_8_PCREL:

return howto_table + R_PCRBYTE;

#ifdef COFF_WITH_PE

case BFD_RELOC_32_SECREL:

return howto_table + R_SECREL32;

#endif

default:

BFD_FAIL ();

return 0;

}

}

static reloc_howto_type *

coff_i386_reloc_name_lookup (bfd *abfd ATTRIBUTE_UNUSED,

const char *r_name)

{

unsigned int i;

for (i = 0; i < NUM_HOWTOS; i++)

if (howto_table[i].name != NULL

&& strcasecmp (howto_table[i].name, r_name) == 0)

return &howto_table[i];

return NULL;

}

#define coff_rtype_to_howto coff_i386_rtype_to_howto

#ifdef TARGET_UNDERSCORE

/* If i386 gcc uses underscores for symbol names, then it does not use

a leading dot for local labels, so if TARGET_UNDERSCORE is defined

we treat all symbols starting with L as local. */

static bfd_boolean

coff_i386_is_local_label_name (bfd *abfd, const char *name)

{

if (name[0] == 'L')

return TRUE;

return _bfd_coff_is_local_label_name (abfd, name);

}

#define coff_bfd_is_local_label_name coff_i386_is_local_label_name

#endif /* TARGET_UNDERSCORE */

#include "coffcode.h"

const bfd_target

#ifdef TARGET_SYM

TARGET_SYM =

#else

i386_coff_vec =

#endif

{

#ifdef TARGET_NAME

TARGET_NAME,

#else

"coff-i386", /* name */

#endif

bfd_target_coff_flavour,

BFD_ENDIAN_LITTLE, /* data byte order is little */

BFD_ENDIAN_LITTLE, /* header byte order is little */

(HAS_RELOC | EXEC_P | /* object flags */

HAS_LINENO | HAS_DEBUG |

HAS_SYMS | HAS_LOCALS | WP_TEXT | D_PAGED | BFD_COMPRESS | BFD_DECOMPRESS ),

(SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_RELOC /* section flags */

#ifdef COFF_WITH_PE

| SEC_LINK_ONCE | SEC_LINK_DUPLICATES | SEC_READONLY | SEC_DEBUGGING

#endif

| SEC_CODE | SEC_DATA | SEC_EXCLUDE ),

#ifdef TARGET_UNDERSCORE

TARGET_UNDERSCORE, /* leading underscore */

#else

0, /* leading underscore */

#endif

'/', /* ar_pad_char */

15, /* ar_max_namelen */

0, /* match priority. */

bfd_getl64, bfd_getl_signed_64, bfd_putl64,

bfd_getl32, bfd_getl_signed_32, bfd_putl32,

bfd_getl16, bfd_getl_signed_16, bfd_putl16, /* data */

bfd_getl64, bfd_getl_signed_64, bfd_putl64,

bfd_getl32, bfd_getl_signed_32, bfd_putl32,

bfd_getl16, bfd_getl_signed_16, bfd_putl16, /* hdrs */

/* Note that we allow an object file to be treated as a core file as well. */

/* bfd_check_format */

#ifdef COFF_CHECK_FORMAT

{_bfd_dummy_target, COFF_CHECK_FORMAT,

bfd_generic_archive_p, COFF_CHECK_FORMAT},

#else

{_bfd_dummy_target, coff_object_p, bfd_generic_archive_p, coff_object_p},

#endif

{bfd_false, coff_mkobject, _bfd_generic_mkarchive, /* bfd_set_format */

bfd_false},

{bfd_false, coff_write_object_contents, /* bfd_write_contents */

_bfd_write_archive_contents, bfd_false},

BFD_JUMP_TABLE_GENERIC (coff),

BFD_JUMP_TABLE_COPY (coff),

BFD_JUMP_TABLE_CORE (_bfd_nocore),

BFD_JUMP_TABLE_ARCHIVE (_bfd_archive_coff),

BFD_JUMP_TABLE_SYMBOLS (coff),

BFD_JUMP_TABLE_RELOCS (coff),

BFD_JUMP_TABLE_WRITE (coff),

BFD_JUMP_TABLE_LINK (coff),

BFD_JUMP_TABLE_DYNAMIC (_bfd_nodynamic),

NULL,

COFF_SWAP_TABLE

};