ARR_APP1(entity_t*, inner_functions, entity);
}
-ir_node *uninitialized_local_var(ir_graph *irg, ir_mode *mode, int pos)
+static ir_node *uninitialized_local_var(ir_graph *irg, ir_mode *mode, int pos)
{
const entity_t *entity = get_irg_loc_description(irg, pos);
{
type->base.firm_type = ir_type_int;
- ir_mode *const mode = mode_int;
- tarval *const one = get_mode_one(mode);
- tarval * tv_next = get_mode_null(mode);
+ ir_mode *const mode = mode_int;
+ ir_tarval *const one = get_mode_one(mode);
+ ir_tarval * tv_next = get_mode_null(mode);
bool constant_folding_old = constant_folding;
constant_folding = true;
{ rts_strncmp, 1, "strncmp", 3, _C89 },
{ rts_strcpy, 1, "strcpy", 2, _C89 },
{ rts_strlen, 1, "strlen", 1, _C89 },
- { rts_memcpy, 1, "memcpy", 3, _C89 }, /* HMM, man say its C99 */
+ { rts_memcpy, 1, "memcpy", 3, _C89 },
{ rts_mempcpy, 1, "mempcpy", 3, _GNUC },
- { rts_memmove, 1, "memmove", 3, _C89 }, /* HMM, man say its C99 */
- { rts_memset, 1, "memset", 3, _C89 }, /* HMM, man say its C99 */
- { rts_memcmp, 1, "memcmp", 3, _C89 }, /* HMM, man say its C99 */
+ { rts_memmove, 1, "memmove", 3, _C89 },
+ { rts_memset, 1, "memset", 3, _C89 },
+ { rts_memcmp, 1, "memcmp", 3, _C89 },
};
static ident *rts_idents[lengthof(rts_data)];
-static ident* (*create_ld_ident)(entity_t*) = create_name_linux_elf;
+static create_ld_ident_func create_ld_ident = create_name_linux_elf;
+
+void set_create_ld_ident(ident *(*func)(entity_t*))
+{
+ create_ld_ident = func;
+}
/**
* Handle GNU attributes for entities
if (is_method_entity(irentity)) {
if (modifiers & DM_PURE) {
- set_entity_additional_property(irentity, mtp_property_pure);
+ set_entity_additional_properties(irentity, mtp_property_pure);
}
if (modifiers & DM_CONST) {
- set_entity_additional_property(irentity, mtp_property_const);
+ add_entity_additional_properties(irentity, mtp_property_const);
have_const_functions = true;
}
}
}
} else {
/* nested functions are always local */
- set_entity_visibility(irentity, ir_visibility_local);
+ set_entity_visibility(irentity, ir_visibility_local);
}
/* We should check for file scope here, but as long as we compile C only
this is not needed. */
- if (! firm_opt.freestanding && !has_body) {
+ if (!freestanding && !has_body) {
/* check for a known runtime function */
for (size_t i = 0; i < lengthof(rts_data); ++i) {
if (id != rts_idents[i])
continue;
+ function_type_t *function_type
+ = &entity->declaration.type->function;
+ /* rts_entities code can't handle a "wrong" number of parameters */
+ if (function_type->unspecified_parameters)
+ continue;
+
+ /* check number of parameters */
+ int n_params = count_parameters(function_type);
+ if (n_params != rts_data[i].n_params)
+ continue;
+
+ type_t *return_type = skip_typeref(function_type->return_type);
+ int n_res = return_type != type_void ? 1 : 0;
+ if (n_res != rts_data[i].n_res)
+ continue;
+
/* ignore those rts functions not necessary needed for current mode */
if ((c_mode & rts_data[i].flags) == 0)
continue;
return irentity;
}
+/**
+ * Creates a SymConst for a given entity.
+ *
+ * @param dbgi debug info
+ * @param mode the (reference) mode for the SymConst
+ * @param entity the entity
+ */
+static ir_node *create_symconst(dbg_info *dbgi, ir_mode *mode,
+ ir_entity *entity)
+{
+ assert(entity != NULL);
+ union symconst_symbol sym;
+ sym.entity_p = entity;
+ return new_d_SymConst(dbgi, mode, sym, symconst_addr_ent);
+}
+
static ir_node *create_conv(dbg_info *dbgi, ir_node *value, ir_mode *dest_mode)
{
ir_mode *value_mode = get_irn_mode(value);
}
/**
- * Creates a Const node representing a constant.
+ * Creates a SymConst node representing a wide string literal.
+ *
+ * @param literal the wide string literal
*/
-static ir_node *const_to_firm(const const_expression_t *cnst)
+static ir_node *wide_string_literal_to_firm(
+ const string_literal_expression_t *literal)
{
- dbg_info *dbgi = get_dbg_info(&cnst->base.source_position);
- type_t *type = skip_typeref(cnst->base.type);
- ir_mode *mode = get_ir_mode_storage(type);
+ ir_type *const global_type = get_glob_type();
+ ir_type *const elem_type = ir_type_wchar_t;
+ dbg_info *const dbgi = get_dbg_info(&literal->base.source_position);
+ ir_type *const type = new_type_array(1, elem_type);
- char buf[128];
- tarval *tv;
- size_t len;
- if (mode_is_float(mode)) {
- tv = new_tarval_from_double(cnst->v.float_value, mode);
- } else {
- if (mode_is_signed(mode)) {
- len = snprintf(buf, sizeof(buf), "%lld", cnst->v.int_value);
- } else {
- len = snprintf(buf, sizeof(buf), "%llu",
- (unsigned long long) cnst->v.int_value);
- }
- tv = new_tarval_from_str(buf, len, mode);
+ ident *const id = id_unique("str.%u");
+ ir_entity *const entity = new_d_entity(global_type, id, type, dbgi);
+ set_entity_ld_ident(entity, id);
+ set_entity_visibility(entity, ir_visibility_private);
+ add_entity_linkage(entity, IR_LINKAGE_CONSTANT);
+
+ ir_mode *const mode = get_type_mode(elem_type);
+ const size_t slen = wstrlen(&literal->value);
+
+ set_array_lower_bound_int(type, 0, 0);
+ set_array_upper_bound_int(type, 0, slen);
+ set_type_size_bytes(type, slen * get_mode_size_bytes(mode));
+ set_type_state(type, layout_fixed);
+
+ ir_initializer_t *initializer = create_initializer_compound(slen);
+ const char *p = literal->value.begin;
+ for (size_t i = 0; i < slen; ++i) {
+ assert(p < literal->value.begin + literal->value.size);
+ utf32 v = read_utf8_char(&p);
+ ir_tarval *tv = new_tarval_from_long(v, mode);
+ ir_initializer_t *val = create_initializer_tarval(tv);
+ set_initializer_compound_value(initializer, i, val);
}
+ set_entity_initializer(entity, initializer);
- ir_node *res = new_d_Const(dbgi, tv);
- ir_mode *mode_arith = get_ir_mode_arithmetic(type);
- return create_conv(dbgi, res, mode_arith);
+ return create_symconst(dbgi, mode_P_data, entity);
}
/**
- * Creates a Const node representing a character constant.
+ * Creates a SymConst node representing a string constant.
+ *
+ * @param src_pos the source position of the string constant
+ * @param id_prefix a prefix for the name of the generated string constant
+ * @param value the value of the string constant
*/
-static ir_node *character_constant_to_firm(const const_expression_t *cnst)
+static ir_node *string_to_firm(const source_position_t *const src_pos,
+ const char *const id_prefix,
+ const string_t *const value)
{
- dbg_info *dbgi = get_dbg_info(&cnst->base.source_position);
- ir_mode *mode = get_ir_mode_arithmetic(cnst->base.type);
+ ir_type *const global_type = get_glob_type();
+ dbg_info *const dbgi = get_dbg_info(src_pos);
+ ir_type *const type = new_type_array(1, ir_type_const_char);
- long long int v;
- size_t const size = cnst->v.character.size;
- if (size == 1 && char_is_signed) {
- v = (signed char)cnst->v.character.begin[0];
- } else {
- v = 0;
- for (size_t i = 0; i < size; ++i) {
- v = (v << 8) | ((unsigned char)cnst->v.character.begin[i]);
+ ident *const id = id_unique(id_prefix);
+ ir_entity *const entity = new_d_entity(global_type, id, type, dbgi);
+ set_entity_ld_ident(entity, id);
+ set_entity_visibility(entity, ir_visibility_private);
+ add_entity_linkage(entity, IR_LINKAGE_CONSTANT);
+
+ ir_type *const elem_type = ir_type_const_char;
+ ir_mode *const mode = get_type_mode(elem_type);
+
+ const char* const string = value->begin;
+ const size_t slen = value->size;
+
+ set_array_lower_bound_int(type, 0, 0);
+ set_array_upper_bound_int(type, 0, slen);
+ set_type_size_bytes(type, slen);
+ set_type_state(type, layout_fixed);
+
+ ir_initializer_t *initializer = create_initializer_compound(slen);
+ for (size_t i = 0; i < slen; ++i) {
+ ir_tarval *tv = new_tarval_from_long(string[i], mode);
+ ir_initializer_t *val = create_initializer_tarval(tv);
+ set_initializer_compound_value(initializer, i, val);
+ }
+ set_entity_initializer(entity, initializer);
+
+ return create_symconst(dbgi, mode_P_data, entity);
+}
+
+static bool try_create_integer(literal_expression_t *literal,
+ type_t *type, unsigned char base)
+{
+ const char *string = literal->value.begin;
+ size_t size = literal->value.size;
+
+ assert(type->kind == TYPE_ATOMIC);
+ atomic_type_kind_t akind = type->atomic.akind;
+
+ ir_mode *mode = atomic_modes[akind];
+ ir_tarval *tv = new_integer_tarval_from_str(string, size, 1, base, mode);
+ if (tv == tarval_bad)
+ return false;
+
+ literal->base.type = type;
+ literal->target_value = tv;
+ return true;
+}
+
+static void create_integer_tarval(literal_expression_t *literal)
+{
+ unsigned us = 0;
+ unsigned ls = 0;
+ symbol_t *suffix = literal->suffix;
+ /* parse suffix */
+ if (suffix != NULL) {
+ for (const char *c = suffix->string; *c != '\0'; ++c) {
+ if (*c == 'u' || *c == 'U') { ++us; }
+ if (*c == 'l' || *c == 'L') { ++ls; }
}
}
- char buf[128];
- size_t len = snprintf(buf, sizeof(buf), "%lld", v);
- tarval *tv = new_tarval_from_str(buf, len, mode);
- return new_d_Const(dbgi, tv);
+ unsigned base;
+ switch (literal->base.kind) {
+ case EXPR_LITERAL_INTEGER_OCTAL: base = 8; break;
+ case EXPR_LITERAL_INTEGER: base = 10; break;
+ case EXPR_LITERAL_INTEGER_HEXADECIMAL: base = 16; break;
+ default: panic("invalid literal kind");
+ }
+
+ tarval_int_overflow_mode_t old_mode = tarval_get_integer_overflow_mode();
+
+ /* now try if the constant is small enough for some types */
+ tarval_set_integer_overflow_mode(TV_OVERFLOW_BAD);
+ if (ls < 1) {
+ if (us == 0 && try_create_integer(literal, type_int, base))
+ goto finished;
+ if ((us == 1 || base != 10)
+ && try_create_integer(literal, type_unsigned_int, base))
+ goto finished;
+ }
+ if (ls < 2) {
+ if (us == 0 && try_create_integer(literal, type_long, base))
+ goto finished;
+ if ((us == 1 || base != 10)
+ && try_create_integer(literal, type_unsigned_long, base))
+ goto finished;
+ }
+ /* last try? then we should not report tarval_bad */
+ if (us != 1 && base == 10)
+ tarval_set_integer_overflow_mode(TV_OVERFLOW_WRAP);
+ if (us == 0 && try_create_integer(literal, type_long_long, base))
+ goto finished;
+
+ /* last try */
+ assert(us == 1 || base != 10);
+ tarval_set_integer_overflow_mode(TV_OVERFLOW_WRAP);
+ bool res = try_create_integer(literal, type_unsigned_long_long, base);
+ if (!res)
+ panic("internal error when parsing number literal");
+
+finished:
+ tarval_set_integer_overflow_mode(old_mode);
+}
+
+void determine_literal_type(literal_expression_t *literal)
+{
+ switch (literal->base.kind) {
+ case EXPR_LITERAL_INTEGER:
+ case EXPR_LITERAL_INTEGER_OCTAL:
+ case EXPR_LITERAL_INTEGER_HEXADECIMAL:
+ create_integer_tarval(literal);
+ return;
+ default:
+ break;
+ }
}
/**
- * Creates a Const node representing a wide character constant.
+ * Creates a Const node representing a constant.
*/
-static ir_node *wide_character_constant_to_firm(const const_expression_t *cnst)
+static ir_node *literal_to_firm(const literal_expression_t *literal)
{
- dbg_info *dbgi = get_dbg_info(&cnst->base.source_position);
- ir_mode *mode = get_ir_mode_arithmetic(cnst->base.type);
+ type_t *type = skip_typeref(literal->base.type);
+ ir_mode *mode = get_ir_mode_storage(type);
+ const char *string = literal->value.begin;
+ size_t size = literal->value.size;
+ ir_tarval *tv;
- long long int v = cnst->v.wide_character.begin[0];
+ switch (literal->base.kind) {
+ case EXPR_LITERAL_WIDE_CHARACTER: {
+ utf32 v = read_utf8_char(&string);
+ char buf[128];
+ size_t len = snprintf(buf, sizeof(buf), UTF32_PRINTF_FORMAT, v);
- char buf[128];
- size_t len = snprintf(buf, sizeof(buf), "%lld", v);
- tarval *tv = new_tarval_from_str(buf, len, mode);
+ tv = new_tarval_from_str(buf, len, mode);
+ goto make_const;
+ }
+ case EXPR_LITERAL_CHARACTER: {
+ long long int v;
+ if (size == 1 && char_is_signed) {
+ v = (signed char)string[0];
+ } else {
+ v = 0;
+ for (size_t i = 0; i < size; ++i) {
+ v = (v << 8) | ((unsigned char)string[i]);
+ }
+ }
+ char buf[128];
+ size_t len = snprintf(buf, sizeof(buf), "%lld", v);
- return new_d_Const(dbgi, tv);
+ tv = new_tarval_from_str(buf, len, mode);
+ goto make_const;
+ }
+ case EXPR_LITERAL_INTEGER:
+ case EXPR_LITERAL_INTEGER_OCTAL:
+ case EXPR_LITERAL_INTEGER_HEXADECIMAL:
+ assert(literal->target_value != NULL);
+ tv = literal->target_value;
+ goto make_const;
+ case EXPR_LITERAL_FLOATINGPOINT:
+ tv = new_tarval_from_str(string, size, mode);
+ goto make_const;
+ case EXPR_LITERAL_FLOATINGPOINT_HEXADECIMAL: {
+ char buffer[size + 2];
+ memcpy(buffer, "0x", 2);
+ memcpy(buffer+2, string, size);
+ tv = new_tarval_from_str(buffer, size+2, mode);
+ goto make_const;
+ }
+ case EXPR_LITERAL_BOOLEAN:
+ if (string[0] == 't') {
+ tv = get_mode_one(mode);
+ } else {
+ assert(string[0] == 'f');
+ tv = get_mode_null(mode);
+ }
+ goto make_const;
+ case EXPR_LITERAL_MS_NOOP:
+ tv = get_mode_null(mode);
+ goto make_const;
+ default:
+ break;
+ }
+ panic("Invalid literal kind found");
+
+make_const: ;
+ dbg_info *dbgi = get_dbg_info(&literal->base.source_position);
+ ir_node *res = new_d_Const(dbgi, tv);
+ ir_mode *mode_arith = get_ir_mode_arithmetic(type);
+ return create_conv(dbgi, res, mode_arith);
}
/*
region);
}
-
-/**
- * Creates a SymConst for a given entity.
- *
- * @param dbgi debug info
- * @param mode the (reference) mode for the SymConst
- * @param entity the entity
- */
-static ir_node *create_symconst(dbg_info *dbgi, ir_mode *mode,
- ir_entity *entity)
-{
- assert(entity != NULL);
- union symconst_symbol sym;
- sym.entity_p = entity;
- return new_d_SymConst(dbgi, mode, sym, symconst_addr_ent);
-}
-
/**
* Creates a trampoline for a function represented by an entity.
*
return new_Proj(irn, mode, pn_Builtin_1_result);
}
-/**
- * Creates a SymConst node representing a string constant.
- *
- * @param src_pos the source position of the string constant
- * @param id_prefix a prefix for the name of the generated string constant
- * @param value the value of the string constant
- */
-static ir_node *string_to_firm(const source_position_t *const src_pos,
- const char *const id_prefix,
- const string_t *const value)
-{
- ir_type *const global_type = get_glob_type();
- dbg_info *const dbgi = get_dbg_info(src_pos);
- ir_type *const type = new_type_array(1, ir_type_const_char);
-
- ident *const id = id_unique(id_prefix);
- ir_entity *const entity = new_d_entity(global_type, id, type, dbgi);
- set_entity_ld_ident(entity, id);
- set_entity_visibility(entity, ir_visibility_private);
- add_entity_linkage(entity, IR_LINKAGE_CONSTANT);
-
- ir_type *const elem_type = ir_type_const_char;
- ir_mode *const mode = get_type_mode(elem_type);
-
- const char* const string = value->begin;
- const size_t slen = value->size;
-
- set_array_lower_bound_int(type, 0, 0);
- set_array_upper_bound_int(type, 0, slen);
- set_type_size_bytes(type, slen);
- set_type_state(type, layout_fixed);
-
- ir_initializer_t *initializer = create_initializer_compound(slen);
- for (size_t i = 0; i < slen; ++i) {
- tarval *tv = new_tarval_from_long(string[i], mode);
- ir_initializer_t *val = create_initializer_tarval(tv);
- set_initializer_compound_value(initializer, i, val);
- }
- set_entity_initializer(entity, initializer);
-
- return create_symconst(dbgi, mode_P_data, entity);
-}
-
-/**
- * Creates a SymConst node representing a string literal.
- *
- * @param literal the string literal
- */
-static ir_node *string_literal_to_firm(
- const string_literal_expression_t* literal)
-{
- return string_to_firm(&literal->base.source_position, "str.%u",
- &literal->value);
-}
-
-/**
- * Creates a SymConst node representing a wide string literal.
- *
- * @param literal the wide string literal
- */
-static ir_node *wide_string_literal_to_firm(
- const wide_string_literal_expression_t* const literal)
-{
- ir_type *const global_type = get_glob_type();
- ir_type *const elem_type = ir_type_wchar_t;
- dbg_info *const dbgi = get_dbg_info(&literal->base.source_position);
- ir_type *const type = new_type_array(1, elem_type);
-
- ident *const id = id_unique("str.%u");
- ir_entity *const entity = new_d_entity(global_type, id, type, dbgi);
- set_entity_ld_ident(entity, id);
- set_entity_visibility(entity, ir_visibility_private);
- add_entity_linkage(entity, IR_LINKAGE_CONSTANT);
-
- ir_mode *const mode = get_type_mode(elem_type);
-
- const wchar_rep_t *const string = literal->value.begin;
- const size_t slen = literal->value.size;
-
- set_array_lower_bound_int(type, 0, 0);
- set_array_upper_bound_int(type, 0, slen);
- set_type_size_bytes(type, slen * get_mode_size_bytes(mode));
- set_type_state(type, layout_fixed);
-
- ir_initializer_t *initializer = create_initializer_compound(slen);
- for (size_t i = 0; i < slen; ++i) {
- tarval *tv = new_tarval_from_long(string[i], mode);
- ir_initializer_t *val = create_initializer_tarval(tv);
- set_initializer_compound_value(initializer, i, val);
- }
- set_entity_initializer(entity, initializer);
-
- return create_symconst(dbgi, mode_P_data, entity);
-}
-
/**
* Dereference an address.
*
type_t *type = skip_typeref(builtin->base.type);
assert(is_type_pointer(type));
- type_t *function_type = skip_typeref(type->pointer.points_to);
+ type_t *function_type = skip_typeref(type->pointer.points_to);
switch (builtin->entity->function.btk) {
case bk_gnu_builtin_alloca: {
case bk_gnu_builtin_inf:
case bk_gnu_builtin_inff:
case bk_gnu_builtin_infl: {
- type_t *type = function_type->function.return_type;
- ir_mode *mode = get_ir_mode_arithmetic(type);
- tarval *tv = get_mode_infinite(mode);
- ir_node *res = new_d_Const(dbgi, tv);
- return res;
+ type_t *type = function_type->function.return_type;
+ ir_mode *mode = get_ir_mode_arithmetic(type);
+ ir_tarval *tv = get_mode_infinite(mode);
+ ir_node *res = new_d_Const(dbgi, tv);
+ return res;
}
case bk_gnu_builtin_nan:
case bk_gnu_builtin_nanf:
case bk_gnu_builtin_nanl: {
/* Ignore string for now... */
assert(is_type_function(function_type));
- type_t *type = function_type->function.return_type;
- ir_mode *mode = get_ir_mode_arithmetic(type);
- tarval *tv = get_mode_NAN(mode);
- ir_node *res = new_d_Const(dbgi, tv);
+ type_t *type = function_type->function.return_type;
+ ir_mode *mode = get_ir_mode_arithmetic(type);
+ ir_tarval *tv = get_mode_NAN(mode);
+ ir_node *res = new_d_Const(dbgi, tv);
return res;
}
case bk_gnu_builtin_expect: {
}
}
case bk_gnu_builtin_return_address: {
-
expression_t *const expression = call->arguments->expression;
ir_node *in[2];
set_store(new_Proj(irn, mode_M, pn_Builtin_M));
return NULL;
}
+ case bk_gnu_builtin_object_size: {
+ /* determine value of "type" */
+ expression_t *type_expression = call->arguments->next->expression;
+ long type_val = fold_constant_to_int(type_expression);
+ type_t *type = function_type->function.return_type;
+ ir_mode *mode = get_ir_mode_arithmetic(type);
+ ir_tarval *result;
+
+ /* just produce a "I don't know" result */
+ if (type_val & 2)
+ result = new_tarval_from_long(0, mode);
+ else
+ result = new_tarval_from_long(-1, mode);
+
+ return new_d_Const(dbgi, result);
+ }
case bk_gnu_builtin_trap:
case bk_ms__ud2:
{
return process_builtin_call(call);
}
+#if 0
if (irentity == rts_entities[rts_alloca]) {
/* handle alloca() call */
expression_t *argument = call->arguments->expression;
return res;
}
+#endif
}
}
ir_node *callee = expression_to_firm(function);
* nodes into a new and unreachable block. */
keep_alive(node);
keep_alive(get_cur_block());
- new_Block(0, NULL);
+ ir_node *block = new_Block(0, NULL);
+ set_cur_block(block);
}
return result;
}
}
-static tarval *create_bitfield_mask(ir_mode *mode, int offset, int size)
+static ir_tarval *create_bitfield_mask(ir_mode *mode, int offset, int size)
{
- tarval *all_one = get_mode_all_one(mode);
- int mode_size = get_mode_size_bits(mode);
+ ir_tarval *all_one = get_mode_all_one(mode);
+ int mode_size = get_mode_size_bits(mode);
assert(offset >= 0);
assert(size >= 0);
return all_one;
}
- long shiftr = get_mode_size_bits(mode) - size;
- long shiftl = offset;
- tarval *tv_shiftr = new_tarval_from_long(shiftr, mode_uint);
- tarval *tv_shiftl = new_tarval_from_long(shiftl, mode_uint);
- tarval *mask0 = tarval_shr(all_one, tv_shiftr);
- tarval *mask1 = tarval_shl(mask0, tv_shiftl);
+ long shiftr = get_mode_size_bits(mode) - size;
+ long shiftl = offset;
+ ir_tarval *tv_shiftr = new_tarval_from_long(shiftr, mode_uint);
+ ir_tarval *tv_shiftl = new_tarval_from_long(shiftl, mode_uint);
+ ir_tarval *mask0 = tarval_shr(all_one, tv_shiftr);
+ ir_tarval *mask1 = tarval_shl(mask0, tv_shiftl);
return mask1;
}
int bitoffset = get_entity_offset_bits_remainder(entity);
int bitsize = get_mode_size_bits(get_type_mode(entity_type));
- tarval *mask = create_bitfield_mask(mode, 0, bitsize);
- ir_node *mask_node = new_d_Const(dbgi, mask);
- ir_node *value_masked = new_d_And(dbgi, value, mask_node, mode);
- tarval *shiftl = new_tarval_from_long(bitoffset, mode_uint);
- ir_node *shiftcount = new_d_Const(dbgi, shiftl);
- ir_node *value_maskshift = new_d_Shl(dbgi, value_masked, shiftcount, mode);
+ ir_tarval *mask = create_bitfield_mask(mode, 0, bitsize);
+ ir_node *mask_node = new_d_Const(dbgi, mask);
+ ir_node *value_masked = new_d_And(dbgi, value, mask_node, mode);
+ ir_tarval *shiftl = new_tarval_from_long(bitoffset, mode_uint);
+ ir_node *shiftcount = new_d_Const(dbgi, shiftl);
+ ir_node *value_maskshift = new_d_Shl(dbgi, value_masked, shiftcount, mode);
/* load current value */
- ir_node *mem = get_store();
- ir_node *load = new_d_Load(dbgi, mem, addr, mode,
- set_volatile ? cons_volatile : cons_none);
- ir_node *load_mem = new_d_Proj(dbgi, load, mode_M, pn_Load_M);
- ir_node *load_res = new_d_Proj(dbgi, load, mode, pn_Load_res);
- tarval *shift_mask = create_bitfield_mask(mode, bitoffset, bitsize);
- tarval *inv_mask = tarval_not(shift_mask);
- ir_node *inv_mask_node = new_d_Const(dbgi, inv_mask);
- ir_node *load_res_masked = new_d_And(dbgi, load_res, inv_mask_node, mode);
+ ir_node *mem = get_store();
+ ir_node *load = new_d_Load(dbgi, mem, addr, mode,
+ set_volatile ? cons_volatile : cons_none);
+ ir_node *load_mem = new_d_Proj(dbgi, load, mode_M, pn_Load_M);
+ ir_node *load_res = new_d_Proj(dbgi, load, mode, pn_Load_res);
+ ir_tarval *shift_mask = create_bitfield_mask(mode, bitoffset, bitsize);
+ ir_tarval *inv_mask = tarval_not(shift_mask);
+ ir_node *inv_mask_node = new_d_Const(dbgi, inv_mask);
+ ir_node *load_res_masked = new_d_And(dbgi, load_res, inv_mask_node, mode);
/* construct new value and store */
ir_node *new_val = new_d_Or(dbgi, load_res_masked, value_maskshift, mode);
int bitsize = get_mode_size_bits(get_type_mode(entity_type));
long shift_bitsl = machine_size - bitoffset - bitsize;
assert(shift_bitsl >= 0);
- tarval *tvl = new_tarval_from_long(shift_bitsl, mode_uint);
+ ir_tarval *tvl = new_tarval_from_long(shift_bitsl, mode_uint);
ir_node *countl = new_d_Const(dbgi, tvl);
ir_node *shiftl = new_d_Shl(dbgi, load_res, countl, mode_int);
long shift_bitsr = bitoffset + shift_bitsl;
assert(shift_bitsr <= (long) machine_size);
- tarval *tvr = new_tarval_from_long(shift_bitsr, mode_uint);
+ ir_tarval *tvr = new_tarval_from_long(shift_bitsr, mode_uint);
ir_node *countr = new_d_Const(dbgi, tvr);
ir_node *shiftr;
if (mode_is_signed(mode)) {
cmp_val = get_pnc(expression->base.kind, op1->base.type);
if (is_local_variable(op1) && is_local_variable(op2)) {
- var = op1->reference.entity;
+ var = op1->reference.entity;
var2 = op2->reference.entity;
type_t *const type = skip_typeref(var->declaration.type);
type_t *from_type, type_t *type)
{
type = skip_typeref(type);
+ if (type == type_void) {
+ /* make sure firm type is constructed */
+ (void) get_ir_type(type);
+ return NULL;
+ }
if (!is_type_scalar(type)) {
/* make sure firm type is constructed */
(void) get_ir_type(type);
return create_cast(dbgi, value_node, from_type, type);
}
case EXPR_UNARY_ASSUME:
- if (firm_opt.confirm)
- return handle_assume(dbgi, value);
- else
- return NULL;
+ return handle_assume(dbgi, value);
default:
break;
mature_immBlock(zero_block);
ir_node *in_cf[2] = { jmp_one, jmp_zero };
- new_Block(2, in_cf);
+ ir_node *block = new_Block(2, in_cf);
+ set_cur_block(block);
ir_node *in[2] = { one, zero };
ir_node *val = new_d_Phi(dbgi, 2, in, mode);
static ir_node *offsetof_to_firm(const offsetof_expression_t *expression)
{
- ir_mode *mode = get_ir_mode_arithmetic(expression->base.type);
- long offset = get_offsetof_offset(expression);
- tarval *tv = new_tarval_from_long(offset, mode);
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ ir_mode *mode = get_ir_mode_arithmetic(expression->base.type);
+ long offset = get_offsetof_offset(expression);
+ ir_tarval *tv = new_tarval_from_long(offset, mode);
+ dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
return new_d_Const(dbgi, tv);
}
alignment = get_type_alignment(type);
}
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
- ir_mode *mode = get_ir_mode_arithmetic(expression->base.type);
- tarval *tv = new_tarval_from_long(alignment, mode);
+ dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ ir_mode *mode = get_ir_mode_arithmetic(expression->base.type);
+ ir_tarval *tv = new_tarval_from_long(alignment, mode);
return new_d_Const(dbgi, tv);
}
static void init_ir_types(void);
-static tarval *fold_constant_to_tarval(const expression_t *expression)
+static ir_tarval *fold_constant_to_tarval(const expression_t *expression)
{
assert(is_type_valid(skip_typeref(expression->base.type)));
constant_folding = constant_folding_old;
- tarval *tv = get_Const_tarval(cnst);
- return tv;
+ return get_Const_tarval(cnst);
}
long fold_constant_to_int(const expression_t *expression)
if (expression->kind == EXPR_INVALID)
return 0;
- tarval *tv = fold_constant_to_tarval(expression);
+ ir_tarval *tv = fold_constant_to_tarval(expression);
if (!tarval_is_long(tv)) {
panic("result of constant folding is not integer");
}
{
if (expression->kind == EXPR_INVALID)
return false;
- tarval *tv = fold_constant_to_tarval(expression);
+ ir_tarval *tv = fold_constant_to_tarval(expression);
return !tarval_is_null(tv);
}
/* create the common block */
ir_node *in_cf[2] = { true_jmp, false_jmp };
- new_Block(2, in_cf);
+ ir_node *block = new_Block(2, in_cf);
+ set_cur_block(block);
/* TODO improve static semantics, so either both or no values are NULL */
if (true_val == NULL || false_val == NULL)
}
make_const:;
- dbg_info *const dbgi = get_dbg_info(&expr->base.source_position);
- tarval *const tv = new_tarval_from_long(tc, mode_int);
+ dbg_info *const dbgi = get_dbg_info(&expr->base.source_position);
+ ir_tarval *const tv = new_tarval_from_long(tc, mode_int);
return new_d_Const(dbgi, tv);
}
#endif
switch (expression->kind) {
- case EXPR_CHARACTER_CONSTANT:
- return character_constant_to_firm(&expression->conste);
- case EXPR_WIDE_CHARACTER_CONSTANT:
- return wide_character_constant_to_firm(&expression->conste);
- case EXPR_CONST:
- return const_to_firm(&expression->conste);
+ EXPR_LITERAL_CASES
+ return literal_to_firm(&expression->literal);
case EXPR_STRING_LITERAL:
- return string_literal_to_firm(&expression->string);
+ return string_to_firm(&expression->base.source_position, "str.%u",
+ &expression->literal.value);
case EXPR_WIDE_STRING_LITERAL:
- return wide_string_literal_to_firm(&expression->wide_string);
+ return wide_string_literal_to_firm(&expression->string_literal);
case EXPR_REFERENCE:
return reference_expression_to_firm(&expression->reference);
case EXPR_REFERENCE_ENUM_VALUE:
/* we're past the last member of the current sub-aggregate, try if we
* can ascend in the type hierarchy and continue with another subobject */
- size_t len = ARR_LEN(path->path);
+ size_t len = ARR_LEN(path->path);
if (len > 1) {
ascend_from_subtype(path);
if (i < string_len)
c = string[i];
- tarval *tv = new_tarval_from_long(c, mode);
+ ir_tarval *tv = new_tarval_from_long(c, mode);
ir_initializer_t *char_initializer = create_initializer_tarval(tv);
set_initializer_compound_value(irinitializer, i, char_initializer);
static ir_initializer_t *create_ir_initializer_wide_string(
const initializer_wide_string_t *initializer, type_t *type)
{
- size_t string_len = initializer->string.size;
assert(type->kind == TYPE_ARRAY);
assert(type->array.size_constant);
size_t len = type->array.size;
+ size_t string_len = wstrlen(&initializer->string);
ir_initializer_t *irinitializer = create_initializer_compound(len);
- const wchar_rep_t *string = initializer->string.begin;
- ir_mode *mode = get_type_mode(ir_type_wchar_t);
+ const char *p = initializer->string.begin;
+ ir_mode *mode = get_type_mode(ir_type_wchar_t);
for (size_t i = 0; i < len; ++i) {
- wchar_rep_t c = 0;
+ utf32 c = 0;
if (i < string_len) {
- c = string[i];
+ c = read_utf8_char(&p);
}
- tarval *tv = new_tarval_from_long(c, mode);
+ ir_tarval *tv = new_tarval_from_long(c, mode);
ir_initializer_t *char_initializer = create_initializer_tarval(tv);
set_initializer_compound_value(irinitializer, i, char_initializer);
panic("unknown initializer");
}
+/** ANSI C §6.7.8:21: If there are fewer initializers [..] than there
+ * are elements [...] the remainder of the aggregate shall be initialized
+ * implicitly the same as objects that have static storage duration. */
+static void create_dynamic_null_initializer(ir_entity *entity, dbg_info *dbgi,
+ ir_node *base_addr)
+{
+ /* for unions we must NOT do anything for null initializers */
+ ir_type *owner = get_entity_owner(entity);
+ if (is_Union_type(owner)) {
+ return;
+ }
+
+ ir_type *ent_type = get_entity_type(entity);
+ /* create sub-initializers for a compound type */
+ if (is_compound_type(ent_type)) {
+ unsigned n_members = get_compound_n_members(ent_type);
+ for (unsigned n = 0; n < n_members; ++n) {
+ ir_entity *member = get_compound_member(ent_type, n);
+ ir_node *addr = new_d_simpleSel(dbgi, new_NoMem(), base_addr,
+ member);
+ create_dynamic_null_initializer(member, dbgi, addr);
+ }
+ return;
+ }
+ if (is_Array_type(ent_type)) {
+ assert(has_array_upper_bound(ent_type, 0));
+ long n = get_array_upper_bound_int(ent_type, 0);
+ for (long i = 0; i < n; ++i) {
+ ir_tarval *index_tv = new_tarval_from_long(i, mode_uint);
+ ir_node *cnst = new_d_Const(dbgi, index_tv);
+ ir_node *in[1] = { cnst };
+ ir_entity *arrent = get_array_element_entity(ent_type);
+ ir_node *addr = new_d_Sel(dbgi, new_NoMem(), base_addr, 1, in,
+ arrent);
+ create_dynamic_null_initializer(arrent, dbgi, addr);
+ }
+ return;
+ }
+
+ ir_mode *value_mode = get_type_mode(ent_type);
+ ir_node *node = new_Const_long(value_mode, 0);
+
+ /* is it a bitfield type? */
+ if (is_Primitive_type(ent_type) &&
+ get_primitive_base_type(ent_type) != NULL) {
+ bitfield_store_to_firm(dbgi, entity, base_addr, node, false);
+ return;
+ }
+
+ ir_node *mem = get_store();
+ ir_node *store = new_d_Store(dbgi, mem, base_addr, node, cons_none);
+ ir_node *proj_m = new_Proj(store, mode_M, pn_Store_M);
+ set_store(proj_m);
+}
+
static void create_dynamic_initializer_sub(ir_initializer_t *initializer,
ir_entity *entity, ir_type *type, dbg_info *dbgi, ir_node *base_addr)
{
switch(get_initializer_kind(initializer)) {
- case IR_INITIALIZER_NULL: {
- /* NULL is undefined for dynamic initializers */
+ case IR_INITIALIZER_NULL:
+ create_dynamic_null_initializer(entity, dbgi, base_addr);
return;
- }
case IR_INITIALIZER_CONST: {
ir_node *node = get_initializer_const_value(initializer);
- ir_mode *mode = get_irn_mode(node);
ir_type *ent_type = get_entity_type(entity);
/* is it a bitfield type? */
return;
}
- assert(get_type_mode(type) == mode);
+ assert(get_type_mode(type) == get_irn_mode(node));
ir_node *mem = get_store();
ir_node *store = new_d_Store(dbgi, mem, base_addr, node, cons_none);
ir_node *proj_m = new_Proj(store, mode_M, pn_Store_M);
return;
}
case IR_INITIALIZER_TARVAL: {
- tarval *tv = get_initializer_tarval_value(initializer);
- ir_mode *mode = get_tarval_mode(tv);
- ir_node *cnst = new_d_Const(dbgi, tv);
- ir_type *ent_type = get_entity_type(entity);
+ ir_tarval *tv = get_initializer_tarval_value(initializer);
+ ir_node *cnst = new_d_Const(dbgi, tv);
+ ir_type *ent_type = get_entity_type(entity);
/* is it a bitfield type? */
if (is_Primitive_type(ent_type) &&
return;
}
- assert(get_type_mode(type) == mode);
+ assert(get_type_mode(type) == get_tarval_mode(tv));
ir_node *mem = get_store();
ir_node *store = new_d_Store(dbgi, mem, base_addr, cnst, cons_none);
ir_node *proj_m = new_Proj(store, mode_M, pn_Store_M);
return;
}
case IR_INITIALIZER_COMPOUND: {
- assert(is_compound_type(type));
+ assert(is_compound_type(type) || is_Array_type(type));
int n_members;
if (is_Array_type(type)) {
assert(has_array_upper_bound(type, 0));
ir_type *irtype;
ir_entity *sub_entity;
if (is_Array_type(type)) {
- tarval *index_tv = new_tarval_from_long(i, mode_uint);
+ ir_tarval *index_tv = new_tarval_from_long(i, mode_uint);
ir_node *cnst = new_d_Const(dbgi, index_tv);
ir_node *in[1] = { cnst };
irtype = get_array_element_type(type);
static void create_global_variable(entity_t *entity)
{
- ir_linkage linkage = 0;
+ ir_linkage linkage = IR_LINKAGE_DEFAULT;
ir_visibility visibility = ir_visibility_default;
ir_entity *irentity;
assert(entity->kind == ENTITY_VARIABLE);
static void if_statement_to_firm(if_statement_t *statement)
{
- ir_node *cur_block = get_cur_block();
-
- ir_node *fallthrough_block = NULL;
-
- /* the true (blocks) */
- ir_node *true_block = NULL;
- if (statement->true_statement != NULL) {
- true_block = new_immBlock();
- set_cur_block(true_block);
- statement_to_firm(statement->true_statement);
- if (get_cur_block() != NULL) {
- ir_node *jmp = new_Jmp();
- if (fallthrough_block == NULL)
- fallthrough_block = new_immBlock();
- add_immBlock_pred(fallthrough_block, jmp);
- }
+ /* Create the condition. */
+ ir_node *true_block = NULL;
+ ir_node *false_block = NULL;
+ if (get_cur_block() != NULL) {
+ true_block = new_immBlock();
+ false_block = new_immBlock();
+ create_condition_evaluation(statement->condition, true_block, false_block);
+ mature_immBlock(true_block);
}
- /* the false (blocks) */
- ir_node *false_block = NULL;
+ /* Create the false statement.
+ * Hadle false before true, so if no false statement is present, then the
+ * empty false block is reused as fallthrough block. */
+ ir_node *fallthrough_block = NULL;
if (statement->false_statement != NULL) {
- false_block = new_immBlock();
+ if (false_block != NULL) {
+ mature_immBlock(false_block);
+ }
set_cur_block(false_block);
-
statement_to_firm(statement->false_statement);
if (get_cur_block() != NULL) {
- ir_node *jmp = new_Jmp();
- if (fallthrough_block == NULL)
- fallthrough_block = new_immBlock();
- add_immBlock_pred(fallthrough_block, jmp);
+ fallthrough_block = new_immBlock();
+ add_immBlock_pred(fallthrough_block, new_Jmp());
}
+ } else {
+ fallthrough_block = false_block;
}
- /* create the condition */
- if (cur_block != NULL) {
- if (true_block == NULL || false_block == NULL) {
- if (fallthrough_block == NULL)
- fallthrough_block = new_immBlock();
- if (true_block == NULL)
- true_block = fallthrough_block;
- if (false_block == NULL)
- false_block = fallthrough_block;
+ /* Create the true statement. */
+ set_cur_block(true_block);
+ statement_to_firm(statement->true_statement);
+ if (get_cur_block() != NULL) {
+ if (fallthrough_block == NULL) {
+ fallthrough_block = new_immBlock();
}
-
- set_cur_block(cur_block);
- create_condition_evaluation(statement->condition, true_block,
- false_block);
+ add_immBlock_pred(fallthrough_block, new_Jmp());
}
- mature_immBlock(true_block);
- if (false_block != fallthrough_block && false_block != NULL) {
- mature_immBlock(false_block);
- }
+ /* Handle the block after the if-statement. */
if (fallthrough_block != NULL) {
mature_immBlock(fallthrough_block);
}
-
set_cur_block(fallthrough_block);
}
static void while_statement_to_firm(while_statement_t *statement)
{
- ir_node *jmp = NULL;
+ /* Create the header block */
+ ir_node *const header_block = new_immBlock();
if (get_cur_block() != NULL) {
- jmp = new_Jmp();
+ add_immBlock_pred(header_block, new_Jmp());
}
- /* create the header block */
- ir_node *header_block = new_immBlock();
- if (jmp != NULL) {
- add_immBlock_pred(header_block, jmp);
+ /* Create the condition. */
+ ir_node * body_block;
+ ir_node * false_block;
+ expression_t *const cond = statement->condition;
+ if (is_constant_expression(cond) && fold_constant_to_bool(cond)) {
+ /* Shortcut for while (true). */
+ body_block = header_block;
+ false_block = NULL;
+
+ keep_alive(header_block);
+ keep_all_memory(header_block);
+ } else {
+ body_block = new_immBlock();
+ false_block = new_immBlock();
+
+ set_cur_block(header_block);
+ create_condition_evaluation(cond, body_block, false_block);
+ mature_immBlock(body_block);
}
- /* the loop body */
- ir_node *old_continue_label = continue_label;
- ir_node *old_break_label = break_label;
- continue_label = header_block;
- break_label = NULL;
+ ir_node *const old_continue_label = continue_label;
+ ir_node *const old_break_label = break_label;
+ continue_label = header_block;
+ break_label = false_block;
- ir_node *body_block = new_immBlock();
+ /* Create the loop body. */
set_cur_block(body_block);
statement_to_firm(statement->body);
- ir_node *false_block = break_label;
-
- assert(continue_label == header_block);
- continue_label = old_continue_label;
- break_label = old_break_label;
-
if (get_cur_block() != NULL) {
- jmp = new_Jmp();
- add_immBlock_pred(header_block, jmp);
+ add_immBlock_pred(header_block, new_Jmp());
}
- /* shortcut for while(true) */
- if (is_constant_expression(statement->condition)
- && fold_constant_to_bool(statement->condition) != 0) {
- set_cur_block(header_block);
- ir_node *header_jmp = new_Jmp();
- add_immBlock_pred(body_block, header_jmp);
-
- keep_alive(body_block);
- keep_all_memory(body_block);
- set_cur_block(body_block);
- } else {
- if (false_block == NULL) {
- false_block = new_immBlock();
- }
-
- /* create the condition */
- set_cur_block(header_block);
-
- create_condition_evaluation(statement->condition, body_block,
- false_block);
- }
-
- mature_immBlock(body_block);
mature_immBlock(header_block);
+ assert(false_block == NULL || false_block == break_label);
+ false_block = break_label;
if (false_block != NULL) {
mature_immBlock(false_block);
}
-
set_cur_block(false_block);
+
+ assert(continue_label == header_block);
+ continue_label = old_continue_label;
+ break_label = old_break_label;
}
static void do_while_statement_to_firm(do_while_statement_t *statement)
{
- ir_node *jmp = NULL;
- if (get_cur_block() != NULL) {
- jmp = new_Jmp();
- }
-
/* create the header block */
ir_node *header_block = new_immBlock();
/* the loop body */
ir_node *body_block = new_immBlock();
- if (jmp != NULL) {
- add_immBlock_pred(body_block, jmp);
+ if (get_cur_block() != NULL) {
+ add_immBlock_pred(body_block, new_Jmp());
}
ir_node *old_continue_label = continue_label;
if (get_cur_block() != NULL) {
ir_node *body_jmp = new_Jmp();
add_immBlock_pred(header_block, body_jmp);
- mature_immBlock(header_block);
}
if (false_block == NULL) {
}
/* create the condition */
+ mature_immBlock(header_block);
set_cur_block(header_block);
create_condition_evaluation(statement->condition, body_block, false_block);
mature_immBlock(body_block);
- mature_immBlock(header_block);
mature_immBlock(false_block);
set_cur_block(false_block);
static void for_statement_to_firm(for_statement_t *statement)
{
- ir_node *jmp = NULL;
-
/* create declarations */
entity_t *entity = statement->scope.entities;
for ( ; entity != NULL; entity = entity->base.next) {
if (statement->initialisation != NULL) {
expression_to_firm(statement->initialisation);
}
+ }
- jmp = new_Jmp();
+ /* Create the header block */
+ ir_node *const header_block = new_immBlock();
+ if (get_cur_block() != NULL) {
+ add_immBlock_pred(header_block, new_Jmp());
}
+ /* Create the condition. */
+ ir_node *body_block;
+ ir_node *false_block;
+ if (statement->condition != NULL) {
+ body_block = new_immBlock();
+ false_block = new_immBlock();
- /* create the step block */
- ir_node *const step_block = new_immBlock();
- set_cur_block(step_block);
- if (statement->step != NULL) {
- expression_to_firm(statement->step);
- }
- ir_node *const step_jmp = new_Jmp();
+ set_cur_block(header_block);
+ create_condition_evaluation(statement->condition, body_block, false_block);
+ mature_immBlock(body_block);
+ } else {
+ /* for-ever. */
+ body_block = header_block;
+ false_block = NULL;
- /* create the header block */
- ir_node *const header_block = new_immBlock();
- set_cur_block(header_block);
- if (jmp != NULL) {
- add_immBlock_pred(header_block, jmp);
+ keep_alive(header_block);
+ keep_all_memory(header_block);
}
- add_immBlock_pred(header_block, step_jmp);
-
- /* the false block */
- ir_node *const false_block = new_immBlock();
- /* the loop body */
- ir_node *body_block;
- if (statement->body != NULL) {
- ir_node *const old_continue_label = continue_label;
- ir_node *const old_break_label = break_label;
- continue_label = step_block;
- break_label = false_block;
+ /* Create the step block, if necessary. */
+ ir_node * step_block = header_block;
+ expression_t *const step = statement->step;
+ if (step != NULL) {
+ step_block = new_immBlock();
+ }
- body_block = new_immBlock();
- set_cur_block(body_block);
- statement_to_firm(statement->body);
+ ir_node *const old_continue_label = continue_label;
+ ir_node *const old_break_label = break_label;
+ continue_label = step_block;
+ break_label = false_block;
- assert(continue_label == step_block);
- assert(break_label == false_block);
- continue_label = old_continue_label;
- break_label = old_break_label;
+ /* Create the loop body. */
+ set_cur_block(body_block);
+ statement_to_firm(statement->body);
+ if (get_cur_block() != NULL) {
+ add_immBlock_pred(step_block, new_Jmp());
+ }
+ /* Create the step code. */
+ if (step != NULL) {
+ mature_immBlock(step_block);
+ set_cur_block(step_block);
+ expression_to_firm(step);
if (get_cur_block() != NULL) {
- jmp = new_Jmp();
- add_immBlock_pred(step_block, jmp);
+ add_immBlock_pred(header_block, new_Jmp());
}
- } else {
- body_block = step_block;
}
- /* create the condition */
- set_cur_block(header_block);
- if (statement->condition != NULL) {
- create_condition_evaluation(statement->condition, body_block,
- false_block);
- } else {
- keep_alive(header_block);
- keep_all_memory(header_block);
- jmp = new_Jmp();
- add_immBlock_pred(body_block, jmp);
- }
-
- mature_immBlock(body_block);
- mature_immBlock(false_block);
- mature_immBlock(step_block);
mature_immBlock(header_block);
- mature_immBlock(false_block);
-
+ assert(false_block == NULL || false_block == break_label);
+ false_block = break_label;
+ if (false_block != NULL) {
+ mature_immBlock(false_block);
+ }
set_cur_block(false_block);
+
+ assert(continue_label == step_block);
+ continue_label = old_continue_label;
+ break_label = old_break_label;
}
static void create_jump_statement(const statement_t *statement,
current_switch = statement;
/* determine a free number for the default label */
- unsigned long num_cases = 0;
- long def_nr = 0;
+ unsigned long num_cases = 0;
+ long default_proj_nr = 0;
for (case_label_statement_t *l = statement->first_case; l != NULL; l = l->next) {
if (l->expression == NULL) {
/* default case */
}
if (l->last_case >= l->first_case)
num_cases += l->last_case - l->first_case + 1;
- if (l->last_case > def_nr)
- def_nr = l->last_case;
+ if (l->last_case > default_proj_nr)
+ default_proj_nr = l->last_case;
}
- if (def_nr == INT_MAX) {
+ if (default_proj_nr == INT_MAX) {
/* Bad: an overflow will occur, we cannot be sure that the
* maximum + 1 is a free number. Scan the values a second
* time to find a free number.
*/
unsigned char *bits = xmalloc((num_cases + 7) >> 3);
- memset(bits, 0, (num_cases + 7) >> 3);
+ memset(bits, 0, (num_cases + 7) >> 3);
for (case_label_statement_t *l = statement->first_case; l != NULL; l = l->next) {
if (l->expression == NULL) {
/* default case */
break;
free(bits);
- def_nr = i;
+ default_proj_nr = i;
} else {
- ++def_nr;
+ ++default_proj_nr;
}
- statement->default_proj_nr = def_nr;
-
- if (statement->body != NULL) {
- statement_to_firm(statement->body);
+ statement->default_proj_nr = default_proj_nr;
+ /* safety check: cond might already be folded to a Bad */
+ if (cond != NULL && is_Cond(cond)) {
+ set_Cond_default_proj(cond, default_proj_nr);
}
+ statement_to_firm(statement->body);
+
if (get_cur_block() != NULL) {
ir_node *jmp = new_Jmp();
add_immBlock_pred(get_break_label(), jmp);
if (!saw_default_label && first_block != NULL) {
set_cur_block(first_block);
- ir_node *const proj = new_d_defaultProj(dbgi, cond,
- statement->default_proj_nr);
+ ir_node *const proj = new_d_Proj(dbgi, cond, mode_X, default_proj_nr);
add_immBlock_pred(get_break_label(), proj);
}
if (statement->is_empty_range)
return;
- dbg_info *dbgi = get_dbg_info(&statement->base.source_position);
-
- ir_node *const fallthrough = (get_cur_block() == NULL ? NULL : new_Jmp());
-
- ir_node *proj;
ir_node *block = new_immBlock();
+ if (get_cur_block() != NULL) {
+ /* Fallthrough from previous case */
+ add_immBlock_pred(block, new_Jmp());
+ }
+
if (current_switch_cond != NULL) {
set_cur_block(get_nodes_block(current_switch_cond));
+ dbg_info *const dbgi = get_dbg_info(&statement->base.source_position);
if (statement->expression != NULL) {
long pn = statement->first_case;
long end_pn = statement->last_case;
assert(pn <= end_pn);
/* create jumps for all cases in the given range */
do {
- proj = new_d_Proj(dbgi, current_switch_cond, mode_X, pn);
+ ir_node *const proj = new_d_Proj(dbgi, current_switch_cond, mode_X, pn);
add_immBlock_pred(block, proj);
} while (pn++ < end_pn);
} else {
saw_default_label = true;
- proj = new_d_defaultProj(dbgi, current_switch_cond,
- current_switch->default_proj_nr);
-
+ ir_node *const proj = new_d_Proj(dbgi, current_switch_cond, mode_X,
+ current_switch->default_proj_nr);
add_immBlock_pred(block, proj);
}
}
- if (fallthrough != NULL) {
- add_immBlock_pred(block, fallthrough);
- }
mature_immBlock(block);
set_cur_block(block);
- if (statement->statement != NULL) {
- statement_to_firm(statement->statement);
- }
+ statement_to_firm(statement->statement);
}
static void label_to_firm(const label_statement_t *statement)
keep_alive(block);
keep_all_memory(block);
- if (statement->statement != NULL) {
- statement_to_firm(statement->statement);
- }
+ statement_to_firm(statement->statement);
}
static void goto_to_firm(const goto_statement_t *statement)
/* create output projs & connect them */
if (needs_memory) {
- ir_node *projm = new_Proj(node, mode_M, out_size+1);
+ ir_node *projm = new_Proj(node, mode_M, out_size);
set_store(projm);
}
assert(entity->kind == ENTITY_FUNCTION);
ir_graph *irg = current_ir_graph;
ir_node *args = get_irg_args(irg);
- ir_node *start_block = get_irg_start_block(irg);
ir_type *function_irtype = get_ir_type(entity->declaration.type);
int first_param_nr = 0;
if (entity->function.need_closure) {
/* add an extra parameter for the static link */
- entity->function.static_link = new_r_Proj(start_block, args, mode_P_data, 0);
+ entity->function.static_link = new_r_Proj(args, mode_P_data, 0);
++first_param_nr;
}
ir_mode *param_mode = get_type_mode(param_irtype);
long pn = n + first_param_nr;
- ir_node *value = new_r_Proj(start_block, args, param_mode, pn);
+ ir_node *value = new_r_Proj(args, param_mode, pn);
ir_mode *mode = get_ir_mode_storage(type);
value = create_conv(NULL, value, mode);
{
if (decl_modifiers & DM_RETURNS_TWICE) {
/* TRUE if the declaration includes __attribute__((returns_twice)) */
- set_irg_additional_property(irg, mtp_property_returns_twice);
+ add_irg_additional_properties(irg, mtp_property_returns_twice);
}
if (decl_modifiers & DM_NORETURN) {
/* TRUE if the declaration includes the Microsoft
__declspec(noreturn) specifier. */
- set_irg_additional_property(irg, mtp_property_noreturn);
+ add_irg_additional_properties(irg, mtp_property_noreturn);
}
if (decl_modifiers & DM_NOTHROW) {
/* TRUE if the declaration includes the Microsoft
__declspec(nothrow) specifier. */
- set_irg_additional_property(irg, mtp_property_nothrow);
+ add_irg_additional_properties(irg, mtp_property_nothrow);
}
if (decl_modifiers & DM_NAKED) {
/* TRUE if the declaration includes the Microsoft
__declspec(naked) specifier. */
- set_irg_additional_property(irg, mtp_property_naked);
+ add_irg_additional_properties(irg, mtp_property_naked);
}
if (decl_modifiers & DM_FORCEINLINE) {
/* TRUE if the declaration includes the
ir_entity *ptr = new_entity(segment, ide, ptr_type);
ir_graph *irg = get_const_code_irg();
ir_node *val = new_rd_SymConst_addr_ent(NULL, irg, mode_P_code,
- method, NULL);
+ method);
set_entity_ld_ident(ptr, new_id_from_chars("", 0));
set_entity_compiler_generated(ptr, 1);
- set_entity_visibility(ptr, ir_visibility_local);
+ set_entity_visibility(ptr, ir_visibility_private);
add_entity_linkage(ptr, IR_LINKAGE_CONSTANT|IR_LINKAGE_HIDDEN_USER);
set_atomic_ent_value(ptr, val);
}
if (entity->function.statement == NULL)
return;
- if (is_main(entity) && firm_opt.os_support == OS_SUPPORT_MINGW) {
+ if (is_main(entity) && enable_main_collect2_hack) {
prepare_main_collect2(entity);
}
int n_local_vars = get_function_n_local_vars(entity);
ir_graph *irg = new_ir_graph(function_entity, n_local_vars);
+ current_ir_graph = irg;
ir_graph *old_current_function = current_function;
current_function = irg;
set_irg_fp_model(irg, firm_opt.fp_model);
tarval_enable_fp_ops(1);
- set_irn_dbg_info(get_irg_start_block(irg), get_entity_dbg_info(function_entity));
+ set_irn_dbg_info(get_irg_start_block(irg),
+ get_entity_dbg_info(function_entity));
ir_node *first_block = get_cur_block();
set_type_size_bytes(frame_type, offset);
set_type_alignment_bytes(frame_type, align_all);
- irg_vrfy(irg);
+ irg_verify(irg, VERIFY_ENFORCE_SSA);
current_function = old_current_function;
if (current_trampolines != NULL) {
ir_set_debug_retrieve(dbg_retrieve);
ir_set_type_debug_retrieve(dbg_print_type_dbg_info);
- /* OS option must be set to the backend */
- switch (firm_opt.os_support) {
- case OS_SUPPORT_MINGW:
- create_ld_ident = create_name_win32;
- break;
- case OS_SUPPORT_LINUX:
- create_ld_ident = create_name_linux_elf;
- break;
- case OS_SUPPORT_MACHO:
- create_ld_ident = create_name_macho;
- break;
- default:
- panic("unexpected OS support mode");
- }
-
/* create idents for all known runtime functions */
for (size_t i = 0; i < lengthof(rts_data); ++i) {
rts_idents[i] = new_id_from_str(rts_data[i].name);
void translation_unit_to_firm(translation_unit_t *unit)
{
+ /* initialize firm arithmetic */
+ tarval_set_integer_overflow_mode(TV_OVERFLOW_WRAP);
+ ir_set_uninitialized_local_variable_func(uninitialized_local_var);
+
/* just to be sure */
continue_label = NULL;
break_label = NULL;