X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=entity_t.h;h=b570f1a0031297548e2d1da8a4597b962758ef59;hb=296ba6e16420b89723d1a5b1217d6ecfc2fb0c7d;hp=27e5c9d34c74ef76b4cebbea2cc694221e898ae3;hpb=f9580ab07acfdbde64386a8e3d12a1f56dcf4a54;p=cparser diff --git a/entity_t.h b/entity_t.h index 27e5c9d..b570f1a 100644 --- a/entity_t.h +++ b/entity_t.h @@ -20,15 +20,15 @@ #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 "token_t.h" typedef enum { - ENTITY_INVALID, - ENTITY_VARIABLE, + ENTITY_VARIABLE = 1, ENTITY_COMPOUND_MEMBER, ENTITY_PARAMETER, ENTITY_FUNCTION, @@ -45,8 +45,7 @@ typedef enum { typedef unsigned char entity_kind_t; typedef enum namespace_tag_t { - NAMESPACE_INVALID, - NAMESPACE_NORMAL, + NAMESPACE_NORMAL = 1, NAMESPACE_TAG, NAMESPACE_LABEL } namespace_tag_t; @@ -92,8 +91,17 @@ typedef enum decl_modifier_t { DM_RETURNS_TWICE = 1 << 25, DM_MALLOC = 1 << 26, DM_WEAK = 1 << 27, + DM_LEAF = 1 << 28, } decl_modifier_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. */ @@ -128,6 +136,7 @@ struct compound_t { entity_t *alias; /* used for name mangling of anonymous types */ scope_t members; decl_modifiers_t modifiers; + attribute_t *attributes; bool layouted : 1; bool complete : 1; bool transparent_union : 1; @@ -156,13 +165,14 @@ 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 */ @@ -199,10 +209,10 @@ struct declaration_t { struct compound_member_t { declaration_t base; - bool read : 1; - bool address_taken : 1; /**< Set if the address of this declaration was taken. */ - unsigned short offset; /**< the offset of this member in the compound */ + 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; @@ -210,13 +220,11 @@ struct compound_member_t { struct variable_t { declaration_t base; - bool thread_local : 1; /**< GCC __thread */ - bool restricta : 1; - bool deprecated : 1; - bool noalias : 1; + bool thread_local : 1; - bool address_taken : 1; /**< Set if the address of this declaration was taken. */ - bool read : 1; + bool address_taken : 1; /**< Set if the address of this declaration was taken. */ + bool read : 1; + unsigned elf_visibility : 2; initializer_t *initializer; @@ -228,94 +236,32 @@ struct variable_t { } v; }; -struct parameter_t { - declaration_t base; - bool address_taken : 1; - bool read : 1; - - /* ast2firm info */ - union { - unsigned int value_number; - ir_entity *entity; - } v; -}; - -/** - * GNU builtin or MS intrinsic functions. - */ -typedef enum builtin_kind_t { - bk_none = 0, /**< no builtin */ - bk_gnu_builtin_alloca, /**< GNU __builtin_alloca */ - bk_gnu_builtin_huge_val, /**< GNU __builtin_huge_val */ - bk_gnu_builtin_inf, /**< GNU __builtin_inf */ - bk_gnu_builtin_inff, /**< GNU __builtin_inff */ - bk_gnu_builtin_infl, /**< GNU __builtin_infl */ - bk_gnu_builtin_nan, /**< GNU __builtin_nan */ - bk_gnu_builtin_nanf, /**< GNU __builtin_nanf */ - bk_gnu_builtin_nanl, /**< GNU __builtin_nanl */ - bk_gnu_builtin_va_end, /**< GNU __builtin_va_end */ - bk_gnu_builtin_expect, /**< GNU __builtin_expect */ - bk_gnu_builtin_return_address, /**< GNU __builtin_return_address */ - bk_gnu_builtin_frame_address, /**< GNU __builtin_frame_address */ - bk_gnu_builtin_ffs, /**< GNU __builtin_ffs */ - bk_gnu_builtin_clz, /**< GNU __builtin_clz */ - bk_gnu_builtin_ctz, /**< GNU __builtin_ctz */ - bk_gnu_builtin_popcount, /**< GNU __builtin_popcount */ - bk_gnu_builtin_parity, /**< GNU __builtin_parity */ - bk_gnu_builtin_prefetch, /**< GNU __builtin_prefetch */ - bk_gnu_builtin_trap, /**< GNU __builtin_trap */ - - bk_ms_rotl, /**< MS _rotl */ - bk_ms_rotr, /**< MS _rotr */ - bk_ms_rotl64, /**< MS _rotl64 */ - bk_ms_rotr64, /**< MS _rotr64 */ - bk_ms_byteswap_ushort, /**< MS _byteswap_ushort */ - bk_ms_byteswap_ulong, /**< MS _byteswap_ulong */ - bk_ms_byteswap_uint64, /**< MS _byteswap_uint64 */ - - bk_ms__debugbreak, /**< MS __debugbreak */ - bk_ms_ReturnAddress, /**< MS _ReturnAddress */ - bk_ms_AddressOfReturnAddress, /**< MS _AddressOfReturnAddress */ - bk_ms__popcount, /**< MS __popcount */ - bk_ms_enable, /**< MS _enable */ - bk_ms_disable, /**< MS _disable */ - bk_ms__inbyte, /**< MS __inbyte */ - bk_ms__inword, /**< MS __inword */ - bk_ms__indword, /**< MS __indword */ - bk_ms__outbyte, /**< MS __outbyte */ - bk_ms__outword, /**< MS __outword */ - bk_ms__outdword, /**< MS __outdword */ - bk_ms__ud2, /**< MS __ud2 */ - bk_ms_BitScanForward, /**< MS _BitScanForward */ - bk_ms_BitScanReverse, /**< MS _BitScanReverse */ - bk_ms_InterlockedExchange, /**< MS _InterlockedExchange */ - bk_ms_InterlockedExchange64, /**< MS _InterlockedExchange64 */ - bk_ms__readeflags, /**< MS __readflags */ - bk_ms__writeeflags, /**< MS __writeflags */ -} builtin_kind_t; - struct function_t { declaration_t base; - bool is_inline : 1; + 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 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 *irentity; - ir_node *static_link; /**< if need_closure is set, the node - representing the static link. */ + 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; @@ -324,21 +270,20 @@ union entity_t { typedef_t typedefe; declaration_t declaration; variable_t variable; - parameter_t parameter; function_t function; compound_member_t compound_member; }; -#define DECLARATION_KIND_CASES \ - case ENTITY_FUNCTION: \ - case ENTITY_VARIABLE: \ - case ENTITY_PARAMETER: \ - case ENTITY_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) { switch(entity->kind) { - DECLARATION_KIND_CASES + case DECLARATION_KIND_CASES: return true; default: return false; @@ -347,4 +292,10 @@ static inline bool is_declaration(const entity_t *entity) 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