* @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 <stdbool.h>
+#include "be_types.h"
#include "beemitter.h"
+#include "bedwarf.h"
-/**
- * Sections.
- */
-typedef enum section_t {
- GAS_SECTION_TEXT, /**< text section */
- GAS_SECTION_DATA, /**< data section */
- GAS_SECTION_RODATA, /**< rodata section */
- GAS_SECTION_COMMON, /**< common section */
- GAS_SECTION_TLS, /**< thread local storage section */
- GAS_SECTION_CTOR, /**< ctor section for instrumentation code init */
- GAS_SECTION_CSTRING, /**< section for constant strings */
- GAS_SECTION_LAST = GAS_SECTION_CTOR
+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_ELF, /**< ELF variant */
- GAS_FLAVOUR_MINGW, /**< MinGW variant (no-ELF) */
- GAS_FLAVOUR_YASM, /**< YASM GNU parser */
- GAS_FLAVOUR_MACH_O, /**< Mach-O variant (as found on darwin, OS/X) */
- GAS_FLAVOUR_LAST = GAS_FLAVOUR_MACH_O
-} 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 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(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.
/**
* emit assembler instructions necessary before starting function code
*/
-void be_gas_emit_function_prolog(ir_entity *entity, unsigned alignment);
+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);
-void be_gas_emit_function_epilog(ir_entity *entity);
+typedef ir_node* (*get_cfop_target_func)(const ir_node *cfop);
/**
- * Return the label prefix for labeled blocks.
+ * Emits a jump table for switch operations
*/
-const char *be_gas_label_prefix(void);
+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
projects / libfirm / blobdiff