aboutsummaryrefslogtreecommitdiffstats
path: root/contrib/tools/yasm/modules/objfmts/macho
diff options
context:
space:
mode:
authorsomov <somov@yandex-team.ru>2022-02-10 16:45:49 +0300
committerDaniil Cherednik <dcherednik@yandex-team.ru>2022-02-10 16:45:49 +0300
commit7489e4682331202b9c7d863c0898eb83d7b12c2b (patch)
tree9142afc54d335ea52910662635b898e79e192e49 /contrib/tools/yasm/modules/objfmts/macho
parenta5950576e397b1909261050b8c7da16db58f10b1 (diff)
downloadydb-7489e4682331202b9c7d863c0898eb83d7b12c2b.tar.gz
Restoring authorship annotation for <somov@yandex-team.ru>. Commit 2 of 2.
Diffstat (limited to 'contrib/tools/yasm/modules/objfmts/macho')
-rw-r--r--contrib/tools/yasm/modules/objfmts/macho/macho-objfmt.c3240
1 files changed, 1620 insertions, 1620 deletions
diff --git a/contrib/tools/yasm/modules/objfmts/macho/macho-objfmt.c b/contrib/tools/yasm/modules/objfmts/macho/macho-objfmt.c
index ad0215cff3..0a48d9b905 100644
--- a/contrib/tools/yasm/modules/objfmts/macho/macho-objfmt.c
+++ b/contrib/tools/yasm/modules/objfmts/macho/macho-objfmt.c
@@ -1,1620 +1,1620 @@
-/*
- * Mac OS X ABI Mach-O File Format
- *
- * Copyright (C) 2007 Henryk Richter, built upon xdf objfmt (C) Peter Johnson
- *
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions
- * are met:
- * 1. Redistributions of source code must retain the above copyright
- * notice, this list of conditions and the following disclaimer.
- * 2. Redistributions in binary form must reproduce the above copyright
- * notice, this list of conditions and the following disclaimer in the
- * documentation and/or other materials provided with the distribution.
- *
- * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND OTHER CONTRIBUTORS ``AS IS''
- * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
- * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
- * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR OTHER CONTRIBUTORS BE
- * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
- * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
- * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
- * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
- * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
- * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
- * POSSIBILITY OF SUCH DAMAGE.
- */
-/*
- notes: This implementation is rather basic. There are several implementation
- issues to be sorted out for full compliance and error resilience.
- Some examples are given below (nasm syntax).
-
- 1) section placement
- Mach-O requires BSS sections to be placed last in object files. This
- has to be done manually.
- Example:
-
- section .text
- mov rax,[qword foo]
- section .data
- dw 0
- section .bss
- foo dw 0
-
- 2) addressing issues
-
- 2.1) symbol relative relocation (i.e. mov eax,[foo wrt bar])
- Not implemented yet.
-
- 2.2) data referencing in 64 bit mode
- While ELF allows 32 bit absolute relocations in 64 bit mode, Mach-O
- does not. Therefore code like
- lea rbx,[_foo] ;48 8d 1c 25 00 00 00 00
- mov rcx,[_bar] ;48 8b 0c 25 00 00 00 00
- with a 32 bit address field cannot be relocated into an address >= 0x100000000 (OSX actually
- uses that).
-
- Actually, the only register where a 64 bit displacement is allowed in x86-64, is rax
- as in the example 1).
-
- A plausible workaround is either classic PIC (like in C), which is in turn
- not implemented in this object format. The recommended was is PC relative
- code (called RIP-relative in x86-64). So instead of the lines above, just write:
- lea rbx,[_foo wrt rip]
- mov rcx,[_bar wrt rip]
-
- 2.3) section/data alignment
- Normally, you specify sections with a specific alignment
- and get your data layed out as desired. Unfortunately, the
- linker in MacOS X seems to ignore the section alignment requests.
- The workaround is an explicit alignment at the end of the text section.
-
- section .text
- movdqa xmm0,[_foo wrt rip]
-
- align 16
- section .data align=16
- _foo dw 32,32,32,32,32,32,32,32
-
- FIXME: perform that operation implicitly!
-
- 2.4) cross section symbol differences unsupported in current implementation
- [extern foo]
- [extern bar]
- section .data
- dq bar-foo
-
- Will currently produce an error though the necessary means are provided
- by the Mach-O specification.
-
-*/
-
-#include <util.h>
-
-#include <libyasm.h>
-
-/* MACH-O DEFINES */
-/* Mach-O in-file header structure sizes (32 BIT, see below for 64 bit defs) */
-#define MACHO_HEADER_SIZE 28
-#define MACHO_SEGCMD_SIZE 56
-#define MACHO_SECTCMD_SIZE 68
-#define MACHO_SYMCMD_SIZE 24
-#define MACHO_NLIST_SIZE 12
-#define MACHO_RELINFO_SIZE 8
-
-/* 64 bit sizes */
-#define MACHO_HEADER64_SIZE 32
-#define MACHO_SEGCMD64_SIZE 72
-#define MACHO_SECTCMD64_SIZE 80
-#define MACHO_NLIST64_SIZE 16
-#define MACHO_RELINFO64_SIZE 8
-
-
-/* Mach-O file header values */
-#define MH_MAGIC 0xfeedface
-#define MH_MAGIC_64 0xfeedfacf
-
-/* CPU machine type */
-#define CPU_TYPE_I386 7 /* x86 platform */
-#define CPU_TYPE_X86_64 (CPU_TYPE_I386|CPU_ARCH_ABI64)
-#define CPU_ARCH_ABI64 0x01000000 /* 64 bit ABI */
-
-/* CPU machine subtype, e.g. processor */
-#define CPU_SUBTYPE_I386_ALL 3 /* all-x86 compatible */
-#define CPU_SUBTYPE_X86_64_ALL CPU_SUBTYPE_I386_ALL
-#define CPU_SUBTYPE_386 3
-#define CPU_SUBTYPE_486 4
-#define CPU_SUBTYPE_486SX (4 + 128)
-#define CPU_SUBTYPE_586 5
-#define CPU_SUBTYPE_INTEL(f, m) ((f) + ((m) << 4))
-#define CPU_SUBTYPE_PENT CPU_SUBTYPE_INTEL(5, 0)
-#define CPU_SUBTYPE_PENTPRO CPU_SUBTYPE_INTEL(6, 1)
-#define CPU_SUBTYPE_PENTII_M3 CPU_SUBTYPE_INTEL(6, 3)
-#define CPU_SUBTYPE_PENTII_M5 CPU_SUBTYPE_INTEL(6, 5)
-#define CPU_SUBTYPE_PENTIUM_4 CPU_SUBTYPE_INTEL(10, 0)
-
-#define CPU_SUBTYPE_INTEL_FAMILY(x) ((x) & 15)
-#define CPU_SUBTYPE_INTEL_FAMILY_MAX 15
-
-#define CPU_SUBTYPE_INTEL_MODEL(x) ((x) >> 4)
-#define CPU_SUBTYPE_INTEL_MODEL_ALL 0
-
-#define MH_OBJECT 0x1 /* object file */
-
-#define LC_SEGMENT 0x1 /* segment load command */
-#define LC_SYMTAB 0x2 /* symbol table load command */
-#define LC_SEGMENT_64 0x19 /* segment load command */
-
-
-#define VM_PROT_NONE 0x00
-#define VM_PROT_READ 0x01
-#define VM_PROT_WRITE 0x02
-#define VM_PROT_EXECUTE 0x04
-
-#define VM_PROT_DEFAULT (VM_PROT_READ | VM_PROT_WRITE | VM_PROT_EXECUTE)
-#define VM_PROT_ALL (VM_PROT_READ | VM_PROT_WRITE | VM_PROT_EXECUTE)
-
-#define SECTION_TYPE 0x000000ff /* section type mask */
-#define SECTION_ATTRIBUTES 0xffffff00UL/* section attributes mask */
-
-#define S_REGULAR 0x0 /* standard section */
-#define S_ZEROFILL 0x1 /* zerofill, in-memory only */
-#define S_CSTRING_LITERALS 0x2 /* literal C strings */
-#define S_4BYTE_LITERALS 0x3 /* only 4-byte literals */
-#define S_8BYTE_LITERALS 0x4 /* only 8-byte literals */
-#define S_LITERAL_POINTERS 0x5 /* only pointers to literals */
-#define S_NON_LAZY_SYMBOL_POINTERS 0x6 /* only non-lazy symbol pointers */
-#define S_LAZY_SYMBOL_POINTERS 0x7 /* only lazy symbol pointers */
-#define S_SYMBOL_STUBS 0x8 /* only symbol stubs; byte size of
- * stub in the reserved2 field */
-#define S_MOD_INIT_FUNC_POINTERS 0x9 /* only function pointers for init */
-#define S_MOD_TERM_FUNC_POINTERS 0xa /* only function pointers for term */
-#define S_COALESCED 0xb /* symbols that are to be coalesced */
-#define S_GB_ZEROFILL 0xc /* >4GB zero fill on demand section */
-#define S_INTERPOSING 0xd /* only pairs of function pointers for
- * interposing */
-#define S_16BYTE_LITERALS 0xe /* only 16 byte literals */
-
-#define S_ATTR_DEBUG 0x02000000 /* a debug section */
-#define SECTION_ATTRIBUTES_SYS 0x00ffff00 /* system setable attributes */
-#define S_ATTR_SOME_INSTRUCTIONS 0x00000400 /* section contains some
- * machine instructions */
-#define S_ATTR_EXT_RELOC 0x00000200 /* section has external
- * relocation entries */
-#define S_ATTR_LOC_RELOC 0x00000100 /* section has local
- * relocation entries */
-
-#define SECTION_ATTRIBUTES_USR 0xff000000UL /* User setable attributes */
-#define S_ATTR_PURE_INSTRUCTIONS 0x80000000UL /* only true machine insns */
-#define S_ATTR_NO_TOC 0x40000000UL /* coalesced symbols that are
- * not to be in a ranlib table
- * of contents */
-#define S_ATTR_STRIP_STATIC_SYMS 0x20000000UL /* ok to strip static symbols
- * in this section in files
- * with the MH_DYLDLINK flag */
-#define S_ATTR_NO_DEAD_STRIP 0x10000000UL /* no dead stripping */
-#define S_ATTR_LIVE_SUPPORT 0x08000000UL /* blocks are live if they
- * reference live blocks */
-#define S_ATTR_SELF_MODIFYING_CODE 0x04000000UL /* Used with i386 code stubs
- * written on by dyld */
-
-/* macho references symbols in different ways whether they are linked at
- * runtime (LAZY, read library functions) or at link time (NON_LAZY, mostly
- * data)
- *
- * TODO: proper support for dynamically linkable modules would require the
- * __import sections as well as the dsymtab command
- */
-#define REFERENCE_FLAG_UNDEFINED_NON_LAZY 0x0
-#define REFERENCE_FLAG_UNDEFINED_LAZY 0x1
-
-#define align(x, y) \
- (((x) + (y) - 1) & ~((y) - 1)) /* align x to multiple of y */
-
-#define align32(x) \
- align(x, 4) /* align x to 32 bit boundary */
-
-#define macho_MAGIC 0x87654322
-
-/* Symbol table type field bit masks */
-#define N_STAB 0xe0 /* mask indicating stab entry */
-#define N_PEXT 0x10 /* private external bit */
-#define N_TYPE 0x0e /* mask for all the type bits */
-#define N_EXT 0x01 /* external (global) bit */
-
-/* Symbol table type field values */
-#define N_UNDF 0x00 /* undefined */
-#define N_ABS 0x02 /* absolute address */
-#define N_SECT 0x0e /* symbol is defined in a section */
-
-#define NO_SECT 0 /* no section for symbol in nlist */
-
-#define REGULAR_OUTBUF_SIZE 1024
-
-
-typedef struct macho_reloc {
- yasm_reloc reloc;
- int pcrel;
- int length;
- int ext;
- enum reloc_type_x86_64 {
- /* x86 relocations */
- GENERIC_RELOC_VANILLA = 0, /* generic relocation */
- GENERIC_RELOC_PAIR = 1, /* Only follows a GENERIC_RELOC_SECTDIFF */
- GENERIC_RELOC_SECTDIFF = 2,
- GENERIC_RELOC_PB_LA_PTR = 3, /* prebound lazy pointer */
- GENERIC_RELOC_LOCAL_SECTDIFF = 4,
-
- /* x86-64 relocations */
- X86_64_RELOC_UNSIGNED = 0, /* for absolute addresses */
- X86_64_RELOC_SIGNED = 1, /* for signed 32-bit displacement */
- X86_64_RELOC_BRANCH = 2, /* a CALL/JMP insn with 32-bit disp */
- X86_64_RELOC_GOT_LOAD = 3, /* a MOVQ load of a GOT entry */
- X86_64_RELOC_GOT = 4, /* other GOT references */
- X86_64_RELOC_SUBTRACTOR = 5, /* must be followed by a X86_64_RELOC_UNSIGNED */
- X86_64_RELOC_SIGNED_1 = 6, /* signed 32-bit disp, -1 addend */
- X86_64_RELOC_SIGNED_2 = 7, /* signed 32-bit disp, -2 addend */
- X86_64_RELOC_SIGNED_4 = 8 /* signed 32-bit disp, -4 addend */
- } type;
-} macho_reloc;
-
-typedef struct macho_section_data {
- /*@dependent@*/ yasm_symrec *sym; /* symbol created for this section */
- long scnum; /* section number (0=first section) */
- /*@only@*/ char *segname; /* segment name in file */
- /*@only@*/ char *sectname; /* section name in file */
- unsigned long flags; /* S_* flags */
- unsigned long size; /* size of raw data (section data) in bytes */
- unsigned long offset; /* offset in raw data within file in bytes */
- unsigned long vmoff; /* memory offset */
- unsigned long nreloc; /* number of relocation entries */
- unsigned int extreloc; /* external relocations present (0/1) */
-} macho_section_data;
-
-
-typedef struct macho_symrec_data {
- unsigned long index; /* index in output order */
- yasm_intnum *value; /* valid after writing symtable to file */
- unsigned long length; /* length + 1 (plus auto underscore) */
-} macho_symrec_data;
-
-
-typedef struct yasm_objfmt_macho {
- yasm_objfmt_base objfmt; /* base structure */
-
- long parse_scnum; /* sect numbering in parser */
- int bits; /* 32 / 64 */
-
- yasm_symrec *gotpcrel_sym; /* ..gotpcrel */
-} yasm_objfmt_macho;
-
-
-typedef struct macho_objfmt_output_info {
- yasm_object *object;
- yasm_objfmt_macho *objfmt_macho;
- yasm_errwarns *errwarns;
- /*@dependent@ */ FILE *f;
- /*@only@ */ unsigned char *buf;
- yasm_section *sect;
- /*@dependent@ */ macho_section_data *msd;
-
- unsigned int is_64; /* write object in 64 bit mode */
-
- /* vmsize and filesize available after traversing section count routine */
- unsigned long vmsize; /* raw size of all sections (including BSS) */
- unsigned long filesize; /* size of sections in file (excluding BSS) */
- unsigned long offset; /* offset within file */
-
- /* forward offset tracking */
- unsigned long rel_base; /* first relocation in file */
- unsigned long s_reloff; /* in-file offset to relocations */
-
- unsigned long indx; /* current symbol size in bytes (name length+1) */
- unsigned long symindex; /* current symbol index in output order */
- int all_syms; /* outputting all symbols? */
- unsigned long strlength; /* length of all strings */
-} macho_objfmt_output_info;
-
-
-static void macho_section_data_destroy(/*@only@*/ void *d);
-static void macho_section_data_print(void *data, FILE *f, int indent_level);
-
-static const yasm_assoc_data_callback macho_section_data_cb = {
- macho_section_data_destroy,
- macho_section_data_print
-};
-
-static void macho_symrec_data_destroy(/*@only@*/ void *d);
-static void macho_symrec_data_print(void *data, FILE *f, int indent_level);
-
-static const yasm_assoc_data_callback macho_symrec_data_cb = {
- macho_symrec_data_destroy,
- macho_symrec_data_print
-};
-
-yasm_objfmt_module yasm_macho_LTX_objfmt;
-yasm_objfmt_module yasm_macho32_LTX_objfmt;
-yasm_objfmt_module yasm_macho64_LTX_objfmt;
-
-static yasm_objfmt *
-macho_objfmt_create_common(yasm_object *object, yasm_objfmt_module *module,
- int bits_pref)
-{
- yasm_objfmt_macho *objfmt_macho = yasm_xmalloc(sizeof(yasm_objfmt_macho));
-
- objfmt_macho->objfmt.module = module;
-
- /* Only support x86 arch for now */
- if (yasm__strcasecmp(yasm_arch_keyword(object->arch), "x86") != 0) {
- yasm_xfree(objfmt_macho);
- return NULL;
- }
-
- /* Support x86 and amd64 machines of x86 arch */
- if (yasm__strcasecmp(yasm_arch_get_machine(object->arch), "x86") == 0 &&
- (bits_pref == 0 || bits_pref == 32)) {
- objfmt_macho->bits = 32;
- objfmt_macho->gotpcrel_sym = NULL;
- } else if (yasm__strcasecmp(yasm_arch_get_machine(object->arch),
- "amd64") == 0 &&
- (bits_pref == 0 || bits_pref == 64)) {
- objfmt_macho->bits = 64;
- /* FIXME: misuse of NULL bytecode */
- objfmt_macho->gotpcrel_sym =
- yasm_symtab_define_label(object->symtab, "..gotpcrel", NULL, 0, 0);
- } else {
- yasm_xfree(objfmt_macho);
- return NULL;
- }
-
- objfmt_macho->parse_scnum = 0; /* section numbering starts at 0 */
- return (yasm_objfmt *)objfmt_macho;
-}
-
-static yasm_objfmt *
-macho_objfmt_create(yasm_object *object)
-{
- yasm_objfmt *objfmt;
- yasm_objfmt_macho *objfmt_macho;
-
- objfmt = macho_objfmt_create_common(object, &yasm_macho_LTX_objfmt, 0);
- if (objfmt) {
- objfmt_macho = (yasm_objfmt_macho *)objfmt;
- /* Figure out which bitness of object format to use */
- if (objfmt_macho->bits == 32)
- objfmt_macho->objfmt.module = &yasm_macho32_LTX_objfmt;
- else if (objfmt_macho->bits == 64)
- objfmt_macho->objfmt.module = &yasm_macho64_LTX_objfmt;
- }
- return objfmt;
-}
-
-static yasm_objfmt *
-macho32_objfmt_create(yasm_object *object)
-{
- return macho_objfmt_create_common(object, &yasm_macho32_LTX_objfmt, 32);
-}
-
-static yasm_objfmt *
-macho64_objfmt_create(yasm_object *object)
-{
- return macho_objfmt_create_common(object, &yasm_macho64_LTX_objfmt, 64);
-}
-
-static int
-macho_objfmt_output_value(yasm_value *value, unsigned char *buf,
- unsigned int destsize, unsigned long offset,
- yasm_bytecode *bc, int warn, /*@null@*/ void *d)
-{
- /*@null@*/ macho_objfmt_output_info *info = (macho_objfmt_output_info *)d;
- yasm_objfmt_macho *objfmt_macho;
- /*@dependent@*/ /*@null@*/ yasm_intnum *intn;
- unsigned long intn_minus = 0, intn_plus = 0;
- int retval;
- unsigned int valsize = value->size;
- macho_reloc *reloc = NULL;
-
- assert(info != NULL);
- objfmt_macho = info->objfmt_macho;
-
- if (value->abs)
- value->abs = yasm_expr_simplify(value->abs, 1);
-
- /* Try to output constant and PC-relative section-local first.
- * Note this does NOT output any value with a SEG, WRT, external,
- * cross-section, or non-PC-relative reference (those are handled below).
- */
- switch (yasm_value_output_basic(value, buf, destsize, bc, warn,
- info->object->arch)) {
- case -1:
- return 1;
- case 0:
- break;
- default:
- return 0;
- }
-
- if (value->section_rel) {
- yasm_error_set(YASM_ERROR_TOO_COMPLEX,
- N_("macho: relocation too complex for current implementation"));
- return 1;
- }
-
- if (value->rel) {
- yasm_sym_vis vis = yasm_symrec_get_visibility(value->rel);
-
- reloc = yasm_xcalloc(sizeof(macho_reloc), 1);
- reloc->reloc.addr = yasm_intnum_create_uint(bc->offset + offset);
- reloc->reloc.sym = value->rel;
- switch (valsize) {
- case 64:
- reloc->length = 3;
- break;
- case 32:
- reloc->length = 2;
- break;
- case 16:
- reloc->length = 1;
- break;
- case 8:
- reloc->length = 0;
- break;
- default:
- yasm_error_set(YASM_ERROR_TOO_COMPLEX,
- N_("macho: relocation size unsupported"));
- yasm_xfree(reloc);
- return 1;
- }
- reloc->pcrel = 0;
- reloc->ext = 0;
- reloc->type = GENERIC_RELOC_VANILLA;
- /* R_ABS */
-
- if (value->rshift > 0) {
- yasm_error_set(YASM_ERROR_TOO_COMPLEX,
- N_("macho: shifted relocations not supported"));
- yasm_xfree(reloc);
- return 1;
- }
-
- if (value->seg_of) {
- yasm_error_set(YASM_ERROR_TOO_COMPLEX,
- N_("macho: SEG not supported"));
- yasm_xfree(reloc);
- return 1;
- }
-
- if (value->curpos_rel && objfmt_macho->gotpcrel_sym &&
- value->wrt == objfmt_macho->gotpcrel_sym) {
- reloc->type = X86_64_RELOC_GOT;
- value->wrt = NULL;
- } else if (value->wrt) {
- yasm_error_set(YASM_ERROR_TOO_COMPLEX,
- N_("macho: invalid WRT"));
- yasm_xfree(reloc);
- return 1;
- }
-
- if (value->curpos_rel) {
- reloc->pcrel = 1;
- if (!info->is_64) {
- /* Adjust to start of section, so subtract out the bytecode
- * offset.
- */
- intn_minus = bc->offset;
- } else {
- /* Add in the offset plus value size to end up with 0. */
- intn_plus = offset+destsize;
- if (reloc->type == X86_64_RELOC_GOT) {
- /* XXX: This is a hack */
- if (offset >= 2 && buf[-2] == 0x8B)
- reloc->type = X86_64_RELOC_GOT_LOAD;
- } else if (value->jump_target)
- reloc->type = X86_64_RELOC_BRANCH;
- else
- reloc->type = X86_64_RELOC_SIGNED;
- }
- } else if (info->is_64) {
- if (valsize == 32) {
- yasm_error_set(YASM_ERROR_NOT_CONSTANT,
- N_("macho: sorry, cannot apply 32 bit absolute relocations in 64 bit mode, consider \"[_symbol wrt rip]\" for mem access, \"qword\" and \"dq _foo\" for pointers."));
- return 1;
- }
- reloc->type = X86_64_RELOC_UNSIGNED;
- }
-
- /* It seems that x86-64 objects need to have all extern relocs? */
- if (info->is_64)
- reloc->ext = 1;
-
- if ((vis & YASM_SYM_EXTERN) || (vis & YASM_SYM_COMMON)) {
- reloc->ext = 1;
- info->msd->extreloc = 1; /* section has external relocations */
- } else if (!info->is_64) {
- /*@dependent@*/ /*@null@*/ yasm_bytecode *sym_precbc;
-
- /* Local symbols need valued to their actual address */
- if (yasm_symrec_get_label(value->rel, &sym_precbc)) {
- yasm_section *sym_sect = yasm_bc_get_section(sym_precbc);
- /*@null@*/ macho_section_data *msd;
- msd = yasm_section_get_data(sym_sect, &macho_section_data_cb);
- assert(msd != NULL);
- intn_plus += msd->vmoff + yasm_bc_next_offset(sym_precbc);
- }
- }
-
- info->msd->nreloc++;
- /*printf("reloc %s type %d ",yasm_symrec_get_name(reloc->reloc.sym),reloc->type);*/
- yasm_section_add_reloc(info->sect, (yasm_reloc *)reloc, yasm_xfree);
- }
-
- if (intn_minus <= intn_plus)
- intn = yasm_intnum_create_uint(intn_plus-intn_minus);
- else {
- intn = yasm_intnum_create_uint(intn_minus-intn_plus);
- yasm_intnum_calc(intn, YASM_EXPR_NEG, NULL);
- }
-
- if (value->abs) {
- yasm_intnum *intn2 = yasm_expr_get_intnum(&value->abs, 0);
-
- if (!intn2) {
- yasm_error_set(YASM_ERROR_TOO_COMPLEX,
- N_("macho: relocation too complex"));
- yasm_intnum_destroy(intn);
- return 1;
- }
- yasm_intnum_calc(intn, YASM_EXPR_ADD, intn2);
- }
-
- retval = yasm_arch_intnum_tobytes(info->object->arch, intn, buf, destsize,
- valsize, 0, bc, warn);
- /*printf("val %ld\n",yasm_intnum_get_int(intn));*/
- yasm_intnum_destroy(intn);
- return retval;
-}
-
-static int
-macho_objfmt_output_bytecode(yasm_bytecode *bc, /*@null@*/ void *d)
-{
- /*@null@*/ macho_objfmt_output_info *info = (macho_objfmt_output_info *)d;
- /*@null@*/ /*@only@*/ unsigned char *bigbuf;
- unsigned long size = REGULAR_OUTBUF_SIZE;
- int gap;
-
- assert(info != NULL);
-
- bigbuf = yasm_bc_tobytes(bc, info->buf, &size, &gap, info,
- macho_objfmt_output_value, NULL);
-
- /* Don't bother doing anything else if size ended up being 0. */
- if (size == 0) {
- if (bigbuf)
- yasm_xfree(bigbuf);
- return 0;
- }
-
- /* Warn that gaps are converted to 0 and write out the 0's. */
- if (gap) {
- unsigned long left;
-
- yasm_warn_set(YASM_WARN_UNINIT_CONTENTS,
- N_("uninitialized space: zeroing"));
- /* Write out in chunks */
- memset(info->buf, 0, REGULAR_OUTBUF_SIZE);
- left = size;
- while (left > REGULAR_OUTBUF_SIZE) {
- fwrite(info->buf, REGULAR_OUTBUF_SIZE, 1, info->f);
- left -= REGULAR_OUTBUF_SIZE;
- }
- fwrite(info->buf, left, 1, info->f);
- } else {
- /* Output buf (or bigbuf if non-NULL) to file */
- fwrite(bigbuf ? bigbuf : info->buf, (size_t) size, 1, info->f);
- }
-
- /* If bigbuf was allocated, free it */
- if (bigbuf)
- yasm_xfree(bigbuf);
-
- return 0;
-}
-
-static int
-macho_objfmt_output_section(yasm_section *sect, /*@null@ */ void *d)
-{
- /*@null@ */ macho_objfmt_output_info *info =
- (macho_objfmt_output_info *) d;
- /*@dependent@ *//*@null@ */ macho_section_data *msd;
-
- assert(info != NULL);
- msd = yasm_section_get_data(sect, &macho_section_data_cb);
- assert(msd != NULL);
-
- if (!(msd->flags & S_ZEROFILL)) {
- /* Output non-BSS sections */
- info->sect = sect;
- info->msd = msd;
- yasm_section_bcs_traverse(sect, info->errwarns, info,
- macho_objfmt_output_bytecode);
- }
- return 0;
-}
-
-static int
-macho_objfmt_output_relocs(yasm_section *sect, /*@null@*/ void *d)
-{
- /*@null@*/ macho_objfmt_output_info *info = (macho_objfmt_output_info *)d;
- /*@dependent@*/ /*@null@*/ macho_section_data *msd;
- macho_reloc *reloc;
-
- reloc = (macho_reloc *)yasm_section_relocs_first(sect);
- while (reloc) {
- unsigned char *localbuf = info->buf;
- /*@null@*/ macho_symrec_data *xsymd;
- unsigned long symnum;
-
- xsymd = yasm_symrec_get_data(reloc->reloc.sym, &macho_symrec_data_cb);
- yasm_intnum_get_sized(reloc->reloc.addr, localbuf, 4, 32, 0, 0, 0);
- localbuf += 4; /* address of relocation */
-
- if (reloc->ext)
- symnum = xsymd->index;
- else {
- /* find section where the symbol relates to */
- /*@dependent@*/ /*@null@*/ yasm_section *dsect;
- /*@dependent@*/ /*@null@*/ yasm_bytecode *precbc;
- symnum = 0; /* default to absolute */
- if (yasm_symrec_get_label(reloc->reloc.sym, &precbc) &&
- (dsect = yasm_bc_get_section(precbc)) &&
- (msd = yasm_section_get_data(dsect, &macho_section_data_cb)))
- symnum = msd->scnum+1;
- }
- YASM_WRITE_32_L(localbuf,
- (symnum & 0x00ffffff) |
- (((unsigned long)reloc->pcrel & 1) << 24) |
- (((unsigned long)reloc->length & 3) << 25) |
- (((unsigned long)reloc->ext & 1) << 27) |
- (((unsigned long)reloc->type & 0xf) << 28));
- fwrite(info->buf, 8, 1, info->f);
- reloc = (macho_reloc *)yasm_section_reloc_next((yasm_reloc *)reloc);
- }
-
- return 0;
-}
-
-static int
-exp2_to_bits(unsigned long val)
-{
- int ret = 0;
-
- while (val) {
- val >>= 1;
- ret++;
- }
- ret = (ret > 0) ? ret - 1 : 0;
-
- return ret;
-}
-
-static int
-macho_objfmt_is_section_label(yasm_symrec *sym)
-{
- /*@dependent@*/ /*@null@*/ yasm_section *sect;
- /*@dependent@*/ /*@null@*/ yasm_bytecode *precbc;
-
- /* Look at symrec for value/scnum/etc. */
- if (yasm_symrec_get_label(sym, &precbc)) {
- if (precbc)
- sect = yasm_bc_get_section(precbc);
- else
- sect = NULL;
- /* it's a label: get value and offset.
- * If there is not a section, leave as debugging symbol.
- */
- if (sect) {
- /*@dependent@*/ /*@null@*/ macho_section_data *msd;
-
- msd = yasm_section_get_data(sect, &macho_section_data_cb);
- if (msd) {
- if (msd->sym == sym)
- return 1; /* don't store section names */
- }
- }
- }
- return 0;
-}
-
-static int
-macho_objfmt_output_secthead(yasm_section *sect, /*@null@*/ void *d)
-{
- /*@null@*/ macho_objfmt_output_info *info = (macho_objfmt_output_info *)d;
- /*@dependent@*/ /*@null@*/ macho_section_data *msd;
- unsigned char *localbuf;
-
- assert(info != NULL);
- msd = yasm_section_get_data(sect, &macho_section_data_cb);
- assert(msd != NULL);
-
- localbuf = info->buf;
-
- memset(localbuf, 0, 16);
- strncpy((char *)localbuf, msd->sectname, 16);
- localbuf += 16;
- memset(localbuf, 0, 16);
- strncpy((char *)localbuf, msd->segname, 16);
- localbuf += 16;
- /* section address, size depend on 32/64 bit mode */
- YASM_WRITE_32_L(localbuf, msd->vmoff); /* address in memory */
- if (info->is_64)
- YASM_WRITE_32_L(localbuf, 0); /* 64-bit mode: upper 32 bits = 0 */
- YASM_WRITE_32_L(localbuf, msd->size); /* size in memory */
- if (info->is_64)
- YASM_WRITE_32_L(localbuf, 0); /* 64-bit mode: upper 32 bits = 0 */
-
- /* offset,align,reloff,nreloc,flags,reserved1,reserved2 are 32 bit */
- if ((msd->flags & SECTION_TYPE) != S_ZEROFILL) {
- YASM_WRITE_32_L(localbuf, msd->offset);
- YASM_WRITE_32_L(localbuf, exp2_to_bits(yasm_section_get_align(sect)));
- if (msd->nreloc) {
- msd->flags |= S_ATTR_LOC_RELOC;
- if (msd->extreloc)
- msd->flags |= S_ATTR_EXT_RELOC;
- YASM_WRITE_32_L(localbuf,
- align32((long)(info->rel_base + info->s_reloff)));
- YASM_WRITE_32_L(localbuf, msd->nreloc); /* nreloc */
- } else {
- YASM_WRITE_32_L(localbuf, 0);
- YASM_WRITE_32_L(localbuf, 0);
- }
-
- info->s_reloff += msd->nreloc * MACHO_RELINFO_SIZE; /* nreloc */
- } else {
- YASM_WRITE_32_L(localbuf, 0); /* these are zero in BSS */
- YASM_WRITE_32_L(localbuf, 0);
- YASM_WRITE_32_L(localbuf, 0);
- YASM_WRITE_32_L(localbuf, 0);
- }
-
- YASM_WRITE_32_L(localbuf, msd->flags); /* flags */
- YASM_WRITE_32_L(localbuf, 0); /* reserved 1 */
- YASM_WRITE_32_L(localbuf, 0); /* reserved 2 */
-
- if (info->is_64)
- fwrite(info->buf, MACHO_SECTCMD64_SIZE, 1, info->f);
- else
- fwrite(info->buf, MACHO_SECTCMD_SIZE, 1, info->f);
-
- return 0;
-}
-
-
-static int
-macho_objfmt_count_sym(yasm_symrec *sym, /*@null@*/ void *d)
-{
- /*@null@*/ macho_objfmt_output_info *info = (macho_objfmt_output_info *)d;
- /*@only@*/ char *name;
- yasm_sym_vis vis = yasm_symrec_get_visibility(sym);
-
- assert(info != NULL);
- if (info->all_syms ||
- vis & (YASM_SYM_GLOBAL | YASM_SYM_COMMON | YASM_SYM_EXTERN)) {
- if (0 == macho_objfmt_is_section_label(sym)) {
- /* Save index in symrec data */
- macho_symrec_data *sym_data =
- yasm_symrec_get_data(sym, &macho_symrec_data_cb);
- if (!sym_data) {
- sym_data = yasm_xcalloc(sizeof(macho_symrec_data), 1);
- yasm_symrec_add_data(sym, &macho_symrec_data_cb, sym_data);
- }
- sym_data->index = info->symindex;
- info->symindex++;
-
- name = yasm_symrec_get_global_name(sym, info->object);
- /*printf("%s\n",name); */
- /* name length + delimiter */
- sym_data->length = (unsigned long)strlen(name) + 1;
- info->strlength += sym_data->length;
- info->indx++;
- yasm_xfree(name);
- }
- }
- return 0;
-}
-
-
-static int
-macho_objfmt_output_symtable(yasm_symrec *sym, /*@null@*/ void *d)
-{
- /*@null@*/ macho_objfmt_output_info *info = (macho_objfmt_output_info *)d;
- yasm_sym_vis vis = yasm_symrec_get_visibility(sym);
-
- assert(info != NULL);
-
- if (info->all_syms ||
- vis & (YASM_SYM_GLOBAL | YASM_SYM_COMMON | YASM_SYM_EXTERN)) {
- const yasm_expr *equ_val;
- const yasm_intnum *intn;
- unsigned long value = 0;
- long scnum = -3; /* -3 = debugging symbol */
- /*@dependent@*/ /*@null@*/ yasm_section *sect;
- /*@dependent@*/ /*@null@*/ yasm_bytecode *precbc;
- unsigned char *localbuf;
- yasm_intnum *val;
- unsigned int long_int_bytes = (info->is_64) ? 8 : 4;
- unsigned int n_type = 0, n_sect = 0, n_desc = 0;
- macho_symrec_data *symd;
-
- val = yasm_intnum_create_uint(0);
-
- symd = yasm_symrec_get_data(sym, &macho_symrec_data_cb);
-
- /* Look at symrec for value/scnum/etc. */
- if (yasm_symrec_get_label(sym, &precbc)) {
- if (precbc)
- sect = yasm_bc_get_section(precbc);
- else
- sect = NULL;
- /* it's a label: get value and offset.
- * If there is not a section, leave as debugging symbol.
- */
- if (sect) {
- /*@dependent@*/ /*@null@*/ macho_section_data *msd;
-
- msd = yasm_section_get_data(sect, &macho_section_data_cb);
- if (msd) {
- if (msd->sym == sym) {
- /* don't store section names */
- yasm_intnum_destroy(val);
- return 0;
- }
- scnum = msd->scnum;
- n_type = N_SECT;
- } else
- yasm_internal_error(N_("didn't understand section"));
- if (precbc)
- value += yasm_bc_next_offset(precbc);
- /* all values are subject to correction: base offset is first
- * raw section, therefore add section offset
- */
- if (msd)
- value += msd->vmoff;
- yasm_intnum_set_uint(val, value);
- /*printf("%s offset %lx\n",name,value);*/
- }
- } else if ((equ_val = yasm_symrec_get_equ(sym))) {
- yasm_expr *equ_val_copy = yasm_expr_copy(equ_val);
-
- intn = yasm_expr_get_intnum(&equ_val_copy, 1);
- if (!intn) {
- if (vis & YASM_SYM_GLOBAL) {
- yasm_error_set(YASM_ERROR_NOT_CONSTANT,
- N_("global EQU value not an integer expression"));
- yasm_errwarn_propagate(info->errwarns, equ_val->line);
- }
- } else
- value = yasm_intnum_get_uint(intn);
- yasm_expr_destroy(equ_val_copy);
- yasm_intnum_set_uint(val, value);
- n_type = N_ABS;
- scnum = -2; /* -2 = absolute symbol */
- }
-
- if (vis & YASM_SYM_EXTERN) {
- n_type = N_EXT;
- scnum = -1;
- /*n_desc = REFERENCE_FLAG_UNDEFINED_LAZY; * FIXME: see definition of REFERENCE_FLAG_* above */
- } else if (vis & YASM_SYM_COMMON) {
- yasm_expr **csize = yasm_symrec_get_common_size(sym);
- n_type = N_UNDF | N_EXT;
- if (csize) {
- intn = yasm_expr_get_intnum(csize, 1);
- if (!intn) {
- yasm_error_set(YASM_ERROR_NOT_CONSTANT,
- N_("COMMON data size not an integer expression"));
- yasm_errwarn_propagate(info->errwarns, (*csize)->line);
- } else
- yasm_intnum_set_uint(val, yasm_intnum_get_uint(intn));
- }
- /*printf("common symbol %s val %lu\n", name, yasm_intnum_get_uint(val));*/
- } else if (vis & YASM_SYM_GLOBAL) {
- yasm_valparamhead *valparams =
- yasm_symrec_get_objext_valparams(sym);
-
- struct macho_global_data {
- unsigned long flag; /* N_PEXT */
- } data;
-
- data.flag = 0;
-
- if (valparams) {
- static const yasm_dir_help help[] = {
- { "private_extern", 0, yasm_dir_helper_flag_set,
- offsetof(struct macho_global_data, flag), N_PEXT },
- };
- yasm_dir_helper(sym, yasm_vps_first(valparams),
- yasm_symrec_get_decl_line(sym), help, NELEMS(help),
- &data, yasm_dir_helper_valparam_warn);
- }
-
- n_type |= N_EXT | data.flag;
- }
-
- localbuf = info->buf;
- YASM_WRITE_32_L(localbuf, info->indx); /* offset in string table */
- YASM_WRITE_8(localbuf, n_type); /* type of symbol entry */
- n_sect = (scnum >= 0) ? scnum + 1 : NO_SECT;
- YASM_WRITE_8(localbuf, n_sect); /* referring section where symbol is found */
- YASM_WRITE_16_L(localbuf, n_desc); /* extra description */
- yasm_intnum_get_sized(val, localbuf, long_int_bytes, ((long_int_bytes) << 3), 0, 0, 0); /* value/argument */
- localbuf += long_int_bytes;
- if (symd)
- symd->value = val;
- else
- yasm_intnum_destroy(val);
-
- info->indx += symd->length;
-
- fwrite(info->buf, 8 + long_int_bytes, 1, info->f);
- }
-
- return 0;
-}
-
-
-static int
-macho_objfmt_output_str(yasm_symrec *sym, /*@null@*/ void *d)
-{
- /*@null@*/ macho_objfmt_output_info *info = (macho_objfmt_output_info *)d;
- yasm_sym_vis vis = yasm_symrec_get_visibility(sym);
-
- assert(info != NULL);
-
- if (info->all_syms ||
- vis & (YASM_SYM_GLOBAL | YASM_SYM_COMMON | YASM_SYM_EXTERN)) {
- if (0 == macho_objfmt_is_section_label(sym)) {
- /*@only@*/ char *name =
- yasm_symrec_get_global_name(sym, info->object);
- size_t len = strlen(name);
-
- fwrite(name, len + 1, 1, info->f);
- yasm_xfree(name);
- }
- }
- return 0;
-}
-
-static int
-macho_objfmt_calc_sectsize(yasm_section *sect, /*@null@ */ void *d)
-{
- /*@null@ */ macho_objfmt_output_info *info =
- (macho_objfmt_output_info *) d;
- /*@dependent@ *//*@null@ */ macho_section_data *msd;
- unsigned long align;
-
- assert(info != NULL);
- msd = yasm_section_get_data(sect, &macho_section_data_cb);
- assert(msd != NULL);
-
- msd->size = yasm_bc_next_offset(yasm_section_bcs_last(sect));
- if (!(msd->flags & S_ZEROFILL)) {
- msd->offset = info->offset;
- info->offset += msd->size;
- info->filesize += msd->size;
- }
-
- /* accumulate size in memory */
- msd->vmoff = info->vmsize;
- info->vmsize += msd->size;
-
- /* align both start and end of section */
- align = yasm_section_get_align(sect);
- if (align != 0) {
- unsigned long delta = msd->vmoff % align;
- if (delta > 0) {
- msd->vmoff += align - delta;
- info->vmsize += align - delta;
- }
- }
-
- return 0;
-}
-
-/* write object */
-static void
-macho_objfmt_output(yasm_object *object, FILE *f, int all_syms,
- yasm_errwarns *errwarns)
-{
- yasm_objfmt_macho *objfmt_macho = (yasm_objfmt_macho *)object->objfmt;
- macho_objfmt_output_info info;
- unsigned char *localbuf;
- unsigned long symtab_count = 0;
- unsigned long headsize;
- unsigned int macho_segcmdsize, macho_sectcmdsize, macho_nlistsize;
- unsigned int macho_segcmd;
- unsigned int head_ncmds, head_sizeofcmds;
- unsigned long fileoffset, fileoff_sections;
- yasm_intnum *val;
- unsigned long long_int_bytes;
- const char pad_data[3] = "\0\0\0";
-
- info.object = object;
- info.objfmt_macho = objfmt_macho;
- info.errwarns = errwarns;
- info.f = f;
- info.buf = yasm_xmalloc(REGULAR_OUTBUF_SIZE);
-
- if (objfmt_macho->parse_scnum == 0) {
- yasm_internal_error(N_("no sections defined"));
- /*@notreached@*/
- return;
- }
-
- val = yasm_intnum_create_uint(0);
-
- /*
- * MACH-O Header, Seg CMD, Sect CMDs, Sym Tab, Reloc Data
- */
- info.is_64 = (objfmt_macho->bits == 32) ? 0 : 1;
- if (info.is_64) {
- /* this works only when SYMBOLS and SECTIONS present */
- headsize =
- MACHO_HEADER64_SIZE + MACHO_SEGCMD64_SIZE +
- (MACHO_SECTCMD64_SIZE * (objfmt_macho->parse_scnum)) +
- MACHO_SYMCMD_SIZE;
- macho_segcmd = LC_SEGMENT_64;
- macho_segcmdsize = MACHO_SEGCMD64_SIZE;
- macho_sectcmdsize = MACHO_SECTCMD64_SIZE;
- macho_nlistsize = MACHO_NLIST64_SIZE;
- long_int_bytes = 8;
- } else {
- headsize =
- MACHO_HEADER_SIZE + MACHO_SEGCMD_SIZE +
- (MACHO_SECTCMD_SIZE * (objfmt_macho->parse_scnum)) +
- MACHO_SYMCMD_SIZE;
- macho_segcmd = LC_SEGMENT;
- macho_segcmdsize = MACHO_SEGCMD_SIZE;
- macho_sectcmdsize = MACHO_SECTCMD_SIZE;
- macho_nlistsize = MACHO_NLIST_SIZE;
- long_int_bytes = 4;
- }
-
- /* Get number of symbols */
- info.symindex = 0;
- info.indx = 0;
- info.strlength = 1; /* string table starts with a zero byte */
- info.all_syms = all_syms || info.is_64;
- /*info.all_syms = 1; * force all syms into symbol table */
- yasm_symtab_traverse(object->symtab, &info, macho_objfmt_count_sym);
- symtab_count = info.indx;
-
- /* write raw section data first */
- if (fseek(f, (long)headsize, SEEK_SET) < 0) {
- yasm__fatal(N_("could not seek on output file"));
- /*@notreached@ */
- return;
- }
-
- /* get size of sections in memory (including BSS) and size of sections
- * in file (without BSS)
- */
- info.vmsize = 0;
- info.filesize = 0;
- info.offset = headsize;
- yasm_object_sections_traverse(object, &info, macho_objfmt_calc_sectsize);
-
- /* output sections to file */
- yasm_object_sections_traverse(object, &info, macho_objfmt_output_section);
-
- fileoff_sections = ftell(f);
-
- /* Write headers */
- if (fseek(f, 0, SEEK_SET) < 0) {
- yasm__fatal(N_("could not seek on output file"));
- /*@notreached@*/
- return;
- }
-
- localbuf = info.buf;
-
- /* header size is common to 32 bit and 64 bit variants */
- if (info.is_64) {
- YASM_WRITE_32_L(localbuf, MH_MAGIC_64); /* magic number */
- /* i386 64-bit ABI */
- YASM_WRITE_32_L(localbuf, CPU_ARCH_ABI64 | CPU_TYPE_I386);
- } else {
- YASM_WRITE_32_L(localbuf, MH_MAGIC); /* magic number */
- YASM_WRITE_32_L(localbuf, CPU_TYPE_I386); /* i386 32-bit ABI */
- }
- /* i386 all cpu subtype compatible */
- YASM_WRITE_32_L(localbuf, CPU_SUBTYPE_I386_ALL);
- YASM_WRITE_32_L(localbuf, MH_OBJECT); /* MACH file type */
-
- /* calculate number of commands and their size, put to stream */
- head_ncmds = 0;
- head_sizeofcmds = 0;
- if (objfmt_macho->parse_scnum > 0) {
- head_ncmds++;
- head_sizeofcmds +=
- macho_segcmdsize + macho_sectcmdsize * objfmt_macho->parse_scnum;
- }
- if (symtab_count > 0) {
- head_ncmds++;
- head_sizeofcmds += MACHO_SYMCMD_SIZE;
- }
-
- YASM_WRITE_32_L(localbuf, head_ncmds);
- YASM_WRITE_32_L(localbuf, head_sizeofcmds);
- YASM_WRITE_32_L(localbuf, 0); /* no flags (yet) */
- if (info.is_64) {
- YASM_WRITE_32_L(localbuf, 0); /* reserved in 64 bit */
- fileoffset = MACHO_HEADER64_SIZE + head_sizeofcmds;
- } else {
- /* initial offset to first section */
- fileoffset = MACHO_HEADER_SIZE + head_sizeofcmds;
- }
-
- /* --------------- write segment header command ---------------- */
- YASM_WRITE_32_L(localbuf, macho_segcmd); /* command LC_SEGMENT */
- /* size of load command including section load commands */
- YASM_WRITE_32_L(localbuf,
- macho_segcmdsize +
- macho_sectcmdsize * objfmt_macho->parse_scnum);
- /* in an MH_OBJECT file all sections are in one unnamed (name all zeros)
- * segment (16x0)
- */
- YASM_WRITE_32_L(localbuf, 0);
- YASM_WRITE_32_L(localbuf, 0);
- YASM_WRITE_32_L(localbuf, 0);
- YASM_WRITE_32_L(localbuf, 0);
-
- /* in-memory offset, in-memory size */
- yasm_intnum_set_uint(val, 0); /* offset in memory (vmaddr) */
- yasm_intnum_get_sized(val, localbuf, long_int_bytes,
- ((long_int_bytes) << 3), 0, 0, 0);
- localbuf += long_int_bytes;
- yasm_intnum_set_uint(val, info.vmsize); /* size in memory (vmsize) */
- yasm_intnum_get_sized(val, localbuf, long_int_bytes,
- ((long_int_bytes) << 3), 0, 0, 0);
- localbuf += long_int_bytes;
- /* offset in file to first section */
- yasm_intnum_set_uint(val, fileoffset);
- yasm_intnum_get_sized(val, localbuf, long_int_bytes,
- ((long_int_bytes) << 3), 0, 0, 0);
- localbuf += long_int_bytes;
- yasm_intnum_set_uint(val, info.filesize); /* overall size in file */
- yasm_intnum_get_sized(val, localbuf, long_int_bytes,
- ((long_int_bytes) << 3), 0, 0, 0);
- localbuf += long_int_bytes;
-
- YASM_WRITE_32_L(localbuf, VM_PROT_DEFAULT); /* VM protection, maximum */
- YASM_WRITE_32_L(localbuf, VM_PROT_DEFAULT); /* VM protection, initial */
- /* number of sections */
- YASM_WRITE_32_L(localbuf, objfmt_macho->parse_scnum);
- YASM_WRITE_32_L(localbuf, 0); /* no flags */
-
- /* write MACH-O header and segment command to outfile */
- fwrite(info.buf, (size_t) (localbuf - info.buf), 1, f);
-
- /* next: section headers */
- /* offset to relocs for first section */
- info.rel_base = align32((long)fileoff_sections);
- info.s_reloff = 0; /* offset for relocs of following sections */
- yasm_object_sections_traverse(object, &info, macho_objfmt_output_secthead);
-
- localbuf = info.buf;
- /* write out symbol command */
- YASM_WRITE_32_L(localbuf, LC_SYMTAB); /* cmd == LC_SYMTAB */
- YASM_WRITE_32_L(localbuf, MACHO_SYMCMD_SIZE);
- /* symbol table offset */
- YASM_WRITE_32_L(localbuf, info.rel_base + info.s_reloff);
- YASM_WRITE_32_L(localbuf, symtab_count); /* number of symbols */
-
- YASM_WRITE_32_L(localbuf, macho_nlistsize * symtab_count + info.rel_base +
- info.s_reloff); /* string table offset */
- YASM_WRITE_32_L(localbuf, info.strlength); /* string table size */
- /* write symbol command */
- fwrite(info.buf, (size_t)(localbuf - info.buf), 1, f);
-
- /*printf("num symbols %d, vmsize %d, filesize %d\n",symtab_count,
- info.vmsize, info.filesize ); */
-
- /* get back to end of raw section data */
- if (fseek(f, (long)fileoff_sections, SEEK_SET) < 0) {
- yasm__fatal(N_("could not seek on output file"));
- /*@notreached@*/
- return;
- }
-
- /* padding to long boundary */
- if ((info.rel_base - fileoff_sections) > 0) {
- fwrite(pad_data, info.rel_base - fileoff_sections, 1, f);
- }
-
- /* relocation data */
- yasm_object_sections_traverse(object, &info, macho_objfmt_output_relocs);
-
- /* symbol table (NLIST) */
- info.indx = 1; /* restart symbol table indices */
- yasm_symtab_traverse(object->symtab, &info, macho_objfmt_output_symtable);
-
- /* symbol strings */
- fwrite(pad_data, 1, 1, f);
- yasm_symtab_traverse(object->symtab, &info, macho_objfmt_output_str);
-
- yasm_intnum_destroy(val);
- yasm_xfree(info.buf);
-}
-
-static void
-macho_objfmt_destroy(yasm_objfmt *objfmt)
-{
- yasm_xfree(objfmt);
-}
-
-static void
-macho_objfmt_init_new_section(yasm_section *sect, unsigned long line)
-{
- yasm_object *object = yasm_section_get_object(sect);
- const char *sectname = yasm_section_get_name(sect);
- yasm_objfmt_macho *objfmt_macho = (yasm_objfmt_macho *)object->objfmt;
- macho_section_data *data;
- yasm_symrec *sym;
-
- data = yasm_xmalloc(sizeof(macho_section_data));
- data->scnum = objfmt_macho->parse_scnum++;
- data->segname = NULL;
- data->sectname = NULL;
- data->flags = S_REGULAR;
- data->size = 0;
- data->offset = 0;
- data->vmoff = 0;
- data->nreloc = 0;
- data->extreloc = 0;
- yasm_section_add_data(sect, &macho_section_data_cb, data);
-
- sym = yasm_symtab_define_label(object->symtab, sectname,
- yasm_section_bcs_first(sect), 1, line);
- data->sym = sym;
-}
-
-static yasm_section *
-macho_objfmt_add_default_section(yasm_object *object)
-{
- yasm_section *retval;
- macho_section_data *msd;
- int isnew;
-
- retval = yasm_object_get_general(object, "LC_SEGMENT.__TEXT.__text", 0, 1,
- 0, &isnew, 0);
- if (isnew) {
- msd = yasm_section_get_data(retval, &macho_section_data_cb);
- msd->segname = yasm__xstrdup("__TEXT");
- msd->sectname = yasm__xstrdup("__text");
- msd->flags = S_ATTR_PURE_INSTRUCTIONS;
- yasm_section_set_align(retval, 0, 0);
- yasm_section_set_default(retval, 1);
- }
- return retval;
-}
-
-static /*@observer@*/ /*@null@*/ yasm_section *
-macho_objfmt_section_switch(yasm_object *object, yasm_valparamhead *valparams,
- /*@unused@*/ /*@null@*/
- yasm_valparamhead *objext_valparams,
- unsigned long line)
-{
- yasm_valparam *vp;
- yasm_section *retval;
- int isnew;
- /*@only@*/ char *f_sectname;
- unsigned long flags;
- unsigned long align;
- int flags_override = 0;
- const char *sectname;
- char *realname;
- int resonly = 0;
- macho_section_data *msd;
- size_t i;
-
- static const struct {
- const char *in;
- const char *seg;
- const char *sect;
- unsigned long flags;
- unsigned long align;
- } section_name_translation[] = {
- {".text", "__TEXT", "__text", S_ATTR_PURE_INSTRUCTIONS, 0},
- {".const", "__TEXT", "__const", S_REGULAR, 0},
- {".static_const", "__TEXT", "__static_const", S_REGULAR, 0},
- {".cstring", "__TEXT", "__cstring", S_CSTRING_LITERALS, 0},
- {".literal4", "__TEXT", "__literal4", S_4BYTE_LITERALS, 4},
- {".literal8", "__TEXT", "__literal8", S_8BYTE_LITERALS, 8},
- {".literal16", "__TEXT", "__literal16", S_16BYTE_LITERALS, 16},
- {".constructor", "__TEXT", "__constructor", S_REGULAR, 0},
- {".destructor", "__TEXT", "__destructor", S_REGULAR, 0},
- {".fvmlib_init0", "__TEXT", "__fvmlib_init0", S_REGULAR, 0},
- {".fvmlib_init1", "__TEXT", "__fvmlib_init1", S_REGULAR, 0},
- {".mod_init_func", "__DATA", "__mod_init_func",
- S_MOD_INIT_FUNC_POINTERS, 4},
- {".mod_term_func", "__DATA", "__mod_term_func",
- S_MOD_TERM_FUNC_POINTERS, 4},
- {".dyld", "__DATA", "__dyld", S_REGULAR, 0},
- {".data", "__DATA", "__data", S_REGULAR, 0},
- {".static_data", "__DATA", "__static_data", S_REGULAR, 0},
- {".const_data", "__DATA", "__const", S_REGULAR, 0},
- {".rodata", "__DATA", "__const", S_REGULAR, 0},
- {".bss", "__DATA", "__bss", S_ZEROFILL, 0},
- {".objc_class_names", "__TEXT", "__cstring", S_CSTRING_LITERALS, 0},
- {".objc_meth_var_types","__TEXT", "__cstring", S_CSTRING_LITERALS, 0},
- {".objc_meth_var_names","__TEXT", "__cstring", S_CSTRING_LITERALS, 0},
- {".objc_selector_strs", "__OBJC", "__selector_strs",
- S_CSTRING_LITERALS, 0},
- {".objc_class", "__OBJC", "__class",
- S_ATTR_NO_DEAD_STRIP, 0},
- {".objc_meta_class", "__OBJC", "__meta_class",
- S_ATTR_NO_DEAD_STRIP, 0},
- {".objc_string_object", "__OBJC", "__string_object",
- S_ATTR_NO_DEAD_STRIP, 0},
- {".objc_protocol", "__OBJC", "__protocol",
- S_ATTR_NO_DEAD_STRIP, 0},
- {".objc_cat_cls_meth", "__OBJC", "__cat_cls_meth",
- S_ATTR_NO_DEAD_STRIP, 0},
- {".objc_cat_inst_meth", "__OBJC", "__cat_inst_meth",
- S_ATTR_NO_DEAD_STRIP, 0},
- {".objc_cls_meth", "__OBJC", "__cls_meth",
- S_ATTR_NO_DEAD_STRIP, 0},
- {".objc_inst_meth", "__OBJC", "__inst_meth",
- S_ATTR_NO_DEAD_STRIP, 0},
- {".objc_message_refs", "__OBJC", "__message_refs",
- S_LITERAL_POINTERS|S_ATTR_NO_DEAD_STRIP, 4},
- {".objc_cls_refs", "__OBJC", "__cls_refs",
- S_LITERAL_POINTERS|S_ATTR_NO_DEAD_STRIP, 4},
- {".objc_module_info", "__OBJC", "__module_info",
- S_ATTR_NO_DEAD_STRIP, 0},
- {".objc_symbols", "__OBJC", "__symbols",
- S_ATTR_NO_DEAD_STRIP, 0},
- {".objc_category", "__OBJC", "__category",
- S_ATTR_NO_DEAD_STRIP, 0},
- {".objc_class_vars", "__OBJC", "__class_vars",
- S_ATTR_NO_DEAD_STRIP, 0},
- {".objc_instance_vars", "__OBJC", "__instance_vars",
- S_ATTR_NO_DEAD_STRIP, 0}
- };
-
- struct macho_section_switch_data {
- /*@only@*/ /*@null@*/ char *f_segname;
- /*@only@*/ /*@null@*/ yasm_intnum *align_intn;
- } data;
-
- static const yasm_dir_help help[] = {
- { "segname", 1, yasm_dir_helper_string,
- offsetof(struct macho_section_switch_data, f_segname), 0 },
- { "align", 1, yasm_dir_helper_intn,
- offsetof(struct macho_section_switch_data, align_intn), 0 }
- };
-
- data.f_segname = NULL;
- data.align_intn = NULL;
-
- vp = yasm_vps_first(valparams);
- sectname = yasm_vp_string(vp);
- if (!sectname)
- return NULL;
- vp = yasm_vps_next(vp);
-
- /* translate .text,.data,.bss to __text,__data,__bss... */
- for (i=0; i<NELEMS(section_name_translation); i++) {
- if (yasm__strcasecmp(sectname, section_name_translation[i].in) == 0)
- break;
- }
-
- if (i == NELEMS(section_name_translation)) {
- const char *s;
- if (vp && !vp->val && (s = yasm_vp_string(vp))) {
- /* Treat as SEGNAME, SECTNAME */
- if (strlen(sectname) > 16)
- yasm_warn_set(YASM_WARN_GENERAL,
- N_("segment name is too long, max 16 chars; truncating"));
- data.f_segname = yasm__xstrndup(sectname, 16);
- if (strlen(s) > 16)
- yasm_warn_set(YASM_WARN_GENERAL,
- N_("section name is too long, max 16 chars; truncating"));
- f_sectname = yasm__xstrndup(s, 16);
- flags = S_REGULAR;
- align = 0;
-
- sectname = s;
- vp = yasm_vps_next(vp);
- } else {
- data.f_segname = NULL;
- if (strlen(sectname) > 16)
- yasm_warn_set(YASM_WARN_GENERAL,
- N_("section name is too long, max 16 chars; truncating"));
- f_sectname = yasm__xstrndup(sectname, 16);
- flags = S_ATTR_SOME_INSTRUCTIONS;
- align = 0;
- }
- } else {
- data.f_segname = yasm__xstrdup(section_name_translation[i].seg);
- f_sectname = yasm__xstrdup(section_name_translation[i].sect);
- flags = section_name_translation[i].flags;
- align = section_name_translation[i].align;
- }
-
- flags_override = yasm_dir_helper(object, vp, line, help, NELEMS(help),
- &data, yasm_dir_helper_valparam_warn);
- if (flags_override < 0)
- return NULL; /* error occurred */
-
- if (data.align_intn) {
- align = yasm_intnum_get_uint(data.align_intn);
- yasm_intnum_destroy(data.align_intn);
-
- /* Alignments must be a power of two. */
- if (!is_exp2(align)) {
- yasm_error_set(YASM_ERROR_VALUE,
- N_("argument to `%s' is not a power of two"),
- vp->val);
- return NULL;
- }
-
- /* Check to see if alignment is supported size */
- if (align > 16384) {
- yasm_error_set(YASM_ERROR_VALUE,
- N_("macho implementation does not support alignments > 16384"));
- return NULL;
- }
- }
-
- if (!data.f_segname) {
- yasm_warn_set(YASM_WARN_GENERAL,
- N_("Unknown section name, defaulting to __TEXT segment"));
- data.f_segname = yasm__xstrdup("__TEXT");
- }
-
- /* Build a unique sectname from f_segname and f_sectname. */
- realname = yasm_xmalloc(strlen("LC_SEGMENT") + 1 + strlen(data.f_segname) + 1 +
- strlen(f_sectname) + 1);
- sprintf(realname, "LC_SEGMENT.%s.%s", data.f_segname, f_sectname);
- retval = yasm_object_get_general(object, realname, align, 1, resonly,
- &isnew, line);
- yasm_xfree(realname);
-
- msd = yasm_section_get_data(retval, &macho_section_data_cb);
-
- if (isnew || yasm_section_is_default(retval)) {
- yasm_section_set_default(retval, 0);
- msd->segname = data.f_segname;
- msd->sectname = f_sectname;
- msd->flags = flags;
- yasm_section_set_align(retval, align, line);
- } else if (flags_override) {
- /* align is the only value used from overrides. */
- if (yasm_section_get_align(retval) != align) {
- yasm_warn_set(YASM_WARN_GENERAL,
- N_("section flags ignored on section redeclaration"));
- }
- }
- return retval;
-}
-
-static /*@observer@*/ /*@null@*/ yasm_symrec *
-macho_objfmt_get_special_sym(yasm_object *object, const char *name,
- const char *parser)
-{
- yasm_objfmt_macho *objfmt_macho = (yasm_objfmt_macho *)object->objfmt;
- if (yasm__strcasecmp(name, "gotpcrel") == 0) {
- return objfmt_macho->gotpcrel_sym;
- }
- return NULL;
-}
-
-static void
-macho_section_data_destroy(void *data)
-{
- macho_section_data *msd = (macho_section_data *) data;
- yasm_xfree(msd->segname);
- yasm_xfree(msd->sectname);
- yasm_xfree(data);
-}
-
-static void
-macho_section_data_print(void *data, FILE *f, int indent_level)
-{
- macho_section_data *msd = (macho_section_data *) data;
-
- fprintf(f, "%*ssym=\n", indent_level, "");
- yasm_symrec_print(msd->sym, f, indent_level + 1);
- fprintf(f, "%*sscnum=%ld\n", indent_level, "", msd->scnum);
- fprintf(f, "%*sflags=0x%lx\n", indent_level, "", msd->flags);
- fprintf(f, "%*ssize=%lu\n", indent_level, "", msd->size);
- fprintf(f, "%*snreloc=%lu\n", indent_level, "", msd->nreloc);
- fprintf(f, "%*soffset=%lu\n", indent_level, "", msd->offset);
- fprintf(f, "%*sextreloc=%u\n", indent_level, "", msd->extreloc);
-}
-
-static void
-macho_symrec_data_destroy(void *data)
-{
- yasm_xfree(data);
-}
-
-static void
-macho_symrec_data_print(void *data, FILE *f, int indent_level)
-{
- macho_symrec_data *msd = (macho_symrec_data *)data;
-
- fprintf(f, "%*sindex=%ld\n", indent_level, "", msd->index);
- fprintf(f, "%*svalue=", indent_level, "");
- if (msd->value)
- fprintf(f, "%ld\n", yasm_intnum_get_int(msd->value));
- else
- fprintf(f, "nil\n");
-}
-
-
-/* Define valid debug formats to use with this object format */
-static const char *macho_objfmt_dbgfmt_keywords[] = {
- "null",
- NULL
-};
-
-/* Define objfmt structure -- see objfmt.h for details */
-yasm_objfmt_module yasm_macho_LTX_objfmt = {
- "Mac OS X ABI Mach-O File Format",
- "macho",
- "o",
- 32,
- 0,
- macho_objfmt_dbgfmt_keywords,
- "null",
- NULL, /* no directives */
- NULL, /* no standard macros */
- macho_objfmt_create,
- macho_objfmt_output,
- macho_objfmt_destroy,
- macho_objfmt_add_default_section,
- macho_objfmt_init_new_section,
- macho_objfmt_section_switch,
- macho_objfmt_get_special_sym
-};
-
-yasm_objfmt_module yasm_macho32_LTX_objfmt = {
- "Mac OS X ABI Mach-O File Format (32-bit)",
- "macho32",
- "o",
- 32,
- 0,
- macho_objfmt_dbgfmt_keywords,
- "null",
- NULL, /* no directives */
- NULL, /* no standard macros */
- macho32_objfmt_create,
- macho_objfmt_output,
- macho_objfmt_destroy,
- macho_objfmt_add_default_section,
- macho_objfmt_init_new_section,
- macho_objfmt_section_switch,
- macho_objfmt_get_special_sym
-};
-
-yasm_objfmt_module yasm_macho64_LTX_objfmt = {
- "Mac OS X ABI Mach-O File Format (64-bit)",
- "macho64",
- "o",
- 64,
- 0,
- macho_objfmt_dbgfmt_keywords,
- "null",
- NULL, /* no directives */
- NULL, /* no standard macros */
- macho64_objfmt_create,
- macho_objfmt_output,
- macho_objfmt_destroy,
- macho_objfmt_add_default_section,
- macho_objfmt_init_new_section,
- macho_objfmt_section_switch,
- macho_objfmt_get_special_sym
-};
+/*
+ * Mac OS X ABI Mach-O File Format
+ *
+ * Copyright (C) 2007 Henryk Richter, built upon xdf objfmt (C) Peter Johnson
+ *
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ * 1. Redistributions of source code must retain the above copyright
+ * notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ * notice, this list of conditions and the following disclaimer in the
+ * documentation and/or other materials provided with the distribution.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND OTHER CONTRIBUTORS ``AS IS''
+ * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR OTHER CONTRIBUTORS BE
+ * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+ * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+ * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+ * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+ * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+ * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ */
+/*
+ notes: This implementation is rather basic. There are several implementation
+ issues to be sorted out for full compliance and error resilience.
+ Some examples are given below (nasm syntax).
+
+ 1) section placement
+ Mach-O requires BSS sections to be placed last in object files. This
+ has to be done manually.
+ Example:
+
+ section .text
+ mov rax,[qword foo]
+ section .data
+ dw 0
+ section .bss
+ foo dw 0
+
+ 2) addressing issues
+
+ 2.1) symbol relative relocation (i.e. mov eax,[foo wrt bar])
+ Not implemented yet.
+
+ 2.2) data referencing in 64 bit mode
+ While ELF allows 32 bit absolute relocations in 64 bit mode, Mach-O
+ does not. Therefore code like
+ lea rbx,[_foo] ;48 8d 1c 25 00 00 00 00
+ mov rcx,[_bar] ;48 8b 0c 25 00 00 00 00
+ with a 32 bit address field cannot be relocated into an address >= 0x100000000 (OSX actually
+ uses that).
+
+ Actually, the only register where a 64 bit displacement is allowed in x86-64, is rax
+ as in the example 1).
+
+ A plausible workaround is either classic PIC (like in C), which is in turn
+ not implemented in this object format. The recommended was is PC relative
+ code (called RIP-relative in x86-64). So instead of the lines above, just write:
+ lea rbx,[_foo wrt rip]
+ mov rcx,[_bar wrt rip]
+
+ 2.3) section/data alignment
+ Normally, you specify sections with a specific alignment
+ and get your data layed out as desired. Unfortunately, the
+ linker in MacOS X seems to ignore the section alignment requests.
+ The workaround is an explicit alignment at the end of the text section.
+
+ section .text
+ movdqa xmm0,[_foo wrt rip]
+
+ align 16
+ section .data align=16
+ _foo dw 32,32,32,32,32,32,32,32
+
+ FIXME: perform that operation implicitly!
+
+ 2.4) cross section symbol differences unsupported in current implementation
+ [extern foo]
+ [extern bar]
+ section .data
+ dq bar-foo
+
+ Will currently produce an error though the necessary means are provided
+ by the Mach-O specification.
+
+*/
+
+#include <util.h>
+
+#include <libyasm.h>
+
+/* MACH-O DEFINES */
+/* Mach-O in-file header structure sizes (32 BIT, see below for 64 bit defs) */
+#define MACHO_HEADER_SIZE 28
+#define MACHO_SEGCMD_SIZE 56
+#define MACHO_SECTCMD_SIZE 68
+#define MACHO_SYMCMD_SIZE 24
+#define MACHO_NLIST_SIZE 12
+#define MACHO_RELINFO_SIZE 8
+
+/* 64 bit sizes */
+#define MACHO_HEADER64_SIZE 32
+#define MACHO_SEGCMD64_SIZE 72
+#define MACHO_SECTCMD64_SIZE 80
+#define MACHO_NLIST64_SIZE 16
+#define MACHO_RELINFO64_SIZE 8
+
+
+/* Mach-O file header values */
+#define MH_MAGIC 0xfeedface
+#define MH_MAGIC_64 0xfeedfacf
+
+/* CPU machine type */
+#define CPU_TYPE_I386 7 /* x86 platform */
+#define CPU_TYPE_X86_64 (CPU_TYPE_I386|CPU_ARCH_ABI64)
+#define CPU_ARCH_ABI64 0x01000000 /* 64 bit ABI */
+
+/* CPU machine subtype, e.g. processor */
+#define CPU_SUBTYPE_I386_ALL 3 /* all-x86 compatible */
+#define CPU_SUBTYPE_X86_64_ALL CPU_SUBTYPE_I386_ALL
+#define CPU_SUBTYPE_386 3
+#define CPU_SUBTYPE_486 4
+#define CPU_SUBTYPE_486SX (4 + 128)
+#define CPU_SUBTYPE_586 5
+#define CPU_SUBTYPE_INTEL(f, m) ((f) + ((m) << 4))
+#define CPU_SUBTYPE_PENT CPU_SUBTYPE_INTEL(5, 0)
+#define CPU_SUBTYPE_PENTPRO CPU_SUBTYPE_INTEL(6, 1)
+#define CPU_SUBTYPE_PENTII_M3 CPU_SUBTYPE_INTEL(6, 3)
+#define CPU_SUBTYPE_PENTII_M5 CPU_SUBTYPE_INTEL(6, 5)
+#define CPU_SUBTYPE_PENTIUM_4 CPU_SUBTYPE_INTEL(10, 0)
+
+#define CPU_SUBTYPE_INTEL_FAMILY(x) ((x) & 15)
+#define CPU_SUBTYPE_INTEL_FAMILY_MAX 15
+
+#define CPU_SUBTYPE_INTEL_MODEL(x) ((x) >> 4)
+#define CPU_SUBTYPE_INTEL_MODEL_ALL 0
+
+#define MH_OBJECT 0x1 /* object file */
+
+#define LC_SEGMENT 0x1 /* segment load command */
+#define LC_SYMTAB 0x2 /* symbol table load command */
+#define LC_SEGMENT_64 0x19 /* segment load command */
+
+
+#define VM_PROT_NONE 0x00
+#define VM_PROT_READ 0x01
+#define VM_PROT_WRITE 0x02
+#define VM_PROT_EXECUTE 0x04
+
+#define VM_PROT_DEFAULT (VM_PROT_READ | VM_PROT_WRITE | VM_PROT_EXECUTE)
+#define VM_PROT_ALL (VM_PROT_READ | VM_PROT_WRITE | VM_PROT_EXECUTE)
+
+#define SECTION_TYPE 0x000000ff /* section type mask */
+#define SECTION_ATTRIBUTES 0xffffff00UL/* section attributes mask */
+
+#define S_REGULAR 0x0 /* standard section */
+#define S_ZEROFILL 0x1 /* zerofill, in-memory only */
+#define S_CSTRING_LITERALS 0x2 /* literal C strings */
+#define S_4BYTE_LITERALS 0x3 /* only 4-byte literals */
+#define S_8BYTE_LITERALS 0x4 /* only 8-byte literals */
+#define S_LITERAL_POINTERS 0x5 /* only pointers to literals */
+#define S_NON_LAZY_SYMBOL_POINTERS 0x6 /* only non-lazy symbol pointers */
+#define S_LAZY_SYMBOL_POINTERS 0x7 /* only lazy symbol pointers */
+#define S_SYMBOL_STUBS 0x8 /* only symbol stubs; byte size of
+ * stub in the reserved2 field */
+#define S_MOD_INIT_FUNC_POINTERS 0x9 /* only function pointers for init */
+#define S_MOD_TERM_FUNC_POINTERS 0xa /* only function pointers for term */
+#define S_COALESCED 0xb /* symbols that are to be coalesced */
+#define S_GB_ZEROFILL 0xc /* >4GB zero fill on demand section */
+#define S_INTERPOSING 0xd /* only pairs of function pointers for
+ * interposing */
+#define S_16BYTE_LITERALS 0xe /* only 16 byte literals */
+
+#define S_ATTR_DEBUG 0x02000000 /* a debug section */
+#define SECTION_ATTRIBUTES_SYS 0x00ffff00 /* system setable attributes */
+#define S_ATTR_SOME_INSTRUCTIONS 0x00000400 /* section contains some
+ * machine instructions */
+#define S_ATTR_EXT_RELOC 0x00000200 /* section has external
+ * relocation entries */
+#define S_ATTR_LOC_RELOC 0x00000100 /* section has local
+ * relocation entries */
+
+#define SECTION_ATTRIBUTES_USR 0xff000000UL /* User setable attributes */
+#define S_ATTR_PURE_INSTRUCTIONS 0x80000000UL /* only true machine insns */
+#define S_ATTR_NO_TOC 0x40000000UL /* coalesced symbols that are
+ * not to be in a ranlib table
+ * of contents */
+#define S_ATTR_STRIP_STATIC_SYMS 0x20000000UL /* ok to strip static symbols
+ * in this section in files
+ * with the MH_DYLDLINK flag */
+#define S_ATTR_NO_DEAD_STRIP 0x10000000UL /* no dead stripping */
+#define S_ATTR_LIVE_SUPPORT 0x08000000UL /* blocks are live if they
+ * reference live blocks */
+#define S_ATTR_SELF_MODIFYING_CODE 0x04000000UL /* Used with i386 code stubs
+ * written on by dyld */
+
+/* macho references symbols in different ways whether they are linked at
+ * runtime (LAZY, read library functions) or at link time (NON_LAZY, mostly
+ * data)
+ *
+ * TODO: proper support for dynamically linkable modules would require the
+ * __import sections as well as the dsymtab command
+ */
+#define REFERENCE_FLAG_UNDEFINED_NON_LAZY 0x0
+#define REFERENCE_FLAG_UNDEFINED_LAZY 0x1
+
+#define align(x, y) \
+ (((x) + (y) - 1) & ~((y) - 1)) /* align x to multiple of y */
+
+#define align32(x) \
+ align(x, 4) /* align x to 32 bit boundary */
+
+#define macho_MAGIC 0x87654322
+
+/* Symbol table type field bit masks */
+#define N_STAB 0xe0 /* mask indicating stab entry */
+#define N_PEXT 0x10 /* private external bit */
+#define N_TYPE 0x0e /* mask for all the type bits */
+#define N_EXT 0x01 /* external (global) bit */
+
+/* Symbol table type field values */
+#define N_UNDF 0x00 /* undefined */
+#define N_ABS 0x02 /* absolute address */
+#define N_SECT 0x0e /* symbol is defined in a section */
+
+#define NO_SECT 0 /* no section for symbol in nlist */
+
+#define REGULAR_OUTBUF_SIZE 1024
+
+
+typedef struct macho_reloc {
+ yasm_reloc reloc;
+ int pcrel;
+ int length;
+ int ext;
+ enum reloc_type_x86_64 {
+ /* x86 relocations */
+ GENERIC_RELOC_VANILLA = 0, /* generic relocation */
+ GENERIC_RELOC_PAIR = 1, /* Only follows a GENERIC_RELOC_SECTDIFF */
+ GENERIC_RELOC_SECTDIFF = 2,
+ GENERIC_RELOC_PB_LA_PTR = 3, /* prebound lazy pointer */
+ GENERIC_RELOC_LOCAL_SECTDIFF = 4,
+
+ /* x86-64 relocations */
+ X86_64_RELOC_UNSIGNED = 0, /* for absolute addresses */
+ X86_64_RELOC_SIGNED = 1, /* for signed 32-bit displacement */
+ X86_64_RELOC_BRANCH = 2, /* a CALL/JMP insn with 32-bit disp */
+ X86_64_RELOC_GOT_LOAD = 3, /* a MOVQ load of a GOT entry */
+ X86_64_RELOC_GOT = 4, /* other GOT references */
+ X86_64_RELOC_SUBTRACTOR = 5, /* must be followed by a X86_64_RELOC_UNSIGNED */
+ X86_64_RELOC_SIGNED_1 = 6, /* signed 32-bit disp, -1 addend */
+ X86_64_RELOC_SIGNED_2 = 7, /* signed 32-bit disp, -2 addend */
+ X86_64_RELOC_SIGNED_4 = 8 /* signed 32-bit disp, -4 addend */
+ } type;
+} macho_reloc;
+
+typedef struct macho_section_data {
+ /*@dependent@*/ yasm_symrec *sym; /* symbol created for this section */
+ long scnum; /* section number (0=first section) */
+ /*@only@*/ char *segname; /* segment name in file */
+ /*@only@*/ char *sectname; /* section name in file */
+ unsigned long flags; /* S_* flags */
+ unsigned long size; /* size of raw data (section data) in bytes */
+ unsigned long offset; /* offset in raw data within file in bytes */
+ unsigned long vmoff; /* memory offset */
+ unsigned long nreloc; /* number of relocation entries */
+ unsigned int extreloc; /* external relocations present (0/1) */
+} macho_section_data;
+
+
+typedef struct macho_symrec_data {
+ unsigned long index; /* index in output order */
+ yasm_intnum *value; /* valid after writing symtable to file */
+ unsigned long length; /* length + 1 (plus auto underscore) */
+} macho_symrec_data;
+
+
+typedef struct yasm_objfmt_macho {
+ yasm_objfmt_base objfmt; /* base structure */
+
+ long parse_scnum; /* sect numbering in parser */
+ int bits; /* 32 / 64 */
+
+ yasm_symrec *gotpcrel_sym; /* ..gotpcrel */
+} yasm_objfmt_macho;
+
+
+typedef struct macho_objfmt_output_info {
+ yasm_object *object;
+ yasm_objfmt_macho *objfmt_macho;
+ yasm_errwarns *errwarns;
+ /*@dependent@ */ FILE *f;
+ /*@only@ */ unsigned char *buf;
+ yasm_section *sect;
+ /*@dependent@ */ macho_section_data *msd;
+
+ unsigned int is_64; /* write object in 64 bit mode */
+
+ /* vmsize and filesize available after traversing section count routine */
+ unsigned long vmsize; /* raw size of all sections (including BSS) */
+ unsigned long filesize; /* size of sections in file (excluding BSS) */
+ unsigned long offset; /* offset within file */
+
+ /* forward offset tracking */
+ unsigned long rel_base; /* first relocation in file */
+ unsigned long s_reloff; /* in-file offset to relocations */
+
+ unsigned long indx; /* current symbol size in bytes (name length+1) */
+ unsigned long symindex; /* current symbol index in output order */
+ int all_syms; /* outputting all symbols? */
+ unsigned long strlength; /* length of all strings */
+} macho_objfmt_output_info;
+
+
+static void macho_section_data_destroy(/*@only@*/ void *d);
+static void macho_section_data_print(void *data, FILE *f, int indent_level);
+
+static const yasm_assoc_data_callback macho_section_data_cb = {
+ macho_section_data_destroy,
+ macho_section_data_print
+};
+
+static void macho_symrec_data_destroy(/*@only@*/ void *d);
+static void macho_symrec_data_print(void *data, FILE *f, int indent_level);
+
+static const yasm_assoc_data_callback macho_symrec_data_cb = {
+ macho_symrec_data_destroy,
+ macho_symrec_data_print
+};
+
+yasm_objfmt_module yasm_macho_LTX_objfmt;
+yasm_objfmt_module yasm_macho32_LTX_objfmt;
+yasm_objfmt_module yasm_macho64_LTX_objfmt;
+
+static yasm_objfmt *
+macho_objfmt_create_common(yasm_object *object, yasm_objfmt_module *module,
+ int bits_pref)
+{
+ yasm_objfmt_macho *objfmt_macho = yasm_xmalloc(sizeof(yasm_objfmt_macho));
+
+ objfmt_macho->objfmt.module = module;
+
+ /* Only support x86 arch for now */
+ if (yasm__strcasecmp(yasm_arch_keyword(object->arch), "x86") != 0) {
+ yasm_xfree(objfmt_macho);
+ return NULL;
+ }
+
+ /* Support x86 and amd64 machines of x86 arch */
+ if (yasm__strcasecmp(yasm_arch_get_machine(object->arch), "x86") == 0 &&
+ (bits_pref == 0 || bits_pref == 32)) {
+ objfmt_macho->bits = 32;
+ objfmt_macho->gotpcrel_sym = NULL;
+ } else if (yasm__strcasecmp(yasm_arch_get_machine(object->arch),
+ "amd64") == 0 &&
+ (bits_pref == 0 || bits_pref == 64)) {
+ objfmt_macho->bits = 64;
+ /* FIXME: misuse of NULL bytecode */
+ objfmt_macho->gotpcrel_sym =
+ yasm_symtab_define_label(object->symtab, "..gotpcrel", NULL, 0, 0);
+ } else {
+ yasm_xfree(objfmt_macho);
+ return NULL;
+ }
+
+ objfmt_macho->parse_scnum = 0; /* section numbering starts at 0 */
+ return (yasm_objfmt *)objfmt_macho;
+}
+
+static yasm_objfmt *
+macho_objfmt_create(yasm_object *object)
+{
+ yasm_objfmt *objfmt;
+ yasm_objfmt_macho *objfmt_macho;
+
+ objfmt = macho_objfmt_create_common(object, &yasm_macho_LTX_objfmt, 0);
+ if (objfmt) {
+ objfmt_macho = (yasm_objfmt_macho *)objfmt;
+ /* Figure out which bitness of object format to use */
+ if (objfmt_macho->bits == 32)
+ objfmt_macho->objfmt.module = &yasm_macho32_LTX_objfmt;
+ else if (objfmt_macho->bits == 64)
+ objfmt_macho->objfmt.module = &yasm_macho64_LTX_objfmt;
+ }
+ return objfmt;
+}
+
+static yasm_objfmt *
+macho32_objfmt_create(yasm_object *object)
+{
+ return macho_objfmt_create_common(object, &yasm_macho32_LTX_objfmt, 32);
+}
+
+static yasm_objfmt *
+macho64_objfmt_create(yasm_object *object)
+{
+ return macho_objfmt_create_common(object, &yasm_macho64_LTX_objfmt, 64);
+}
+
+static int
+macho_objfmt_output_value(yasm_value *value, unsigned char *buf,
+ unsigned int destsize, unsigned long offset,
+ yasm_bytecode *bc, int warn, /*@null@*/ void *d)
+{
+ /*@null@*/ macho_objfmt_output_info *info = (macho_objfmt_output_info *)d;
+ yasm_objfmt_macho *objfmt_macho;
+ /*@dependent@*/ /*@null@*/ yasm_intnum *intn;
+ unsigned long intn_minus = 0, intn_plus = 0;
+ int retval;
+ unsigned int valsize = value->size;
+ macho_reloc *reloc = NULL;
+
+ assert(info != NULL);
+ objfmt_macho = info->objfmt_macho;
+
+ if (value->abs)
+ value->abs = yasm_expr_simplify(value->abs, 1);
+
+ /* Try to output constant and PC-relative section-local first.
+ * Note this does NOT output any value with a SEG, WRT, external,
+ * cross-section, or non-PC-relative reference (those are handled below).
+ */
+ switch (yasm_value_output_basic(value, buf, destsize, bc, warn,
+ info->object->arch)) {
+ case -1:
+ return 1;
+ case 0:
+ break;
+ default:
+ return 0;
+ }
+
+ if (value->section_rel) {
+ yasm_error_set(YASM_ERROR_TOO_COMPLEX,
+ N_("macho: relocation too complex for current implementation"));
+ return 1;
+ }
+
+ if (value->rel) {
+ yasm_sym_vis vis = yasm_symrec_get_visibility(value->rel);
+
+ reloc = yasm_xcalloc(sizeof(macho_reloc), 1);
+ reloc->reloc.addr = yasm_intnum_create_uint(bc->offset + offset);
+ reloc->reloc.sym = value->rel;
+ switch (valsize) {
+ case 64:
+ reloc->length = 3;
+ break;
+ case 32:
+ reloc->length = 2;
+ break;
+ case 16:
+ reloc->length = 1;
+ break;
+ case 8:
+ reloc->length = 0;
+ break;
+ default:
+ yasm_error_set(YASM_ERROR_TOO_COMPLEX,
+ N_("macho: relocation size unsupported"));
+ yasm_xfree(reloc);
+ return 1;
+ }
+ reloc->pcrel = 0;
+ reloc->ext = 0;
+ reloc->type = GENERIC_RELOC_VANILLA;
+ /* R_ABS */
+
+ if (value->rshift > 0) {
+ yasm_error_set(YASM_ERROR_TOO_COMPLEX,
+ N_("macho: shifted relocations not supported"));
+ yasm_xfree(reloc);
+ return 1;
+ }
+
+ if (value->seg_of) {
+ yasm_error_set(YASM_ERROR_TOO_COMPLEX,
+ N_("macho: SEG not supported"));
+ yasm_xfree(reloc);
+ return 1;
+ }
+
+ if (value->curpos_rel && objfmt_macho->gotpcrel_sym &&
+ value->wrt == objfmt_macho->gotpcrel_sym) {
+ reloc->type = X86_64_RELOC_GOT;
+ value->wrt = NULL;
+ } else if (value->wrt) {
+ yasm_error_set(YASM_ERROR_TOO_COMPLEX,
+ N_("macho: invalid WRT"));
+ yasm_xfree(reloc);
+ return 1;
+ }
+
+ if (value->curpos_rel) {
+ reloc->pcrel = 1;
+ if (!info->is_64) {
+ /* Adjust to start of section, so subtract out the bytecode
+ * offset.
+ */
+ intn_minus = bc->offset;
+ } else {
+ /* Add in the offset plus value size to end up with 0. */
+ intn_plus = offset+destsize;
+ if (reloc->type == X86_64_RELOC_GOT) {
+ /* XXX: This is a hack */
+ if (offset >= 2 && buf[-2] == 0x8B)
+ reloc->type = X86_64_RELOC_GOT_LOAD;
+ } else if (value->jump_target)
+ reloc->type = X86_64_RELOC_BRANCH;
+ else
+ reloc->type = X86_64_RELOC_SIGNED;
+ }
+ } else if (info->is_64) {
+ if (valsize == 32) {
+ yasm_error_set(YASM_ERROR_NOT_CONSTANT,
+ N_("macho: sorry, cannot apply 32 bit absolute relocations in 64 bit mode, consider \"[_symbol wrt rip]\" for mem access, \"qword\" and \"dq _foo\" for pointers."));
+ return 1;
+ }
+ reloc->type = X86_64_RELOC_UNSIGNED;
+ }
+
+ /* It seems that x86-64 objects need to have all extern relocs? */
+ if (info->is_64)
+ reloc->ext = 1;
+
+ if ((vis & YASM_SYM_EXTERN) || (vis & YASM_SYM_COMMON)) {
+ reloc->ext = 1;
+ info->msd->extreloc = 1; /* section has external relocations */
+ } else if (!info->is_64) {
+ /*@dependent@*/ /*@null@*/ yasm_bytecode *sym_precbc;
+
+ /* Local symbols need valued to their actual address */
+ if (yasm_symrec_get_label(value->rel, &sym_precbc)) {
+ yasm_section *sym_sect = yasm_bc_get_section(sym_precbc);
+ /*@null@*/ macho_section_data *msd;
+ msd = yasm_section_get_data(sym_sect, &macho_section_data_cb);
+ assert(msd != NULL);
+ intn_plus += msd->vmoff + yasm_bc_next_offset(sym_precbc);
+ }
+ }
+
+ info->msd->nreloc++;
+ /*printf("reloc %s type %d ",yasm_symrec_get_name(reloc->reloc.sym),reloc->type);*/
+ yasm_section_add_reloc(info->sect, (yasm_reloc *)reloc, yasm_xfree);
+ }
+
+ if (intn_minus <= intn_plus)
+ intn = yasm_intnum_create_uint(intn_plus-intn_minus);
+ else {
+ intn = yasm_intnum_create_uint(intn_minus-intn_plus);
+ yasm_intnum_calc(intn, YASM_EXPR_NEG, NULL);
+ }
+
+ if (value->abs) {
+ yasm_intnum *intn2 = yasm_expr_get_intnum(&value->abs, 0);
+
+ if (!intn2) {
+ yasm_error_set(YASM_ERROR_TOO_COMPLEX,
+ N_("macho: relocation too complex"));
+ yasm_intnum_destroy(intn);
+ return 1;
+ }
+ yasm_intnum_calc(intn, YASM_EXPR_ADD, intn2);
+ }
+
+ retval = yasm_arch_intnum_tobytes(info->object->arch, intn, buf, destsize,
+ valsize, 0, bc, warn);
+ /*printf("val %ld\n",yasm_intnum_get_int(intn));*/
+ yasm_intnum_destroy(intn);
+ return retval;
+}
+
+static int
+macho_objfmt_output_bytecode(yasm_bytecode *bc, /*@null@*/ void *d)
+{
+ /*@null@*/ macho_objfmt_output_info *info = (macho_objfmt_output_info *)d;
+ /*@null@*/ /*@only@*/ unsigned char *bigbuf;
+ unsigned long size = REGULAR_OUTBUF_SIZE;
+ int gap;
+
+ assert(info != NULL);
+
+ bigbuf = yasm_bc_tobytes(bc, info->buf, &size, &gap, info,
+ macho_objfmt_output_value, NULL);
+
+ /* Don't bother doing anything else if size ended up being 0. */
+ if (size == 0) {
+ if (bigbuf)
+ yasm_xfree(bigbuf);
+ return 0;
+ }
+
+ /* Warn that gaps are converted to 0 and write out the 0's. */
+ if (gap) {
+ unsigned long left;
+
+ yasm_warn_set(YASM_WARN_UNINIT_CONTENTS,
+ N_("uninitialized space: zeroing"));
+ /* Write out in chunks */
+ memset(info->buf, 0, REGULAR_OUTBUF_SIZE);
+ left = size;
+ while (left > REGULAR_OUTBUF_SIZE) {
+ fwrite(info->buf, REGULAR_OUTBUF_SIZE, 1, info->f);
+ left -= REGULAR_OUTBUF_SIZE;
+ }
+ fwrite(info->buf, left, 1, info->f);
+ } else {
+ /* Output buf (or bigbuf if non-NULL) to file */
+ fwrite(bigbuf ? bigbuf : info->buf, (size_t) size, 1, info->f);
+ }
+
+ /* If bigbuf was allocated, free it */
+ if (bigbuf)
+ yasm_xfree(bigbuf);
+
+ return 0;
+}
+
+static int
+macho_objfmt_output_section(yasm_section *sect, /*@null@ */ void *d)
+{
+ /*@null@ */ macho_objfmt_output_info *info =
+ (macho_objfmt_output_info *) d;
+ /*@dependent@ *//*@null@ */ macho_section_data *msd;
+
+ assert(info != NULL);
+ msd = yasm_section_get_data(sect, &macho_section_data_cb);
+ assert(msd != NULL);
+
+ if (!(msd->flags & S_ZEROFILL)) {
+ /* Output non-BSS sections */
+ info->sect = sect;
+ info->msd = msd;
+ yasm_section_bcs_traverse(sect, info->errwarns, info,
+ macho_objfmt_output_bytecode);
+ }
+ return 0;
+}
+
+static int
+macho_objfmt_output_relocs(yasm_section *sect, /*@null@*/ void *d)
+{
+ /*@null@*/ macho_objfmt_output_info *info = (macho_objfmt_output_info *)d;
+ /*@dependent@*/ /*@null@*/ macho_section_data *msd;
+ macho_reloc *reloc;
+
+ reloc = (macho_reloc *)yasm_section_relocs_first(sect);
+ while (reloc) {
+ unsigned char *localbuf = info->buf;
+ /*@null@*/ macho_symrec_data *xsymd;
+ unsigned long symnum;
+
+ xsymd = yasm_symrec_get_data(reloc->reloc.sym, &macho_symrec_data_cb);
+ yasm_intnum_get_sized(reloc->reloc.addr, localbuf, 4, 32, 0, 0, 0);
+ localbuf += 4; /* address of relocation */
+
+ if (reloc->ext)
+ symnum = xsymd->index;
+ else {
+ /* find section where the symbol relates to */
+ /*@dependent@*/ /*@null@*/ yasm_section *dsect;
+ /*@dependent@*/ /*@null@*/ yasm_bytecode *precbc;
+ symnum = 0; /* default to absolute */
+ if (yasm_symrec_get_label(reloc->reloc.sym, &precbc) &&
+ (dsect = yasm_bc_get_section(precbc)) &&
+ (msd = yasm_section_get_data(dsect, &macho_section_data_cb)))
+ symnum = msd->scnum+1;
+ }
+ YASM_WRITE_32_L(localbuf,
+ (symnum & 0x00ffffff) |
+ (((unsigned long)reloc->pcrel & 1) << 24) |
+ (((unsigned long)reloc->length & 3) << 25) |
+ (((unsigned long)reloc->ext & 1) << 27) |
+ (((unsigned long)reloc->type & 0xf) << 28));
+ fwrite(info->buf, 8, 1, info->f);
+ reloc = (macho_reloc *)yasm_section_reloc_next((yasm_reloc *)reloc);
+ }
+
+ return 0;
+}
+
+static int
+exp2_to_bits(unsigned long val)
+{
+ int ret = 0;
+
+ while (val) {
+ val >>= 1;
+ ret++;
+ }
+ ret = (ret > 0) ? ret - 1 : 0;
+
+ return ret;
+}
+
+static int
+macho_objfmt_is_section_label(yasm_symrec *sym)
+{
+ /*@dependent@*/ /*@null@*/ yasm_section *sect;
+ /*@dependent@*/ /*@null@*/ yasm_bytecode *precbc;
+
+ /* Look at symrec for value/scnum/etc. */
+ if (yasm_symrec_get_label(sym, &precbc)) {
+ if (precbc)
+ sect = yasm_bc_get_section(precbc);
+ else
+ sect = NULL;
+ /* it's a label: get value and offset.
+ * If there is not a section, leave as debugging symbol.
+ */
+ if (sect) {
+ /*@dependent@*/ /*@null@*/ macho_section_data *msd;
+
+ msd = yasm_section_get_data(sect, &macho_section_data_cb);
+ if (msd) {
+ if (msd->sym == sym)
+ return 1; /* don't store section names */
+ }
+ }
+ }
+ return 0;
+}
+
+static int
+macho_objfmt_output_secthead(yasm_section *sect, /*@null@*/ void *d)
+{
+ /*@null@*/ macho_objfmt_output_info *info = (macho_objfmt_output_info *)d;
+ /*@dependent@*/ /*@null@*/ macho_section_data *msd;
+ unsigned char *localbuf;
+
+ assert(info != NULL);
+ msd = yasm_section_get_data(sect, &macho_section_data_cb);
+ assert(msd != NULL);
+
+ localbuf = info->buf;
+
+ memset(localbuf, 0, 16);
+ strncpy((char *)localbuf, msd->sectname, 16);
+ localbuf += 16;
+ memset(localbuf, 0, 16);
+ strncpy((char *)localbuf, msd->segname, 16);
+ localbuf += 16;
+ /* section address, size depend on 32/64 bit mode */
+ YASM_WRITE_32_L(localbuf, msd->vmoff); /* address in memory */
+ if (info->is_64)
+ YASM_WRITE_32_L(localbuf, 0); /* 64-bit mode: upper 32 bits = 0 */
+ YASM_WRITE_32_L(localbuf, msd->size); /* size in memory */
+ if (info->is_64)
+ YASM_WRITE_32_L(localbuf, 0); /* 64-bit mode: upper 32 bits = 0 */
+
+ /* offset,align,reloff,nreloc,flags,reserved1,reserved2 are 32 bit */
+ if ((msd->flags & SECTION_TYPE) != S_ZEROFILL) {
+ YASM_WRITE_32_L(localbuf, msd->offset);
+ YASM_WRITE_32_L(localbuf, exp2_to_bits(yasm_section_get_align(sect)));
+ if (msd->nreloc) {
+ msd->flags |= S_ATTR_LOC_RELOC;
+ if (msd->extreloc)
+ msd->flags |= S_ATTR_EXT_RELOC;
+ YASM_WRITE_32_L(localbuf,
+ align32((long)(info->rel_base + info->s_reloff)));
+ YASM_WRITE_32_L(localbuf, msd->nreloc); /* nreloc */
+ } else {
+ YASM_WRITE_32_L(localbuf, 0);
+ YASM_WRITE_32_L(localbuf, 0);
+ }
+
+ info->s_reloff += msd->nreloc * MACHO_RELINFO_SIZE; /* nreloc */
+ } else {
+ YASM_WRITE_32_L(localbuf, 0); /* these are zero in BSS */
+ YASM_WRITE_32_L(localbuf, 0);
+ YASM_WRITE_32_L(localbuf, 0);
+ YASM_WRITE_32_L(localbuf, 0);
+ }
+
+ YASM_WRITE_32_L(localbuf, msd->flags); /* flags */
+ YASM_WRITE_32_L(localbuf, 0); /* reserved 1 */
+ YASM_WRITE_32_L(localbuf, 0); /* reserved 2 */
+
+ if (info->is_64)
+ fwrite(info->buf, MACHO_SECTCMD64_SIZE, 1, info->f);
+ else
+ fwrite(info->buf, MACHO_SECTCMD_SIZE, 1, info->f);
+
+ return 0;
+}
+
+
+static int
+macho_objfmt_count_sym(yasm_symrec *sym, /*@null@*/ void *d)
+{
+ /*@null@*/ macho_objfmt_output_info *info = (macho_objfmt_output_info *)d;
+ /*@only@*/ char *name;
+ yasm_sym_vis vis = yasm_symrec_get_visibility(sym);
+
+ assert(info != NULL);
+ if (info->all_syms ||
+ vis & (YASM_SYM_GLOBAL | YASM_SYM_COMMON | YASM_SYM_EXTERN)) {
+ if (0 == macho_objfmt_is_section_label(sym)) {
+ /* Save index in symrec data */
+ macho_symrec_data *sym_data =
+ yasm_symrec_get_data(sym, &macho_symrec_data_cb);
+ if (!sym_data) {
+ sym_data = yasm_xcalloc(sizeof(macho_symrec_data), 1);
+ yasm_symrec_add_data(sym, &macho_symrec_data_cb, sym_data);
+ }
+ sym_data->index = info->symindex;
+ info->symindex++;
+
+ name = yasm_symrec_get_global_name(sym, info->object);
+ /*printf("%s\n",name); */
+ /* name length + delimiter */
+ sym_data->length = (unsigned long)strlen(name) + 1;
+ info->strlength += sym_data->length;
+ info->indx++;
+ yasm_xfree(name);
+ }
+ }
+ return 0;
+}
+
+
+static int
+macho_objfmt_output_symtable(yasm_symrec *sym, /*@null@*/ void *d)
+{
+ /*@null@*/ macho_objfmt_output_info *info = (macho_objfmt_output_info *)d;
+ yasm_sym_vis vis = yasm_symrec_get_visibility(sym);
+
+ assert(info != NULL);
+
+ if (info->all_syms ||
+ vis & (YASM_SYM_GLOBAL | YASM_SYM_COMMON | YASM_SYM_EXTERN)) {
+ const yasm_expr *equ_val;
+ const yasm_intnum *intn;
+ unsigned long value = 0;
+ long scnum = -3; /* -3 = debugging symbol */
+ /*@dependent@*/ /*@null@*/ yasm_section *sect;
+ /*@dependent@*/ /*@null@*/ yasm_bytecode *precbc;
+ unsigned char *localbuf;
+ yasm_intnum *val;
+ unsigned int long_int_bytes = (info->is_64) ? 8 : 4;
+ unsigned int n_type = 0, n_sect = 0, n_desc = 0;
+ macho_symrec_data *symd;
+
+ val = yasm_intnum_create_uint(0);
+
+ symd = yasm_symrec_get_data(sym, &macho_symrec_data_cb);
+
+ /* Look at symrec for value/scnum/etc. */
+ if (yasm_symrec_get_label(sym, &precbc)) {
+ if (precbc)
+ sect = yasm_bc_get_section(precbc);
+ else
+ sect = NULL;
+ /* it's a label: get value and offset.
+ * If there is not a section, leave as debugging symbol.
+ */
+ if (sect) {
+ /*@dependent@*/ /*@null@*/ macho_section_data *msd;
+
+ msd = yasm_section_get_data(sect, &macho_section_data_cb);
+ if (msd) {
+ if (msd->sym == sym) {
+ /* don't store section names */
+ yasm_intnum_destroy(val);
+ return 0;
+ }
+ scnum = msd->scnum;
+ n_type = N_SECT;
+ } else
+ yasm_internal_error(N_("didn't understand section"));
+ if (precbc)
+ value += yasm_bc_next_offset(precbc);
+ /* all values are subject to correction: base offset is first
+ * raw section, therefore add section offset
+ */
+ if (msd)
+ value += msd->vmoff;
+ yasm_intnum_set_uint(val, value);
+ /*printf("%s offset %lx\n",name,value);*/
+ }
+ } else if ((equ_val = yasm_symrec_get_equ(sym))) {
+ yasm_expr *equ_val_copy = yasm_expr_copy(equ_val);
+
+ intn = yasm_expr_get_intnum(&equ_val_copy, 1);
+ if (!intn) {
+ if (vis & YASM_SYM_GLOBAL) {
+ yasm_error_set(YASM_ERROR_NOT_CONSTANT,
+ N_("global EQU value not an integer expression"));
+ yasm_errwarn_propagate(info->errwarns, equ_val->line);
+ }
+ } else
+ value = yasm_intnum_get_uint(intn);
+ yasm_expr_destroy(equ_val_copy);
+ yasm_intnum_set_uint(val, value);
+ n_type = N_ABS;
+ scnum = -2; /* -2 = absolute symbol */
+ }
+
+ if (vis & YASM_SYM_EXTERN) {
+ n_type = N_EXT;
+ scnum = -1;
+ /*n_desc = REFERENCE_FLAG_UNDEFINED_LAZY; * FIXME: see definition of REFERENCE_FLAG_* above */
+ } else if (vis & YASM_SYM_COMMON) {
+ yasm_expr **csize = yasm_symrec_get_common_size(sym);
+ n_type = N_UNDF | N_EXT;
+ if (csize) {
+ intn = yasm_expr_get_intnum(csize, 1);
+ if (!intn) {
+ yasm_error_set(YASM_ERROR_NOT_CONSTANT,
+ N_("COMMON data size not an integer expression"));
+ yasm_errwarn_propagate(info->errwarns, (*csize)->line);
+ } else
+ yasm_intnum_set_uint(val, yasm_intnum_get_uint(intn));
+ }
+ /*printf("common symbol %s val %lu\n", name, yasm_intnum_get_uint(val));*/
+ } else if (vis & YASM_SYM_GLOBAL) {
+ yasm_valparamhead *valparams =
+ yasm_symrec_get_objext_valparams(sym);
+
+ struct macho_global_data {
+ unsigned long flag; /* N_PEXT */
+ } data;
+
+ data.flag = 0;
+
+ if (valparams) {
+ static const yasm_dir_help help[] = {
+ { "private_extern", 0, yasm_dir_helper_flag_set,
+ offsetof(struct macho_global_data, flag), N_PEXT },
+ };
+ yasm_dir_helper(sym, yasm_vps_first(valparams),
+ yasm_symrec_get_decl_line(sym), help, NELEMS(help),
+ &data, yasm_dir_helper_valparam_warn);
+ }
+
+ n_type |= N_EXT | data.flag;
+ }
+
+ localbuf = info->buf;
+ YASM_WRITE_32_L(localbuf, info->indx); /* offset in string table */
+ YASM_WRITE_8(localbuf, n_type); /* type of symbol entry */
+ n_sect = (scnum >= 0) ? scnum + 1 : NO_SECT;
+ YASM_WRITE_8(localbuf, n_sect); /* referring section where symbol is found */
+ YASM_WRITE_16_L(localbuf, n_desc); /* extra description */
+ yasm_intnum_get_sized(val, localbuf, long_int_bytes, ((long_int_bytes) << 3), 0, 0, 0); /* value/argument */
+ localbuf += long_int_bytes;
+ if (symd)
+ symd->value = val;
+ else
+ yasm_intnum_destroy(val);
+
+ info->indx += symd->length;
+
+ fwrite(info->buf, 8 + long_int_bytes, 1, info->f);
+ }
+
+ return 0;
+}
+
+
+static int
+macho_objfmt_output_str(yasm_symrec *sym, /*@null@*/ void *d)
+{
+ /*@null@*/ macho_objfmt_output_info *info = (macho_objfmt_output_info *)d;
+ yasm_sym_vis vis = yasm_symrec_get_visibility(sym);
+
+ assert(info != NULL);
+
+ if (info->all_syms ||
+ vis & (YASM_SYM_GLOBAL | YASM_SYM_COMMON | YASM_SYM_EXTERN)) {
+ if (0 == macho_objfmt_is_section_label(sym)) {
+ /*@only@*/ char *name =
+ yasm_symrec_get_global_name(sym, info->object);
+ size_t len = strlen(name);
+
+ fwrite(name, len + 1, 1, info->f);
+ yasm_xfree(name);
+ }
+ }
+ return 0;
+}
+
+static int
+macho_objfmt_calc_sectsize(yasm_section *sect, /*@null@ */ void *d)
+{
+ /*@null@ */ macho_objfmt_output_info *info =
+ (macho_objfmt_output_info *) d;
+ /*@dependent@ *//*@null@ */ macho_section_data *msd;
+ unsigned long align;
+
+ assert(info != NULL);
+ msd = yasm_section_get_data(sect, &macho_section_data_cb);
+ assert(msd != NULL);
+
+ msd->size = yasm_bc_next_offset(yasm_section_bcs_last(sect));
+ if (!(msd->flags & S_ZEROFILL)) {
+ msd->offset = info->offset;
+ info->offset += msd->size;
+ info->filesize += msd->size;
+ }
+
+ /* accumulate size in memory */
+ msd->vmoff = info->vmsize;
+ info->vmsize += msd->size;
+
+ /* align both start and end of section */
+ align = yasm_section_get_align(sect);
+ if (align != 0) {
+ unsigned long delta = msd->vmoff % align;
+ if (delta > 0) {
+ msd->vmoff += align - delta;
+ info->vmsize += align - delta;
+ }
+ }
+
+ return 0;
+}
+
+/* write object */
+static void
+macho_objfmt_output(yasm_object *object, FILE *f, int all_syms,
+ yasm_errwarns *errwarns)
+{
+ yasm_objfmt_macho *objfmt_macho = (yasm_objfmt_macho *)object->objfmt;
+ macho_objfmt_output_info info;
+ unsigned char *localbuf;
+ unsigned long symtab_count = 0;
+ unsigned long headsize;
+ unsigned int macho_segcmdsize, macho_sectcmdsize, macho_nlistsize;
+ unsigned int macho_segcmd;
+ unsigned int head_ncmds, head_sizeofcmds;
+ unsigned long fileoffset, fileoff_sections;
+ yasm_intnum *val;
+ unsigned long long_int_bytes;
+ const char pad_data[3] = "\0\0\0";
+
+ info.object = object;
+ info.objfmt_macho = objfmt_macho;
+ info.errwarns = errwarns;
+ info.f = f;
+ info.buf = yasm_xmalloc(REGULAR_OUTBUF_SIZE);
+
+ if (objfmt_macho->parse_scnum == 0) {
+ yasm_internal_error(N_("no sections defined"));
+ /*@notreached@*/
+ return;
+ }
+
+ val = yasm_intnum_create_uint(0);
+
+ /*
+ * MACH-O Header, Seg CMD, Sect CMDs, Sym Tab, Reloc Data
+ */
+ info.is_64 = (objfmt_macho->bits == 32) ? 0 : 1;
+ if (info.is_64) {
+ /* this works only when SYMBOLS and SECTIONS present */
+ headsize =
+ MACHO_HEADER64_SIZE + MACHO_SEGCMD64_SIZE +
+ (MACHO_SECTCMD64_SIZE * (objfmt_macho->parse_scnum)) +
+ MACHO_SYMCMD_SIZE;
+ macho_segcmd = LC_SEGMENT_64;
+ macho_segcmdsize = MACHO_SEGCMD64_SIZE;
+ macho_sectcmdsize = MACHO_SECTCMD64_SIZE;
+ macho_nlistsize = MACHO_NLIST64_SIZE;
+ long_int_bytes = 8;
+ } else {
+ headsize =
+ MACHO_HEADER_SIZE + MACHO_SEGCMD_SIZE +
+ (MACHO_SECTCMD_SIZE * (objfmt_macho->parse_scnum)) +
+ MACHO_SYMCMD_SIZE;
+ macho_segcmd = LC_SEGMENT;
+ macho_segcmdsize = MACHO_SEGCMD_SIZE;
+ macho_sectcmdsize = MACHO_SECTCMD_SIZE;
+ macho_nlistsize = MACHO_NLIST_SIZE;
+ long_int_bytes = 4;
+ }
+
+ /* Get number of symbols */
+ info.symindex = 0;
+ info.indx = 0;
+ info.strlength = 1; /* string table starts with a zero byte */
+ info.all_syms = all_syms || info.is_64;
+ /*info.all_syms = 1; * force all syms into symbol table */
+ yasm_symtab_traverse(object->symtab, &info, macho_objfmt_count_sym);
+ symtab_count = info.indx;
+
+ /* write raw section data first */
+ if (fseek(f, (long)headsize, SEEK_SET) < 0) {
+ yasm__fatal(N_("could not seek on output file"));
+ /*@notreached@ */
+ return;
+ }
+
+ /* get size of sections in memory (including BSS) and size of sections
+ * in file (without BSS)
+ */
+ info.vmsize = 0;
+ info.filesize = 0;
+ info.offset = headsize;
+ yasm_object_sections_traverse(object, &info, macho_objfmt_calc_sectsize);
+
+ /* output sections to file */
+ yasm_object_sections_traverse(object, &info, macho_objfmt_output_section);
+
+ fileoff_sections = ftell(f);
+
+ /* Write headers */
+ if (fseek(f, 0, SEEK_SET) < 0) {
+ yasm__fatal(N_("could not seek on output file"));
+ /*@notreached@*/
+ return;
+ }
+
+ localbuf = info.buf;
+
+ /* header size is common to 32 bit and 64 bit variants */
+ if (info.is_64) {
+ YASM_WRITE_32_L(localbuf, MH_MAGIC_64); /* magic number */
+ /* i386 64-bit ABI */
+ YASM_WRITE_32_L(localbuf, CPU_ARCH_ABI64 | CPU_TYPE_I386);
+ } else {
+ YASM_WRITE_32_L(localbuf, MH_MAGIC); /* magic number */
+ YASM_WRITE_32_L(localbuf, CPU_TYPE_I386); /* i386 32-bit ABI */
+ }
+ /* i386 all cpu subtype compatible */
+ YASM_WRITE_32_L(localbuf, CPU_SUBTYPE_I386_ALL);
+ YASM_WRITE_32_L(localbuf, MH_OBJECT); /* MACH file type */
+
+ /* calculate number of commands and their size, put to stream */
+ head_ncmds = 0;
+ head_sizeofcmds = 0;
+ if (objfmt_macho->parse_scnum > 0) {
+ head_ncmds++;
+ head_sizeofcmds +=
+ macho_segcmdsize + macho_sectcmdsize * objfmt_macho->parse_scnum;
+ }
+ if (symtab_count > 0) {
+ head_ncmds++;
+ head_sizeofcmds += MACHO_SYMCMD_SIZE;
+ }
+
+ YASM_WRITE_32_L(localbuf, head_ncmds);
+ YASM_WRITE_32_L(localbuf, head_sizeofcmds);
+ YASM_WRITE_32_L(localbuf, 0); /* no flags (yet) */
+ if (info.is_64) {
+ YASM_WRITE_32_L(localbuf, 0); /* reserved in 64 bit */
+ fileoffset = MACHO_HEADER64_SIZE + head_sizeofcmds;
+ } else {
+ /* initial offset to first section */
+ fileoffset = MACHO_HEADER_SIZE + head_sizeofcmds;
+ }
+
+ /* --------------- write segment header command ---------------- */
+ YASM_WRITE_32_L(localbuf, macho_segcmd); /* command LC_SEGMENT */
+ /* size of load command including section load commands */
+ YASM_WRITE_32_L(localbuf,
+ macho_segcmdsize +
+ macho_sectcmdsize * objfmt_macho->parse_scnum);
+ /* in an MH_OBJECT file all sections are in one unnamed (name all zeros)
+ * segment (16x0)
+ */
+ YASM_WRITE_32_L(localbuf, 0);
+ YASM_WRITE_32_L(localbuf, 0);
+ YASM_WRITE_32_L(localbuf, 0);
+ YASM_WRITE_32_L(localbuf, 0);
+
+ /* in-memory offset, in-memory size */
+ yasm_intnum_set_uint(val, 0); /* offset in memory (vmaddr) */
+ yasm_intnum_get_sized(val, localbuf, long_int_bytes,
+ ((long_int_bytes) << 3), 0, 0, 0);
+ localbuf += long_int_bytes;
+ yasm_intnum_set_uint(val, info.vmsize); /* size in memory (vmsize) */
+ yasm_intnum_get_sized(val, localbuf, long_int_bytes,
+ ((long_int_bytes) << 3), 0, 0, 0);
+ localbuf += long_int_bytes;
+ /* offset in file to first section */
+ yasm_intnum_set_uint(val, fileoffset);
+ yasm_intnum_get_sized(val, localbuf, long_int_bytes,
+ ((long_int_bytes) << 3), 0, 0, 0);
+ localbuf += long_int_bytes;
+ yasm_intnum_set_uint(val, info.filesize); /* overall size in file */
+ yasm_intnum_get_sized(val, localbuf, long_int_bytes,
+ ((long_int_bytes) << 3), 0, 0, 0);
+ localbuf += long_int_bytes;
+
+ YASM_WRITE_32_L(localbuf, VM_PROT_DEFAULT); /* VM protection, maximum */
+ YASM_WRITE_32_L(localbuf, VM_PROT_DEFAULT); /* VM protection, initial */
+ /* number of sections */
+ YASM_WRITE_32_L(localbuf, objfmt_macho->parse_scnum);
+ YASM_WRITE_32_L(localbuf, 0); /* no flags */
+
+ /* write MACH-O header and segment command to outfile */
+ fwrite(info.buf, (size_t) (localbuf - info.buf), 1, f);
+
+ /* next: section headers */
+ /* offset to relocs for first section */
+ info.rel_base = align32((long)fileoff_sections);
+ info.s_reloff = 0; /* offset for relocs of following sections */
+ yasm_object_sections_traverse(object, &info, macho_objfmt_output_secthead);
+
+ localbuf = info.buf;
+ /* write out symbol command */
+ YASM_WRITE_32_L(localbuf, LC_SYMTAB); /* cmd == LC_SYMTAB */
+ YASM_WRITE_32_L(localbuf, MACHO_SYMCMD_SIZE);
+ /* symbol table offset */
+ YASM_WRITE_32_L(localbuf, info.rel_base + info.s_reloff);
+ YASM_WRITE_32_L(localbuf, symtab_count); /* number of symbols */
+
+ YASM_WRITE_32_L(localbuf, macho_nlistsize * symtab_count + info.rel_base +
+ info.s_reloff); /* string table offset */
+ YASM_WRITE_32_L(localbuf, info.strlength); /* string table size */
+ /* write symbol command */
+ fwrite(info.buf, (size_t)(localbuf - info.buf), 1, f);
+
+ /*printf("num symbols %d, vmsize %d, filesize %d\n",symtab_count,
+ info.vmsize, info.filesize ); */
+
+ /* get back to end of raw section data */
+ if (fseek(f, (long)fileoff_sections, SEEK_SET) < 0) {
+ yasm__fatal(N_("could not seek on output file"));
+ /*@notreached@*/
+ return;
+ }
+
+ /* padding to long boundary */
+ if ((info.rel_base - fileoff_sections) > 0) {
+ fwrite(pad_data, info.rel_base - fileoff_sections, 1, f);
+ }
+
+ /* relocation data */
+ yasm_object_sections_traverse(object, &info, macho_objfmt_output_relocs);
+
+ /* symbol table (NLIST) */
+ info.indx = 1; /* restart symbol table indices */
+ yasm_symtab_traverse(object->symtab, &info, macho_objfmt_output_symtable);
+
+ /* symbol strings */
+ fwrite(pad_data, 1, 1, f);
+ yasm_symtab_traverse(object->symtab, &info, macho_objfmt_output_str);
+
+ yasm_intnum_destroy(val);
+ yasm_xfree(info.buf);
+}
+
+static void
+macho_objfmt_destroy(yasm_objfmt *objfmt)
+{
+ yasm_xfree(objfmt);
+}
+
+static void
+macho_objfmt_init_new_section(yasm_section *sect, unsigned long line)
+{
+ yasm_object *object = yasm_section_get_object(sect);
+ const char *sectname = yasm_section_get_name(sect);
+ yasm_objfmt_macho *objfmt_macho = (yasm_objfmt_macho *)object->objfmt;
+ macho_section_data *data;
+ yasm_symrec *sym;
+
+ data = yasm_xmalloc(sizeof(macho_section_data));
+ data->scnum = objfmt_macho->parse_scnum++;
+ data->segname = NULL;
+ data->sectname = NULL;
+ data->flags = S_REGULAR;
+ data->size = 0;
+ data->offset = 0;
+ data->vmoff = 0;
+ data->nreloc = 0;
+ data->extreloc = 0;
+ yasm_section_add_data(sect, &macho_section_data_cb, data);
+
+ sym = yasm_symtab_define_label(object->symtab, sectname,
+ yasm_section_bcs_first(sect), 1, line);
+ data->sym = sym;
+}
+
+static yasm_section *
+macho_objfmt_add_default_section(yasm_object *object)
+{
+ yasm_section *retval;
+ macho_section_data *msd;
+ int isnew;
+
+ retval = yasm_object_get_general(object, "LC_SEGMENT.__TEXT.__text", 0, 1,
+ 0, &isnew, 0);
+ if (isnew) {
+ msd = yasm_section_get_data(retval, &macho_section_data_cb);
+ msd->segname = yasm__xstrdup("__TEXT");
+ msd->sectname = yasm__xstrdup("__text");
+ msd->flags = S_ATTR_PURE_INSTRUCTIONS;
+ yasm_section_set_align(retval, 0, 0);
+ yasm_section_set_default(retval, 1);
+ }
+ return retval;
+}
+
+static /*@observer@*/ /*@null@*/ yasm_section *
+macho_objfmt_section_switch(yasm_object *object, yasm_valparamhead *valparams,
+ /*@unused@*/ /*@null@*/
+ yasm_valparamhead *objext_valparams,
+ unsigned long line)
+{
+ yasm_valparam *vp;
+ yasm_section *retval;
+ int isnew;
+ /*@only@*/ char *f_sectname;
+ unsigned long flags;
+ unsigned long align;
+ int flags_override = 0;
+ const char *sectname;
+ char *realname;
+ int resonly = 0;
+ macho_section_data *msd;
+ size_t i;
+
+ static const struct {
+ const char *in;
+ const char *seg;
+ const char *sect;
+ unsigned long flags;
+ unsigned long align;
+ } section_name_translation[] = {
+ {".text", "__TEXT", "__text", S_ATTR_PURE_INSTRUCTIONS, 0},
+ {".const", "__TEXT", "__const", S_REGULAR, 0},
+ {".static_const", "__TEXT", "__static_const", S_REGULAR, 0},
+ {".cstring", "__TEXT", "__cstring", S_CSTRING_LITERALS, 0},
+ {".literal4", "__TEXT", "__literal4", S_4BYTE_LITERALS, 4},
+ {".literal8", "__TEXT", "__literal8", S_8BYTE_LITERALS, 8},
+ {".literal16", "__TEXT", "__literal16", S_16BYTE_LITERALS, 16},
+ {".constructor", "__TEXT", "__constructor", S_REGULAR, 0},
+ {".destructor", "__TEXT", "__destructor", S_REGULAR, 0},
+ {".fvmlib_init0", "__TEXT", "__fvmlib_init0", S_REGULAR, 0},
+ {".fvmlib_init1", "__TEXT", "__fvmlib_init1", S_REGULAR, 0},
+ {".mod_init_func", "__DATA", "__mod_init_func",
+ S_MOD_INIT_FUNC_POINTERS, 4},
+ {".mod_term_func", "__DATA", "__mod_term_func",
+ S_MOD_TERM_FUNC_POINTERS, 4},
+ {".dyld", "__DATA", "__dyld", S_REGULAR, 0},
+ {".data", "__DATA", "__data", S_REGULAR, 0},
+ {".static_data", "__DATA", "__static_data", S_REGULAR, 0},
+ {".const_data", "__DATA", "__const", S_REGULAR, 0},
+ {".rodata", "__DATA", "__const", S_REGULAR, 0},
+ {".bss", "__DATA", "__bss", S_ZEROFILL, 0},
+ {".objc_class_names", "__TEXT", "__cstring", S_CSTRING_LITERALS, 0},
+ {".objc_meth_var_types","__TEXT", "__cstring", S_CSTRING_LITERALS, 0},
+ {".objc_meth_var_names","__TEXT", "__cstring", S_CSTRING_LITERALS, 0},
+ {".objc_selector_strs", "__OBJC", "__selector_strs",
+ S_CSTRING_LITERALS, 0},
+ {".objc_class", "__OBJC", "__class",
+ S_ATTR_NO_DEAD_STRIP, 0},
+ {".objc_meta_class", "__OBJC", "__meta_class",
+ S_ATTR_NO_DEAD_STRIP, 0},
+ {".objc_string_object", "__OBJC", "__string_object",
+ S_ATTR_NO_DEAD_STRIP, 0},
+ {".objc_protocol", "__OBJC", "__protocol",
+ S_ATTR_NO_DEAD_STRIP, 0},
+ {".objc_cat_cls_meth", "__OBJC", "__cat_cls_meth",
+ S_ATTR_NO_DEAD_STRIP, 0},
+ {".objc_cat_inst_meth", "__OBJC", "__cat_inst_meth",
+ S_ATTR_NO_DEAD_STRIP, 0},
+ {".objc_cls_meth", "__OBJC", "__cls_meth",
+ S_ATTR_NO_DEAD_STRIP, 0},
+ {".objc_inst_meth", "__OBJC", "__inst_meth",
+ S_ATTR_NO_DEAD_STRIP, 0},
+ {".objc_message_refs", "__OBJC", "__message_refs",
+ S_LITERAL_POINTERS|S_ATTR_NO_DEAD_STRIP, 4},
+ {".objc_cls_refs", "__OBJC", "__cls_refs",
+ S_LITERAL_POINTERS|S_ATTR_NO_DEAD_STRIP, 4},
+ {".objc_module_info", "__OBJC", "__module_info",
+ S_ATTR_NO_DEAD_STRIP, 0},
+ {".objc_symbols", "__OBJC", "__symbols",
+ S_ATTR_NO_DEAD_STRIP, 0},
+ {".objc_category", "__OBJC", "__category",
+ S_ATTR_NO_DEAD_STRIP, 0},
+ {".objc_class_vars", "__OBJC", "__class_vars",
+ S_ATTR_NO_DEAD_STRIP, 0},
+ {".objc_instance_vars", "__OBJC", "__instance_vars",
+ S_ATTR_NO_DEAD_STRIP, 0}
+ };
+
+ struct macho_section_switch_data {
+ /*@only@*/ /*@null@*/ char *f_segname;
+ /*@only@*/ /*@null@*/ yasm_intnum *align_intn;
+ } data;
+
+ static const yasm_dir_help help[] = {
+ { "segname", 1, yasm_dir_helper_string,
+ offsetof(struct macho_section_switch_data, f_segname), 0 },
+ { "align", 1, yasm_dir_helper_intn,
+ offsetof(struct macho_section_switch_data, align_intn), 0 }
+ };
+
+ data.f_segname = NULL;
+ data.align_intn = NULL;
+
+ vp = yasm_vps_first(valparams);
+ sectname = yasm_vp_string(vp);
+ if (!sectname)
+ return NULL;
+ vp = yasm_vps_next(vp);
+
+ /* translate .text,.data,.bss to __text,__data,__bss... */
+ for (i=0; i<NELEMS(section_name_translation); i++) {
+ if (yasm__strcasecmp(sectname, section_name_translation[i].in) == 0)
+ break;
+ }
+
+ if (i == NELEMS(section_name_translation)) {
+ const char *s;
+ if (vp && !vp->val && (s = yasm_vp_string(vp))) {
+ /* Treat as SEGNAME, SECTNAME */
+ if (strlen(sectname) > 16)
+ yasm_warn_set(YASM_WARN_GENERAL,
+ N_("segment name is too long, max 16 chars; truncating"));
+ data.f_segname = yasm__xstrndup(sectname, 16);
+ if (strlen(s) > 16)
+ yasm_warn_set(YASM_WARN_GENERAL,
+ N_("section name is too long, max 16 chars; truncating"));
+ f_sectname = yasm__xstrndup(s, 16);
+ flags = S_REGULAR;
+ align = 0;
+
+ sectname = s;
+ vp = yasm_vps_next(vp);
+ } else {
+ data.f_segname = NULL;
+ if (strlen(sectname) > 16)
+ yasm_warn_set(YASM_WARN_GENERAL,
+ N_("section name is too long, max 16 chars; truncating"));
+ f_sectname = yasm__xstrndup(sectname, 16);
+ flags = S_ATTR_SOME_INSTRUCTIONS;
+ align = 0;
+ }
+ } else {
+ data.f_segname = yasm__xstrdup(section_name_translation[i].seg);
+ f_sectname = yasm__xstrdup(section_name_translation[i].sect);
+ flags = section_name_translation[i].flags;
+ align = section_name_translation[i].align;
+ }
+
+ flags_override = yasm_dir_helper(object, vp, line, help, NELEMS(help),
+ &data, yasm_dir_helper_valparam_warn);
+ if (flags_override < 0)
+ return NULL; /* error occurred */
+
+ if (data.align_intn) {
+ align = yasm_intnum_get_uint(data.align_intn);
+ yasm_intnum_destroy(data.align_intn);
+
+ /* Alignments must be a power of two. */
+ if (!is_exp2(align)) {
+ yasm_error_set(YASM_ERROR_VALUE,
+ N_("argument to `%s' is not a power of two"),
+ vp->val);
+ return NULL;
+ }
+
+ /* Check to see if alignment is supported size */
+ if (align > 16384) {
+ yasm_error_set(YASM_ERROR_VALUE,
+ N_("macho implementation does not support alignments > 16384"));
+ return NULL;
+ }
+ }
+
+ if (!data.f_segname) {
+ yasm_warn_set(YASM_WARN_GENERAL,
+ N_("Unknown section name, defaulting to __TEXT segment"));
+ data.f_segname = yasm__xstrdup("__TEXT");
+ }
+
+ /* Build a unique sectname from f_segname and f_sectname. */
+ realname = yasm_xmalloc(strlen("LC_SEGMENT") + 1 + strlen(data.f_segname) + 1 +
+ strlen(f_sectname) + 1);
+ sprintf(realname, "LC_SEGMENT.%s.%s", data.f_segname, f_sectname);
+ retval = yasm_object_get_general(object, realname, align, 1, resonly,
+ &isnew, line);
+ yasm_xfree(realname);
+
+ msd = yasm_section_get_data(retval, &macho_section_data_cb);
+
+ if (isnew || yasm_section_is_default(retval)) {
+ yasm_section_set_default(retval, 0);
+ msd->segname = data.f_segname;
+ msd->sectname = f_sectname;
+ msd->flags = flags;
+ yasm_section_set_align(retval, align, line);
+ } else if (flags_override) {
+ /* align is the only value used from overrides. */
+ if (yasm_section_get_align(retval) != align) {
+ yasm_warn_set(YASM_WARN_GENERAL,
+ N_("section flags ignored on section redeclaration"));
+ }
+ }
+ return retval;
+}
+
+static /*@observer@*/ /*@null@*/ yasm_symrec *
+macho_objfmt_get_special_sym(yasm_object *object, const char *name,
+ const char *parser)
+{
+ yasm_objfmt_macho *objfmt_macho = (yasm_objfmt_macho *)object->objfmt;
+ if (yasm__strcasecmp(name, "gotpcrel") == 0) {
+ return objfmt_macho->gotpcrel_sym;
+ }
+ return NULL;
+}
+
+static void
+macho_section_data_destroy(void *data)
+{
+ macho_section_data *msd = (macho_section_data *) data;
+ yasm_xfree(msd->segname);
+ yasm_xfree(msd->sectname);
+ yasm_xfree(data);
+}
+
+static void
+macho_section_data_print(void *data, FILE *f, int indent_level)
+{
+ macho_section_data *msd = (macho_section_data *) data;
+
+ fprintf(f, "%*ssym=\n", indent_level, "");
+ yasm_symrec_print(msd->sym, f, indent_level + 1);
+ fprintf(f, "%*sscnum=%ld\n", indent_level, "", msd->scnum);
+ fprintf(f, "%*sflags=0x%lx\n", indent_level, "", msd->flags);
+ fprintf(f, "%*ssize=%lu\n", indent_level, "", msd->size);
+ fprintf(f, "%*snreloc=%lu\n", indent_level, "", msd->nreloc);
+ fprintf(f, "%*soffset=%lu\n", indent_level, "", msd->offset);
+ fprintf(f, "%*sextreloc=%u\n", indent_level, "", msd->extreloc);
+}
+
+static void
+macho_symrec_data_destroy(void *data)
+{
+ yasm_xfree(data);
+}
+
+static void
+macho_symrec_data_print(void *data, FILE *f, int indent_level)
+{
+ macho_symrec_data *msd = (macho_symrec_data *)data;
+
+ fprintf(f, "%*sindex=%ld\n", indent_level, "", msd->index);
+ fprintf(f, "%*svalue=", indent_level, "");
+ if (msd->value)
+ fprintf(f, "%ld\n", yasm_intnum_get_int(msd->value));
+ else
+ fprintf(f, "nil\n");
+}
+
+
+/* Define valid debug formats to use with this object format */
+static const char *macho_objfmt_dbgfmt_keywords[] = {
+ "null",
+ NULL
+};
+
+/* Define objfmt structure -- see objfmt.h for details */
+yasm_objfmt_module yasm_macho_LTX_objfmt = {
+ "Mac OS X ABI Mach-O File Format",
+ "macho",
+ "o",
+ 32,
+ 0,
+ macho_objfmt_dbgfmt_keywords,
+ "null",
+ NULL, /* no directives */
+ NULL, /* no standard macros */
+ macho_objfmt_create,
+ macho_objfmt_output,
+ macho_objfmt_destroy,
+ macho_objfmt_add_default_section,
+ macho_objfmt_init_new_section,
+ macho_objfmt_section_switch,
+ macho_objfmt_get_special_sym
+};
+
+yasm_objfmt_module yasm_macho32_LTX_objfmt = {
+ "Mac OS X ABI Mach-O File Format (32-bit)",
+ "macho32",
+ "o",
+ 32,
+ 0,
+ macho_objfmt_dbgfmt_keywords,
+ "null",
+ NULL, /* no directives */
+ NULL, /* no standard macros */
+ macho32_objfmt_create,
+ macho_objfmt_output,
+ macho_objfmt_destroy,
+ macho_objfmt_add_default_section,
+ macho_objfmt_init_new_section,
+ macho_objfmt_section_switch,
+ macho_objfmt_get_special_sym
+};
+
+yasm_objfmt_module yasm_macho64_LTX_objfmt = {
+ "Mac OS X ABI Mach-O File Format (64-bit)",
+ "macho64",
+ "o",
+ 64,
+ 0,
+ macho_objfmt_dbgfmt_keywords,
+ "null",
+ NULL, /* no directives */
+ NULL, /* no standard macros */
+ macho64_objfmt_create,
+ macho_objfmt_output,
+ macho_objfmt_destroy,
+ macho_objfmt_add_default_section,
+ macho_objfmt_init_new_section,
+ macho_objfmt_section_switch,
+ macho_objfmt_get_special_sym
+};