X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=entity_t.h;h=e1a26ed9167d03f1feb7e53e39c22b2b6de8e864;hb=6275ceca70721ec10e92124fb5bfa368e9db539b;hp=c17afe2c2f67bf80da1cc832f3b22856af6b8ddb;hpb=b7aee7a7ddee373437c04479c6ec00f14639d4da;p=cparser diff --git a/entity_t.h b/entity_t.h index c17afe2..e1a26ed 100644 --- a/entity_t.h +++ b/entity_t.h @@ -1,6 +1,6 @@ /* * This file is part of cparser. - * Copyright (C) 2007-2008 Matthias Braun + * Copyright (C) 2007-2009 Matthias Braun * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License @@ -20,16 +20,21 @@ #ifndef ENTITY_T_H #define ENTITY_T_H -#include "lexer.h" #include "symbol.h" #include "entity.h" +#include "attribute.h" +#include +#include "builtins.h" +#include "jump_target.h" +#include "token_t.h" typedef enum { - ENTITY_INVALID, - ENTITY_VARIABLE, + ENTITY_VARIABLE = 1, ENTITY_COMPOUND_MEMBER, + ENTITY_PARAMETER, ENTITY_FUNCTION, ENTITY_TYPEDEF, + ENTITY_CLASS, ENTITY_STRUCT, ENTITY_UNION, ENTITY_ENUM, @@ -41,11 +46,8 @@ typedef enum { typedef unsigned char entity_kind_t; typedef enum namespace_tag_t { - NAMESPACE_INVALID, - NAMESPACE_NORMAL, - NAMESPACE_STRUCT, - NAMESPACE_UNION, - NAMESPACE_ENUM, + NAMESPACE_NORMAL = 1, + NAMESPACE_TAG, NAMESPACE_LABEL } namespace_tag_t; typedef unsigned char entity_namespace_t; @@ -57,9 +59,6 @@ typedef enum storage_class_tag_t { STORAGE_CLASS_TYPEDEF, STORAGE_CLASS_AUTO, STORAGE_CLASS_REGISTER, - STORAGE_CLASS_THREAD, - STORAGE_CLASS_THREAD_EXTERN, - STORAGE_CLASS_THREAD_STATIC, } storage_class_tag_t; typedef unsigned char storage_class_t; @@ -78,32 +77,40 @@ typedef enum decl_modifier_t { DM_NOINLINE = 1 << 10, DM_RESTRICT = 1 << 11, DM_NOALIAS = 1 << 12, - DM_PACKED = 1 << 13, - DM_TRANSPARENT_UNION = 1 << 14, - DM_CONST = 1 << 15, - DM_PURE = 1 << 16, - DM_CONSTRUCTOR = 1 << 17, - DM_DESTRUCTOR = 1 << 18, - DM_UNUSED = 1 << 19, - DM_USED = 1 << 20, - DM_CDECL = 1 << 21, - DM_FASTCALL = 1 << 22, - DM_STDCALL = 1 << 23, - DM_THISCALL = 1 << 24, - DM_DEPRECATED = 1 << 25 + DM_TRANSPARENT_UNION = 1 << 13, + DM_CONST = 1 << 14, + DM_PURE = 1 << 15, + DM_CONSTRUCTOR = 1 << 16, + DM_DESTRUCTOR = 1 << 17, + DM_UNUSED = 1 << 18, + DM_USED = 1 << 19, + DM_CDECL = 1 << 20, + DM_FASTCALL = 1 << 21, + DM_STDCALL = 1 << 22, + DM_THISCALL = 1 << 23, + DM_DEPRECATED = 1 << 24, + DM_RETURNS_TWICE = 1 << 25, + DM_MALLOC = 1 << 26, + DM_WEAK = 1 << 27, + DM_LEAF = 1 << 28, } decl_modifier_t; -typedef unsigned decl_modifiers_t; +typedef enum elf_visibility_tag_t { + ELF_VISIBILITY_DEFAULT, + ELF_VISIBILITY_HIDDEN, + ELF_VISIBILITY_INTERNAL, + ELF_VISIBILITY_PROTECTED, + ELF_VISIBILITY_ERROR +} elf_visibility_tag_t; /** * A scope containing entities. */ struct scope_t { entity_t *entities; - entity_t *last_entity; - scope_t *parent; /**< points to the parent scope. */ - unsigned depth; /**< while parsing, the depth of this scope in the - scope stack. */ + entity_t *last_entity; /**< pointer to last entity (so appending is fast) */ + unsigned depth; /**< while parsing, the depth of this scope in the + scope stack. */ }; /** @@ -115,7 +122,9 @@ struct entity_base_t { entity_namespace_t namespc; symbol_t *symbol; source_position_t source_position; - scope_t *parent_scope; /**< The parent scope where this declaration lives. */ + scope_t *parent_scope; /**< The scope where this entity + is contained in */ + entity_t *parent_entity; /** next declaration in a scope */ entity_t *next; @@ -128,8 +137,14 @@ struct compound_t { entity_t *alias; /* used for name mangling of anonymous types */ scope_t members; decl_modifiers_t modifiers; - bool complete : 1; - bool has_flexible_member : 1; + attribute_t *attributes; + bool layouted : 1; + bool complete : 1; + bool transparent_union : 1; + bool packed : 1; + + il_alignment_t alignment; + il_size_t size; /* ast2firm info */ ir_type *irtype; @@ -151,17 +166,19 @@ struct enum_value_t { type_t *enum_type; /* ast2firm info */ - tarval *tv; + ir_tarval *tv; }; struct label_t { entity_base_t base; bool used : 1; bool address_taken : 1; + unsigned n_users; /* Reference counter to mature the label block as early as possible. */ statement_t *statement; /* ast2firm info */ - ir_node *block; + jump_target target; + ir_node *indirect_block; }; struct namespace_t { @@ -173,18 +190,20 @@ struct typedef_t { entity_base_t base; decl_modifiers_t modifiers; type_t *type; + il_alignment_t alignment; bool builtin : 1; }; struct declaration_t { entity_base_t base; + type_t *type; storage_class_t declared_storage_class; storage_class_t storage_class; decl_modifiers_t modifiers; - const char *deprecated_string; /**< MS deprecated string if any. */ - bool used : 1; /**< Set if the declaration is used. */ - bool implicit : 1; /**< Set for implicit (not found in source code) declarations. */ - type_t *type; + il_alignment_t alignment; + attribute_t *attributes; + bool used : 1; /**< Set if the declaration is used. */ + bool implicit : 1; /**< Set for implicit (not found in source code) declarations. */ /* ast2firm info */ unsigned char kind; @@ -192,22 +211,24 @@ struct declaration_t { struct compound_member_t { declaration_t base; - bool read : 1; + il_size_t offset; /**< the offset of this member in the compound */ + unsigned char bit_offset; /**< extra bit offset for bitfield members */ + unsigned char bit_size; /**< bitsize for bitfield members */ + bool bitfield : 1; /**< member is (part of) a bitfield */ /* ast2firm info */ ir_entity *entity; - il_size_t offset; /**< The offset of this member inside a compound. */ }; struct variable_t { - declaration_t base; - bool address_taken : 1; /**< Set if the address of this declaration was taken. */ - bool read : 1; - unsigned char alignment; /**< Alignment of the declaration, 0 for default. */ - symbol_t *get_property_sym; /**< MS get property. */ - symbol_t *put_property_sym; /**< MS put property. */ + declaration_t base; + bool thread_local : 1; - initializer_t *initializer; + bool address_taken : 1; /**< Set if the address of this declaration was taken. */ + bool read : 1; + unsigned elf_visibility : 2; + + initializer_t *initializer; /* ast2firm info */ union { @@ -219,22 +240,30 @@ struct variable_t { struct function_t { declaration_t base; - bool is_inline : 1; - bool need_closure : 1; /**< Inner function needs closure. */ - bool goto_to_outer : 1; /**< Inner function has goto to outer function. */ + bool is_inline : 1; + + bool need_closure : 1; /**< Inner function needs closure. */ + bool goto_to_outer : 1; /**< Inner function has goto to outer function. */ + unsigned elf_visibility : 2; + builtin_kind_t btk; scope_t parameters; - statement_t *statement; + statement_t *body; + symbol_t *actual_name; /**< gnu extension __REDIRECT */ /* ast2firm info */ - ir_entity *entity; + union { + ir_builtin_kind firm_builtin_kind; + unsigned chk_arg_pos; + } b; + ir_entity *irentity; + ir_node *static_link; /**< if need_closure is set, the node + representing the static link. */ }; union entity_t { entity_kind_t kind; entity_base_t base; - compound_t structe; - compound_t unione; compound_t compound; enum_t enume; enum_value_t enum_value; @@ -247,10 +276,28 @@ union entity_t { compound_member_t compound_member; }; +#define DECLARATION_KIND_CASES \ + ENTITY_FUNCTION: \ + case ENTITY_VARIABLE: \ + case ENTITY_PARAMETER: \ + case ENTITY_COMPOUND_MEMBER + static inline bool is_declaration(const entity_t *entity) { - return entity->kind == ENTITY_FUNCTION || entity->kind == ENTITY_VARIABLE - || entity->kind == ENTITY_COMPOUND_MEMBER; + switch(entity->kind) { + case DECLARATION_KIND_CASES: + return true; + default: + return false; + } } +const char *get_entity_kind_name(entity_kind_t kind); + +entity_t *allocate_entity_zero(entity_kind_t, entity_namespace_t, symbol_t*, source_position_t const*); + +elf_visibility_tag_t get_elf_visibility_from_string(const char *string); + +entity_t *skip_unnamed_bitfields(entity_t*); + #endif