X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firmode.c;h=96c00291d0755a7efbda075aff60733185305c40;hb=ecf4d3aa8c62642835511e1f7b8a329078161fe1;hp=be59854db7fc1a3e7eb30547124534a0fe355e8e;hpb=30c472be8009a41216ab1e9bce967d043fad6711;p=libfirm diff --git a/ir/ir/irmode.c b/ir/ir/irmode.c index be59854db..96c00291d 100644 --- a/ir/ir/irmode.c +++ b/ir/ir/irmode.c @@ -1,24 +1,32 @@ -/* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe -** All rights reserved. -** -** Authors: Martin Trapp, Christian Schaefer -** -*/ - -/* $Id$ */ - +/* + * Project: libFIRM + * File name: ir/ir/irmode.c + * Purpose: Data modes of operations. + * 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. + */ #ifdef HAVE_CONFIG_H -# include +# include "config.h" #endif -# include "irmode_t.h" -# include "ident.h" +#ifdef HAVE_STDLIB_H # include -# include +#endif +#ifdef HAVE_STRING_H # include -# include "tv.h" +#endif + +# include + +# include "irmode_t.h" +# include "ident.h" +# include "tv_t.h" # include "obst.h" -# include "misc.h" +# include "irhooks.h" #if 0 static long long count = 0; @@ -51,11 +59,30 @@ static int num_modes; INLINE static int modes_are_equal(const ir_mode *m, const ir_mode *n) { if (m == n) return 1; - if (0 == memcmp(&m->sort, &n->sort, offsetof(ir_mode,min) - offsetof(ir_mode,sort))) return 1; + if (m->sort == n->sort && + m->arithmetic == n->arithmetic && + m->size == n->size && + m->sign == n->sign && + m->modulo_shift == n->modulo_shift && + m->vector_elem == n->vector_elem) + return 1; return 0; } +/* + * calculates the next obstack address + */ +static void *next_obstack_adr(struct obstack *o, void *p, size_t s) +{ + PTR_INT_TYPE adr = __PTR_TO_INT((char *)p); + int mask = obstack_alignment_mask(o); + + adr += s + mask; + + return __INT_TO_PTR(adr & ~mask); +} + /** * searches the modes obstack for the given mode and returns * a pointer on an equal mode already in the array, NULL if @@ -63,20 +90,31 @@ INLINE static int modes_are_equal(const ir_mode *m, const ir_mode *n) */ static ir_mode *find_mode(const ir_mode *m) { - ir_mode *n; + ir_mode *n, *nn; struct _obstack_chunk *p; - p=modes.chunk; - for( n=(ir_mode*) p->contents; (char *)n < modes.next_free; n+=sizeof(ir_mode) ) - { - if(modes_are_equal(n,m)) return n; + p = modes.chunk; + n = (ir_mode *)p->contents; + nn = next_obstack_adr(&modes, n, sizeof(*n)); + for (; (char *)nn <= modes.next_free;) { + assert(is_mode(n)); + if (modes_are_equal(n, m)) + return n; + + n = nn; + nn = next_obstack_adr(&modes, n, sizeof(*n)); } - for (p = p->prev; p; p = p->prev) - { - for( n=(ir_mode*) p->contents; (char *)n < p->limit; n+=sizeof(ir_mode) ) - { - if(modes_are_equal(n,m)) return n; + for (p = p->prev; p; p = p->prev) { + n = (ir_mode *)p->contents; + nn = next_obstack_adr(&modes, n, sizeof(*n)); + for (; (char *)nn < p->limit;) { + assert(is_mode(n)); + if (modes_are_equal(n, m)) + return n; + + n = nn; + nn = next_obstack_adr(&modes, n, sizeof(*n)); } } @@ -90,36 +128,40 @@ static void set_mode_values(ir_mode* mode) { switch (get_mode_sort(mode)) { + case irms_character: case irms_int_number: case irms_float_number: - mode->min = get_tarval_min(mode); - mode->max = get_tarval_max(mode); + mode->min = get_tarval_min(mode); + mode->max = get_tarval_max(mode); mode->null = get_tarval_null(mode); - mode->one = get_tarval_one(mode); + mode->one = get_tarval_one(mode); + mode->minus_one = get_tarval_minus_one(mode); break; case irms_internal_boolean: - mode->min = tarval_b_false; - mode->max = tarval_b_true; + mode->min = tarval_b_false; + mode->max = tarval_b_true; mode->null = tarval_b_false; - mode->one = tarval_b_true; + mode->one = tarval_b_true; + mode->minus_one = tarval_bad; break; case irms_reference: - mode->min = tarval_bad; - mode->max = tarval_bad; - mode->null = (get_mode_modecode(mode)==irm_P)?tarval_P_void:tarval_bad; - mode->one = tarval_bad; + mode->min = tarval_bad; + mode->max = tarval_bad; + mode->null = get_tarval_null(mode); + mode->one = tarval_bad; + mode->minus_one = tarval_bad; break; - case irms_character: case irms_auxiliary: case irms_memory: case irms_control_flow: - mode->min = tarval_bad; - mode->max = tarval_bad; + mode->min = tarval_bad; + mode->max = tarval_bad; mode->null = tarval_bad; - mode->one = tarval_bad; + mode->one = tarval_bad; + mode->minus_one = tarval_bad; break; } } @@ -157,6 +199,9 @@ ir_mode *mode_U; ir_mode *mode_b; ir_mode *mode_P; +/* machine specific modes */ +ir_mode *mode_P_mach; /* machine specific pointer mode */ + /* * * * functions defined in irmode.h * * */ @@ -184,11 +229,23 @@ INLINE ir_mode *get_modeBB(void) { ANNOUNCE(); return mode_BB; } INLINE ir_mode *get_modeANY(void) { ANNOUNCE(); return mode_ANY; } INLINE ir_mode *get_modeBAD(void) { ANNOUNCE(); return mode_BAD; } + +ir_mode *(get_modeP_mach)(void) { + ANNOUNCE(); + return _get_modeP_mach(); +} + +void (set_modeP_mach)(ir_mode *p) { + ANNOUNCE(); + _set_modeP_mach(p); +} + /** - * Registers a new mode if not defined yet, else returns - * the "equivalent" one. + * Registers a new mode. + * + * @param new_mode The new mode template. */ -static ir_mode *register_mode(const ir_mode* new_mode) +static ir_mode *register_mode(const ir_mode *new_mode) { ir_mode *mode = NULL; @@ -196,10 +253,10 @@ static ir_mode *register_mode(const ir_mode* new_mode) assert(new_mode); /* copy mode struct to modes array */ - mode=(ir_mode*) obstack_copy(&modes, new_mode, sizeof(ir_mode)); + mode = (ir_mode *)obstack_copy(&modes, new_mode, sizeof(*mode)); mode->kind = k_ir_mode; - if(num_modes>=irm_max) mode->code = num_modes; + if (num_modes >= irm_max) mode->code = num_modes; num_modes++; set_mode_values(mode); @@ -210,10 +267,27 @@ 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 align, int sign, mode_arithmetic arithmetic ) +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.sign = sign ? 1 : 0; + mode_tmpl.modulo_shift = (mode_tmpl.sort == irms_int_number) ? modulo_shift : 0; + mode_tmpl.vector_elem = 1; + mode_tmpl.arithmetic = arithmetic; + mode_tmpl.link = NULL; + mode_tmpl.tv_priv = NULL; + + mode = find_mode(&mode_tmpl); + if (mode) { + hook_new_mode(&mode_tmpl, mode); + return mode; + } /* sanity checks */ switch (sort) @@ -223,112 +297,157 @@ ir_mode *new_ir_mode(const char *name, mode_sort sort, int bit_size, int align, case irms_memory: case irms_internal_boolean: assert(0 && "internal modes cannot be user defined"); - return NULL; break; case irms_float_number: - assert(0 && "not yet implemented"); - return NULL; - break; - case irms_int_number: case irms_reference: case irms_character: - break; + mode = register_mode(&mode_tmpl); } - mode_tmpl.name = new_id_from_str(name); - mode_tmpl.sort = sort; - mode_tmpl.size = bit_size; - mode_tmpl.align = align; - mode_tmpl.sign = sign ? 1 : 0; - mode_tmpl.arithmetic = arithmetic; - mode_tmpl.tv_priv = NULL; - - /* first check if there already is a matching mode */ + 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 sign, + mode_arithmetic arithmetic, unsigned int modulo_shift ) +{ + ir_mode mode_tmpl; + 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.sign = sign ? 1 : 0; + mode_tmpl.modulo_shift = (mode_tmpl.sort == irms_int_number) ? modulo_shift : 0; + mode_tmpl.vector_elem = num_of_elem; + mode_tmpl.arithmetic = arithmetic; + mode_tmpl.link = NULL; + mode_tmpl.tv_priv = NULL; + mode = find_mode(&mode_tmpl); - if (mode) - { + if (mode) { + hook_new_mode(&mode_tmpl, mode); return mode; } - else + + if (num_of_elem <= 1) { + assert(0 && "vector modes should have at least 2 elements"); + hook_new_mode(&mode_tmpl, mode); + return mode; + } + + /* sanity checks */ + switch (sort) { - return register_mode(&mode_tmpl); + case irms_auxiliary: + case irms_control_flow: + case irms_memory: + case irms_internal_boolean: + assert(0 && "internal modes cannot be user defined"); + break; + + case irms_reference: + case irms_character: + assert(0 && "only integer and floating point modes can be vectorized"); + break; + + case irms_float_number: + assert(0 && "not yet implemented"); + break; + + case irms_int_number: + mode = register_mode(&mode_tmpl); } + hook_new_mode(&mode_tmpl, mode); + return mode; } /* Functions for the direct access to all attributes od a ir_mode */ modecode -get_mode_modecode(const ir_mode *mode) +(get_mode_modecode)(const ir_mode *mode) { ANNOUNCE(); - return mode->code; + return _get_mode_modecode(mode); } ident * -get_mode_ident(const ir_mode *mode) +(get_mode_ident)(const ir_mode *mode) { ANNOUNCE(); - return mode->name; + return _get_mode_ident(mode); } const char * get_mode_name(const ir_mode *mode) { ANNOUNCE(); - return id_to_str(mode->name); + return get_id_str(mode->name); } mode_sort -get_mode_sort(const ir_mode* mode) +(get_mode_sort)(const ir_mode* mode) { ANNOUNCE(); - return mode->sort; + return _get_mode_sort(mode); } -INLINE int -get_mode_size_bits(const ir_mode *mode) +int +(get_mode_size_bits)(const ir_mode *mode) { ANNOUNCE(); - return mode->size; + return _get_mode_size_bits(mode); } -int get_mode_size_bytes(const ir_mode *mode) { - int size = get_mode_size_bits(mode); +int +(get_mode_size_bytes)(const ir_mode *mode) { ANNOUNCE(); - if ((size & 7) != 0) return -1; - return size >> 3; + return _get_mode_size_bytes(mode); } int -get_mode_align (const ir_mode *mode) +(get_mode_sign)(const ir_mode *mode) { ANNOUNCE(); - return mode->align; + return _get_mode_sign(mode); } int -get_mode_sign (const ir_mode *mode) +(get_mode_arithmetic)(const ir_mode *mode) { ANNOUNCE(); - return mode->sign; + return get_mode_arithmetic(mode); } -int get_mode_arithmetic (const ir_mode *mode) -{ - ANNOUNCE(); - return mode->arithmetic; + +/* Attribute modulo shift specifies for modes of kind irms_int_number + * whether shift applies modulo to value of bits to shift. Asserts + * if mode is not irms_int_number. + */ +unsigned int +(get_mode_modulo_shift)(const ir_mode *mode) { + return _get_mode_modulo_shift(mode); } -void* get_mode_link(const ir_mode *mode) +unsigned int +(get_mode_n_vector_elems)(const ir_mode *mode) { + return _get_mode_vector_elems(mode); +} + +void * +(get_mode_link)(const ir_mode *mode) { ANNOUNCE(); - return mode->link; + return _get_mode_link(mode); } -void set_mode_link(ir_mode *mode, void *l) +void +(set_mode_link)(ir_mode *mode, void *l) { - mode->link=l; - return; + _set_mode_link(mode, l); } tarval * @@ -375,6 +494,17 @@ get_mode_one (ir_mode *mode) return mode->one; } +tarval * +get_mode_minus_one (ir_mode *mode) +{ + ANNOUNCE(); + assert(mode); + assert(get_mode_modecode(mode) < num_modes); + assert(mode_is_data(mode)); + + return mode->minus_one; +} + tarval * get_mode_infinite(ir_mode *mode) { @@ -383,7 +513,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 * @@ -399,147 +529,99 @@ get_mode_NAN(ir_mode *mode) int is_mode (void *thing) { - assert(thing); if (get_kind(thing) == k_ir_mode) return 1; else return 0; } -/* 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 followingenumeration - - 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} -*/ - -#ifdef MODE_ACCESS_DEFINES -# undef mode_is_signed -# undef mode_is_float -# undef mode_is_int -# undef mode_is_num -# undef mode_is_data -# undef mode_is_datab -# undef mode_is_dataM -#endif int -mode_is_signed (const ir_mode *mode) -{ +(mode_is_signed)(const ir_mode *mode) { ANNOUNCE(); - assert(mode); - return mode->sign; + return _mode_is_signed(mode); } int -mode_is_float (const ir_mode *mode) -{ +(mode_is_float)(const ir_mode *mode) { ANNOUNCE(); - assert(mode); - return (get_mode_sort(mode) == irms_float_number); + return _mode_is_float(mode); } int -mode_is_int (const ir_mode *mode) -{ +(mode_is_int)(const ir_mode *mode) { ANNOUNCE(); - assert(mode); - return (get_mode_sort(mode) == irms_int_number); + return _mode_is_int(mode); } -int mode_is_character (const ir_mode *mode) -{ +int +(mode_is_character)(const ir_mode *mode) { ANNOUNCE(); - assert(mode); - return (get_mode_sort(mode) == irms_character); + return _mode_is_character(mode); } -int mode_is_reference (const ir_mode *mode) -{ +int +(mode_is_reference)(const ir_mode *mode) { ANNOUNCE(); - assert(mode); - return (get_mode_sort(mode) == irms_reference); + return _mode_is_reference(mode); } int -mode_is_num (const ir_mode *mode) -{ +(mode_is_num)(const ir_mode *mode) { ANNOUNCE(); - assert(mode); - return (mode_is_int(mode) || mode_is_float(mode)); + return _mode_is_num(mode); } int -mode_is_data (const ir_mode *mode) -{ +(mode_is_numP)(const ir_mode *mode) { ANNOUNCE(); - assert(mode); - return (mode_is_num(mode) || get_mode_sort(mode) == irms_character || get_mode_sort(mode) == irms_reference); + return _mode_is_numP(mode); } int -mode_is_datab (const ir_mode *mode) -{ +(mode_is_data)(const ir_mode *mode) { ANNOUNCE(); - assert(mode); - return (mode_is_data(mode) || get_mode_sort(mode) == irms_internal_boolean); + return _mode_is_data(mode); } int -mode_is_dataM (const ir_mode *mode) -{ +(mode_is_datab)(const ir_mode *mode) { ANNOUNCE(); - assert(mode); - return (mode_is_data(mode) || get_mode_modecode(mode) == irm_M); -} -#ifdef MODE_ACCESS_DEFINES -# define mode_is_signed(mode) (mode)->sign -# define mode_is_float(mode) ((mode)->sort == irms_float_number) -# define mode_is_int(mode) ((mode)->sort == irms_int_number) -# define mode_is_num(mode) (((mode)->sort == irms_float_number) || ((mode)->sort == irms_int_number)) -# define mode_is_data(mode) (((mode)->sort == irms_float_number) || ((mode)->sort == irms_int_number) || ((mode)->sort == irms_character) || ((mode)->sort == irms_reference)) -# define mode_is_datab(mode) (((mode)->sort == irms_float_number) || ((mode)->sort == irms_int_number) || ((mode)->sort == irms_character) || ((mode)->sort == irms_reference) || ((mode)->sort == irms_internal_boolean)) -# define mode_is_dataM(mode) (((mode)->sort == irms_float_number) || ((mode)->sort == irms_int_number) || ((mode)->sort == irms_character) || ((mode)->sort == irms_reference) || ((mode)->code == irm_M)) -#endif + return _mode_is_datab(mode); +} + +int +(mode_is_dataM)(const ir_mode *mode) { + ANNOUNCE(); + return _mode_is_dataM(mode); +} + +int +(mode_is_float_vector)(const ir_mode *mode) { + ANNOUNCE(); + return _mode_is_float_vector(mode); +} + +int +(mode_is_int_vector)(const ir_mode *mode) { + ANNOUNCE(); + return _mode_is_int_vector(mode); +} + /* Returns true if sm can be converted to lm without loss. */ int smaller_mode(const ir_mode *sm, const ir_mode *lm) { + int sm_bits, lm_bits; + ANNOUNCE(); assert(sm); assert(lm); if (sm == lm) return 1; + sm_bits = get_mode_size_bits(sm); + lm_bits = get_mode_size_bits(lm); + switch(get_mode_sort(sm)) { case irms_int_number: @@ -550,18 +632,23 @@ smaller_mode(const ir_mode *sm, const ir_mode *lm) * - both have the same sign and lm is the larger one * - lm is the signed one and is at least two bits larger * (one for the sign, one for the highest bit of sm) + * - sm & lm are two_complement and lm has greater or equal number of bits */ - if (mode_is_signed(sm)) + if ( get_mode_arithmetic(sm) == get_mode_arithmetic(lm) + && get_mode_arithmetic(sm) == irma_twos_complement) { + return lm_bits >= sm_bits; + } + else if (mode_is_signed(sm)) { - if ( mode_is_signed(lm) && (get_mode_size_bits(lm) > get_mode_size_bits(sm)) ) + if ( mode_is_signed(lm) && (lm_bits >= sm_bits) ) return 1; } else if (mode_is_signed(lm)) { - if (get_mode_size_bits(lm) > get_mode_size_bits(sm) + 1) + if (lm_bits > sm_bits + 1) return 1; } - else if (get_mode_size_bits(lm) > get_mode_size_bits(sm)) + else if (lm_bits >= sm_bits) { return 1; } @@ -577,11 +664,11 @@ smaller_mode(const ir_mode *sm, const ir_mode *lm) break; case irms_float_number: - /* XXX currently only the three standard 32,64,80 bit floats - * are supported which can safely be converted */ - if ( (get_mode_sort(lm) == irms_float_number) - && (get_mode_size_bits(lm) > get_mode_size_bits(sm)) ) - return 1; + if (get_mode_arithmetic(sm) == get_mode_arithmetic(lm)) { + if ( (get_mode_sort(lm) == irms_float_number) + && (get_mode_size_bits(lm) >= get_mode_size_bits(sm)) ) + return 1; + } break; case irms_reference: @@ -596,7 +683,7 @@ smaller_mode(const ir_mode *sm, const ir_mode *lm) return 0; } -/* ** initialization ** */ +/* initialization, build the default modes */ void init_mode (void) { @@ -610,23 +697,25 @@ init_mode (void) /* initialize predefined modes */ /* Internal Modes */ - newmode.arithmetic = irma_none; - newmode.size = 0; - newmode.align = 0; - newmode.sign = 0; - newmode.tv_priv = NULL; + newmode.arithmetic = irma_none; + newmode.size = 0; + newmode.sign = 0; + newmode.modulo_shift = 0; + newmode.vector_elem = 0; + newmode.link = NULL; + newmode.tv_priv = NULL; /* Control Flow Modes*/ 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); @@ -635,7 +724,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); @@ -644,19 +733,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); @@ -665,140 +754,138 @@ 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); /* Data Modes */ + newmode.vector_elem = 1; /* Float Number Modes */ - newmode.sort = irms_float_number; + newmode.sort = irms_float_number; 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 = 4; 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 = 4; 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 = 4; newmode.size = 80; mode_E = register_mode(&newmode); /* Integer Number Modes */ - newmode.sort = irms_int_number; - newmode.arithmetic = irma_twos_complement; + newmode.sort = irms_int_number; + newmode.arithmetic = irma_twos_complement; /* signed byte */ - newmode.name = id_from_str("Bs", 2); - newmode.code = irm_Bs; - newmode.sign = 1; - newmode.align = 1; - newmode.size = 8; + newmode.name = new_id_from_chars("Bs", 2); + newmode.code = irm_Bs; + newmode.sign = 1; + newmode.size = 8; + newmode.modulo_shift = 32; mode_Bs = register_mode(&newmode); /* unsigned byte */ - newmode.name = id_from_str("Bu", 2); - newmode.code = irm_Bu; - newmode.arithmetic = irma_twos_complement; - newmode.sign = 0; - newmode.align = 1; - newmode.size = 8; + newmode.name = new_id_from_chars("Bu", 2); + newmode.code = irm_Bu; + newmode.arithmetic = irma_twos_complement; + newmode.sign = 0; + newmode.size = 8; + newmode.modulo_shift = 32; mode_Bu = register_mode(&newmode); /* signed short integer */ - newmode.name = id_from_str("Hs", 2); - newmode.code = irm_Hs; - newmode.sign = 1; - newmode.align = 2; - newmode.size = 16; + newmode.name = new_id_from_chars("Hs", 2); + newmode.code = irm_Hs; + newmode.sign = 1; + newmode.size = 16; + newmode.modulo_shift = 32; mode_Hs = register_mode(&newmode); /* unsigned short integer */ - newmode.name = id_from_str("Hu", 2); - newmode.code = irm_Hu; - newmode.sign = 0; - newmode.align = 2; - newmode.size = 16; + newmode.name = new_id_from_chars("Hu", 2); + newmode.code = irm_Hu; + newmode.sign = 0; + newmode.size = 16; + newmode.modulo_shift = 32; mode_Hu = register_mode(&newmode); /* signed integer */ - newmode.name = id_from_str("Is", 2); - newmode.code = irm_Is; - newmode.sign = 1; - newmode.align = 4; - newmode.size = 32; + newmode.name = new_id_from_chars("Is", 2); + newmode.code = irm_Is; + newmode.sign = 1; + newmode.size = 32; + newmode.modulo_shift = 32; mode_Is = register_mode(&newmode); /* unsigned integer */ - newmode.name = id_from_str("Iu", 2); - newmode.code = irm_Iu; - newmode.sign = 0; - newmode.align = 4; - newmode.size = 32; + newmode.name = new_id_from_chars("Iu", 2); + newmode.code = irm_Iu; + newmode.sign = 0; + newmode.size = 32; + newmode.modulo_shift = 32; mode_Iu = register_mode(&newmode); /* signed long integer */ - newmode.name = id_from_str("Ls", 2); - newmode.code = irm_Ls; - newmode.sign = 1; - newmode.align = 4; - newmode.size = 64; + newmode.name = new_id_from_chars("Ls", 2); + newmode.code = irm_Ls; + newmode.sign = 1; + newmode.size = 64; + newmode.modulo_shift = 64; mode_Ls = register_mode(&newmode); /* unsigned long integer */ - newmode.name = id_from_str("Lu", 2); - newmode.code = irm_Lu; - newmode.sign = 0; - newmode.align = 4; - newmode.size = 64; + newmode.name = new_id_from_chars("Lu", 2); + newmode.code = irm_Lu; + newmode.sign = 0; + newmode.size = 64; + newmode.modulo_shift = 64; mode_Lu = register_mode(&newmode); /* Character Modes */ - newmode.sort = irms_character; - newmode.arithmetic = irma_none; + newmode.sort = irms_character; + newmode.arithmetic = irma_none; /* Character */ - newmode.name = id_from_str("C", 1); - newmode.code = irm_C; - newmode.sign = 0; - newmode.align = 1; - newmode.size = 8; + newmode.name = new_id_from_chars("C", 1); + newmode.code = irm_C; + newmode.sign = 0; + newmode.size = 8; + newmode.modulo_shift = 32; mode_C = register_mode(&newmode); /* Unicode character */ - newmode.name = id_from_str("U", 1); - newmode.code = irm_U; - newmode.sign = 0; - newmode.align = 2; - newmode.size = 16; + newmode.name = new_id_from_chars("U", 1); + newmode.code = irm_U; + newmode.sign = 0; + newmode.size = 16; + newmode.modulo_shift = 32; mode_U = register_mode(&newmode); @@ -807,11 +894,111 @@ init_mode (void) newmode.arithmetic = irma_twos_complement; /* pointer */ - newmode.name = id_from_str("P", 1); - newmode.code = irm_P; - newmode.sign = 0; - newmode.align = 4; - newmode.size = 32; + newmode.name = new_id_from_chars("P", 1); + newmode.code = irm_P; + newmode.sign = 0; + newmode.size = 32; + newmode.modulo_shift = 0; mode_P = register_mode(&newmode); + + /* set the machine specific modes to the predefined ones */ + 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; +} + +/* + * Returns non-zero if the mode has a reversed wrap-aound + * logic, especially (a + x) - x == a. + * + * This is normally true for integer modes, not for floating + * point modes. + */ +int mode_wrap_around(const ir_mode *mode) { + /* FIXME: better would be an extra mode property */ + return mode_is_int(mode); +} + +void finish_mode(void) { + obstack_free(&modes, 0); + + 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_P_mach = NULL; }