X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbegnuas.c;h=10798241ece2bcc8221773f8d675873159d6522b;hb=3f807bf48426a29da4129ff29c44a4b4690c45f6;hp=b79ba281f51e75c0f382352b6b9d44e2d711584e;hpb=bd84c0c27fb6a39f8d2fe340c50dab076bacbb63;p=libfirm diff --git a/ir/be/begnuas.c b/ir/be/begnuas.c index b79ba281f..10798241e 100644 --- a/ir/be/begnuas.c +++ b/ir/be/begnuas.c @@ -69,7 +69,10 @@ static const char *get_section_name(be_gas_section_t section) { ".section\t.bss", ".section\t.tbss,\"awT\",@nobits", ".section\t.ctors,\"aw\",@progbits", + ".section\t.dtors,\"aw\",@progbits", + NULL, /* no cstring section */ NULL, + NULL }, { /* GAS_FLAVOUR_MINGW */ ".section\t.text", @@ -78,7 +81,10 @@ static const char *get_section_name(be_gas_section_t section) { ".section\t.bss", ".section\t.tbss,\"awT\",@nobits", ".section\t.ctors,\"aw\",@progbits", + ".section\t.dtors,\"aw\",@progbits", + NULL, NULL, + NULL }, { /* GAS_FLAVOUR_YASM */ ".section\t.text", @@ -87,6 +93,9 @@ static const char *get_section_name(be_gas_section_t section) { ".section\t.bss", ".section\t.tbss,\"awT\",@nobits", ".section\t.ctors,\"aw\",@progbits", + ".section\t.dtors,\"aw\",@progbits", + NULL, + NULL, NULL }, { /* GAS_FLAVOUR_MACH_O */ @@ -96,7 +105,10 @@ static const char *get_section_name(be_gas_section_t section) { ".data", NULL, /* TLS is not supported on Mach-O */ ".mod_init_func", - ".cstring" + NULL, /* TODO: how is this called? */ + ".cstring", + ".section\t__IMPORT,__jump_table,symbol_stubs,self_modifying_code+pure_instructions,5", + ".section\t__IMPORT,__pointers,non_lazy_symbol_pointers" } }; @@ -132,15 +144,16 @@ void be_gas_emit_function_prolog(ir_entity *entity, unsigned alignment) be_emit_write_line(); /* gcc fills space between function with 0x90, no idea if this is needed */ - if(be_gas_flavour == GAS_FLAVOUR_MACH_O) { + if (be_gas_flavour == GAS_FLAVOUR_MACH_O) { fill_byte = "0x90"; } - maximum_skip = (1 << alignment) - 1; - be_emit_cstring("\t.p2align "); - be_emit_irprintf("%u,%s,%u\n", alignment, fill_byte, maximum_skip); - be_emit_write_line(); - + if (alignment > 0) { + maximum_skip = (1 << alignment) - 1; + be_emit_cstring("\t.p2align "); + be_emit_irprintf("%u,%s,%u\n", alignment, fill_byte, maximum_skip); + be_emit_write_line(); + } if (get_entity_visibility(entity) == visibility_external_visible) { be_emit_cstring(".globl "); be_emit_string(name); @@ -158,7 +171,11 @@ void be_gas_emit_function_prolog(ir_entity *entity, unsigned alignment) case GAS_FLAVOUR_MINGW: be_emit_cstring("\t.def\t"); be_emit_string(name); - be_emit_cstring(";\t.scl\t2;\t.type\t32;\t.endef\n"); + if (get_entity_visibility(entity) == visibility_external_visible) { + be_emit_cstring(";\t.scl\t2;\t.type\t32;\t.endef\n"); + } else { + be_emit_cstring(";\t.scl\t3;\t.type\t32;\t.endef\n"); + } be_emit_write_line(); break; case GAS_FLAVOUR_MACH_O: @@ -214,59 +231,76 @@ static void dump_arith_tarval(tarval *tv, int bytes) switch (bytes) { case 1: be_emit_irprintf("0x%02x", get_tarval_sub_bits(tv, 0)); - break; + return; case 2: be_emit_irprintf("0x%02x%02x", get_tarval_sub_bits(tv, 1), get_tarval_sub_bits(tv, 0)); - break; + return; case 4: be_emit_irprintf("0x%02x%02x%02x%02x", get_tarval_sub_bits(tv, 3), get_tarval_sub_bits(tv, 2), get_tarval_sub_bits(tv, 1), get_tarval_sub_bits(tv, 0)); - break; + return; case 8: be_emit_irprintf("0x%02x%02x%02x%02x%02x%02x%02x%02x", get_tarval_sub_bits(tv, 7), get_tarval_sub_bits(tv, 6), get_tarval_sub_bits(tv, 5), get_tarval_sub_bits(tv, 4), get_tarval_sub_bits(tv, 3), get_tarval_sub_bits(tv, 2), get_tarval_sub_bits(tv, 1), get_tarval_sub_bits(tv, 0)); - break; + return; - case 10: case 12: - break; + /* Beware: Mixed endian output! One little endian number emitted as + * three longs. Each long initializer is written in big endian. */ + be_emit_irprintf( + "\t.long\t0x%02x%02x%02x%02x\n" + "\t.long\t0x%02x%02x%02x%02x\n" + "\t.long\t0x%02x%02x%02x%02x", + get_tarval_sub_bits(tv, 3), get_tarval_sub_bits(tv, 2), + get_tarval_sub_bits(tv, 1), get_tarval_sub_bits(tv, 0), + get_tarval_sub_bits(tv, 7), get_tarval_sub_bits(tv, 6), + get_tarval_sub_bits(tv, 5), get_tarval_sub_bits(tv, 4), + get_tarval_sub_bits(tv, 11), get_tarval_sub_bits(tv, 10), + get_tarval_sub_bits(tv, 9), get_tarval_sub_bits(tv, 8) + ); + return; case 16: - be_emit_irprintf("0x%02x%02x%02x%02x%02x%02x%02x%02x" - "%02x%02x%02x%02x%02x%02x%02x%02x", + be_emit_irprintf( + "\t.long\t0x%02x%02x%02x%02x0x%02x%02x%02x%02x0x%02x%02x%02x%02x0x%02x%02x%02x%02x", get_tarval_sub_bits(tv, 15), get_tarval_sub_bits(tv, 16), get_tarval_sub_bits(tv, 13), get_tarval_sub_bits(tv, 12), get_tarval_sub_bits(tv, 11), get_tarval_sub_bits(tv, 10), - get_tarval_sub_bits(tv, 9), get_tarval_sub_bits(tv, 8), - get_tarval_sub_bits(tv, 7), get_tarval_sub_bits(tv, 6), - get_tarval_sub_bits(tv, 5), get_tarval_sub_bits(tv, 4), - get_tarval_sub_bits(tv, 3), get_tarval_sub_bits(tv, 2), - get_tarval_sub_bits(tv, 1), get_tarval_sub_bits(tv, 0)); - break; - - - default: - fprintf(stderr, "Try to dump an tarval with %d bytes\n", bytes); - assert(0); + get_tarval_sub_bits(tv, 9), get_tarval_sub_bits(tv, 8), + get_tarval_sub_bits(tv, 7), get_tarval_sub_bits(tv, 6), + get_tarval_sub_bits(tv, 5), get_tarval_sub_bits(tv, 4), + get_tarval_sub_bits(tv, 3), get_tarval_sub_bits(tv, 2), + get_tarval_sub_bits(tv, 1), get_tarval_sub_bits(tv, 0) + ); + return; } + + panic("Can't dump a tarval with %d bytes", bytes); } /** * Return the label prefix for labeled blocks. */ -const char *be_gas_label_prefix(void) { +const char *be_gas_block_label_prefix(void) { return ".LG"; } +/** + * Return the label prefix for labeled instructions. + */ +const char *be_gas_insn_label_prefix(void) { + return ".LE"; +} + /** * Dump a label. */ static void dump_label(ir_label_t label) { - be_emit_irprintf("%s%ld", be_gas_label_prefix(), label); + be_emit_irprintf("%s%lu", be_gas_block_label_prefix(), label); } /** @@ -403,18 +437,27 @@ static void do_dump_atomic_init(be_gas_decl_env_t *env, ir_node *init) return; case iro_Add: + if (!mode_is_int(mode) && !mode_is_reference(mode)) { + panic("Constant must be int or pointer for '+' to work"); + } do_dump_atomic_init(env, get_Add_left(init)); be_emit_cstring(" + "); do_dump_atomic_init(env, get_Add_right(init)); return; case iro_Sub: + if (!mode_is_int(mode) && !mode_is_reference(mode)) { + panic("Constant must be int or pointer for '-' to work"); + } do_dump_atomic_init(env, get_Sub_left(init)); be_emit_cstring(" - "); do_dump_atomic_init(env, get_Sub_right(init)); return; case iro_Mul: + if (!mode_is_int(mode) && !mode_is_reference(mode)) { + panic("Constant must be int or pointer for '*' to work"); + } do_dump_atomic_init(env, get_Mul_left(init)); be_emit_cstring(" * "); do_dump_atomic_init(env, get_Mul_right(init)); @@ -458,7 +501,7 @@ static void dump_size_type(size_t size) { break; default: - panic("Try to dump a type with %u bytes\n", (unsigned) size); + panic("Try to dump a type with %u bytes", (unsigned)size); } } @@ -769,7 +812,7 @@ static void dump_bitfield(normal_or_bitfield *vals, size_t offset_bits, panic("bitfield initializer is compound"); } if (tv == NULL) { - panic("Couldn't get numeric value for bitfield initializer\n"); + panic("Couldn't get numeric value for bitfield initializer"); } /* normalize offset */ @@ -919,13 +962,14 @@ static void dump_initializer(be_gas_decl_env_t *env, ir_entity *entity) /* now write values sorted */ for (k = 0; k < size; ) { - int space = 0, skip = 0; + int space = 0; + int elem_size = 1; if (vals[k].kind == NORMAL) { 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; + elem_size = get_mode_size_bytes(get_irn_mode(vals[k].v.value)); } else { - space = 1; + elem_size = 0; } } else if(vals[k].kind == TARVAL) { tarval *tv = vals[k].v.tarval; @@ -933,7 +977,7 @@ static void dump_initializer(be_gas_decl_env_t *env, ir_entity *entity) assert(tv != NULL); - skip = size - 1; + elem_size = size; dump_size_type(size); dump_arith_tarval(tv, size); be_emit_char('\n'); @@ -944,13 +988,11 @@ static void dump_initializer(be_gas_decl_env_t *env, ir_entity *entity) be_emit_write_line(); } - ++k; + k += elem_size; while (k < size && vals[k].kind == NORMAL && vals[k].v.value == NULL) { ++space; ++k; } - space -= skip; - assert(space >= 0); /* a gap */ if (space > 0) { @@ -1014,7 +1056,7 @@ static void dump_compound_init(be_gas_decl_env_t *env, ir_entity *ent) tarval *tv = get_atomic_init_tv(value); unsigned char curr_bits, last_bits = 0; if (tv == NULL) { - panic("Couldn't get numeric value for bitfield initializer '%s'\n", + panic("Couldn't get numeric value for bitfield initializer '%s'", get_entity_ld_name(ent)); } /* normalize offset */ @@ -1079,7 +1121,7 @@ static void emit_align(unsigned alignment) if (!is_po2(alignment)) panic("alignment not a power of 2"); - be_emit_irprintf(".p2align\t%u\n", log2_floor(alignment)); + be_emit_irprintf("\t.p2align\t%u\n", log2_floor(alignment)); be_emit_write_line(); } @@ -1099,6 +1141,10 @@ static void dump_global(be_gas_decl_env_t *env, ir_entity *ent) ir_variability variability = get_entity_variability(ent); ir_visibility visibility = get_entity_visibility(ent); + if (is_Method_type(type) && section != GAS_SECTION_PIC_TRAMPOLINES) { + return; + } + if (section != (be_gas_section_t) -1) { emit_as_common = 0; } else if (variability == variability_constant) { @@ -1113,6 +1159,8 @@ static void dump_global(be_gas_decl_env_t *env, ir_entity *ent) section = GAS_SECTION_COMMON; if (visibility != visibility_local) emit_as_common = 1; + } else { + section = GAS_SECTION_DATA; } if(!emit_as_common) { @@ -1136,10 +1184,20 @@ static void dump_global(be_gas_decl_env_t *env, ir_entity *ent) return; } /* alignment */ - if (align > 1 && !emit_as_common) { + if (align > 1 && !emit_as_common && section != GAS_SECTION_PIC_TRAMPOLINES + && section != GAS_SECTION_PIC_SYMBOLS) { emit_align(align); } + if (visibility != visibility_external_allocated && !emit_as_common + && be_gas_flavour == GAS_FLAVOUR_ELF) { + be_emit_cstring("\t.type\t"); + be_emit_ident(ld_ident); + be_emit_cstring(", @object\n\t.size\t"); + be_emit_ident(ld_ident); + be_emit_irprintf(", %u\n", get_type_size_bytes(type)); + } + if (!emit_as_common) { be_emit_ident(ld_ident); be_emit_cstring(":\n"); @@ -1162,6 +1220,17 @@ static void dump_global(be_gas_decl_env_t *env, ir_entity *ent) be_emit_write_line(); break; } + } else if (section == GAS_SECTION_PIC_TRAMPOLINES) { + if (be_gas_flavour == GAS_FLAVOUR_MACH_O) { + be_emit_cstring("\t.indirect_symbol "); + be_emit_ident(get_entity_ident(ent)); + be_emit_char('\n'); + be_emit_write_line(); + be_emit_cstring("\thlt ; hlt ; hlt ; hlt ; hlt\n"); + be_emit_write_line(); + } else { + panic("PIC trampolines not yet supported in this gas mode"); + } } else { be_emit_irprintf("\t.space %u\n", get_type_size_bytes(type)); be_emit_write_line(); @@ -1250,7 +1319,24 @@ void be_gas_emit_decls(const be_main_env_t *main_env, be_gas_dump_globals(get_glob_type(), &env, only_emit_marked_entities); env.section = GAS_SECTION_TLS; be_gas_dump_globals(get_tls_type(), &env, only_emit_marked_entities); - env.section = GAS_SECTION_CTOR; - be_gas_dump_globals(get_constructors_type(), &env, + env.section = GAS_SECTION_CONSTRUCTORS; + be_gas_dump_globals(get_segment_type(IR_SEGMENT_CONSTRUCTORS), &env, only_emit_marked_entities); + env.section = GAS_SECTION_DESTRUCTORS; + be_gas_dump_globals(get_segment_type(IR_SEGMENT_DESTRUCTORS), &env, + only_emit_marked_entities); + + env.section = GAS_SECTION_PIC_SYMBOLS; + be_gas_dump_globals(main_env->pic_symbols_type, &env, + only_emit_marked_entities); + + if (get_compound_n_members(main_env->pic_trampolines_type) > 0) { + env.section = GAS_SECTION_PIC_TRAMPOLINES; + be_gas_dump_globals(main_env->pic_trampolines_type, &env, + only_emit_marked_entities); + if (be_gas_flavour == GAS_FLAVOUR_MACH_O) { + be_emit_cstring("\t.subsections_via_symbols\n"); + be_emit_write_line(); + } + } }