/*
* This file is part of cparser.
- * Copyright (C) 2007-2008 Matthias Braun <matze@braunis.de>
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
- * 02111-1307, USA.
+ * Copyright (C) 2012 Matthias Braun <matze@braunis.de>
*/
#ifndef ENTITY_T_H
#define ENTITY_T_H
+#include "ast.h"
+#include "symbol.h"
#include "entity.h"
+#include "attribute.h"
+#include <libfirm/firm_types.h>
+#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,
ENTITY_ENUM_VALUE,
ENTITY_LABEL,
- ENTITY_LOCAL_LABEL
+ ENTITY_LOCAL_LABEL,
+ ENTITY_NAMESPACE
} entity_kind_tag_t;
typedef unsigned char entity_kind_t;
typedef enum namespace_tag_t {
- NAMESPACE_INVALID,
- NAMESPACE_NORMAL,
- NAMESPACE_STRUCT,
- NAMESPACE_UNION,
- NAMESPACE_ENUM,
- NAMESPACE_LABEL,
- NAMESPACE_LOCAL_LABEL
+ NAMESPACE_NORMAL = 1,
+ NAMESPACE_TAG,
+ NAMESPACE_LABEL
} namespace_tag_t;
-typedef unsigned char namespace_t;
+typedef unsigned char entity_namespace_t;
typedef enum storage_class_tag_t {
STORAGE_CLASS_NONE,
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;
typedef enum decl_modifier_t {
+ DM_NONE = 0,
DM_DLLIMPORT = 1 << 0,
DM_DLLEXPORT = 1 << 1,
DM_THREAD = 1 << 2,
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; /**< pointer to last entity (so appending is fast) */
+ unsigned depth; /**< while parsing, the depth of this scope in the
+ scope stack. */
+};
/**
* a named entity is something which can be referenced by its name
*/
struct entity_base_t {
entity_kind_t kind;
- namespace_t namespc;
+ entity_namespace_t namespc;
symbol_t *symbol;
- source_position_t source_position;
- scope_t *parent_scope; /**< The parent scope where this declaration lives. */
+ position_t pos;
+ scope_t *parent_scope; /**< The scope where this entity
+ is contained in */
+ entity_t *parent_entity;
/** next declaration in a scope */
entity_t *next;
struct compound_t {
entity_base_t base;
+ entity_t *alias; /* used for name mangling of anonymous types */
scope_t members;
decl_modifiers_t modifiers;
- bool complete : 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;
struct enum_t {
entity_base_t base;
+ entity_t *alias; /* used for name mangling of anonymous types */
bool complete : 1;
-
- /* ast2firm info */
- ir_type *irtype;
};
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 {
+ entity_base_t base;
+ scope_t members;
};
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;
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;
+
+ bool address_taken : 1; /**< Set if the address of this declaration was taken. */
+ bool read : 1;
+ unsigned elf_visibility : 2;
- initializer_t *initializer;
+ initializer_t *initializer;
/* ast2firm info */
union {
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;
label_t label;
+ namespace_t namespacee;
typedef_t typedefe;
declaration_t declaration;
variable_t variable;
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*, position_t const*);
+
+elf_visibility_tag_t get_elf_visibility_from_string(const char *string);
+
+entity_t *skip_unnamed_bitfields(entity_t*);
+
#endif
projects / cparser / blobdiff