X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=type_t.h;h=4df727e7c068d6ef422230301bbe7a8f18ae0d8c;hb=058328c716b73d02e008199153059ba6e8575d05;hp=52e20c275bace303a451209da756d8fb60eb7b78;hpb=05aed3893865d2d677b3dcea792bc02e26d95d7e;p=cparser diff --git a/type_t.h b/type_t.h index 52e20c2..4df727e 100644 --- a/type_t.h +++ b/type_t.h @@ -1,3 +1,22 @@ +/* + * This file is part of cparser. + * Copyright (C) 2007-2008 Matthias Braun + * + * 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. + */ #ifndef TYPE_T_H #define TYPE_T_H @@ -14,10 +33,12 @@ extern struct obstack *type_obst; -typedef enum { +typedef enum type_kind_t { TYPE_INVALID, TYPE_ERROR, TYPE_ATOMIC, + TYPE_COMPLEX, + TYPE_IMAGINARY, TYPE_COMPOUND_STRUCT, TYPE_COMPOUND_UNION, TYPE_ENUM, @@ -30,72 +51,50 @@ typedef enum { TYPE_TYPEOF, } type_kind_t; -/* note that the constant values represent the rank of the types as defined - * in § 6.3.1 */ -typedef enum { - ATOMIC_TYPE_INVALID = 0, - ATOMIC_TYPE_VOID, - ATOMIC_TYPE_CHAR, - ATOMIC_TYPE_SCHAR, - ATOMIC_TYPE_UCHAR, - ATOMIC_TYPE_SHORT, - ATOMIC_TYPE_USHORT, - ATOMIC_TYPE_INT, - ATOMIC_TYPE_UINT, - ATOMIC_TYPE_LONG, - ATOMIC_TYPE_ULONG, - ATOMIC_TYPE_LONGLONG, - ATOMIC_TYPE_ULONGLONG, - ATOMIC_TYPE_FLOAT, - ATOMIC_TYPE_DOUBLE, - ATOMIC_TYPE_LONG_DOUBLE, - ATOMIC_TYPE_BOOL, -#ifdef PROVIDE_COMPLEX - ATOMIC_TYPE_FLOAT_COMPLEX, - ATOMIC_TYPE_DOUBLE_COMPLEX, - ATOMIC_TYPE_LONG_DOUBLE_COMPLEX, - ATOMIC_TYPE_FLOAT_IMAGINARY, - ATOMIC_TYPE_DOUBLE_IMAGINARY, - ATOMIC_TYPE_LONG_DOUBLE_IMAGINARY, -#endif - ATOMIC_TYPE_LAST -} atomic_type_kind_t; - -typedef enum { - TYPE_QUALIFIER_NONE = 0, - TYPE_QUALIFIER_CONST = 1 << 0, - TYPE_QUALIFIER_RESTRICT = 1 << 1, - TYPE_QUALIFIER_VOLATILE = 1 << 2, -} type_qualifier_t; - -typedef unsigned int type_qualifiers_t; +typedef enum type_modifier_t { + TYPE_MODIFIER_NONE = 0, + TYPE_MODIFIER_TRANSPARENT_UNION = 1 << 0, +} type_modifier_t; +typedef unsigned short type_modifiers_t; struct type_base_t { type_kind_t kind; type_qualifiers_t qualifiers; + type_modifiers_t modifiers; + unsigned char alignment; /**< The extra alignment of the type, 0 for default. */ source_position_t source_position; ir_type *firm_type; }; struct atomic_type_t { - type_base_t type; + type_base_t base; + atomic_type_kind_t akind; +}; + +struct complex_type_t { + type_base_t base; + atomic_type_kind_t akind; +}; + +struct imaginary_type_t { + type_base_t base; atomic_type_kind_t akind; }; struct builtin_type_t { - type_base_t type; + type_base_t base; symbol_t *symbol; type_t *real_type; }; struct pointer_type_t { - type_base_t type; + type_base_t base; type_t *points_to; }; struct array_type_t { - type_base_t type; + type_base_t base; type_t *element_type; expression_t *size_expression; size_t size; @@ -109,29 +108,45 @@ struct array_type_t { unsigned is_vla : 1; /**< it's a variable length array */ }; +/** + * An entry in the parameter list of a function type. + */ struct function_parameter_t { - type_t *type; - function_parameter_t *next; + type_t *type; /**< The parameter type. */ + function_parameter_t *next; /**< Points to the next type inthe parameter list.*/ }; +/** Calling conventions. */ +typedef enum cc_kind_t { + CC_DEFAULT, /**< default calling convention. */ + CC_CDECL, /**< cdecl calling convention. */ + CC_STDCALL, /**< stdcall calling convention. */ + CC_FASTCALL, /**< fastcall calling convention. */ + CC_THISCALL /**< thiscall calling convention. */ +} cc_kind_t; + +/** + * A function type. + */ struct function_type_t { - type_base_t type; - type_t *return_type; - function_parameter_t *parameters; + type_base_t base; + type_t *return_type; /**< The return type. */ + function_parameter_t *parameters; /**< A list of the parameter types. */ + cc_kind_t calling_convention; /**< The specified calling convention. */ unsigned variadic : 1; unsigned unspecified_parameters : 1; unsigned kr_style_parameters : 1; }; struct compound_type_t { - type_base_t type; + type_base_t base; /** the declaration of the compound type, the scope of the declaration * contains the compound entries. */ declaration_t *declaration; }; struct enum_type_t { - type_base_t type; + type_base_t base; /** the declaration of the enum type. You can find the enum entries by * walking the declaration->next list until you don't find * STORAGE_CLASS_ENUM_ENTRY declarations anymore */ @@ -139,21 +154,21 @@ struct enum_type_t { }; struct typedef_type_t { - type_base_t type; + type_base_t base; declaration_t *declaration; type_t *resolved_type; }; struct typeof_type_t { - type_base_t type; + type_base_t base; expression_t *expression; type_t *typeof_type; type_t *resolved_type; }; struct bitfield_type_t { - type_base_t type; - type_t *base; + type_base_t base; + type_t *base_type; expression_t *size; }; @@ -161,6 +176,8 @@ union type_t { type_kind_t kind; type_base_t base; atomic_type_t atomic; + complex_type_t complex; + imaginary_type_t imaginary; builtin_type_t builtin; pointer_type_t pointer; array_type_t array; @@ -173,6 +190,8 @@ union type_t { }; type_t *make_atomic_type(atomic_type_kind_t type, type_qualifiers_t qualifiers); +type_t *make_complex_type(atomic_type_kind_t type, type_qualifiers_t qualifiers); +type_t *make_imaginary_type(atomic_type_kind_t type, type_qualifiers_t qualifiers); type_t *make_pointer_type(type_t *points_to, type_qualifiers_t qualifiers); type_t *make_array_type(type_t *element_type, size_t size, type_qualifiers_t qualifiers);