ctrump/ast/types.h

Go to the documentation of this file.

/* -*- coding:utf-8 -*- 
 Copyright (c) 2009, Fixstars Corporation
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without modification, 
 are permitted provided that the following conditions are met:
 
   * Redistributions of source code must retain the above copyright notice,
     this list of conditions and the following disclaimer.
 
   * Redistributions in binary form must reproduce the above copyright notice,
     this list of conditions and the following disclaimer in the documentation
     and/or other materials provided with the distribution.
 
   * Neither the name of Fixstars Corporation nor the names of its contributors
     may be used to endorse or promote products derived from this software
     without specific prior written permission.
 
 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
 ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
 WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
 INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
 (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
 LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
 AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
 OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF
 THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/

#ifndef CTRUMP_PARSER_TYPE_H
#define CTRUMP_PARSER_TYPE_H

#include "ctrump/common/symbol.h"
#include "ctrump/common/mempool.h"
#include "ctrump/ast/location.h"
#include "ctrump/ast/source-string.h"
#include "ctrump/common/dll.h"

#ifdef __cplusplus
extern "C" {
#endif

struct ctrump_texpr;

enum ctrump_builtin_type_code {
    CTRUMP_BOOL,
    CTRUMP_CHAR,
    CTRUMP_SCHAR,
    CTRUMP_UCHAR,
    CTRUMP_SSHORT,
    CTRUMP_USHORT,
    CTRUMP_SINT,
    CTRUMP_UINT,
    CTRUMP_SLONG,
    CTRUMP_ULONG,
    CTRUMP_SLONGLONG,
    CTRUMP_ULONGLONG,
    CTRUMP_FLOAT,
    CTRUMP_DOUBLE,
    CTRUMP_LONG_DOUBLE,
    CTRUMP_VOID,

    /* Language Extension for CBE */
    CTRUMP_VEC_SCHAR,
    CTRUMP_VEC_UCHAR,
    CTRUMP_VEC_SSHORT,
    CTRUMP_VEC_USHORT,
    CTRUMP_VEC_SINT,
    CTRUMP_VEC_UINT,
    CTRUMP_VEC_SLONG,
    CTRUMP_VEC_ULONG,
    CTRUMP_VEC_SLONGLONG,
    CTRUMP_VEC_ULONGLONG,
    CTRUMP_VEC_FLOAT,
    CTRUMP_VEC_DOUBLE,
};

CTRUMP_EXTDEF extern const int ctrump_builtin_type_is_float_table[];

CTRUMP_EXTDEF extern const int ctrump_builtin_type_is_scalar_table[];

CTRUMP_EXTDEF int ctrump_type_is_float(const struct ctrump_texpr *type);
CTRUMP_EXTDEF int ctrump_type_is_scalar(const struct ctrump_texpr *type);

enum ctrump_texpr_code {
    CTRUMP_TYPE_BUILTIN,
    CTRUMP_TYPE_UNION,
    CTRUMP_TYPE_STRUCT,
    CTRUMP_TYPE_ENUM,
    CTRUMP_TYPE_FUNC,
    CTRUMP_TYPE_POINTER,
    CTRUMP_TYPE_ARRAY,
    CTRUMP_TYPE_INCOMPLETE_ARRAY,
    CTRUMP_TYPE_VARLEN_ARRAY,
    CTRUMP_TYPE_TYPEDEF_NAME,
    CTRUMP_TYPE_QUALIFIED
};

#define CTRUMP_ALIGN_UNSPECIFIED (-1)

/* gcc attributes */
#define CTRUMP_QUAL_ATTR_PACKED (1<<0)
#define CTRUMP_QUAL_ATTR_MAY_ALIAS (1<<1)
#define CTRUMP_TYPE_ATTR_PACKED (1<<2)

struct ctrump_gccext_attribute {
    int aligned;                
    int flags;                  
};

#define CTRUMP_BITFIELD_UNSPECIFIED (-1)

struct ctrump_record_type_field{
    const struct ctrump_symbol *name; 
    struct ctrump_texpr *type;        
    int bitfield_width; 
    struct ctrump_gccext_attribute attr; 
};

struct ctrump_record_type {
    const struct ctrump_symbol *name; 
    int is_completed;                 
    int nfield;                       
    struct ctrump_record_type_field *fields; 
    struct ctrump_gccext_attribute attr;     
};

struct ctrump_enum_type_field {
    const struct ctrump_symbol *name; 
    long long value;                  
};

struct ctrump_enum_type {
    const struct ctrump_symbol *name; 
    int is_completed;                 
    int nfield;                       
    struct ctrump_enum_type_field *fields; 
};

struct ctrump_function_type {
    int arg_num;                
    int has_unspecified_arg;    
    struct ctrump_texpr *ret;   
    struct ctrump_texpr **args; 
};

/*
 * qualifier flags 
 */

/* c99 qualifiers */
#define CTRUMP_QUAL_CONST (1<<0)
#define CTRUMP_QUAL_RESTRICT (1<<1)
#define CTRUMP_QUAL_VOLATILE (1<<2)

/* direct-declarator static
 * int a[static const 3];
 * (not for storage class) */
#define CTRUMP_QUAL_STATIC (1<<3)

struct ctrump_typedef_name {
    const struct ctrump_symbol *def_name; 
    struct ctrump_texpr *defined_to;      
};

struct ctrump_qualified_type {
    struct ctrump_texpr *unqualified_type; 
    struct ctrump_gccext_attribute attr;   
    int qual_flags;                        
};

struct ctrump_builtin_type {
    enum ctrump_builtin_type_code code; 
    const char *name;                   
};

struct ctrump_array_type {
    struct ctrump_texpr *array_of; 
    int size;                      
};

struct ctrump_array_type_chain {
    int size;                   
    struct ctrump_texpr *t;     
    struct ctrump_array_type_chain *chain; 
};

struct ctrump_qualified_type_chain {
    struct ctrump_texpr *type;  
    struct ctrump_qualified_type_chain *chain; 
    struct ctrump_gccext_attribute attr;       
    int qual_flags;                            
};

struct ctrump_func_type_node {
    struct ctrump_texpr *arg_type; 
    struct ctrump_texpr *func_type; 
    struct ctrump_func_type_node *brother; 
    struct ctrump_func_type_node *child;   
};

struct ctrump_texpr {
    int id;
    enum ctrump_texpr_code code; 
    struct ctrump_texpr *pointer_type; 
    struct ctrump_texpr *incomplete_array_type; 
    struct ctrump_array_type_chain *array_types; 
    struct ctrump_func_type_node *func_types;    
    struct ctrump_qualified_type_chain *qualified_types; 
    union {
        struct ctrump_builtin_type builtin;
        struct ctrump_texpr *pointer_to;
        struct ctrump_texpr *incomplete_array_of;
        struct ctrump_texpr *varlen_array_of;
        struct ctrump_array_type array;
        struct ctrump_record_type struct_, union_;
        struct ctrump_function_type func;
        struct ctrump_typedef_name typedef_name;
        struct ctrump_qualified_type qualified;
        struct ctrump_enum_type enum_;
    }u;
};

#define DEFINE_BUILTIN_TYPE(str_name,code,sym)  \
    CTRUMP_EXTDEF extern struct ctrump_texpr ctrump_builtin_##str_name;
#include "ctrump/ast/builtin-types.def"
#undef DEFINE_BUILTIN_TYPE

struct ctrump_type_env {
    int id;
    struct ctrump_mempool type_allocator;
    struct ctrump_texpr *builtin_char_type;
};


CTRUMP_EXTDEF struct ctrump_texpr *ctrump_get_typedef_name(struct ctrump_type_env *env,
                                                           struct ctrump_texpr *orig_type,
                                                           const struct ctrump_symbol *name);

CTRUMP_EXTDEF struct ctrump_texpr *ctrump_get_qualified_attr_type(struct ctrump_type_env *env,
                                                                  struct ctrump_texpr *texpr,
                                                                  int qual_flags,
                                                                  const struct ctrump_gccext_attribute *attr);

CTRUMP_EXTDEF struct ctrump_texpr *ctrump_get_qualified_type(struct ctrump_type_env *env,
                                                             struct ctrump_texpr *texpr,
                                                             int qual_flags);

CTRUMP_EXTDEF struct ctrump_texpr *ctrump_get_unqualified_type(struct ctrump_texpr *texpr);

CTRUMP_EXTDEF struct ctrump_texpr *ctrump_get_pointer_type(struct ctrump_type_env *env,
                                                           struct ctrump_texpr *texpr);

CTRUMP_EXTDEF struct ctrump_texpr *ctrump_get_array_type(struct ctrump_type_env *env,
                                                         struct ctrump_texpr *texpr,
                                                         int size);

CTRUMP_EXTDEF struct ctrump_texpr *ctrump_get_incomplete_array_type(struct ctrump_type_env *env,
                                                                    struct ctrump_texpr *texpr);


CTRUMP_EXTDEF struct ctrump_texpr *ctrump_get_varlen_array_type(struct ctrump_type_env *env,
                                                                struct ctrump_texpr *texpr);

CTRUMP_EXTDEF struct ctrump_texpr *ctrump_get_incomplete_struct_type(struct ctrump_type_env *env,
                                                                     enum ctrump_texpr_code code, /* union or struct */
                                                                     const struct ctrump_symbol *name); /* NULL if anonymous */

CTRUMP_EXTDEF void ctrump_complete_struct_type(struct ctrump_record_type *record_type,
                                               int nfield,
                                               struct ctrump_record_type_field *fields,
                                               struct ctrump_gccext_attribute *attr);

CTRUMP_EXTDEF struct ctrump_texpr *ctrump_get_incomplete_enum_type(struct ctrump_type_env *env,
                                                                   const struct ctrump_symbol *name /* NULL if anonymous */
    );

CTRUMP_EXTDEF void ctrump_complete_enum_type(struct ctrump_enum_type *enum_type,
                                             int nfield,
                                             struct ctrump_enum_type_field *fields);

struct ctrump_get_functype_iterator
{
    struct ctrump_func_type_node *cur;
    int cur_arg;
    struct ctrump_texpr *ret;
    struct ctrump_texpr **args;
};


CTRUMP_EXTDEF void ctrump_get_functype_begin(struct ctrump_get_functype_iterator *iter,
                                             struct ctrump_type_env *env,
                                             struct ctrump_texpr *ret_type,
                                             int num_args);

CTRUMP_EXTDEF void ctrump_get_functype_next(struct ctrump_type_env *env,
                                            struct ctrump_get_functype_iterator *iter,
                                            struct ctrump_texpr *arg);

CTRUMP_EXTDEF void ctrump_get_functype_cancel(struct ctrump_get_functype_iterator *iter);

CTRUMP_EXTDEF struct ctrump_texpr * ctrump_get_functype_end(struct ctrump_type_env *env,
                                                            struct ctrump_get_functype_iterator *iter,
                                                            int has_unspec_arg);

CTRUMP_EXTDEF void ctrump_type_env_init(struct ctrump_type_env *env,
                                        int is_char_signed);

CTRUMP_EXTDEF void ctrump_type_env_destroy(struct ctrump_type_env *env);

CTRUMP_EXTDEF struct ctrump_texpr *ctrump_alloc_texpr(struct ctrump_type_env *env, enum ctrump_texpr_code code);


CTRUMP_EXTDEF int ctrump_texpr_is_pointer(struct ctrump_texpr *type);

CTRUMP_EXTDEF struct ctrump_texpr *ctrump_texpr_apply_unary_pointer_conversion(struct ctrump_type_env *env,
                                                                               struct ctrump_texpr *type);

CTRUMP_EXTDEF struct ctrump_texpr *ctrump_retrieve_pointer_type(struct ctrump_texpr *type);

CTRUMP_EXTDEF struct ctrump_texpr *ctrump_retrieve_address_type(struct ctrump_texpr *type);


CTRUMP_EXTDEF struct ctrump_texpr *ctrump_retrieve_typedef_name(struct ctrump_texpr *texpr);


CTRUMP_EXTDEF struct ctrump_gccext_attribute
ctrump_merge_attr(const struct ctrump_gccext_attribute *decl_attr,
                  const struct ctrump_gccext_attribute *var_attr);

CTRUMP_EXTDEF int ctrump_is_scalar_type(const struct ctrump_texpr *texpr);

#ifdef __cplusplus
}
#endif

#endif

---