/*
* This file is part of cparser.
- * Copyright (C) 2007-2008 Matthias Braun <matze@braunis.de>
+ * Copyright (C) 2007-2009 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
#include "lexer.h"
#include "symbol.h"
#include "entity.h"
+#include "attribute.h"
#include <libfirm/firm_types.h>
+#include "builtins.h"
typedef enum {
ENTITY_INVALID,
ENTITY_PARAMETER,
ENTITY_FUNCTION,
ENTITY_TYPEDEF,
+ ENTITY_CLASS,
ENTITY_STRUCT,
ENTITY_UNION,
ENTITY_ENUM,
typedef enum namespace_tag_t {
NAMESPACE_INVALID,
NAMESPACE_NORMAL,
- NAMESPACE_STRUCT,
- NAMESPACE_UNION,
- NAMESPACE_ENUM,
+ NAMESPACE_TAG,
NAMESPACE_LABEL
} namespace_tag_t;
typedef unsigned char entity_namespace_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_RETURNS_TWICE = 1 << 26,
+ 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,
} decl_modifier_t;
-typedef unsigned decl_modifiers_t;
-
/**
* A scope containing entities.
*/
struct scope_t {
entity_t *entities;
- entity_t *last_entity;
- 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. */
};
/**
source_position_t source_position;
scope_t *parent_scope; /**< The scope where this entity
is contained in */
+ entity_t *parent_entity;
/** next declaration in a scope */
entity_t *next;
entity_t *alias; /* used for name mangling of anonymous types */
scope_t members;
decl_modifiers_t modifiers;
- bool complete : 1;
+ 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;
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;
- unsigned char alignment;
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 */
+ unsigned char bit_offset; /**< extra bit offset for bitfield members */
/* ast2firm info */
ir_entity *entity;
- il_size_t offset; /**< The offset of this member inside a compound. */
};
struct variable_t {
- declaration_t base;
- bool thread_local : 1; /**< GCC __thread */
- bool address_taken : 1; /**< Set if the address of this declaration was taken. */
- bool read : 1;
- unsigned char alignment;
- symbol_t *get_property_sym; /**< MS get property. */
- symbol_t *put_property_sym; /**< MS put property. */
+ declaration_t base;
+ bool thread_local : 1; /**< GCC __thread */
+ bool restricta : 1;
+ bool deprecated : 1;
+ bool noalias : 1;
+
+ bool address_taken : 1; /**< Set if the address of this declaration was taken. */
+ bool read : 1;
- initializer_t *initializer;
+ initializer_t *initializer;
/* ast2firm info */
union {
} 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 need_closure : 1; /**< Inner function needs closure. */
bool goto_to_outer : 1; /**< Inner function has goto to outer function. */
statement_t *statement;
/* ast2firm info */
- ir_entity *entity;
+ ir_entity *irentity;
+ ir_node *static_link; /**< if need_closure is set, the node
+ representing the static link. */
};
union entity_t {
compound_member_t compound_member;
};
+#define DECLARATION_KIND_CASES \
+ case 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_PARAMETER
- || entity->kind == ENTITY_COMPOUND_MEMBER;
+ switch(entity->kind) {
+ 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 kind);
+
#endif