X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firmode_t.h;h=720c3426007d4eb320714b19d094690a3d1213b5;hb=18ad59ceaef42a2a6142ebe5661c5b83f627eabb;hp=f64dcba48bbe7024fbbc66cd5d0dcfce25607d13;hpb=9ce95101c9792f686827f27eb434e2bae5f9b922;p=libfirm diff --git a/ir/ir/irmode_t.h b/ir/ir/irmode_t.h index f64dcba48..720c34260 100644 --- a/ir/ir/irmode_t.h +++ b/ir/ir/irmode_t.h @@ -1,5 +1,15 @@ +/* + * 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. + */ -/* $Id$ */ /** * @file irmode_t.h @@ -8,20 +18,227 @@ # ifndef _IRMODE_T_H_ # define _IRMODE_T_H_ +# include # include "irmode.h" +# include "tv.h" /** This struct is supposed to completely define a mode. **/ struct ir_mode { - firm_kind kind; /**< is set to k_ir_mode */ - modecode code; /**< unambiguous identifier of a mode */ - ident *name; /**< Name ident of this mode */ - mode_sort sort; /**< coarse classification of this mode: - int, float, reference ... - (see irmode.h) */ - int size; /**< size of the mode in Bits. */ - int align; /**< byte alignment */ - unsigned sign:1; /**< signedness of this mode */ - const void *tv_priv; /**< tarval module will save private data here */ + 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 values 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 */ }; -#endif + +/* ------------------------------- * + * inline functions * + * ------------------------------- */ +extern ir_mode *mode_P_code, *mode_P_data; + +static INLINE ir_mode * +_get_modeP_code(void) { return mode_P_code; } + +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 mode_sort +_get_mode_sort(const ir_mode* mode) { return mode->sort; } + +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 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 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 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; } + +/* Functions to check, whether a modecode is signed, float, int, num, data, + datab or dataM. For more exact definitions read the corresponding pages + in the firm documentation or the following enumeration + + The set of "float" is defined as: + --------------------------------- + float = {irm_F, irm_D, irm_E} + + The set of "int" is defined as: + ------------------------------- + int = {irm_Bs, irm_Bu, irm_Hs, irm_Hu, irm_Is, irm_Iu, irm_Ls, irm_Lu} + + The set of "num" is defined as: + ------------------------------- + num = {irm_F, irm_D, irm_E, irm_Bs, irm_Bu, irm_Hs, irm_Hu, + irm_Is, irm_Iu, irm_Ls, irm_Lu} + = {float || int} + + The set of "data" is defined as: + ------------------------------- + data = {irm_F, irm_D, irm_E irm_Bs, irm_Bu, irm_Hs, irm_Hu, + irm_Is, irm_Iu, irm_Ls, irm_Lu, irm_C, irm_U, irm_P} + = {num || irm_C || irm_U || irm_P} + + The set of "datab" is defined as: + --------------------------------- + datab = {irm_F, irm_D, irm_E, irm_Bs, irm_Bu, irm_Hs, irm_Hu, + irm_Is, irm_Iu, irm_Ls, irm_Lu, irm_C, irm_U, irm_P, irm_b} + = {data || irm_b } + + The set of "dataM" is defined as: + --------------------------------- + dataM = {irm_F, irm_D, irm_E, irm_Bs, irm_Bu, irm_Hs, irm_Hu, + irm_Is, irm_Iu, irm_Ls, irm_Lu, irm_C, irm_U, irm_P, irm_M} + = {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_int(const ir_mode *mode) { + assert(mode); + return (_get_mode_sort(mode) == irms_int_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_reference(const ir_mode *mode) { + assert(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_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) { + 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) { + assert(mode); + return (_mode_is_data(mode) || _get_mode_sort(mode) == irms_internal_boolean); +} + +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) { + 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) { + assert(mode); + return (_get_mode_sort(mode) == irms_int_number) && (_get_mode_vector_elems(mode) > 1); +} + +/** mode module initialization, call once before use of any other function **/ +void init_mode(void); + +/** mode module finalization. frees all memory. */ +void finish_mode(void); + +#define get_modeP_code() _get_modeP_code() +#define get_modeP_data() _get_modeP_data() +#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_ */