X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=types.c;h=24d38d363a6ed4fb4952059986ee30a0064b19a1;hb=10842603c042d3c62f128519d6356b3817b6a0db;hp=53b78b5a5bbef99d06942c30f38f87778ad6bb3b;hpb=b6896812e8b666bd893a13948a838dedb011282b;p=cparser diff --git a/types.c b/types.c index 53b78b5..24d38d3 100644 --- a/types.c +++ b/types.c @@ -1,8 +1,33 @@ +/* + * This file is part of cparser. + * Copyright (C) 2007-2009 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. + */ #include "type_t.h" #include "types.h" +#include "lang_features.h" +#include "entity_t.h" +/** The error type. */ +type_t *type_error_type; +type_t *type_bool; type_t *type_char; +type_t *type_const_char; type_t *type_double; type_t *type_float; type_t *type_int; @@ -10,19 +35,31 @@ type_t *type_long_double; type_t *type_long_long; type_t *type_long; type_t *type_short; +type_t *type_unsigned_short; type_t *type_signed_char; -type_t *type_string; +type_t *type_unsigned_char; type_t *type_unsigned_int; type_t *type_unsigned_long_long; type_t *type_unsigned_long; type_t *type_void; +type_t *type_char_ptr; +type_t *type_char_ptr_restrict; +type_t *type_const_char_ptr; +type_t *type_const_char_ptr_restrict; type_t *type_int_ptr; type_t *type_long_long_ptr; type_t *type_long_ptr; +type_t *type_unsigned_long_ptr; type_t *type_short_ptr; type_t *type_signed_char_ptr; type_t *type_void_ptr; +type_t *type_const_void; +type_t *type_const_void_ptr; +type_t *type_void_ptr_restrict; +type_t *type_const_void_ptr_restrict; + +type_t *type_char_ptr_ptr; type_t *type_intmax_t; type_t *type_ptrdiff_t; @@ -31,18 +68,52 @@ type_t *type_ssize_t; type_t *type_uintmax_t; type_t *type_uptrdiff_t; type_t *type_wchar_t; +type_t *type_const_wchar_t; type_t *type_wint_t; +type_t *type_int32_t; +type_t *type_int64_t; type_t *type_intmax_t_ptr; type_t *type_ptrdiff_t_ptr; type_t *type_ssize_t_ptr; type_t *type_wchar_t_ptr; +type_t *type_const_wchar_t_ptr; + +type_t *type_valist; + +/* microsoft types */ +atomic_type_kind_t int8_type_kind; +atomic_type_kind_t int16_type_kind; +atomic_type_kind_t int32_type_kind; +atomic_type_kind_t int64_type_kind; +atomic_type_kind_t int128_type_kind; +atomic_type_kind_t unsigned_int8_type_kind; +atomic_type_kind_t unsigned_int16_type_kind; +atomic_type_kind_t unsigned_int32_type_kind; +atomic_type_kind_t unsigned_int64_type_kind; +atomic_type_kind_t unsigned_int128_type_kind; + +type_t *type_int8; +type_t *type_int16; +type_t *type_int32; +type_t *type_int64; +type_t *type_unsigned_int8; +type_t *type_unsigned_int16; +type_t *type_unsigned_int32; +type_t *type_unsigned_int64; +type_t *type_int64_ptr; void init_basic_types(void) { + static const type_base_t error = { TYPE_ERROR, TYPE_QUALIFIER_NONE, NULL }; + + type_error_type = (type_t*)&error; + type_bool = make_atomic_type(ATOMIC_TYPE_BOOL, TYPE_QUALIFIER_NONE); type_signed_char = make_atomic_type(ATOMIC_TYPE_SCHAR, TYPE_QUALIFIER_NONE); + type_unsigned_char = make_atomic_type(ATOMIC_TYPE_UCHAR, TYPE_QUALIFIER_NONE); type_short = make_atomic_type(ATOMIC_TYPE_SHORT, TYPE_QUALIFIER_NONE); + type_unsigned_short = make_atomic_type(ATOMIC_TYPE_USHORT, TYPE_QUALIFIER_NONE); type_int = make_atomic_type(ATOMIC_TYPE_INT, TYPE_QUALIFIER_NONE); type_unsigned_int = make_atomic_type(ATOMIC_TYPE_UINT, TYPE_QUALIFIER_NONE); type_long = make_atomic_type(ATOMIC_TYPE_LONG, TYPE_QUALIFIER_NONE); @@ -54,12 +125,77 @@ void init_basic_types(void) type_float = make_atomic_type(ATOMIC_TYPE_FLOAT, TYPE_QUALIFIER_NONE); type_char = make_atomic_type(ATOMIC_TYPE_CHAR, TYPE_QUALIFIER_NONE); type_void = make_atomic_type(ATOMIC_TYPE_VOID, TYPE_QUALIFIER_NONE); + type_const_void = make_atomic_type(ATOMIC_TYPE_VOID, TYPE_QUALIFIER_CONST); + + int8_type_kind = find_signed_int_atomic_type_kind_for_size(1); + int16_type_kind = find_signed_int_atomic_type_kind_for_size(2); + int32_type_kind = find_signed_int_atomic_type_kind_for_size(4); + int64_type_kind = find_signed_int_atomic_type_kind_for_size(8); + + type_int32_t = make_atomic_type(int32_type_kind, TYPE_QUALIFIER_NONE); + type_int64_t = make_atomic_type(int64_type_kind, TYPE_QUALIFIER_NONE); + + /* microsoft types */ + if (c_mode & _MS) { + type_int8 = make_atomic_type(int8_type_kind, TYPE_QUALIFIER_NONE); + type_int16 = make_atomic_type(int16_type_kind, TYPE_QUALIFIER_NONE); + type_int32 = make_atomic_type(int32_type_kind, TYPE_QUALIFIER_NONE); + type_int64 = make_atomic_type(int64_type_kind, TYPE_QUALIFIER_NONE); + unsigned_int8_type_kind = find_unsigned_int_atomic_type_kind_for_size(1); + type_unsigned_int8 = make_atomic_type(unsigned_int8_type_kind, TYPE_QUALIFIER_NONE); + unsigned_int16_type_kind = find_unsigned_int_atomic_type_kind_for_size(2); + type_unsigned_int16 = make_atomic_type(unsigned_int16_type_kind, TYPE_QUALIFIER_NONE); + unsigned_int32_type_kind = find_unsigned_int_atomic_type_kind_for_size(4); + type_unsigned_int32 = make_atomic_type(unsigned_int32_type_kind, TYPE_QUALIFIER_NONE); + unsigned_int64_type_kind = find_unsigned_int_atomic_type_kind_for_size(8); + type_unsigned_int64 = make_atomic_type(unsigned_int64_type_kind, TYPE_QUALIFIER_NONE); + /* pointer types */ + type_int64_ptr = make_pointer_type(type_int64, TYPE_QUALIFIER_NONE); + } + + /* pointer types */ type_void_ptr = make_pointer_type(type_void, TYPE_QUALIFIER_NONE); - type_string = make_pointer_type(type_char, TYPE_QUALIFIER_NONE); + type_const_void_ptr = make_pointer_type(type_const_void, TYPE_QUALIFIER_NONE); + type_void_ptr_restrict = make_pointer_type(type_void, TYPE_QUALIFIER_RESTRICT); + type_const_void_ptr_restrict + = make_pointer_type(type_const_void, TYPE_QUALIFIER_RESTRICT); + type_char_ptr = make_pointer_type(type_char, TYPE_QUALIFIER_NONE); + type_char_ptr_restrict = make_pointer_type(type_char, TYPE_QUALIFIER_RESTRICT); type_signed_char_ptr = make_pointer_type(type_signed_char, TYPE_QUALIFIER_NONE); type_short_ptr = make_pointer_type(type_short, TYPE_QUALIFIER_NONE); type_int_ptr = make_pointer_type(type_int, TYPE_QUALIFIER_NONE); type_long_ptr = make_pointer_type(type_long, TYPE_QUALIFIER_NONE); + type_unsigned_long_ptr = make_pointer_type(type_unsigned_long, TYPE_QUALIFIER_NONE); type_long_long_ptr = make_pointer_type(type_long_long, TYPE_QUALIFIER_NONE); + + type_char_ptr_ptr = make_pointer_type(type_char_ptr, TYPE_QUALIFIER_NONE); + type_valist = type_void_ptr; + + /* const character types */ + type_const_char = make_atomic_type(ATOMIC_TYPE_CHAR, TYPE_QUALIFIER_CONST); + type_const_char_ptr = make_pointer_type(type_const_char, TYPE_QUALIFIER_NONE); + type_const_char_ptr_restrict = make_pointer_type(type_const_char, TYPE_QUALIFIER_RESTRICT); + + /* other types */ + type_intmax_t = type_long_long; + type_size_t = type_unsigned_long; + type_ssize_t = type_long; + type_ptrdiff_t = type_long; + type_uintmax_t = type_unsigned_long_long; + type_uptrdiff_t = type_unsigned_long; + type_wint_t = type_int; + + type_intmax_t_ptr = make_pointer_type(type_intmax_t, TYPE_QUALIFIER_NONE); + type_ptrdiff_t_ptr = make_pointer_type(type_ptrdiff_t, TYPE_QUALIFIER_NONE); + type_ssize_t_ptr = make_pointer_type(type_ssize_t, TYPE_QUALIFIER_NONE); +} + +void init_wchar_types(atomic_type_kind_t akind) +{ + type_wchar_t = make_atomic_type(akind, TYPE_QUALIFIER_NONE); + type_const_wchar_t = make_atomic_type(akind, TYPE_QUALIFIER_CONST); + type_wchar_t_ptr = make_pointer_type(type_wchar_t, TYPE_QUALIFIER_NONE); + type_const_wchar_t_ptr + = make_pointer_type(type_const_wchar_t, TYPE_QUALIFIER_NONE); }