/*
* This file is part of cparser.
- * 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
- * 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.
+ * Copyright (C) 2012 Matthias Braun <matze@braunis.de>
*/
#ifndef TYPE_T_H
#define TYPE_T_H
#include <libfirm/firm_types.h>
+#include "ast.h"
#include "type.h"
-#include "symbol.h"
-#include "token_t.h"
-#include "ast_t.h"
-#include "adt/obst.h"
typedef enum type_kind_t {
TYPE_ERROR = 1,
};
/**
- * used for atomic types, complex and imaginary
+ * used for atomic types, complex and imaginary and as base for enum
*/
struct atomic_type_t {
type_base_t base;
{
assert(!is_typeref(type));
- if(type->kind != TYPE_ATOMIC)
+ if (type->kind != TYPE_ATOMIC)
return false;
const atomic_type_t *atomic_type = &type->atomic;
return atomic_type->akind == atype;
}
+static inline bool is_type_void(type_t const *const type)
+{
+ return is_type_atomic(type, ATOMIC_TYPE_VOID);
+}
+
static inline bool is_type_pointer(const type_t *type)
{
assert(!is_typeref(type));
return atomic_type_properties[akind].rank;
}
+static inline bool is_akind_signed(atomic_type_kind_t akind)
+{
+ return atomic_type_properties[akind].flags & ATOMIC_TYPE_FLAG_SIGNED;
+}
+
+static inline atomic_type_kind_t get_arithmetic_akind(const type_t *type)
+{
+ assert(type->kind == TYPE_ATOMIC || type->kind == TYPE_COMPLEX
+ || type->kind == TYPE_IMAGINARY || type->kind == TYPE_ENUM);
+ /* note that atomic, complex and enum share atomic_type_t base */
+ return type->atomic.akind;
+}
+
/**
* Allocate a type node of given kind and initialize all
* fields with zero.