* @date 04.11.2005
* @version $Id$
*/
-#ifdef HAVE_CONFIG_H
#include "config.h"
-#endif
#include "begnuas.h"
".section .rdata,\"dr\"",
".section\t.bss",
".section\t.tbss,\"awT\",@nobits",
- ".section\t.ctors,\"aw\",@progbits",
- ".section\t.dtors,\"aw\",@progbits",
+ ".section\t.ctors,\"w\"",
+ ".section\t.dtors,\"w\"",
NULL,
NULL,
NULL
}
void be_gas_emit_switch_section(be_gas_section_t section) {
- if(current_section == section)
+ if (current_section == section)
return;
be_emit_char('\t');
* and even there NOT needed. So we might change it in the future.
*/
typedef struct _be_gas_decl_env {
- const be_main_env_t *main_env; /**< The main backend environment, used for it's debug handle. */
be_gas_section_t section;
waitq *worklist; /**< A worklist we use to place not yet handled entities on. */
} be_gas_decl_env_t;
return ".LE";
}
-/**
- * Dump a label.
- */
-static void dump_label(ir_label_t label) {
- be_emit_irprintf("%s%lu", be_gas_block_label_prefix(), label);
+void be_gas_emit_entity(ir_entity *entity)
+{
+ if (entity->type == firm_code_type) {
+ ir_label_t label = get_entity_label(entity);
+ be_emit_string(be_gas_block_label_prefix());
+ be_emit_irprintf("%lu", label);
+ } else {
+ be_emit_ident(get_entity_ld_ident(entity));
+ }
}
/**
case symconst_enum_const:
return get_enumeration_value(get_SymConst_enum(init));
- case symconst_label:
- return NULL;
-
default:
return NULL;
}
ir_mode *mode = get_irn_mode(init);
int bytes = get_mode_size_bytes(mode);
tarval *tv;
- ir_label_t label;
ir_entity *ent;
init = skip_Id(init);
case symconst_addr_ent:
ent = get_SymConst_entity(init);
- if(!is_entity_backend_marked(ent)) {
+ if (!is_entity_backend_marked(ent)) {
waitq_put(env->worklist, ent);
set_entity_backend_marked(ent, 1);
}
- be_emit_ident(get_entity_ld_ident(ent));
+ be_gas_emit_entity(ent);
break;
case symconst_ofs_ent:
ent = get_SymConst_entity(init);
-#if 0 /* not needed, is it? */
- if(!is_entity_backend_marked(ent)) {
- waitq_put(env->worklist, ent);
- set_entity_backend_marked(ent, 1);
- }
-#endif
be_emit_irprintf("%d", get_entity_offset(ent));
break;
dump_arith_tarval(tv, bytes);
break;
- case symconst_label:
- label = get_SymConst_label(init);
- dump_label(label);
- break;
-
default:
assert(!"dump_atomic_init(): don't know how to init from this SymConst");
}
size_t i, len;
int found_printable = 0;
- if(initializer->kind != IR_INITIALIZER_COMPOUND)
+ if (initializer->kind != IR_INITIALIZER_COMPOUND)
return 0;
len = initializer->compound.n_initializers;
if (len < 1)
return 0;
- for(i = 0; i < len; ++i) {
+ for (i = 0; i < len; ++i) {
int c;
tarval *tv;
ir_mode *mode;
ir_initializer_t *sub_initializer
= initializer->compound.initializers[i];
- if(sub_initializer->kind != IR_INITIALIZER_TARVAL)
+ if (sub_initializer->kind != IR_INITIALIZER_TARVAL)
return 0;
tv = sub_initializer->tarval.value;
mode = get_tarval_mode(tv);
- if (!mode_is_int(mode)
- || get_mode_size_bits(mode) != get_mode_size_bits(mode_Bs))
+ if (!mode_is_int(mode) || get_mode_size_bits(mode) != 8)
return 0;
c = get_tarval_long(tv);
if (isgraph(c) || isspace(c))
found_printable = 1;
- else if(c != 0)
+ else if (c != 0)
return 0;
if (i == len - 1 && c != '\0')
/* and the mode of the element type is an int of
* the same size as the byte mode */
mode = get_type_mode(element_type);
- if (!mode_is_int(mode)
- || get_mode_size_bits(mode) != get_mode_size_bits(mode_Bs))
+ if (!mode_is_int(mode) || get_mode_size_bits(mode) != 8)
return 0;
- if(ent->has_initializer) {
+ if (ent->has_initializer) {
/* TODO */
return 0;
} else {
if (isgraph(c) || isspace(c))
found_printable = 1;
- else if(c != 0)
+ else if (c != 0)
return 0;
if (i == n - 1 && c != '\0')
type_size = get_type_size_bytes(type);
remaining_space = type_size - len;
assert(remaining_space >= 0);
- if(remaining_space > 0) {
+ if (remaining_space > 0) {
be_emit_irprintf("\t.space\t%d\n", remaining_space);
}
}
size_t i, len;
len = initializer->compound.n_initializers;
- if(be_gas_flavour == GAS_FLAVOUR_MACH_O) {
+ if (be_gas_flavour == GAS_FLAVOUR_MACH_O) {
be_emit_cstring("\t.ascii \"");
} else {
be_emit_cstring("\t.string \"");
len -= 1;
}
- for(i = 0; i < len; ++i) {
+ for (i = 0; i < len; ++i) {
const ir_initializer_t *sub_initializer
= get_initializer_compound_value(initializer, i);
static size_t get_initializer_size(const ir_initializer_t *initializer,
ir_type *type)
{
- switch(get_initializer_kind(initializer)) {
+ switch (get_initializer_kind(initializer)) {
case IR_INITIALIZER_TARVAL: {
assert(get_tarval_mode(get_initializer_tarval_value(initializer)) == get_type_mode(type));
return get_type_size_bytes(type);
case IR_INITIALIZER_NULL:
return get_type_size_bytes(type);
case IR_INITIALIZER_COMPOUND: {
- if(!is_type_variable_size(type)) {
+ if (!is_type_variable_size(type)) {
return get_type_size_bytes(type);
} else {
unsigned n_entries
= get_initializer_compound_n_entries(initializer);
unsigned i;
unsigned initializer_size = get_type_size_bytes(type);
- for(i = 0; i < n_entries; ++i) {
+ for (i = 0; i < n_entries; ++i) {
ir_entity *entity = get_compound_member(type, i);
ir_type *type = get_entity_type(entity);
unsigned offset = get_entity_offset(entity);
unsigned size = get_initializer_size(sub_initializer, type);
- if(offset + size > initializer_size) {
+ if (offset + size > initializer_size) {
initializer_size = offset + size;
}
}
int value_len;
int j;
- switch(get_initializer_kind(initializer)) {
+ switch (get_initializer_kind(initializer)) {
case IR_INITIALIZER_NULL:
return;
case IR_INITIALIZER_TARVAL:
break;
case IR_INITIALIZER_CONST: {
ir_node *node = get_initializer_const_value(initializer);
- if(!is_Const(node)) {
+ if (!is_Const(node)) {
panic("bitfield initializer not a Const node");
}
tv = get_Const_tarval(node);
{
assert((size_t) (vals - glob_vals) < max_vals);
- switch(get_initializer_kind(initializer)) {
+ switch (get_initializer_kind(initializer)) {
case IR_INITIALIZER_NULL:
return;
case IR_INITIALIZER_TARVAL: {
vals->kind = TARVAL;
vals->v.tarval = get_initializer_tarval_value(initializer);
assert(get_type_mode(type) == get_tarval_mode(vals->v.tarval));
- for(i = 1; i < get_type_size_bytes(type); ++i) {
+ for (i = 1; i < get_type_size_bytes(type); ++i) {
vals[i].kind = NORMAL;
vals[i].v.value = NULL;
}
assert(vals->kind != BITFIELD);
vals->kind = NORMAL;
vals->v.value = get_initializer_const_value(initializer);
- for(i = 1; i < get_type_size_bytes(type); ++i) {
+ for (i = 1; i < get_type_size_bytes(type); ++i) {
vals[i].kind = NORMAL;
vals[i].v.value = NULL;
}
size_t i = 0;
size_t n = get_initializer_compound_n_entries(initializer);
- if(is_Array_type(type)) {
+ if (is_Array_type(type)) {
ir_type *element_type = get_array_element_type(type);
size_t skip = get_type_size_bytes(element_type);
size_t alignment = get_type_alignment_bytes(element_type);
size_t misalign = skip % alignment;
- if(misalign != 0) {
+ if (misalign != 0) {
skip += alignment - misalign;
}
- for(i = 0; i < n; ++i) {
+ for (i = 0; i < n; ++i) {
ir_initializer_t *sub_initializer
= get_initializer_compound_value(initializer, i);
size_t n_members, i;
assert(is_compound_type(type));
n_members = get_compound_n_members(type);
- for(i = 0; i < n_members; ++i) {
+ for (i = 0; i < n_members; ++i) {
ir_entity *member = get_compound_member(type, i);
size_t offset = get_entity_offset(member);
ir_type *subtype = get_entity_type(member);
sub_initializer
= get_initializer_compound_value(initializer, i);
- if(mode != NULL) {
+ if (mode != NULL) {
size_t offset_bits
= get_entity_offset_bits_remainder(member);
size_t value_len = get_mode_size_bits(mode);
- if(offset_bits != 0 ||
+ if (offset_bits != 0 ||
(value_len != 8 && value_len != 16 && value_len != 32
&& value_len != 64)) {
dump_bitfield(&vals[offset], offset_bits,
size_t size;
size_t k;
- if(initializer_is_string_const(initializer)) {
+ if (initializer_is_string_const(initializer)) {
dump_string_initializer(initializer);
return;
}
* In the worst case, every initializer allocates one byte.
* Moreover, initializer might be big, do not allocate on stack.
*/
- vals = xcalloc(size, sizeof(vals[0]));
+ vals = XMALLOCNZ(normal_or_bitfield, size);
#ifndef NDEBUG
glob_vals = vals;
int space = 0;
int elem_size = 1;
if (vals[k].kind == NORMAL) {
- if(vals[k].v.value != NULL) {
+ if (vals[k].v.value != NULL) {
dump_atomic_init(env, vals[k].v.value);
elem_size = get_mode_size_bytes(get_irn_mode(vals[k].v.value));
} else {
elem_size = 0;
}
- } else if(vals[k].kind == TARVAL) {
+ } else if (vals[k].kind == TARVAL) {
tarval *tv = vals[k].v.tarval;
size_t size = get_mode_size_bytes(get_tarval_mode(tv));
int i, j, n;
unsigned k, last_ofs;
- if(ent->has_initializer) {
+ if (ent->has_initializer) {
dump_initializer(env, ent);
return;
}
* In the worst case, every initializer allocates one byte.
* Moreover, initializer might be big, do not allocate on stack.
*/
- vals = xcalloc(last_ofs, sizeof(vals[0]));
+ vals = XMALLOCNZ(normal_or_bitfield, last_ofs);
/* collect the values and store them at the offsets */
for (i = 0; i < n; ++i) {
for (k = 0; k < last_ofs; ) {
int space = 0, skip = 0;
if (vals[k].kind == NORMAL) {
- if(vals[k].v.value != NULL) {
+ if (vals[k].v.value != NULL) {
dump_atomic_init(env, vals[k].v.value);
skip = get_mode_size_bytes(get_irn_mode(vals[k].v.value)) - 1;
} else {
xfree(vals);
}
-static void emit_align(unsigned alignment)
+static void emit_align(unsigned p2alignment)
{
- if (!is_po2(alignment))
- panic("alignment not a power of 2");
-
- be_emit_irprintf("\t.p2align\t%u\n", log2_floor(alignment));
+ be_emit_irprintf("\t.p2align\t%u\n", log2_floor(p2alignment));
be_emit_write_line();
}
+static unsigned get_effective_entity_alignment(ir_entity *entity)
+{
+ unsigned alignment = get_entity_alignment(entity);
+ if (alignment == 0) {
+ ir_type *type = get_entity_type(entity);
+ alignment = get_type_alignment_bytes(type);
+ }
+ return alignment;
+}
+
+
/**
* Dump a global entity.
*
{
ir_type *type = get_entity_type(ent);
ident *ld_ident = get_entity_ld_ident(ent);
- unsigned align = get_type_alignment_bytes(type);
+ unsigned alignment = get_effective_entity_alignment(ent);
int emit_as_common = 0;
be_gas_section_t section = env->section;
ir_variability variability = get_entity_variability(ent);
if (is_Method_type(type) && section != GAS_SECTION_PIC_TRAMPOLINES) {
return;
}
+ if (type == firm_code_type) {
+ return;
+ }
if (section != (be_gas_section_t) -1) {
emit_as_common = 0;
section = GAS_SECTION_DATA;
}
- if(!emit_as_common) {
+ if (!emit_as_common) {
be_gas_emit_switch_section(section);
}
be_emit_ident(ld_ident);
be_emit_char('\n');
be_emit_write_line();
- } else if(visibility == visibility_external_allocated) {
+ } else if (visibility == visibility_external_allocated) {
be_emit_cstring(".globl\t");
be_emit_ident(ld_ident);
be_emit_char('\n');
/* we can return now... */
return;
}
+ if (!is_po2(alignment))
+ panic("alignment not a power of 2");
/* alignment */
- if (align > 1 && !emit_as_common && section != GAS_SECTION_PIC_TRAMPOLINES
+ if (alignment > 1 && !emit_as_common && section != GAS_SECTION_PIC_TRAMPOLINES
&& section != GAS_SECTION_PIC_SYMBOLS) {
- emit_align(align);
+ emit_align(alignment);
}
if (visibility != visibility_external_allocated && !emit_as_common
if (variability == variability_uninitialized) {
if (emit_as_common) {
switch (be_gas_flavour) {
- case GAS_FLAVOUR_ELF:
case GAS_FLAVOUR_MACH_O:
+ be_emit_irprintf("\t.comm %s,%u,%u\n",
+ get_id_str(ld_ident), get_type_size_bytes(type),
+ log2_floor(alignment));
+ break;
+ case GAS_FLAVOUR_ELF:
case GAS_FLAVOUR_YASM:
be_emit_irprintf("\t.comm %s,%u,%u\n",
- get_id_str(ld_ident), get_type_size_bytes(type), align);
+ get_id_str(ld_ident), get_type_size_bytes(type), alignment);
be_emit_write_line();
break;
case GAS_FLAVOUR_MINGW:
be_emit_irprintf("\t.comm %s,%u # %u\n",
- get_id_str(ld_ident), get_type_size_bytes(type), align);
+ get_id_str(ld_ident), get_type_size_bytes(type), alignment);
be_emit_write_line();
break;
}
be_gas_decl_env_t env;
memset(&env, 0, sizeof(env));
- env.main_env = main_env;
-
/* dump global type */
env.section = (be_gas_section_t) -1;
be_gas_dump_globals(get_glob_type(), &env, only_emit_marked_entities);
projects / libfirm / blobdiff