+static int is_type_variable_size(ir_type *type)
+{
+ (void) type;
+ /* TODO */
+ return 0;
+}
+
+static size_t get_initializer_size(const ir_initializer_t *initializer,
+ ir_type *type)
+{
+ 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_CONST:
+ case IR_INITIALIZER_NULL:
+ return get_type_size_bytes(type);
+ case IR_INITIALIZER_COMPOUND: {
+ 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) {
+ ir_entity *entity = get_compound_member(type, i);
+ ir_type *type = get_entity_type(entity);
+
+ const ir_initializer_t *sub_initializer
+ = get_initializer_compound_value(initializer, i);
+
+ unsigned offset = get_entity_offset(entity);
+ unsigned size = get_initializer_size(sub_initializer, type);
+
+ if(offset + size > initializer_size) {
+ initializer_size = offset + size;
+ }
+ }
+ return initializer_size;
+ }
+ }
+ }
+
+ panic("found invalid initializer");
+}
+
+#ifndef NDEBUG
+static normal_or_bitfield *glob_vals;
+static size_t max_vals;
+#endif
+
+static void dump_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;
+
+ switch(get_initializer_kind(initializer)) {
+ case IR_INITIALIZER_NULL:
+ return;
+ case IR_INITIALIZER_TARVAL:
+ tv = get_initializer_tarval_value(initializer);
+ break;
+ case IR_INITIALIZER_CONST: {
+ ir_node *node = get_initializer_const_value(initializer);
+ if(!is_Const(node)) {
+ panic("bitfield initializer not a Const node");
+ }
+ tv = get_Const_tarval(node);
+ break;
+ }
+ case IR_INITIALIZER_COMPOUND:
+ panic("bitfield initializer is compound");
+ }
+ if (tv == NULL) {
+ panic("Couldn't get numeric value for bitfield initializer\n");
+ }
+
+ /* 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;
+ }
+}
+
+static void dump_ir_initializer(normal_or_bitfield *vals,
+ const ir_initializer_t *initializer,
+ ir_type *type)
+{
+ assert((size_t) (vals - glob_vals) < max_vals);
+
+ switch(get_initializer_kind(initializer)) {
+ case IR_INITIALIZER_NULL:
+ return;
+ case IR_INITIALIZER_TARVAL: {
+ size_t i;
+
+ assert(vals->kind != BITFIELD);
+ 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) {
+ vals[i].kind = NORMAL;
+ vals[i].v.value = NULL;
+ }
+ return;
+ }
+ case IR_INITIALIZER_CONST: {
+ size_t i;
+
+ 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) {
+ vals[i].kind = NORMAL;
+ vals[i].v.value = NULL;
+ }
+ return;
+ }
+ case IR_INITIALIZER_COMPOUND: {
+ size_t i = 0;
+ size_t n = get_initializer_compound_n_entries(initializer);
+
+ 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) {
+ skip += alignment - misalign;
+ }
+
+ for(i = 0; i < n; ++i) {
+ ir_initializer_t *sub_initializer
+ = get_initializer_compound_value(initializer, i);
+
+ dump_ir_initializer(vals, sub_initializer, element_type);
+
+ vals += skip;
+ }
+ } else {
+ size_t n_members, i;
+ assert(is_compound_type(type));
+ n_members = get_compound_n_members(type);
+ 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);
+ ir_mode *mode = get_type_mode(subtype);
+ ir_initializer_t *sub_initializer;
+
+ assert(i < get_initializer_compound_n_entries(initializer));
+ sub_initializer
+ = get_initializer_compound_value(initializer, i);
+
+ 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 ||
+ (value_len != 8 && value_len != 16 && value_len != 32
+ && value_len != 64)) {
+ dump_bitfield(&vals[offset], offset_bits,
+ sub_initializer, subtype);
+ continue;
+ }
+ }
+
+ dump_ir_initializer(&vals[offset], sub_initializer, subtype);
+ }
+ }
+
+ return;
+ }
+ }
+ panic("invalid ir_initializer kind found");
+}
+
+static void dump_initializer(be_gas_decl_env_t *env, ir_entity *entity)
+{
+ const ir_initializer_t *initializer = entity->attr.initializer;
+ ir_type *type;
+ normal_or_bitfield *vals;
+ size_t size;
+ size_t k;
+
+ if(initializer_is_string_const(initializer)) {
+ dump_string_initializer(initializer);
+ return;
+ }
+
+ type = get_entity_type(entity);
+ size = get_initializer_size(initializer, type);
+
+ if (size == 0)
+ 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]));
+
+#ifndef NDEBUG
+ glob_vals = vals;
+ max_vals = size;
+#endif
+
+ dump_ir_initializer(vals, initializer, type);
+
+ /* now write values sorted */
+ for (k = 0; k < size; ) {
+ 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);
+ elem_size = get_mode_size_bytes(get_irn_mode(vals[k].v.value));
+ } 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));
+
+ assert(tv != NULL);
+
+ elem_size = size;
+ dump_size_type(size);
+ dump_arith_tarval(tv, size);
+ be_emit_char('\n');
+ be_emit_write_line();
+ } else {
+ assert(vals[k].kind == BITFIELD);
+ be_emit_irprintf("\t.byte\t%d\n", vals[k].v.bf_val);
+ be_emit_write_line();
+ }
+
+ k += elem_size;
+ while (k < size && vals[k].kind == NORMAL && vals[k].v.value == NULL) {
+ ++space;
+ ++k;
+ }
+
+ /* a gap */
+ if (space > 0) {
+ be_emit_irprintf("\t.skip\t%d\n", space);
+ be_emit_write_line();
+ }
+ }
+ xfree(vals);
+}
+