X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbegnuas.h;h=3f8580926839a656485ba7aacf19b4d9fcdca98e;hb=b36dd117b8e841f1a3c78588036aed050ffd94e4;hp=9b6f2973e6e17b4ad8b8b430c5b8a8efdfb1855c;hpb=bc678b121ca0d9ecbe8a21eb38ee31c95cf2a59b;p=libfirm diff --git a/ir/be/begnuas.h b/ir/be/begnuas.h index 9b6f2973e..3f8580926 100644 --- a/ir/be/begnuas.h +++ b/ir/be/begnuas.h @@ -1,20 +1,6 @@ /* - * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved. - * * This file is part of libFirm. - * - * This file may be distributed and/or modified under the terms of the - * GNU General Public License version 2 as published by the Free Software - * Foundation and appearing in the file LICENSE.GPL included in the - * packaging of this file. - * - * Licensees holding valid libFirm Professional Edition licenses may use - * this file in accordance with the libFirm Commercial License. - * Agreement provided with the Software. - * - * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE - * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR - * PURPOSE. + * Copyright (C) 2012 University of Karlsruhe. */ /** @@ -22,56 +8,128 @@ * @brief Dumps global variables and constants as gas assembler. * @author Christian Wuerdig, Matthias Braun * @date 04.11.2005 - * @version $Id$ */ #ifndef FIRM_BE_BEGNUAS_H #define FIRM_BE_BEGNUAS_H -#include "be.h" +#include +#include "be_types.h" #include "beemitter.h" +#include "bedwarf.h" -/** - * Sections. - */ -typedef enum section_t { - GAS_SECTION_TEXT = 0, /**< text section */ - GAS_SECTION_DATA = 1, /**< data section */ - GAS_SECTION_RODATA = 2, /**< rodata section */ - GAS_SECTION_COMMON = 3, /**< common section */ - GAS_SECTION_TLS = 4, /**< thread local storage section */ - GAS_SECTION_CTOR = 5, /**< ctor section for instrumentation code init */ - GAS_SECTION_MAX = 6 +typedef enum { + GAS_SECTION_TEXT, /**< text section - program code */ + GAS_SECTION_DATA, /**< data section - arbitrary data */ + GAS_SECTION_RODATA, /**< rodata section - read-only data */ + GAS_SECTION_BSS, /**< bss section - zero initialized data */ + GAS_SECTION_CONSTRUCTORS, /**< ctors section */ + GAS_SECTION_DESTRUCTORS, /**< dtors section */ + GAS_SECTION_CSTRING, /**< section for constant strings */ + GAS_SECTION_PIC_TRAMPOLINES, /**< trampolines for pic codes */ + GAS_SECTION_PIC_SYMBOLS, /**< contains resolved pic symbols */ + GAS_SECTION_DEBUG_INFO, /**< dwarf debug info */ + GAS_SECTION_DEBUG_ABBREV, /**< dwarf debug abbrev */ + GAS_SECTION_DEBUG_LINE, /**< dwarf debug line */ + GAS_SECTION_DEBUG_PUBNAMES, /**< dwarf pub names */ + GAS_SECTION_DEBUG_FRAME, /**< dwarf callframe infos */ + GAS_SECTION_LAST = GAS_SECTION_DEBUG_FRAME, + GAS_SECTION_TYPE_MASK = 0xFF, + + GAS_SECTION_FLAG_TLS = 1 << 8, /**< thread local flag */ + GAS_SECTION_FLAG_COMDAT = 1 << 9 /**< thread local version of _BSS */ } be_gas_section_t; +ENUM_BITSET(be_gas_section_t) -/** - * Support for some GAS "dialects". - */ -typedef enum asm_flavour_t { - GAS_FLAVOUR_NORMAL = 0, /**< normal gas (ELF) */ - GAS_FLAVOUR_MINGW = 1, /**< MinGW variant (no-ELF) */ - GAS_FLAVOUR_MAX = 2 -} be_gas_flavour_t; +typedef enum object_file_format_t { + OBJECT_FILE_FORMAT_ELF, /**< Executable and Linkable Format (unixes) */ + OBJECT_FILE_FORMAT_COFF, /**< Common Object File Format (Windows) */ + OBJECT_FILE_FORMAT_MACH_O, /**< Mach Object File Format (OS/X) */ + OBJECT_FILE_FORMAT_LAST = OBJECT_FILE_FORMAT_MACH_O +} object_file_format_t; + +typedef enum elf_variant_t { + ELF_VARIANT_NORMAL, + ELF_VARIANT_SPARC +} elf_variant_t; /** The variable where the GAS dialect is stored. */ -extern be_gas_flavour_t be_gas_flavour; +extern object_file_format_t be_gas_object_file_format; +extern bool be_gas_emit_types; +extern elf_variant_t be_gas_elf_variant; /** - * Generate all entities. - * @param env the emitter environment - * @param main_env the main backend environment - * @param emit_commons if non-zero, emit commons (non-local uninitialized entities) - * @param only_emit_marked if non-zero, external allocated entities that do not have - * its visited flag set are ignored + * the .type directive needs to specify @function, #function or %function + * depending on the target architecture */ -void be_gas_emit_decls(be_emit_env_t *env, const be_main_env_t *main_env, - int only_emit_marked_entities); +extern char be_gas_elf_type_char; /** * Switch the current output section to the given out. * - * @param env the emitter environment * @param section the new output section */ -void be_gas_emit_switch_section(be_emit_env_t *env, be_gas_section_t section); +void be_gas_emit_switch_section(be_gas_section_t section); + +/** + * emit assembler instructions necessary before starting function code + */ +void be_gas_emit_function_prolog(const ir_entity *entity, + unsigned po2alignment, + const parameter_dbg_info_t *paramter_infos); + +void be_gas_emit_function_epilog(const ir_entity *entity); + +char const *be_gas_get_private_prefix(void); + +/** + * emit ld_ident of an entity and performs additional mangling if necessary. + * (mangling is necessary for ir_visibility_private for example). + * Emits a block label for type_code entities. + */ +void be_gas_emit_entity(const ir_entity *entity); + +/** + * Emit (a private) symbol name for a firm block + */ +void be_gas_emit_block_name(const ir_node *block); + +/** + * Starts a basic block. Emits an assembler label "blockname:" if needs_label + * is true, otherwise a comment with the blockname if verboseasm is enabled. + */ +void be_gas_begin_block(const ir_node *block, bool needs_label); + +/** + * emit a string (takes care of escaping special chars) + */ +void be_gas_emit_cstring(const char *string); + +/** + * Starts emitting a compilation unit. This emits: + * - global assembler snippets + * - debug info + */ +void be_gas_begin_compilation_unit(const be_main_env_t *env); + +/** + * ends a compilation unit. This emits: + * - global declarations/variables + * - debug info + */ +void be_gas_end_compilation_unit(const be_main_env_t *env); + +/** + * Return the label prefix for labeled instructions. + */ +const char *be_gas_insn_label_prefix(void); + +typedef ir_node* (*get_cfop_target_func)(const ir_node *cfop); + +/** + * Emits a jump table for switch operations + */ +void be_emit_jump_table(const ir_node *node, const ir_switch_table *table, + ir_entity *entity, + get_cfop_target_func get_cfop_target); -#endif /* FIRM_BE_BEGNUAS_H */ +#endif