X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fia32%2Fia32_new_nodes.c;h=5c6f6f8d02ad2cc2746a5d97cc62cf8029b1b584;hb=f88e86f1a13d0d1983db56af8670be3e7a4c86ab;hp=5e8c80243bd37c7fe844414911e3063e95d7ebec;hpb=369bbcfd930113345128ca409982f7fb1c6b4f70;p=libfirm diff --git a/ir/be/ia32/ia32_new_nodes.c b/ir/be/ia32/ia32_new_nodes.c index 5e8c80243..5c6f6f8d0 100644 --- a/ir/be/ia32/ia32_new_nodes.c +++ b/ir/be/ia32/ia32_new_nodes.c @@ -1,6 +1,6 @@ /** * This file implements the creation of the achitecture specific firm opcodes - * and the coresponding node constructors for the $arch assembler irg. + * and the coresponding node constructors for the ia32 assembler irg. * @author Christian Wuerdig * $Id$ */ @@ -9,9 +9,11 @@ #include "config.h" #endif -#ifdef _WIN32 +#ifdef HAVE_MALLOC_H #include -#else +#endif + +#ifdef HAVE_ALLOCA_H #include #endif @@ -33,44 +35,21 @@ #include "ia32_nodes_attr.h" #include "ia32_new_nodes.h" #include "gen_ia32_regalloc_if.h" -#include "gen_ia32_new_nodes.h" - -#ifdef obstack_chunk_alloc -# undef obstack_chunk_alloc -# define obstack_chunk_alloc xmalloc -#else -# define obstack_chunk_alloc xmalloc -# define obstack_chunk_free free -#endif - -extern int obstack_printf(struct obstack *obst, char *fmt, ...); - -/*********************************************************************************** - * _ _ _ __ - * | | (_) | | / _| - * __| |_ _ _ __ ___ _ __ ___ _ __ _ _ __ | |_ ___ _ __| |_ __ _ ___ ___ - * / _` | | | | '_ ` _ \| '_ \ / _ \ '__| | | '_ \| __/ _ \ '__| _/ _` |/ __/ _ \ - * | (_| | |_| | | | | | | |_) | __/ | | | | | | || __/ | | || (_| | (_| __/ - * \__,_|\__,_|_| |_| |_| .__/ \___|_| |_|_| |_|\__\___|_| |_| \__,_|\___\___| - * | | - * |_| - ***********************************************************************************/ /** - * Returns the name of a SymConst. - * @param symc the SymConst - * @return name of the SymConst + * Returns the ident of a SymConst. + * @param symc The SymConst + * @return The ident of the SymConst */ -const char *get_sc_name(ir_node *symc) { - if (get_irn_opcode(symc) != iro_SymConst) - return "NONE"; +static ident *get_sc_ident(ir_node *symc) { + assert(get_irn_opcode(symc) == iro_SymConst && "need symconst to get ident"); switch (get_SymConst_kind(symc)) { case symconst_addr_name: - return get_id_str(get_SymConst_name(symc)); + return get_SymConst_name(symc); case symconst_addr_ent: - return get_entity_ld_name(get_SymConst_entity(symc)); + return get_entity_ld_ident(get_SymConst_entity(symc)); default: assert(0 && "Unsupported SymConst"); @@ -79,6 +58,19 @@ const char *get_sc_name(ir_node *symc) { return NULL; } + + +/*********************************************************************************** + * _ _ _ __ + * | | (_) | | / _| + * __| |_ _ _ __ ___ _ __ ___ _ __ _ _ __ | |_ ___ _ __| |_ __ _ ___ ___ + * / _` | | | | '_ ` _ \| '_ \ / _ \ '__| | | '_ \| __/ _ \ '__| _/ _` |/ __/ _ \ + * | (_| | |_| | | | | | | |_) | __/ | | | | | | || __/ | | || (_| | (_| __/ + * \__,_|\__,_|_| |_| |_| .__/ \___|_| |_|_| |_|\__\___|_| |_| \__,_|\___\___| + * | | + * |_| + ***********************************************************************************/ + /** * Returns a string containing the names of all registers within the limited bitset */ @@ -161,7 +153,7 @@ static void dump_reg_req(FILE *F, ir_node *n, const ia32_register_req_t **reqs, * @param reason indicates which kind of information should be dumped * @return 0 on success or != 0 on failure */ -static int dump_node_ia32(ir_node *n, FILE *F, dump_reason_t reason) { +static int ia32_dump_node(ir_node *n, FILE *F, dump_reason_t reason) { ir_mode *mode = NULL; int bad = 0; int i, n_res, am_flav, flags; @@ -184,14 +176,11 @@ static int dump_node_ia32(ir_node *n, FILE *F, dump_reason_t reason) { break; case dump_node_nodeattr_txt: - if (get_ia32_cnst(n)) { - char *pref = ""; - - if (get_ia32_sc(n)) { - pref = "SymC "; - } + if (is_ia32_ImmConst(n) || is_ia32_ImmSymConst(n) || is_ia32_Cnst(n)) { + char *pref = is_ia32_ImmSymConst(n) || (get_ia32_op_type(n) == ia32_SymConst) ? "SymC " : ""; + const char *cnst = get_ia32_cnst(n); - fprintf(F, "[%s%s]", pref, get_ia32_cnst(n)); + fprintf(F, "[%s%s]", pref, cnst ? cnst : "NONE"); } if (! is_ia32_Lea(n)) { @@ -385,25 +374,15 @@ static int dump_node_ia32(ir_node *n, FILE *F, dump_reason_t reason) { * |___/ ***************************************************************************************************/ - static char *copy_str(const char *src) { - size_t l = strlen(src) + 1; - char *dst = xmalloc(l); - strncpy(dst, src, l); - dst[l - 1] = '\0'; - return dst; - } - - static char *set_cnst_from_tv(char *cnst, tarval *tv) { - int l = 64; - if (cnst) { - free(cnst); - } +/** + * Returns an ident for the given tarval tv. + */ +static ident *get_ident_for_tv(tarval *tv) { + char buf[1024]; - cnst = xmalloc(l); - assert(tarval_snprintf(cnst, l, tv)); - cnst[l - 1] = 0; - return cnst; - } + assert(tarval_snprintf(buf, sizeof(buf), tv)); + return new_id_from_str(buf); +} /** * Wraps get_irn_generic_attr() as it takes no const ir_node, so we need to do a cast. @@ -430,6 +409,22 @@ void set_ia32_op_type(ir_node *node, ia32_op_type_t tp) { attr->data.tp = tp; } +/** + * Gets the immediate op type of an ia32 node. + */ +ia32_immop_type_t get_ia32_immop_type(const ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + return attr->data.imm_tp; +} + +/** + * Sets the immediate op type of an ia32 node. + */ +void set_ia32_immop_type(ir_node *node, ia32_immop_type_t tp) { + ia32_attr_t *attr = get_ia32_attr(node); + attr->data.imm_tp = tp; +} + /** * Gets the supported addrmode of an ia32 node */ @@ -442,8 +437,8 @@ ia32_am_type_t get_ia32_am_support(const ir_node *node) { * Sets the supported addrmode of an ia32 node */ void set_ia32_am_support(ir_node *node, ia32_am_type_t am_tp) { - ia32_attr_t *attr = get_ia32_attr(node); - attr->data.am_support = am_tp; + ia32_attr_t *attr = get_ia32_attr(node); + attr->data.am_support = am_tp; } /** @@ -458,8 +453,8 @@ ia32_am_flavour_t get_ia32_am_flavour(const ir_node *node) { * Sets the addrmode flavour of an ia32 node */ void set_ia32_am_flavour(ir_node *node, ia32_am_flavour_t am_flavour) { - ia32_attr_t *attr = get_ia32_attr(node); - attr->data.am_flavour = am_flavour; + ia32_attr_t *attr = get_ia32_attr(node); + attr->data.am_flavour = am_flavour; } /** @@ -474,13 +469,21 @@ char *get_ia32_am_offs(const ir_node *node) { return NULL; } + if (! attr->plain_offs) + attr->plain_offs = (struct obstack *)_new_arr_d(get_irg_obstack(get_irn_irg(node)), 1, sizeof(*(attr->plain_offs))); + else + obstack_free(attr->plain_offs, NULL); + + obstack_init(attr->plain_offs); + size = obstack_object_size(attr->am_offs); if (size > 0) { - res = xmalloc(size + 2); + res = obstack_alloc(attr->plain_offs, size + 2); res[0] = attr->data.offs_sign ? '-' : '+'; memcpy(&res[1], obstack_base(attr->am_offs), size); res[size + 1] = '\0'; } + return res; } @@ -490,7 +493,7 @@ char *get_ia32_am_offs(const ir_node *node) { static void extend_ia32_am_offs(ir_node *node, char *offset, char op) { ia32_attr_t *attr = get_ia32_attr(node); - if (! offset) + if (! offset || strlen(offset) < 1) return; /* offset could already have an explicit sign */ @@ -506,7 +509,7 @@ static void extend_ia32_am_offs(ir_node *node, char *offset, char op) { if (! attr->am_offs) { /* obstack is not initialized */ - attr->am_offs = xcalloc(1, sizeof(*(attr->am_offs))); + attr->am_offs = (struct obstack *)_new_arr_d(get_irg_obstack(get_irn_irg(node)), 1, sizeof(*(attr->am_offs))); obstack_init(attr->am_offs); attr->data.offs_sign = (op == '-') ? 1 : 0; @@ -522,15 +525,55 @@ static void extend_ia32_am_offs(ir_node *node, char *offset, char op) { /** * Add an offset for addrmode. */ -void add_ia32_am_offs(ir_node *node, char *offset) { - extend_ia32_am_offs(node, offset, '+'); +void add_ia32_am_offs(ir_node *node, const char *offset) { + extend_ia32_am_offs(node, (char *)offset, '+'); } /** * Sub an offset for addrmode. */ -void sub_ia32_am_offs(ir_node *node, char *offset) { - extend_ia32_am_offs(node, offset, '-'); +void sub_ia32_am_offs(ir_node *node, const char *offset) { + extend_ia32_am_offs(node, (char *)offset, '-'); +} + +/** + * Returns the symconst ident associated to addrmode. + */ +ident *get_ia32_am_sc(const ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + return attr->am_sc; +} + +/** + * Sets the symconst ident associated to addrmode. + */ +void set_ia32_am_sc(ir_node *node, ident *sc) { + ia32_attr_t *attr = get_ia32_attr(node); + attr->am_sc = sc; +} + +/** + * Sets the sign bit for address mode symconst. + */ +void set_ia32_am_sc_sign(ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + attr->data.am_sc_sign = 1; +} + +/** + * Clears the sign bit for address mode symconst. + */ +void clear_ia32_am_sc_sign(ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + attr->data.am_sc_sign = 0; +} + +/** + * Returns the sign bit for address mode symconst. + */ +int is_ia32_am_sc_sign(const ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + return attr->data.am_sc_sign; } /** @@ -554,7 +597,7 @@ void set_ia32_am_scale(ir_node *node, int scale) { */ tarval *get_ia32_Immop_tarval(const ir_node *node) { ia32_attr_t *attr = get_ia32_attr(node); - return attr->tv; + return attr->cnst_val.tv; } /** @@ -562,37 +605,35 @@ tarval *get_ia32_Immop_tarval(const ir_node *node) { */ void set_ia32_Immop_tarval(ir_node *node, tarval *tv) { ia32_attr_t *attr = get_ia32_attr(node); - attr->tv = tv; - attr->cnst = set_cnst_from_tv(attr->cnst, attr->tv); + attr->cnst_val.tv = tv; + attr->cnst = get_ident_for_tv(tv); } /** * Return the sc attribute. */ -const char *get_ia32_sc(const ir_node *node) { +ident *get_ia32_sc(const ir_node *node) { ia32_attr_t *attr = get_ia32_attr(node); - return attr->sc; + return attr->cnst_val.sc; } /** * Sets the sc attribute. */ -void set_ia32_sc(ir_node *node, const char *sc) { +void set_ia32_sc(ir_node *node, ident *sc) { ia32_attr_t *attr = get_ia32_attr(node); - attr->sc = copy_str(sc); - - if (attr->cnst) { - free(attr->cnst); - } - attr->cnst = attr->sc; + attr->cnst_val.sc = sc; + attr->cnst = attr->cnst_val.sc; } /** * Gets the string representation of the internal const (tv or symconst) */ -char *get_ia32_cnst(const ir_node *node) { +const char *get_ia32_cnst(const ir_node *node) { ia32_attr_t *attr = get_ia32_attr(node); - return attr->cnst; + if (! attr->cnst) + return NULL; + return get_id_str(attr->cnst); } /** @@ -600,7 +641,23 @@ char *get_ia32_cnst(const ir_node *node) { */ void set_ia32_cnst(ir_node *node, char *cnst) { ia32_attr_t *attr = get_ia32_attr(node); - attr->cnst = cnst; + attr->cnst = new_id_from_str(cnst); +} + +/** + * Gets the ident representation of the internal const (tv or symconst) + */ +ident *get_ia32_id_cnst(const ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + return attr->cnst; +} + +/** + * Sets the ident representation of the internal const. + */ +void set_ia32_id_cnst(ir_node *node, ident *cnst) { + ia32_attr_t *attr = get_ia32_attr(node); + attr->cnst = cnst; } /** @@ -651,6 +708,54 @@ int is_ia32_commutative(const ir_node *node) { return attr->data.is_commutative; } +/** + * Sets node emit_cl. + */ +void set_ia32_emit_cl(ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + attr->data.emit_cl = 1; +} + +/** + * Clears node emit_cl. + */ +void clear_ia32_emit_cl(ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + attr->data.emit_cl = 0; +} + +/** + * Checks if node needs %cl. + */ +int is_ia32_emit_cl(const ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + return attr->data.emit_cl; +} + +/** + * Sets node got_lea. + */ +void set_ia32_got_lea(ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + attr->data.got_lea = 1; +} + +/** + * Clears node got_lea. + */ +void clear_ia32_got_lea(ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + attr->data.got_lea = 0; +} + +/** + * Checks if node got lea. + */ +int is_ia32_got_lea(const ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + return attr->data.got_lea; +} + /** * Gets the mode of the stored/loaded value (only set for Store/Load) */ @@ -683,6 +788,38 @@ void set_ia32_res_mode(ir_node *node, ir_mode *mode) { attr->res_mode = mode; } +/** + * Gets the source mode of conversion. + */ +ir_mode *get_ia32_src_mode(const ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + return attr->src_mode; +} + +/** + * Sets the source mode of conversion. + */ +void set_ia32_src_mode(ir_node *node, ir_mode *mode) { + ia32_attr_t *attr = get_ia32_attr(node); + attr->src_mode = mode; +} + +/** + * Gets the target mode of conversion. + */ +ir_mode *get_ia32_tgt_mode(const ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + return attr->tgt_mode; +} + +/** + * Sets the target mode of conversion. + */ +void set_ia32_tgt_mode(ir_node *node, ir_mode *mode) { + ia32_attr_t *attr = get_ia32_attr(node); + attr->tgt_mode = mode; +} + /** * Gets the frame entity assigned to this node; */ @@ -896,43 +1033,47 @@ void set_ia32_Immop_attr(ir_node *node, ir_node *cnst) { ia32_attr_t *na = get_ia32_attr(node); ia32_attr_t *ca = get_ia32_attr(cnst); - assert(is_ia32_Cnst(cnst) && "Need ia32_Const to set Immop attr"); - - na->tv = ca->tv; - - if (ca->sc) { - na->sc = copy_str(ca->sc); - na->cnst = na->sc; - } - else { - na->cnst = set_cnst_from_tv(na->cnst, na->tv); - na->sc = NULL; + switch(get_ia32_Const_type(cnst)) { + case ia32_Const: + na->cnst_val.tv = ca->cnst_val.tv; + na->cnst = ca->cnst; + set_ia32_immop_type(node, ia32_ImmConst); + break; + case ia32_SymConst: + na->cnst_val.sc = ca->cnst_val.sc; + na->cnst = na->cnst_val.sc; + set_ia32_immop_type(node, ia32_ImmSymConst); + break; + default: + assert(0 && "Need ia32_Const to set Immop attr"); } } /** * Copy the attributes from Immop to an Immop */ -void copy_ia32_Immop_attr(ir_node *node, ir_node *src) -{ - ia32_attr_t *na = get_ia32_attr(node); - ia32_attr_t *ca = get_ia32_attr(src); - - assert(get_ia32_cnst(src) != NULL); - na->tv = ca->tv; +void copy_ia32_Immop_attr(ir_node *dst, ir_node *src) { + ia32_attr_t *da = get_ia32_attr(dst); + ia32_attr_t *sa = get_ia32_attr(src); - if (ca->sc) { - na->sc = copy_str(ca->sc); - na->cnst = na->sc; - } - else { - na->cnst = set_cnst_from_tv(na->cnst, na->tv); - na->sc = NULL; + switch(get_ia32_immop_type(src)) { + case ia32_ImmConst: + da->cnst_val.tv = sa->cnst_val.tv; + da->cnst = sa->cnst; + set_ia32_immop_type(dst, ia32_ImmConst); + break; + case ia32_ImmSymConst: + da->cnst_val.sc = sa->cnst_val.sc; + da->cnst = sa->cnst; + set_ia32_immop_type(dst, ia32_ImmSymConst); + break; + default: + assert(0 && "Need Immop to copy Immop attr"); } } /** - * Copy the attributes from a Const to an ia32_Const + * Copy the attributes from a Firm Const to an ia32_Const */ void set_ia32_Const_attr(ir_node *ia32_cnst, ir_node *cnst) { ia32_attr_t *attr = get_ia32_attr(ia32_cnst); @@ -941,15 +1082,14 @@ void set_ia32_Const_attr(ir_node *ia32_cnst, ir_node *cnst) { switch (get_irn_opcode(cnst)) { case iro_Const: - attr->data.tp = ia32_Const; - attr->tv = get_Const_tarval(cnst); - attr->cnst = set_cnst_from_tv(attr->cnst, attr->tv); + attr->data.tp = ia32_Const; + attr->cnst_val.tv = get_Const_tarval(cnst); + attr->cnst = get_ident_for_tv(attr->cnst_val.tv); break; case iro_SymConst: - attr->data.tp = ia32_SymConst; - attr->tv = NULL; - attr->sc = copy_str(get_sc_name(cnst)); - attr->cnst = attr->sc; + attr->data.tp = ia32_SymConst; + attr->cnst_val.sc = get_sc_ident(cnst); + attr->cnst = attr->cnst_val.sc; break; case iro_Unknown: assert(0 && "Unknown Const NYI"); @@ -977,6 +1117,22 @@ void set_ia32_AddrMode(ir_node *node, char direction) { } } +/** + * Returns whether or not the node is an immediate operation with Const. + */ +int is_ia32_ImmConst(const ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + return (attr->data.imm_tp == ia32_ImmConst); +} + +/** + * Returns whether or not the node is an immediate operation with SymConst. + */ +int is_ia32_ImmSymConst(const ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + return (attr->data.imm_tp == ia32_ImmSymConst); +} + /** * Returns whether or not the node is an AddrModeS node. */ @@ -994,24 +1150,24 @@ int is_ia32_AddrModeD(const ir_node *node) { } /** - * Checks if node is a Load or fLoad. + * Checks if node is a Load or xLoad/vfLoad. */ int is_ia32_Ld(const ir_node *node) { - return is_ia32_Load(node) || is_ia32_fLoad(node); + return is_ia32_Load(node) || is_ia32_xLoad(node) || is_ia32_vfld(node) || is_ia32_fld(node); } /** - * Checks if node is a Store or fStore. + * Checks if node is a Store or xStore/vfStore. */ int is_ia32_St(const ir_node *node) { - return is_ia32_Store(node) || is_ia32_fStore(node); + return is_ia32_Store(node) || is_ia32_xStore(node) || is_ia32_vfst(node) || is_ia32_fst(node) || is_ia32_fstp(node); } /** - * Checks if node is a Const or fConst. + * Checks if node is a Const or xConst/vfConst. */ int is_ia32_Cnst(const ir_node *node) { - return is_ia32_Const(node) || is_ia32_fConst(node); + return is_ia32_Const(node) || is_ia32_xConst(node) || is_ia32_vfConst(node); } /** @@ -1053,32 +1209,19 @@ const arch_register_t *get_ia32_out_reg(const ir_node *node, int pos) { return attr->slots[pos]; } -/** - * Allocates num register slots for node. - */ -void alloc_ia32_reg_slots(ir_node *node, int num) { - ia32_attr_t *attr = get_ia32_attr(node); - - if (num) { - attr->slots = xcalloc(num, sizeof(attr->slots[0])); - } - else { - attr->slots = NULL; - } - - attr->data.n_res = num; -} - /** * Initializes the nodes attributes. */ void init_ia32_attributes(ir_node *node, arch_irn_flags_t flags, const ia32_register_req_t **in_reqs, const ia32_register_req_t **out_reqs, int n_res) { + ia32_attr_t *attr = get_ia32_attr(node); set_ia32_flags(node, flags); set_ia32_in_req_all(node, in_reqs); set_ia32_out_req_all(node, out_reqs); - alloc_ia32_reg_slots(node, n_res); + + attr->data.n_res = n_res; + memset((void *)attr->slots, 0, n_res * sizeof(attr->slots[0])); } /*************************************************************************************** @@ -1093,41 +1236,26 @@ void init_ia32_attributes(ir_node *node, arch_irn_flags_t flags, const ia32_regi /* default compare operation to compare immediate ops */ int ia32_compare_immop_attr(ia32_attr_t *a, ia32_attr_t *b) { + int equ = 0; + if (a->data.tp == b->data.tp) { - if (! (a->cnst && b->cnst)) - return 1; + equ = (a->cnst == b->cnst); + equ = equ ? (a->data.use_frame == b->data.use_frame) : 0; - return strcmp(a->cnst, b->cnst); + if (equ && a->data.use_frame && b->data.use_frame) + equ = (a->frame_ent == b->frame_ent); } - return 1; + return !equ; } -/* copies the ia32 attributes */ -static void ia32_copy_attr(const ir_node *old_node, ir_node *new_node) { - ia32_attr_t *attr_old = get_ia32_attr(old_node); - ia32_attr_t *attr_new = get_ia32_attr(new_node); - int n_res = get_ia32_n_res(old_node); - - /* copy the attributes */ - memcpy(attr_new, attr_old, sizeof(*attr_new)); +/* compare converts */ +int ia32_compare_conv_attr(ia32_attr_t *a, ia32_attr_t *b) { + int equ = ! ia32_compare_immop_attr(a, b); - /* copy the register slots */ - attr_new->slots = NEW_ARR_D(arch_register_t *, get_irg_obstack(get_irn_irg(new_node)), n_res); - memcpy((void *)attr_new->slots, (void *)attr_old->slots, sizeof(attr_new->slots[0]) * n_res); -} - -void ia32_register_copy_attr_func(void) { - unsigned i, f = get_ia32_opcode_first(), l = get_ia32_opcode_last(); - - for (i = f; i < l; i++) { - ir_op *op = get_irp_opcode(i); - op->ops.copy_attr = ia32_copy_attr; - } -} + equ = equ ? (a->src_mode == b->src_mode) && (a->tgt_mode == b->tgt_mode) : equ; -static void ia32_register_additional_opcodes(int n) { - /* we don't need any additional opcodes */ + return !equ; } /* Include the generated constructor functions */