{
const declaration_t *declaration = get_irg_loc_description(irg, pos);
- warningf(&declaration->source_position,
- "variable '%#T' might be used uninitialized",
- declaration->type, declaration->symbol);
+ if (declaration != NULL) {
+ warningf(&declaration->source_position,
+ "variable '%#T' might be used uninitialized",
+ declaration->type, declaration->symbol);
+ }
return new_r_Unknown(irg, mode);
}
static unsigned get_type_size_const(type_t *type)
{
- type = skip_typeref(type);
-
switch(type->kind) {
case TYPE_ERROR:
panic("error type occurred");
set_method_variadicity(irtype, variadicity_variadic);
}
+ unsigned cc = get_method_calling_convention(irtype);
+ switch (function_type->calling_convention) {
+ case CC_DEFAULT: /* unspecified calling convention, equal to one of the other, typically cdecl */
+ case CC_CDECL:
+is_cdecl:
+ set_method_calling_convention(irtype, SET_CDECL(cc));
+ break;
+
+ case CC_STDCALL:
+ if (function_type->variadic || function_type->unspecified_parameters)
+ goto is_cdecl;
+
+ /* only non-variadic function can use stdcall, else use cdecl */
+ set_method_calling_convention(irtype, SET_STDCALL(cc));
+ break;
+
+ case CC_FASTCALL:
+ if (function_type->variadic || function_type->unspecified_parameters)
+ goto is_cdecl;
+ /* only non-variadic function can use fastcall, else use cdecl */
+ set_method_calling_convention(irtype, SET_FASTCALL(cc));
+ break;
+
+ case CC_THISCALL:
+ /* Hmm, leave default, not accepted by the parser yet. */
+ warningf(&function_type->base.source_position, "THISCALL calling convention not supported yet");
+ break;
+ }
return irtype;
}
declaration_t *declaration);
create_ld_ident_func create_ld_ident = create_ld_ident_linux_elf;
+/**
+ * Handle GNU attributes for entities
+ *
+ * @param ent the entity
+ * @param decl the routine declaration
+ */
+static void handle_gnu_attributes_ent(ir_entity *ent, declaration_t *decl)
+{
+ if (decl->modifiers & DM_PURE) {
+ /* TRUE if the declaration includes the GNU
+ __attribute__((pure)) specifier. */
+ set_entity_additional_property(ent, mtp_property_pure);
+ }
+ if (decl->modifiers & DM_USED) {
+ /* TRUE if the declaration includes the GNU
+ __attribute__((used)) specifier. */
+ set_entity_stickyness(ent, stickyness_sticky);
+ }
+}
+
/**
* Creates an entity representing a function.
*
entity = new_d_entity(global_type, id, ir_type_method, dbgi);
set_entity_ld_ident(entity, create_ld_ident(entity, declaration));
+ handle_gnu_attributes_ent(entity, declaration);
+
/* static inline => local
* extern inline => local
* inline without definition => local
* inline with definition => external_visible */
-
- if (declaration->is_inline && declaration->storage_class == STORAGE_CLASS_NONE
- && declaration->init.statement != NULL) {
+ storage_class_tag_t const storage_class = declaration->storage_class;
+ bool const is_inline = declaration->is_inline;
+ bool const has_body = declaration->init.statement != NULL;
+ if (is_inline && storage_class == STORAGE_CLASS_NONE && has_body) {
set_entity_visibility(entity, visibility_external_visible);
- }
- else if (declaration->storage_class == STORAGE_CLASS_STATIC
- || declaration->is_inline) {
- if (declaration->init.statement == NULL) {
+ } else if (storage_class == STORAGE_CLASS_STATIC ||
+ (is_inline && has_body)) {
+ if (!has_body) {
/* this entity was declared, but is defined nowhere */
set_entity_peculiarity(entity, peculiarity_description);
}
set_entity_visibility(entity, visibility_local);
- } else if (declaration->init.statement != NULL) {
+ } else if (has_body) {
set_entity_visibility(entity, visibility_external_visible);
} else {
set_entity_visibility(entity, visibility_external_allocated);
ir_node *value, type_t *type)
{
pointer_type_t *const pointer_type = &type->pointer;
- type_t *const points_to = pointer_type->points_to;
+ type_t *const points_to = skip_typeref(pointer_type->points_to);
unsigned elem_size = get_type_size_const(points_to);
/* gcc extension */
ir_initializer_t *irinitializer = create_initializer_compound(len);
const char *string = initializer->string.begin;
- ir_mode *mode = get_type_mode(ir_type_const_char);
+ ir_mode *mode = get_ir_mode(type->array.element_type);
for(size_t i = 0; i < len; ++i) {
char c = 0;
}
/* create output projs & connect them */
+ if (needs_memory) {
+ ir_node *projm = new_Proj(node, mode_M, out_size+1);
+ set_store(projm);
+ }
+
size_t i;
for (i = 0; i < out_size; ++i) {
const expression_t *out_expr = out_exprs[i];
set_value_for_expression_addr(out_expr, proj, addr);
}
- if (needs_memory) {
- ir_node *projm = new_Proj(node, mode_M, i);
- set_store(projm);
- }
}
static void ms_try_statement_to_firm(ms_try_statement_t *statement) {
obstack_free(&asm_obst, NULL);
}
+static void global_asm_to_firm(statement_t *s)
+{
+ for (; s != NULL; s = s->base.next) {
+ assert(s->kind == STATEMENT_ASM);
+
+ char const *const text = s->asms.asm_text.begin;
+ size_t size = s->asms.asm_text.size;
+
+ /* skip the last \0 */
+ if (text[size - 1] == '\0')
+ --size;
+
+ ident *const id = new_id_from_chars(text, size);
+ add_irp_asm(id);
+ }
+}
+
void translation_unit_to_firm(translation_unit_t *unit)
{
/* just to be sure */
init_ir_types();
scope_to_firm(&unit->scope);
+ global_asm_to_firm(unit->global_asm);
}
projects / cparser / blobdiff