X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=type_t.h;h=67a23b935417dcfdd24d22d94c74e315f8d0b104;hb=ae40d62f736098a12e3e31ab2d5cfb24f2467742;hp=17b90e14686a8d15e828c215d8372520ed146a16;hpb=1c030e37ec4ee92e8ec7786dac4d41124099efbc;p=cparser diff --git a/type_t.h b/type_t.h index 17b90e1..67a23b9 100644 --- a/type_t.h +++ b/type_t.h @@ -3,6 +3,8 @@ #include +#include + #include "type.h" #include "symbol.h" #include "token_t.h" @@ -17,7 +19,7 @@ typedef enum { TYPE_COMPOUND_STRUCT, TYPE_COMPOUND_UNION, TYPE_ENUM, - TYPE_METHOD, + TYPE_FUNCTION, TYPE_POINTER, TYPE_ARRAY, TYPE_BUILTIN, @@ -25,8 +27,10 @@ typedef enum { TYPE_TYPEOF } type_type_t; +/* note that the constant values represent the rank of the types as defined + * in § 6.3.1 */ typedef enum { - ATOMIC_TYPE_INVALID, + ATOMIC_TYPE_INVALID = 0, ATOMIC_TYPE_VOID, ATOMIC_TYPE_CHAR, ATOMIC_TYPE_SCHAR, @@ -56,15 +60,17 @@ typedef enum { } atomic_type_type_t; typedef enum { + TYPE_QUALIFIER_NONE = 0, TYPE_QUALIFIER_CONST = 1 << 0, TYPE_QUALIFIER_RESTRICT = 1 << 1, TYPE_QUALIFIER_VOLATILE = 1 << 2, - TYPE_QUALIFIER_INLINE = 1 << 3, } type_qualifier_t; struct type_t { type_type_t type; type_qualifier_t qualifiers; + + ir_type *firm_type; }; struct atomic_type_t { @@ -75,6 +81,7 @@ struct atomic_type_t { struct builtin_type_t { type_t type; symbol_t *symbol; + type_t *real_type; }; struct pointer_type_t { @@ -90,22 +97,22 @@ struct array_type_t { expression_t *size; }; -struct method_parameter_t { - type_t *type; - method_parameter_t *next; +struct function_parameter_t { + type_t *type; + function_parameter_t *next; }; -struct method_type_t { - type_t type; - type_t *result_type; - method_parameter_t *parameters; - bool variadic; - bool unspecified_parameters; +struct function_type_t { + type_t type; + type_t *result_type; + function_parameter_t *parameters; + bool variadic; + bool unspecified_parameters; }; struct compound_type_t { type_t type; - /** the declaration of the compound type, it's context field + /** the declaration of the compound type, its context field * contains the compound entries. */ declaration_t *declaration; };