1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
|
/*
* This file is part of libFirm.
* Copyright (C) 2012 University of Karlsruhe.
*/
/**
* @file
* @brief Dumps global variables and constants as gas assembler.
* @author Christian Wuerdig, Matthias Braun
* @date 04.11.2005
*/
#ifndef FIRM_BE_BEGNUAS_H
#define FIRM_BE_BEGNUAS_H
#include <stdbool.h>
#include "be_types.h"
#include "bedwarf.h"
#include "benode.h"
typedef enum {
GAS_SECTION_TEXT, /**< text section - program code */
GAS_SECTION_DATA, /**< data section - arbitrary data */
GAS_SECTION_RODATA, /**< read only data no relocations */
GAS_SECTION_REL_RO, /**< read only data containing relocations */
GAS_SECTION_REL_RO_LOCAL, /**< read only data containing local relocs */
GAS_SECTION_BSS, /**< bss section - zero initialized data */
GAS_SECTION_CONSTRUCTORS, /**< ctors section */
GAS_SECTION_DESTRUCTORS, /**< dtors section */
GAS_SECTION_JCR, /**< java class registry */
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_TYPE_MASK = 0xFF,
GAS_SECTION_FLAG_TLS = 1 << 8, /**< thread local flag */
GAS_SECTION_FLAG_COMDAT = 1 << 9
} be_gas_section_t;
ENUM_BITSET(be_gas_section_t)
typedef enum elf_variant_t {
ELF_VARIANT_NORMAL,
ELF_VARIANT_SPARC
} elf_variant_t;
extern bool be_gas_emit_types;
extern elf_variant_t be_gas_elf_variant;
/**
* the .type directive needs to specify @function, #function or %function
* depending on the target architecture
*/
extern char be_gas_elf_type_char;
/**
* Switch the current output section to the given out.
*
* @param section the new output 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 any control
* flow predecessor does not fall through, otherwise a comment with the
* blockname if verboseasm is enabled.
*/
void be_gas_begin_block(ir_node const *block);
/**
* emit a string (takes care of escaping special chars)
*/
void be_gas_emit_cstring(const char *string);
/**
* emit a string literal. This function takes care of escaping special chars.
*/
void be_gas_emit_string_literal(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 void (*emit_target_func)(ir_entity const *table, ir_node const *proj_x);
/**
* Emits a jump table for switch operations
*/
void be_emit_jump_table(ir_node const *node, be_switch_attr_t const *swtch, ir_mode *entry_mode, emit_target_func emit_target);
bool be_gas_produces_dwarf_line_info(void);
/**
* Flush the line in the current line buffer to the emitter file and
* appends a gas-style comment with the node number and writes the line
*
* @param node the node to get the debug info from
*/
void be_emit_finish_line_gas(const ir_node *node);
#endif
|
