a normalisation which shrinks values on the right shift operand because of modulo_shi...

[libfirm] / ir / be / begnuas.c

diff --git a/ir/be/begnuas.c b/ir/be/begnuas.c
index 63087a8..7c1b351 100644 (file)
--- a/ir/be/begnuas.c
+++ b/ir/be/begnuas.c
@@ -57,7 +57,7 @@ static be_gas_section_t current_section = (be_gas_section_t) -1;
  * write it to the disk. This is an artifact from the old C-generating backend
  * and even there NOT needed. So we might change it in the future.
  */
-typedef struct _be_gas_decl_env {
+typedef struct be_gas_decl_env {
        be_gas_section_t     section;
        const be_main_env_t *main_env;
 } be_gas_decl_env_t;
@@ -102,6 +102,55 @@ static void emit_section_macho(be_gas_section_t section)
        }
 }
 
+static void emit_section_sparc(be_gas_section_t section, const ir_entity *entity)
+{
+       be_gas_section_t base = section & GAS_SECTION_TYPE_MASK;
+       be_gas_section_t flags = section & ~GAS_SECTION_TYPE_MASK;
+       static const char *const basename[] = {
+               "text", "data", "rodata", "bss", "ctors", "dtors"
+       };
+
+       if (current_section == section && !(section & GAS_SECTION_FLAG_COMDAT))
+               return;
+       current_section = section;
+
+       be_emit_cstring("\t.section\t\".");
+
+       /* Part1: section-name */
+       if (flags & GAS_SECTION_FLAG_TLS)
+               be_emit_char('t');
+       assert(base < sizeof(basename)/sizeof(basename[0]));
+       be_emit_string(basename[base]);
+
+       if (flags & GAS_SECTION_FLAG_COMDAT) {
+               be_emit_char('.');
+               be_gas_emit_entity(entity);
+       }
+       be_emit_char('"');
+
+       /* for the simple sections we're done here */
+       if (flags == 0)
+               goto end;
+
+       be_emit_cstring(",#alloc");
+
+       switch (base) {
+       case GAS_SECTION_TEXT: be_emit_cstring(",#execinstr"); break;
+       case GAS_SECTION_DATA:
+       case GAS_SECTION_BSS:  be_emit_cstring(",#write"); break;
+       default:
+               /* nothing */
+               break;
+       }
+       if (flags & GAS_SECTION_FLAG_TLS) {
+               be_emit_cstring(",#tls");
+       }
+
+end:
+       be_emit_char('\n');
+       be_emit_write_line();
+}
+
 static void emit_section(be_gas_section_t section, const ir_entity *entity)
 {
        be_gas_section_t base = section & GAS_SECTION_TYPE_MASK;
@@ -116,6 +165,9 @@ static void emit_section(be_gas_section_t section, const ir_entity *entity)
        if (be_gas_object_file_format == OBJECT_FILE_FORMAT_MACH_O) {
                emit_section_macho(section);
                return;
+       } else if(be_gas_object_file_format == OBJECT_FILE_FORMAT_ELF_SPARC) {
+               emit_section_sparc(section, entity);
+               return;
        }
 
        if (current_section == section && !(section & GAS_SECTION_FLAG_COMDAT))
@@ -185,6 +237,8 @@ static void emit_section(be_gas_section_t section, const ir_entity *entity)
        be_emit_write_line();
 }
 
+
+
 void be_gas_emit_switch_section(be_gas_section_t section)
 {
        /* you have to produce a switch_section call with entity manually
@@ -470,6 +524,7 @@ void be_gas_emit_function_prolog(const ir_entity *entity, unsigned po2alignment)
 
        switch (be_gas_object_file_format) {
        case OBJECT_FILE_FORMAT_ELF:
+       case OBJECT_FILE_FORMAT_ELF_SPARC:
                be_emit_cstring("\t.type\t");
                be_gas_emit_entity(entity);
                be_emit_cstring(", ");
@@ -514,8 +569,6 @@ void be_gas_emit_function_epilog(const ir_entity *entity)
        be_emit_write_line();
 }
 
-/************************************************************************/
-
 /**
  * Output a tarval.
  *
@@ -789,10 +842,6 @@ static void emit_atomic_init(be_gas_decl_env_t *env, ir_node *init)
        be_emit_write_line();
 }
 
-/************************************************************************/
-/* Routines to dump global variables                                    */
-/************************************************************************/
-
 /**
  * Dump a string constant.
  * No checks are made!!
@@ -845,7 +894,7 @@ static void emit_string_cst(const ir_entity *ent)
        remaining_space = type_size - len;
        assert(remaining_space >= 0);
        if (remaining_space > 0) {
-               be_emit_irprintf("\t.space\t%d\n", remaining_space);
+               be_emit_irprintf("\t.space\t%d, 0\n", remaining_space);
        }
 }
 
@@ -1165,7 +1214,7 @@ static void emit_initializer(be_gas_decl_env_t *env, const ir_entity *entity)
 
                /* a gap */
                if (space > 0) {
-                       be_emit_irprintf("\t.space\t%d\n", space);
+                       be_emit_irprintf("\t.space\t%d, 0\n", space);
                        be_emit_write_line();
                }
        }
@@ -1276,7 +1325,7 @@ static void emit_compound_graph_init(be_gas_decl_env_t *env,
 
                /* a gap */
                if (space > 0) {
-                       be_emit_irprintf("\t.space\t%d\n", space);
+                       be_emit_irprintf("\t.space\t%d, 0\n", space);
                        be_emit_write_line();
                }
        }
@@ -1316,6 +1365,7 @@ static void emit_common(const ir_entity *entity)
                be_emit_write_line();
                return;
        case OBJECT_FILE_FORMAT_ELF:
+       case OBJECT_FILE_FORMAT_ELF_SPARC:
                be_emit_cstring("\t.comm ");
                be_gas_emit_entity(entity);
                be_emit_irprintf(",%u,%u\n", size, alignment);
@@ -1348,6 +1398,7 @@ static void emit_local_common(const ir_entity *entity)
                be_emit_write_line();
                return;
        case OBJECT_FILE_FORMAT_ELF:
+       case OBJECT_FILE_FORMAT_ELF_SPARC:
                be_emit_cstring("\t.local ");
                be_gas_emit_entity(entity);
                be_emit_cstring("\n");
@@ -1391,9 +1442,7 @@ static void emit_indirect_symbol(const ir_entity *entity, be_gas_section_t secti
 
 char const *be_gas_get_private_prefix(void)
 {
-       return
-               be_gas_object_file_format == OBJECT_FILE_FORMAT_MACH_O ? "L" :
-               ".L";
+       return be_gas_object_file_format == OBJECT_FILE_FORMAT_MACH_O ? "L" : ".L";
 }
 
 void be_gas_emit_entity(const ir_entity *entity)
@@ -1512,7 +1561,7 @@ static void emit_global(be_gas_decl_env_t *env, const ir_entity *entity)
        }
 
        if (entity_is_null(entity)) {
-               be_emit_irprintf("\t.space %u\n", get_type_size_bytes(type));
+               be_emit_irprintf("\t.space %u, 0\n", get_type_size_bytes(type));
                be_emit_write_line();
        } else if (entity_has_compound_ent_values(entity)) {
                emit_compound_graph_init(env, entity);
@@ -1538,8 +1587,6 @@ static void be_gas_emit_globals(ir_type *gt, be_gas_decl_env_t *env)
        }
 }
 
-/************************************************************************/
-
 /* Generate all entities. */
 void be_gas_emit_decls(const be_main_env_t *main_env)
 {