X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firmode_t.h;h=38634ee19c11528346d69a386a7043e7aefd88ce;hb=1a3b7d363474ab544c13093a2f0b578718d37c7a;hp=188aa2c791ebdf31ece2698e374bd6b7329a9f30;hpb=a297b28945282531a0c4828499b7f35cbac40b4d;p=libfirm diff --git a/ir/ir/irmode_t.h b/ir/ir/irmode_t.h index 188aa2c79..38634ee19 100644 --- a/ir/ir/irmode_t.h +++ b/ir/ir/irmode_t.h @@ -1,110 +1,71 @@ /* - * Project: libFIRM - * File name: ir/ir/irmode_t.h - * Purpose: Data modes of operations -- private header. - * Author: Martin Trapp, Christian Schaefer - * Modified by: Goetz Lindenmaier, Mathias Heil - * Created: - * CVS-ID: $Id$ - * Copyright: (c) 1998-2003 Universität Karlsruhe - * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE. + * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved. + * + * This file is part of libFirm. + * + * This file may be distributed and/or modified under the terms of the + * GNU General Public License version 2 as published by the Free Software + * Foundation and appearing in the file LICENSE.GPL included in the + * packaging of this file. + * + * Licensees holding valid libFirm Professional Edition licenses may use + * this file in accordance with the libFirm Commercial License. + * Agreement provided with the Software. + * + * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE + * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR + * PURPOSE. */ - /** - * @file irmode_t.h + * @file + * @brief Data modes of operations -- private header. + * @author Martin Trapp, Christian Schaefer, Goetz Lindenmaier, Mathias Heil, + * Michael Beck + * @version $Id$ */ +#ifndef FIRM_IR_IRMODE_T_H +#define FIRM_IR_IRMODE_T_H -# ifndef _IRMODE_T_H_ -# define _IRMODE_T_H_ - -# include "irmode.h" -# include "tv.h" - -/** This struct is supposed to completely define a mode. **/ -struct ir_mode { - firm_kind kind; /**< distinguishes this node from others */ - modecode code; /**< unambiguous identifier of a mode */ - ident *name; /**< Name ident of this mode */ - - /* ----------------------------------------------------------------------- */ - /* On changing this struct you have to evaluate the mode_are_equal function!*/ - mode_sort sort; /**< coarse classification of this mode: - int, float, reference ... - (see irmode.h) */ - mode_arithmetic arithmetic; /**< different arithmetic operations possible with a mode */ - int size; /**< size of the mode in Bits. */ - unsigned sign:1; /**< signedness of this mode */ - unsigned int modulo_shift; /**< number of bits a valus of this mode will be shifted */ - unsigned vector_elem; /**< if this is not equal 1, this is a vector mode with - vector_elem number of elements, size contains the size - of all bits and must be dividable by vector_elem */ - - /* ----------------------------------------------------------------------- */ - tarval *min; /**< the minimum value that can be expressed */ - tarval *max; /**< the maximum value that can be expressed */ - tarval *null; /**< the value 0 */ - tarval *one; /**< the value 1 */ - tarval *minus_one; /**< the value -1 */ - void *link; /**< To store some intermediate information */ - const void *tv_priv; /**< tarval module will save private data here */ -}; - +#include +#include "irtypes.h" +#include "irmode.h" /* ------------------------------- * * inline functions * * ------------------------------- */ -extern ir_mode *mode_P_mach; +static inline ir_mode *_get_modeP_code(void) { return mode_P_code; } -static INLINE ir_mode * -__get_modeP_mach(void) { return mode_P_mach; } - -static INLINE void -__set_modeP_mach(ir_mode *p) { - assert(mode_is_reference(p)); - mode_P_mach = p; -} +static inline ir_mode *_get_modeP_data(void) { return mode_P_data; } -static INLINE modecode -__get_mode_modecode(const ir_mode *mode) { return mode->code; } +static inline ident *_get_mode_ident(const ir_mode *mode) { return mode->name; } -static INLINE ident * -__get_mode_ident(const ir_mode *mode) { return mode->name; } +static inline ir_mode_sort _get_mode_sort(const ir_mode *mode) { return mode->sort; } -static INLINE mode_sort -__get_mode_sort(const ir_mode* mode) { return mode->sort; } +static inline unsigned _get_mode_size_bits(const ir_mode *mode) { return mode->size; } -static INLINE int -__get_mode_size_bits(const ir_mode *mode) { return mode->size; } - -static INLINE int -__get_mode_size_bytes(const ir_mode *mode) { - int size = __get_mode_size_bits(mode); - if ((size & 7) != 0) return -1; - return size >> 3; +static inline unsigned _get_mode_size_bytes(const ir_mode *mode) +{ + unsigned size = _get_mode_size_bits(mode); + if ((size & 7) != 0) return (unsigned) -1; + return size >> 3; } -static INLINE int -__get_mode_sign(const ir_mode *mode) { return mode->sign; } +static inline int _get_mode_sign(const ir_mode *mode) { return mode->sign; } -static INLINE int -__get_mode_arithmetic(const ir_mode *mode) { return mode->arithmetic; } +static inline ir_mode_arithmetic _get_mode_arithmetic(const ir_mode *mode) { return mode->arithmetic; } -static INLINE unsigned int -__get_mode_modulo_shift(const ir_mode *mode) { return mode->modulo_shift; } +static inline unsigned int _get_mode_modulo_shift(const ir_mode *mode) { return mode->modulo_shift; } -static INLINE unsigned int -__get_mode_vector_elems(const ir_mode *mode) { return mode->vector_elem; } +static inline unsigned int _get_mode_vector_elems(const ir_mode *mode) { return mode->vector_elem; } -static INLINE void * -__get_mode_link(const ir_mode *mode) { return mode->link; } +static inline void * _get_mode_link(const ir_mode *mode) { return mode->link; } -static INLINE void -__set_mode_link(ir_mode *mode, void *l) { mode->link = l; } +static inline void _set_mode_link(ir_mode *mode, void *l) { mode->link = l; } -/* Functions to check, whether a modecode is signed, float, int, num, data, +/* Functions to check, whether a mode is signed, float, int, num, data, datab or dataM. For more exact definitions read the corresponding pages - in the firm documentation or the followingenumeration + in the firm documentation or the following enumeration The set of "float" is defined as: --------------------------------- @@ -139,76 +100,59 @@ __set_mode_link(ir_mode *mode, void *l) { mode->link = l; } = {data || irm_M} */ -static INLINE int -__mode_is_signed(const ir_mode *mode) { - assert(mode); - return mode->sign; -} - -static INLINE int -__mode_is_float(const ir_mode *mode) { - assert(mode); - return (__get_mode_sort(mode) == irms_float_number); +static inline int _mode_is_signed(const ir_mode *mode) +{ + return mode->sign; } -static INLINE int -__mode_is_int(const ir_mode *mode) { - assert(mode); - return (__get_mode_sort(mode) == irms_int_number); +static inline int _mode_is_float(const ir_mode *mode) +{ + return (_get_mode_sort(mode) == irms_float_number); } -static INLINE int -__mode_is_character(const ir_mode *mode) { - assert(mode); - return (__get_mode_sort(mode) == irms_character); +static inline int _mode_is_int(const ir_mode *mode) +{ + return (_get_mode_sort(mode) == irms_int_number); } -static INLINE int -__mode_is_reference(const ir_mode *mode) { - assert(mode); - return (__get_mode_sort(mode) == irms_reference); +static inline int _mode_is_reference(const ir_mode *mode) +{ + return (_get_mode_sort(mode) == irms_reference); } -static INLINE int -__mode_is_num(const ir_mode *mode) { - assert(mode); - return (__mode_is_int(mode) || __mode_is_float(mode)); +static inline int _mode_is_num(const ir_mode *mode) +{ + return (_get_mode_sort(mode) & irmsh_is_num); } -static INLINE int -__mode_is_numP(const ir_mode *mode) { - assert(mode); - return (__mode_is_int(mode) || __mode_is_float(mode) || __mode_is_reference(mode)); +static inline int _mode_is_data(const ir_mode *mode) +{ + return (_get_mode_sort(mode) & irmsh_is_data); } -static INLINE int -__mode_is_data(const ir_mode *mode) { - assert(mode); - return (__mode_is_num(mode) || __get_mode_sort(mode) == irms_character || __get_mode_sort(mode) == irms_reference); +static inline int _mode_is_datab(const ir_mode *mode) +{ + return (_get_mode_sort(mode) & irmsh_is_datab); } -static INLINE int -__mode_is_datab(const ir_mode *mode) { - assert(mode); - return (__mode_is_data(mode) || __get_mode_sort(mode) == irms_internal_boolean); +static inline int _mode_is_dataM(const ir_mode *mode) +{ + return (_get_mode_sort(mode) & irmsh_is_dataM); } -static INLINE int -__mode_is_dataM(const ir_mode *mode) { - assert(mode); - return (__mode_is_data(mode) || __get_mode_modecode(mode) == irm_M); +static inline int _mode_is_float_vector(const ir_mode *mode) +{ + return (_get_mode_sort(mode) == irms_float_number) && (_get_mode_vector_elems(mode) > 1); } -static INLINE int -__mode_is_float_vector(const ir_mode *mode) { - assert(mode); - return (__get_mode_sort(mode) == irms_float_number) && (__get_mode_vector_elems(mode) > 1); +static inline int _mode_is_int_vector(const ir_mode *mode) +{ + return (_get_mode_sort(mode) == irms_int_number) && (_get_mode_vector_elems(mode) > 1); } -static INLINE int -__mode_is_int_vector(const ir_mode *mode) { - assert(mode); - return (__get_mode_sort(mode) == irms_int_number) && (__get_mode_vector_elems(mode) > 1); +static inline ir_type *get_type_for_mode_(const ir_mode *mode) +{ + return mode->type; } /** mode module initialization, call once before use of any other function **/ @@ -217,30 +161,28 @@ void init_mode(void); /** mode module finalization. frees all memory. */ void finish_mode(void); -#define get_modeP_mach() __get_modeP_mach() -#define set_modeP_mach(p) __set_modeP_mach(p) -#define get_mode_modecode(mode) __get_mode_modecode(mode) -#define get_mode_ident(mode) __get_mode_ident(mode) -#define get_mode_sort(mode) __get_mode_sort(mode) -#define get_mode_size_bits(mode) __get_mode_size_bits(mode) -#define get_mode_size_bytes(mode) __get_mode_size_bytes(mode) -#define get_mode_sign(mode) __get_mode_sign(mode) -#define get_mode_arithmetic(mode) __get_mode_arithmetic(mode) -#define get_mode_modulo_shift(mode) __get_mode_modulo_shift(mode) -#define get_mode_n_vector_elems(mode) __get_mode_vector_elems(mode) -#define get_mode_link(mode) __get_mode_link(mode) -#define set_mode_link(mode, l) __set_mode_link(mode, l) -#define mode_is_signed(mode) __mode_is_signed(mode) -#define mode_is_float(mode) __mode_is_float(mode) -#define mode_is_int(mode) __mode_is_int(mode) -#define mode_is_character(mode) __mode_is_character(mode) -#define mode_is_reference(mode) __mode_is_reference(mode) -#define mode_is_num(mode) __mode_is_num(mode) -#define mode_is_numP(mode) __mode_is_numP(mode) -#define mode_is_data(mode) __mode_is_data(mode) -#define mode_is_datab(mode) __mode_is_datab(mode) -#define mode_is_dataM(mode) __mode_is_dataM(mode) -#define mode_is_float_vector(mode) __mode_is_float_vector(mode) -#define mode_is_int_vector(mode) __mode_is_int_vector(mode) - -#endif /* _IRMODE_T_H_ */ +#define get_modeP_code() _get_modeP_code() +#define get_modeP_data() _get_modeP_data() +#define get_mode_ident(mode) _get_mode_ident(mode) +#define get_mode_sort(mode) _get_mode_sort(mode) +#define get_mode_size_bits(mode) _get_mode_size_bits(mode) +#define get_mode_size_bytes(mode) _get_mode_size_bytes(mode) +#define get_mode_sign(mode) _get_mode_sign(mode) +#define get_mode_arithmetic(mode) _get_mode_arithmetic(mode) +#define get_mode_modulo_shift(mode) _get_mode_modulo_shift(mode) +#define get_mode_n_vector_elems(mode) _get_mode_vector_elems(mode) +#define get_mode_link(mode) _get_mode_link(mode) +#define set_mode_link(mode, l) _set_mode_link(mode, l) +#define mode_is_signed(mode) _mode_is_signed(mode) +#define mode_is_float(mode) _mode_is_float(mode) +#define mode_is_int(mode) _mode_is_int(mode) +#define mode_is_reference(mode) _mode_is_reference(mode) +#define mode_is_num(mode) _mode_is_num(mode) +#define mode_is_data(mode) _mode_is_data(mode) +#define mode_is_datab(mode) _mode_is_datab(mode) +#define mode_is_dataM(mode) _mode_is_dataM(mode) +#define mode_is_float_vector(mode) _mode_is_float_vector(mode) +#define mode_is_int_vector(mode) _mode_is_int_vector(mode) +#define get_type_for_mode(mode) get_type_for_mode_(mode) + +#endif