2 * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved.
4 * This file is part of libFirm.
6 * This file may be distributed and/or modified under the terms of the
7 * GNU General Public License version 2 as published by the Free Software
8 * Foundation and appearing in the file LICENSE.GPL included in the
9 * packaging of this file.
11 * Licensees holding valid libFirm Professional Edition licenses may use
12 * this file in accordance with the libFirm Commercial License.
13 * Agreement provided with the Software.
15 * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
16 * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 * @brief Dumps global variables and constants as gas assembler.
23 * @author Christian Wuerdig, Matthias Braun
26 #ifndef FIRM_BE_BEGNUAS_H
27 #define FIRM_BE_BEGNUAS_H
31 #include "beemitter.h"
35 GAS_SECTION_TEXT, /**< text section - program code */
36 GAS_SECTION_DATA, /**< data section - arbitrary data */
37 GAS_SECTION_RODATA, /**< rodata section - read-only data */
38 GAS_SECTION_BSS, /**< bss section - zero initialized data */
39 GAS_SECTION_CONSTRUCTORS, /**< ctors section */
40 GAS_SECTION_DESTRUCTORS, /**< dtors section */
41 GAS_SECTION_CSTRING, /**< section for constant strings */
42 GAS_SECTION_PIC_TRAMPOLINES, /**< trampolines for pic codes */
43 GAS_SECTION_PIC_SYMBOLS, /**< contains resolved pic symbols */
44 GAS_SECTION_DEBUG_INFO, /**< dwarf debug info */
45 GAS_SECTION_DEBUG_ABBREV, /**< dwarf debug abbrev */
46 GAS_SECTION_DEBUG_LINE, /**< dwarf debug line */
47 GAS_SECTION_DEBUG_PUBNAMES, /**< dwarf pub names */
48 GAS_SECTION_DEBUG_FRAME, /**< dwarf callframe infos */
49 GAS_SECTION_LAST = GAS_SECTION_DEBUG_FRAME,
50 GAS_SECTION_TYPE_MASK = 0xFF,
52 GAS_SECTION_FLAG_TLS = 1 << 8, /**< thread local flag */
53 GAS_SECTION_FLAG_COMDAT = 1 << 9 /**< thread local version of _BSS */
55 ENUM_BITSET(be_gas_section_t)
57 typedef enum object_file_format_t {
58 OBJECT_FILE_FORMAT_ELF, /**< Executable and Linkable Format (unixes) */
59 OBJECT_FILE_FORMAT_COFF, /**< Common Object File Format (Windows) */
60 OBJECT_FILE_FORMAT_MACH_O, /**< Mach Object File Format (OS/X) */
61 OBJECT_FILE_FORMAT_LAST = OBJECT_FILE_FORMAT_MACH_O
62 } object_file_format_t;
64 typedef enum elf_variant_t {
69 /** The variable where the GAS dialect is stored. */
70 extern object_file_format_t be_gas_object_file_format;
71 extern bool be_gas_emit_types;
72 extern elf_variant_t be_gas_elf_variant;
75 * the .type directive needs to specify @function, #function or %function
76 * depending on the target architecture
78 extern char be_gas_elf_type_char;
81 * Switch the current output section to the given out.
83 * @param section the new output section
85 void be_gas_emit_switch_section(be_gas_section_t section);
88 * emit assembler instructions necessary before starting function code
90 void be_gas_emit_function_prolog(const ir_entity *entity,
91 unsigned po2alignment,
92 const parameter_dbg_info_t *paramter_infos);
94 void be_gas_emit_function_epilog(const ir_entity *entity);
96 char const *be_gas_get_private_prefix(void);
99 * emit ld_ident of an entity and performs additional mangling if necessary.
100 * (mangling is necessary for ir_visibility_private for example).
101 * Emits a block label for type_code entities.
103 void be_gas_emit_entity(const ir_entity *entity);
106 * Emit (a private) symbol name for a firm block
108 void be_gas_emit_block_name(const ir_node *block);
111 * Starts a basic block. Emits an assembler label "blockname:" if needs_label
112 * is true, otherwise a comment with the blockname if verboseasm is enabled.
114 void be_gas_begin_block(const ir_node *block, bool needs_label);
117 * Starts emitting a compilation unit. This emits:
118 * - global assembler snippets
121 void be_gas_begin_compilation_unit(const be_main_env_t *env);
124 * ends a compilation unit. This emits:
125 * - global declarations/variables
128 void be_gas_end_compilation_unit(const be_main_env_t *env);
131 * Return the label prefix for labeled instructions.
133 const char *be_gas_insn_label_prefix(void);
135 typedef ir_node* (*get_cfop_target_func)(const ir_node *cfop);
138 * Emits a jump table for switch operations
140 void be_emit_jump_table(const ir_node *node, const ir_switch_table *table,
142 get_cfop_target_func get_cfop_target);