make sparc+arm backend completely independent from beabi
[libfirm] / ir / be / begnuas.c
index 7c1b351..0ae5a67 100644 (file)
@@ -248,7 +248,7 @@ void be_gas_emit_switch_section(be_gas_section_t section)
        emit_section(section, NULL);
 }
 
-static tarval *get_initializer_tarval(const ir_initializer_t *initializer)
+static ir_tarval *get_initializer_tarval(const ir_initializer_t *initializer)
 {
        if (initializer->kind == IR_INITIALIZER_TARVAL)
                return initializer->tarval.value;
@@ -274,7 +274,7 @@ static int initializer_is_string_const(const ir_initializer_t *initializer)
                return 0;
        for (i = 0; i < len; ++i) {
                int               c;
-               tarval           *tv;
+               ir_tarval        *tv;
                ir_mode          *mode;
                ir_initializer_t *sub_initializer
                        = initializer->compound.initializers[i];
@@ -306,7 +306,7 @@ static bool initializer_is_null(const ir_initializer_t *initializer)
        case IR_INITIALIZER_NULL:
                return true;
        case IR_INITIALIZER_TARVAL: {
-               tarval *tv = initializer->tarval.value;
+               ir_tarval *tv = initializer->tarval.value;
                return tarval_is_null(tv);
        }
        case IR_INITIALIZER_CONST: {
@@ -575,7 +575,7 @@ void be_gas_emit_function_epilog(const ir_entity *entity)
  * @param tv     the tarval
  * @param bytes  the width of the tarvals value in bytes
  */
-static void emit_arith_tarval(tarval *tv, int bytes)
+static void emit_arith_tarval(ir_tarval *tv, int bytes)
 {
        switch (bytes) {
        case 1:
@@ -651,7 +651,7 @@ const char *be_gas_insn_label_prefix(void)
  *
  * @return the tarval
  */
-static tarval *get_atomic_init_tv(ir_node *init)
+static ir_tarval *get_atomic_init_tv(ir_node *init)
 {
        for (;;) {
                ir_mode *mode = get_irn_mode(init);
@@ -703,7 +703,7 @@ static void do_emit_atomic_init(be_gas_decl_env_t *env, ir_node *init)
 {
        ir_mode *mode = get_irn_mode(init);
        int bytes     = get_mode_size_bytes(mode);
-       tarval *tv;
+       ir_tarval *tv;
        ir_entity *ent;
 
        init = skip_Id(init);
@@ -914,8 +914,8 @@ static void emit_string_initializer(const ir_initializer_t *initializer)
                const ir_initializer_t *sub_initializer
                        = get_initializer_compound_value(initializer, i);
 
-               tarval *tv = get_initializer_tarval(sub_initializer);
-               int     c  = get_tarval_long(tv);
+               ir_tarval *tv = get_initializer_tarval(sub_initializer);
+               int        c  = get_tarval_long(tv);
 
                switch (c) {
                case '"' : be_emit_cstring("\\\""); break;
@@ -945,7 +945,7 @@ typedef struct {
        enum normal_or_bitfield_kind kind;
        union {
                ir_node       *value;
-               tarval        *tarval;
+               ir_tarval     *tarval;
                unsigned char  bf_val;
        } v;
 } normal_or_bitfield;
@@ -1004,12 +1004,13 @@ static size_t              max_vals;
 static void emit_bitfield(normal_or_bitfield *vals, size_t offset_bits,
                           const ir_initializer_t *initializer, ir_type *type)
 {
-       unsigned char  last_bits = 0;
-       ir_mode       *mode      = get_type_mode(type);
-       tarval        *tv        = NULL;
-       unsigned char  curr_bits;
-       int            value_len;
-       int            j;
+       static const size_t BITS_PER_BYTE = 8;
+       ir_mode   *mode      = get_type_mode(type);
+       ir_tarval *tv        = NULL;
+       int        value_len;
+       size_t     bit_offset;
+       size_t     end;
+       bool       big_endian = be_get_backend_param()->byte_order_big_endian;
 
        switch (get_initializer_kind(initializer)) {
        case IR_INITIALIZER_NULL:
@@ -1033,22 +1034,41 @@ static void emit_bitfield(normal_or_bitfield *vals, size_t offset_bits,
        }
        tv = tarval_convert_to(tv, get_type_mode(type));
 
-       /* normalize offset */
-       vals        += offset_bits >> 3;
-       offset_bits &= 7;
-       value_len    = get_mode_size_bits(mode);
-
-       /* combine bits with existing bits */
-       for (j = 0; value_len + (int) offset_bits > 0; ++j) {
-               assert((size_t) (vals - glob_vals) + j < max_vals);
-               assert(vals[j].kind == BITFIELD ||
-                               (vals[j].kind == NORMAL && vals[j].v.value == NULL));
-               vals[j].kind = BITFIELD;
-               curr_bits    = get_tarval_sub_bits(tv, j);
-               vals[j].v.bf_val
-                       |= (last_bits >> (8 - offset_bits)) | (curr_bits << offset_bits);
-               value_len -= 8;
-               last_bits = curr_bits;
+       value_len  = get_type_size_bytes(get_primitive_base_type(type));
+       bit_offset = 0;
+       end        = get_mode_size_bits(mode);
+       while (bit_offset < end) {
+               size_t        src_offset      = bit_offset / BITS_PER_BYTE;
+               size_t        src_offset_bits = bit_offset % BITS_PER_BYTE;
+               size_t        dst_offset      = (bit_offset+offset_bits) / BITS_PER_BYTE;
+               size_t        dst_offset_bits = (bit_offset+offset_bits) % BITS_PER_BYTE;
+               size_t        src_bits_len    = end-bit_offset;
+               size_t        dst_bits_len    = BITS_PER_BYTE-dst_offset_bits;
+               unsigned char curr_bits;
+               normal_or_bitfield *val;
+               if (src_bits_len > dst_bits_len)
+                       src_bits_len = dst_bits_len;
+
+               if (big_endian) {
+                       val = &vals[value_len - dst_offset - 1];
+               } else {
+                       val = &vals[dst_offset];
+               }
+
+               assert((val-glob_vals) < (ptrdiff_t) max_vals);
+               assert(val->kind == BITFIELD ||
+                               (val->kind == NORMAL && val->v.value == NULL));
+               val->kind  = BITFIELD;
+               curr_bits  = get_tarval_sub_bits(tv, src_offset);
+               curr_bits  = curr_bits >> src_offset_bits;
+               if (src_offset_bits + src_bits_len > 8) {
+                       unsigned next_bits = get_tarval_sub_bits(tv, src_offset+1);
+                       curr_bits |= next_bits << (8 - src_offset_bits);
+               }
+               curr_bits &= (1 << src_bits_len) - 1;
+               val->v.bf_val |= curr_bits << dst_offset_bits;
+
+               bit_offset += dst_bits_len;
        }
 }
 
@@ -1125,11 +1145,12 @@ static void emit_ir_initializer(normal_or_bitfield *vals,
                                if (mode != NULL) {
                                        size_t offset_bits
                                                = get_entity_offset_bits_remainder(member);
-                                       size_t value_len   = get_mode_size_bits(mode);
+                                       size_t value_len = get_mode_size_bits(mode);
 
                                        if (offset_bits != 0 ||
                                                (value_len != 8 && value_len != 16 && value_len != 32
-                                                && value_len != 64)) {
+                                                && value_len != 64) ||
+                                               (is_Primitive_type(subtype) && get_primitive_base_type(subtype) != NULL)) {
                                                emit_bitfield(&vals[offset], offset_bits,
                                                              sub_initializer, subtype);
                                                continue;
@@ -1186,12 +1207,12 @@ static void emit_initializer(be_gas_decl_env_t *env, const ir_entity *entity)
                        if (vals[k].v.value != NULL) {
                                emit_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 {
+                               elem_size = 0;
+                       }
                } else if (vals[k].kind == TARVAL) {
-                       tarval *tv   = vals[k].v.tarval;
-                       size_t  size = get_mode_size_bytes(get_tarval_mode(tv));
+                       ir_tarval *tv   = vals[k].v.tarval;
+                       size_t     size = get_mode_size_bytes(get_tarval_mode(tv));
 
                        assert(tv != NULL);
 
@@ -1269,7 +1290,7 @@ static void emit_compound_graph_init(be_gas_decl_env_t *env,
 
                if (offset_bits != 0 ||
                                (value_len != 8 && value_len != 16 && value_len != 32 && value_len != 64)) {
-                       tarval *tv = get_atomic_init_tv(value);
+                       ir_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'",