X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firmode.c;h=79cc1c6271c3f618f0917c9706222f169095fd66;hb=637542932dc27dcdfc7def09b58d9d5d4c34fb77;hp=2240d141a07e2e6177393dbe057b11dcb37ff007;hpb=62c117613315014191bdc8876c55b4b0a7cba1b7;p=libfirm diff --git a/ir/ir/irmode.c b/ir/ir/irmode.c index 2240d141a..79cc1c627 100644 --- a/ir/ir/irmode.c +++ b/ir/ir/irmode.c @@ -9,21 +9,24 @@ * Copyright: (c) 1998-2003 Universität Karlsruhe * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE. */ - - #ifdef HAVE_CONFIG_H -# include +# include "config.h" #endif +#ifdef HAVE_STDLIB_H # include -# include +#endif +#ifdef HAVE_STRING_H # include -# include +#endif + +# include # include "irmode_t.h" # include "ident.h" # include "tv.h" # include "obst.h" +# include "irhooks.h" #if 0 static long long count = 0; @@ -59,7 +62,6 @@ INLINE static int modes_are_equal(const ir_mode *m, const ir_mode *n) if (m->sort == n->sort && m->arithmetic == n->arithmetic && m->size == n->size && - m->align == n->align && m->sign == n->sign && m->modulo_shift == n->modulo_shift && m->vector_elem == n->vector_elem) @@ -261,16 +263,15 @@ static ir_mode *register_mode(const ir_mode* new_mode) /* * Creates a new mode. */ -ir_mode *new_ir_mode(const char *name, mode_sort sort, int bit_size, int bit_align, int sign, +ir_mode *new_ir_mode(const char *name, mode_sort sort, int bit_size, int sign, mode_arithmetic arithmetic, unsigned int modulo_shift ) { ir_mode mode_tmpl; - ir_mode *mode; + ir_mode *mode = NULL; mode_tmpl.name = new_id_from_str(name); mode_tmpl.sort = sort; mode_tmpl.size = bit_size; - mode_tmpl.align = bit_align; mode_tmpl.sign = sign ? 1 : 0; mode_tmpl.modulo_shift = (mode_tmpl.sort == irms_int_number) ? modulo_shift : 0; mode_tmpl.vector_elem = 1; @@ -279,8 +280,8 @@ ir_mode *new_ir_mode(const char *name, mode_sort sort, int bit_size, int bit_ali mode_tmpl.tv_priv = NULL; mode = find_mode(&mode_tmpl); - if (mode) - { + if (mode) { + hook_new_mode(&mode_tmpl, mode); return mode; } @@ -292,30 +293,30 @@ ir_mode *new_ir_mode(const char *name, mode_sort sort, int bit_size, int bit_ali case irms_memory: case irms_internal_boolean: assert(0 && "internal modes cannot be user defined"); - return NULL; + break; case irms_float_number: case irms_int_number: case irms_reference: case irms_character: - return register_mode(&mode_tmpl); + mode = register_mode(&mode_tmpl); } - return NULL; /* to shut up gcc */ + hook_new_mode(&mode_tmpl, mode); + return mode; } /* * Creates a new vector mode. */ -ir_mode *new_ir_vector_mode(const char *name, mode_sort sort, int bit_size, unsigned num_of_elem, int bit_align, int sign, +ir_mode *new_ir_vector_mode(const char *name, mode_sort sort, int bit_size, unsigned num_of_elem, int sign, mode_arithmetic arithmetic, unsigned int modulo_shift ) { ir_mode mode_tmpl; - ir_mode *mode; + ir_mode *mode = NULL; mode_tmpl.name = new_id_from_str(name); mode_tmpl.sort = sort; mode_tmpl.size = bit_size * num_of_elem; - mode_tmpl.align = bit_align; mode_tmpl.sign = sign ? 1 : 0; mode_tmpl.modulo_shift = (mode_tmpl.sort == irms_int_number) ? modulo_shift : 0; mode_tmpl.vector_elem = num_of_elem; @@ -324,12 +325,15 @@ ir_mode *new_ir_vector_mode(const char *name, mode_sort sort, int bit_size, unsi mode_tmpl.tv_priv = NULL; mode = find_mode(&mode_tmpl); - if (mode) + if (mode) { + hook_new_mode(&mode_tmpl, mode); return mode; + } if (num_of_elem <= 1) { assert(0 && "vector modes should have at least 2 elements"); - return NULL; + hook_new_mode(&mode_tmpl, mode); + return mode; } /* sanity checks */ @@ -340,21 +344,22 @@ ir_mode *new_ir_vector_mode(const char *name, mode_sort sort, int bit_size, unsi case irms_memory: case irms_internal_boolean: assert(0 && "internal modes cannot be user defined"); - return NULL; + break; case irms_reference: case irms_character: assert(0 && "only integer and floating point modes can be vectorized"); - return NULL; + break; case irms_float_number: assert(0 && "not yet implemented"); - return NULL; + break; case irms_int_number: - return register_mode(&mode_tmpl); + mode = register_mode(&mode_tmpl); } - return NULL; /* to shut up gcc */ + hook_new_mode(&mode_tmpl, mode); + return mode; } /* Functions for the direct access to all attributes od a ir_mode */ @@ -399,20 +404,6 @@ int return __get_mode_size_bytes(mode); } -int -(get_mode_align_bits)(const ir_mode *mode) -{ - ANNOUNCE(); - return __get_mode_align_bits(mode); -} - -int -(get_mode_align_bytes)(const ir_mode *mode) -{ - ANNOUNCE(); - return __get_mode_align_bytes(mode); -} - int (get_mode_sign)(const ir_mode *mode) { @@ -438,7 +429,7 @@ unsigned int } unsigned int -(get_mode_vector_elems)(const ir_mode *mode) { +(get_mode_n_vector_elems)(const ir_mode *mode) { return __get_mode_vector_elems(mode); } @@ -507,7 +498,7 @@ get_mode_infinite(ir_mode *mode) assert(get_mode_modecode(mode) < num_modes); assert(mode_is_float(mode)); - return get_tarval_inf(mode); + return get_tarval_plus_inf(mode); } tarval * @@ -693,7 +684,6 @@ init_mode (void) /* Internal Modes */ newmode.arithmetic = irma_none; newmode.size = 0; - newmode.align = 0; newmode.sign = 0; newmode.modulo_shift = 0; newmode.vector_elem = 0; @@ -704,13 +694,13 @@ init_mode (void) newmode.sort = irms_control_flow; /* Basic Block */ - newmode.name = id_from_str("BB", 2); + newmode.name = new_id_from_chars("BB", 2); newmode.code = irm_BB; mode_BB = register_mode(&newmode); /* eXecution */ - newmode.name = id_from_str("X", 1); + newmode.name = new_id_from_chars("X", 1); newmode.code = irm_X; mode_X = register_mode(&newmode); @@ -719,7 +709,7 @@ init_mode (void) newmode.sort = irms_memory; /* Memory */ - newmode.name = id_from_str("M", 1); + newmode.name = new_id_from_chars("M", 1); newmode.code = irm_M; mode_M = register_mode(&newmode); @@ -728,19 +718,19 @@ init_mode (void) newmode.sort = irms_auxiliary, /* Tuple */ - newmode.name = id_from_str("T", 1); + newmode.name = new_id_from_chars("T", 1); newmode.code = irm_T; mode_T = register_mode(&newmode); /* ANY */ - newmode.name = id_from_str("ANY", 3); + newmode.name = new_id_from_chars("ANY", 3); newmode.code = irm_ANY; mode_ANY = register_mode(&newmode); /* BAD */ - newmode.name = id_from_str("BAD", 3); + newmode.name = new_id_from_chars("BAD", 3); newmode.code = irm_BAD; mode_BAD = register_mode(&newmode); @@ -749,7 +739,7 @@ init_mode (void) newmode.sort = irms_internal_boolean; /* boolean */ - newmode.name = id_from_str("b", 1); + newmode.name = new_id_from_chars("b", 1); newmode.code = irm_b; mode_b = register_mode(&newmode); @@ -762,28 +752,25 @@ init_mode (void) newmode.arithmetic = irma_ieee754; /* float */ - newmode.name = id_from_str("F", 1); + newmode.name = new_id_from_chars("F", 1); newmode.code = irm_F; newmode.sign = 1; - newmode.align = 32; newmode.size = 32; mode_F = register_mode(&newmode); /* double */ - newmode.name = id_from_str("D", 1); + newmode.name = new_id_from_chars("D", 1); newmode.code = irm_D; newmode.sign = 1; - newmode.align = 64; newmode.size = 64; mode_D = register_mode(&newmode); /* extended */ - newmode.name = id_from_str("E", 1); + newmode.name = new_id_from_chars("E", 1); newmode.code = irm_E; newmode.sign = 1; - newmode.align = 128; newmode.size = 80; mode_E = register_mode(&newmode); @@ -793,81 +780,73 @@ init_mode (void) newmode.arithmetic = irma_twos_complement; /* signed byte */ - newmode.name = id_from_str("Bs", 2); + newmode.name = new_id_from_chars("Bs", 2); newmode.code = irm_Bs; newmode.sign = 1; - newmode.align = 8; newmode.size = 8; newmode.modulo_shift = 32; mode_Bs = register_mode(&newmode); /* unsigned byte */ - newmode.name = id_from_str("Bu", 2); + newmode.name = new_id_from_chars("Bu", 2); newmode.code = irm_Bu; newmode.arithmetic = irma_twos_complement; newmode.sign = 0; - newmode.align = 8; newmode.size = 8; newmode.modulo_shift = 32; mode_Bu = register_mode(&newmode); /* signed short integer */ - newmode.name = id_from_str("Hs", 2); + newmode.name = new_id_from_chars("Hs", 2); newmode.code = irm_Hs; newmode.sign = 1; - newmode.align = 16; newmode.size = 16; newmode.modulo_shift = 32; mode_Hs = register_mode(&newmode); /* unsigned short integer */ - newmode.name = id_from_str("Hu", 2); + newmode.name = new_id_from_chars("Hu", 2); newmode.code = irm_Hu; newmode.sign = 0; - newmode.align = 16; newmode.size = 16; newmode.modulo_shift = 32; mode_Hu = register_mode(&newmode); /* signed integer */ - newmode.name = id_from_str("Is", 2); + newmode.name = new_id_from_chars("Is", 2); newmode.code = irm_Is; newmode.sign = 1; - newmode.align = 32; newmode.size = 32; newmode.modulo_shift = 32; mode_Is = register_mode(&newmode); /* unsigned integer */ - newmode.name = id_from_str("Iu", 2); + newmode.name = new_id_from_chars("Iu", 2); newmode.code = irm_Iu; newmode.sign = 0; - newmode.align = 32; newmode.size = 32; newmode.modulo_shift = 32; mode_Iu = register_mode(&newmode); /* signed long integer */ - newmode.name = id_from_str("Ls", 2); + newmode.name = new_id_from_chars("Ls", 2); newmode.code = irm_Ls; newmode.sign = 1; - newmode.align = 32; newmode.size = 64; newmode.modulo_shift = 64; mode_Ls = register_mode(&newmode); /* unsigned long integer */ - newmode.name = id_from_str("Lu", 2); + newmode.name = new_id_from_chars("Lu", 2); newmode.code = irm_Lu; newmode.sign = 0; - newmode.align = 32; newmode.size = 64; newmode.modulo_shift = 64; @@ -878,20 +857,18 @@ init_mode (void) newmode.arithmetic = irma_none; /* Character */ - newmode.name = id_from_str("C", 1); + newmode.name = new_id_from_chars("C", 1); newmode.code = irm_C; newmode.sign = 0; - newmode.align = 8; newmode.size = 8; newmode.modulo_shift = 32; mode_C = register_mode(&newmode); /* Unicode character */ - newmode.name = id_from_str("U", 1); + newmode.name = new_id_from_chars("U", 1); newmode.code = irm_U; newmode.sign = 0; - newmode.align = 16; newmode.size = 16; newmode.modulo_shift = 32; @@ -902,10 +879,9 @@ init_mode (void) newmode.arithmetic = irma_twos_complement; /* pointer */ - newmode.name = id_from_str("P", 1); + newmode.name = new_id_from_chars("P", 1); newmode.code = irm_P; newmode.sign = 0; - newmode.align = 32; newmode.size = 32; newmode.modulo_shift = 0; @@ -915,34 +891,87 @@ init_mode (void) mode_P_mach = mode_P; } +/* find a signed mode for an unsigned integer mode */ +ir_mode *find_unsigned_mode(const ir_mode *mode) { + ir_mode n = *mode; + + if (mode->sort != irms_int_number); + n.sign = 0; + return find_mode(&n); +} + +/* find an unsigned mode for a signed integer mode */ +ir_mode *find_signed_mode(const ir_mode *mode) { + ir_mode n = *mode; + + assert(mode->sort == irms_int_number); + n.sign = 1; + return find_mode(&n); +} + +/* finds a integer mode with 2*n bits for an integer mode with n bits. */ +ir_mode *find_double_bits_int_mode(const ir_mode *mode) { + ir_mode n = *mode; + + assert(mode->sort == irms_int_number && mode->arithmetic == irma_twos_complement); + + n.size = 2*mode->size; + return find_mode(&n); +} + +/* + * Returns non-zero if the given mode honors signed zero's, i.e., + * a +0 and a -0 exists and handled differently. + */ +int mode_honor_signed_zeros(const ir_mode *mode) +{ + /* for floating point, we know that IEEE 754 has +0 and -0, + * but always handles it identical. + */ + if (mode->sort == irms_float_number) + return mode->arithmetic == irma_ieee754 ? 0 : 1; + return 0; +} + +/* + * Returns non-zero if the given mode might overflow on unary Minus. + * + * This does NOT happen on IEEE 754. + */ +int mode_overflow_on_unary_Minus(const ir_mode *mode) +{ + if (mode->sort == irms_float_number) + return mode->arithmetic == irma_ieee754 ? 0 : 1; + return 1; +} void finish_mode(void) { obstack_free(&modes, 0); - mode_T = NULL; - mode_X = NULL; - mode_M = NULL; - mode_BB = NULL; + mode_T = NULL; + mode_X = NULL; + mode_M = NULL; + mode_BB = NULL; mode_ANY = NULL; mode_BAD = NULL; - mode_F = NULL; - mode_D = NULL; - mode_E = NULL; - - mode_Bs = NULL; - mode_Bu = NULL; - mode_Hs = NULL; - mode_Hu = NULL; - mode_Is = NULL; - mode_Iu = NULL; - mode_Ls = NULL; - mode_Lu = NULL; - - mode_C = NULL; - mode_U = NULL; - mode_b = NULL; - mode_P = NULL; + mode_F = NULL; + mode_D = NULL; + mode_E = NULL; + + mode_Bs = NULL; + mode_Bu = NULL; + mode_Hs = NULL; + mode_Hu = NULL; + mode_Is = NULL; + mode_Iu = NULL; + mode_Ls = NULL; + mode_Lu = NULL; + + mode_C = NULL; + mode_U = NULL; + mode_b = NULL; + mode_P = NULL; mode_P_mach = NULL; }