X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firmode_t.h;h=dce37f1d4ffc8dd8af09cdf2b54080d55ecbed94;hb=a999e1baedb84dc9b83059708699dac1c7fdb9a2;hp=5d3fb43791ea83d21205589ca78bdab0a400d1db;hpb=6023590e8c7b401803f9b805886277de002efa19;p=libfirm diff --git a/ir/ir/irmode_t.h b/ir/ir/irmode_t.h index 5d3fb4379..dce37f1d4 100644 --- a/ir/ir/irmode_t.h +++ b/ir/ir/irmode_t.h @@ -1,31 +1,208 @@ - -/* $Id$ */ +/* + * 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 +#include "irtypes.h" +#include "irmode.h" -# include "irmode.h" +/* ------------------------------- * + * inline functions * + * ------------------------------- */ +extern ir_mode *mode_P_code, *mode_P_data; -/** - * The type of a mode - */ -struct ir_mode { - modecode code; - ident *name; /**< Name of this mode */ - int size; /**< size of the mode in Bytes. */ - int ld_align; /**< ld means log2 */ - tarval *min; /**< largest value to be represented by this mode */ - tarval *max; /**< smallest value to be represented by this mode */ - tarval *null; /**< Representation of zero in this mode */ - unsigned fsigned:1; /**< signedness of this mode */ - unsigned ffloat:1; /**< true if this is a float */ -}; - - -void init_mode (void); +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 unsigned +_get_mode_size_bits(const ir_mode *mode) { return mode->size; } + +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 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_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_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_data(const ir_mode *mode) { + return (_mode_is_int(mode) || _mode_is_float(mode) || _mode_is_reference(mode)); +} + +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_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) #endif