X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fia32%2Fia32_new_nodes.c;h=3c7db40716499cdec92c30c2b1853a9cbde5d464;hb=6981dd3274e6753e50f66c8cbe17b37bd41708e5;hp=59caaf074f31b3f36dc9788624cbc17ab67c30a2;hpb=4f90ebd35f592c583be0c9b28aa053d090280ec9;p=libfirm diff --git a/ir/be/ia32/ia32_new_nodes.c b/ir/be/ia32/ia32_new_nodes.c index 59caaf074..3c7db4071 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 @@ -27,49 +29,46 @@ #include "firm_common_t.h" #include "irvrfy_t.h" #include "irprintf.h" +#include "iredges.h" +#include "error.h" #include "../bearch.h" #include "ia32_nodes_attr.h" #include "ia32_new_nodes.h" #include "gen_ia32_regalloc_if.h" +#include "gen_ia32_machine.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 ident of an entity + * @param ent The entity + * @return The ident of the entity + */ +ident *ia32_get_ent_ident(ir_entity *ent) { + ir_type *owner = get_entity_owner(ent); + ident *id = get_entity_ld_ident(ent); -/*********************************************************************************** - * _ _ _ __ - * | | (_) | | / _| - * __| |_ _ _ __ ___ _ __ ___ _ __ _ _ __ | |_ ___ _ __| |_ __ _ ___ ___ - * / _` | | | | '_ ` _ \| '_ \ / _ \ '__| | | '_ \| __/ _ \ '__| _/ _` |/ __/ _ \ - * | (_| | |_| | | | | | | |_) | __/ | | | | | | || __/ | | || (_| | (_| __/ - * \__,_|\__,_|_| |_| |_| .__/ \___|_| |_|_| |_|\__\___|_| |_| \__,_|\___\___| - * | | - * |_| - ***********************************************************************************/ + if (owner == get_tls_type()) { + if (get_entity_visibility(ent) == visibility_external_allocated) + id = mangle(id, new_id_from_chars("@INDNTPOFF", 10)); + else + id = mangle(id, new_id_from_chars("@NTPOFF", 7)); + } + return id; +} /** - * 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) { 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 ia32_get_ent_ident(get_SymConst_entity(symc)); default: assert(0 && "Unsupported SymConst"); @@ -78,6 +77,25 @@ const char *get_sc_name(ir_node *symc) { return NULL; } +/** + * returns true if a node has x87 registers + */ +int ia32_has_x87_register(const ir_node *n) { + assert(is_ia32_irn(n) && "Need ia32 node."); + return is_irn_machine_user(n, 0); +} + +/*********************************************************************************** + * _ _ _ __ + * | | (_) | | / _| + * __| |_ _ _ __ ___ _ __ ___ _ __ _ _ __ | |_ ___ _ __| |_ __ _ ___ ___ + * / _` | | | | '_ ` _ \| '_ \ / _ \ '__| | | '_ \| __/ _ \ '__| _/ _` |/ __/ _ \ + * | (_| | |_| | | | | | | |_) | __/ | | | | | | || __/ | | || (_| | (_| __/ + * \__,_|\__,_|_| |_| |_| .__/ \___|_| |_|_| |_|\__\___|_| |_| \__,_|\___\___| + * | | + * |_| + ***********************************************************************************/ + /** * Returns a string containing the names of all registers within the limited bitset */ @@ -160,7 +178,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; @@ -183,14 +201,17 @@ 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)) { + if(is_ia32_ImmSymConst(n)) { + ident *id = get_ia32_Immop_symconst(n); + fprintf(F, "[SymC %s]", get_id_str(id)); + } else { + char buf[128]; + tarval *tv = get_ia32_Immop_tarval(n); + + tarval_snprintf(buf, sizeof(buf), tv); + fprintf(F, "[%s]", buf); } - - fprintf(F, "[%s%s]", pref, get_ia32_cnst(n)); } if (! is_ia32_Lea(n)) { @@ -224,7 +245,15 @@ static int dump_node_ia32(ir_node *n, FILE *F, dump_reason_t reason) { slots = get_ia32_slots(n); if (slots && n_res > 0) { for (i = 0; i < n_res; i++) { - fprintf(F, "reg #%d = %s\n", i, slots[i] ? slots[i]->name : "n/a"); + const arch_register_t *reg; + + /* retrieve "real" x87 register */ + if (ia32_has_x87_register(n)) + reg = get_ia32_attr(n)->x87[i + 2]; + else + reg = slots[i]; + + fprintf(F, "reg #%d = %s\n", i, reg ? arch_register_get_name(reg) : "n/a"); } fprintf(F, "\n"); } @@ -235,12 +264,6 @@ static int dump_node_ia32(ir_node *n, FILE *F, dump_reason_t reason) { case ia32_Normal: fprintf(F, "Normal"); break; - case ia32_Const: - fprintf(F, "Const"); - break; - case ia32_SymConst: - fprintf(F, "SymConst"); - break; case ia32_AddrModeD: fprintf(F, "AM Dest (Load+Store)"); break; @@ -253,6 +276,23 @@ static int dump_node_ia32(ir_node *n, FILE *F, dump_reason_t reason) { } fprintf(F, "\n"); + /* dump immop type */ + fprintf(F, "immediate = "); + switch (get_ia32_immop_type(n)) { + case ia32_ImmNone: + fprintf(F, "None"); + break; + case ia32_ImmConst: + fprintf(F, "Const"); + break; + case ia32_ImmSymConst: + fprintf(F, "SymConst"); + break; + default: + fprintf(F, "unknown (%d)", get_ia32_immop_type(n)); + break; + } + fprintf(F, "\n"); /* dump supported am */ fprintf(F, "AM support = "); @@ -298,20 +338,26 @@ static int dump_node_ia32(ir_node *n, FILE *F, dump_reason_t reason) { fprintf(F, " (%d)\n", am_flav); /* dump AM offset */ - fprintf(F, "AM offset = "); - if (get_ia32_am_offs(n)) { - fprintf(F, "%s", get_ia32_am_offs(n)); + if(get_ia32_am_offs_int(n) != 0) { + fprintf(F, "AM offset = %d\n", get_ia32_am_offs_int(n)); } - else { - fprintf(F, "n/a"); + + /* dump AM symconst */ + if(get_ia32_am_sc(n) != NULL) { + fprintf(F, "AM symconst = %s\n", get_id_str(get_ia32_am_sc(n))); } - fprintf(F, "\n"); /* dump AM scale */ fprintf(F, "AM scale = %d\n", get_ia32_am_scale(n)); /* dump pn code */ - fprintf(F, "pn_code = %ld\n", get_ia32_pncode(n)); + if(get_ia32_pncode(n) & ia32_pn_Cmp_Unsigned) { + fprintf(F, "pn_code = %d (%s, unsigned)\n", get_ia32_pncode(n), + get_pnc_string(get_ia32_pncode(n) & ~ia32_pn_Cmp_Unsigned)); + } else { + fprintf(F, "pn_code = %d (%s)\n", get_ia32_pncode(n), + get_pnc_string(get_ia32_pncode(n))); + } /* dump n_res */ fprintf(F, "n_res = %d\n", get_ia32_n_res(n)); @@ -322,6 +368,18 @@ static int dump_node_ia32(ir_node *n, FILE *F, dump_reason_t reason) { /* commutative */ fprintf(F, "commutative = %d\n", is_ia32_commutative(n)); + /* emit cl */ + fprintf(F, "emit cl instead of ecx = %d\n", is_ia32_emit_cl(n)); + + /* got lea */ + fprintf(F, "got loea = %d\n", is_ia32_got_lea(n)); + + /* need stackent */ + fprintf(F, "need stackent = %d\n", is_ia32_need_stackent(n)); + + /* dump latency */ + fprintf(F, "latency = %d\n", get_ia32_latency(n)); + /* dump flags */ fprintf(F, "flags ="); flags = get_ia32_flags(n); @@ -338,6 +396,9 @@ static int dump_node_ia32(ir_node *n, FILE *F, dump_reason_t reason) { if (flags & arch_irn_flags_ignore) { fprintf(F, " ignore"); } + if (flags & arch_irn_flags_modify_sp) { + fprintf(F, " modify_sp"); + } } fprintf(F, " (%d)\n", flags); @@ -351,6 +412,16 @@ static int dump_node_ia32(ir_node *n, FILE *F, dump_reason_t reason) { } fprintf(F, "\n"); + /* dump modes */ + fprintf(F, "ls_mode = "); + if (get_ia32_ls_mode(n)) { + ir_fprintf(F, "%+F", get_ia32_ls_mode(n)); + } + else { + fprintf(F, "n/a"); + } + fprintf(F, "\n"); + #ifndef NDEBUG /* dump original ir node name */ fprintf(F, "orig node = "); @@ -384,26 +455,6 @@ 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); - } - - cnst = xmalloc(l); - assert(tarval_snprintf(cnst, l, tv)); - cnst[l - 1] = 0; - return cnst; - } - /** * Wraps get_irn_generic_attr() as it takes no const ir_node, so we need to do a cast. * Firm was made by people hating const :-( @@ -429,6 +480,14 @@ 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; +} + /** * Gets the supported addrmode of an ia32 node */ @@ -441,8 +500,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; } /** @@ -457,79 +516,69 @@ 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; } /** - * Joins all offsets to one string with adds. + * Gets the addressmode offset as int. */ -char *get_ia32_am_offs(const ir_node *node) { +int get_ia32_am_offs_int(const ir_node *node) { ia32_attr_t *attr = get_ia32_attr(node); - char *res = NULL; - int size; - - if (! attr->am_offs) { - return NULL; - } - - size = obstack_object_size(attr->am_offs); - if (size > 0) { - res = xmalloc(size + 2); - res[0] = attr->data.offs_sign ? '-' : '+'; - memcpy(&res[1], obstack_base(attr->am_offs), size); - res[size + 1] = '\0'; - } - return res; + return attr->am_offs; } /** - * Add an offset for addrmode. + * Sets the addressmode offset from an int. */ -static void extend_ia32_am_offs(ir_node *node, char *offset, char op) { +void set_ia32_am_offs_int(ir_node *node, int offset) { ia32_attr_t *attr = get_ia32_attr(node); + attr->am_offs = offset; +} - if (! offset) - return; - - /* offset could already have an explicit sign */ - /* -> supersede op if necessary */ - if (offset[0] == '-' || offset[0] == '+') { - if (offset[0] == '-') { - op = (op == '-') ? '+' : '-'; - } - - /* skip explicit sign */ - offset++; - } +void add_ia32_am_offs_int(ir_node *node, int offset) { + ia32_attr_t *attr = get_ia32_attr(node); + attr->am_offs += offset; +} - if (! attr->am_offs) { - /* obstack is not initialized */ - attr->am_offs = xcalloc(1, sizeof(*(attr->am_offs))); - obstack_init(attr->am_offs); +/** + * 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; +} - attr->data.offs_sign = (op == '-') ? 1 : 0; - } - else { - /* If obstack is initialized, connect the new offset with op */ - obstack_printf(attr->am_offs, "%c", op); - } +/** + * 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; +} - obstack_printf(attr->am_offs, "%s", offset); +/** + * 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; } /** - * Add an offset for addrmode. + * Clears the sign bit for address mode symconst. */ -void add_ia32_am_offs(ir_node *node, char *offset) { - extend_ia32_am_offs(node, offset, '+'); +void clear_ia32_am_sc_sign(ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + attr->data.am_sc_sign = 0; } /** - * Sub an offset for addrmode. + * Returns the sign bit for address mode symconst. */ -void sub_ia32_am_offs(ir_node *node, char *offset) { - extend_ia32_am_offs(node, offset, '-'); +int is_ia32_am_sc_sign(const ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + return attr->data.am_sc_sign; } /** @@ -553,7 +602,8 @@ 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; + assert(attr->data.imm_tp == ia32_ImmConst); + return attr->cnst_val.tv; } /** @@ -561,37 +611,20 @@ 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); -} - -/** - * Return the sc attribute. - */ -const char *get_ia32_sc(const ir_node *node) { - ia32_attr_t *attr = get_ia32_attr(node); - return attr->sc; + attr->data.imm_tp = ia32_ImmConst; + attr->cnst_val.tv = tv; } -/** - * Sets the sc attribute. - */ -void set_ia32_sc(ir_node *node, const char *sc) { +void set_ia32_Immop_symconst(ir_node *node, ident *ident) { ia32_attr_t *attr = get_ia32_attr(node); - attr->sc = copy_str(sc); - - if (attr->cnst) { - free(attr->cnst); - } - attr->cnst = attr->sc; + attr->data.imm_tp = ia32_ImmSymConst; + attr->cnst_val.sc = ident; } -/** - * Gets the string representation of the internal const (tv or symconst) - */ -char *get_ia32_cnst(const ir_node *node) { +ident *get_ia32_Immop_symconst(const ir_node *node) { ia32_attr_t *attr = get_ia32_attr(node); - return attr->cnst; + assert(attr->data.imm_tp == ia32_ImmSymConst); + return attr->cnst_val.sc; } /** @@ -642,6 +675,69 @@ 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; +} + +void set_ia32_need_stackent(ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + attr->data.need_stackent = 1; +} + +void clear_ia32_need_stackent(ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + attr->data.need_stackent = 0; +} + +int is_ia32_need_stackent(const ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + return attr->data.need_stackent; +} + /** * Gets the mode of the stored/loaded value (only set for Store/Load) */ @@ -659,35 +755,40 @@ void set_ia32_ls_mode(ir_node *node, ir_mode *mode) { } /** - * Gets the mode of the result. + * Gets the frame entity assigned to this node. */ -ir_mode *get_ia32_res_mode(const ir_node *node) { +ir_entity *get_ia32_frame_ent(const ir_node *node) { ia32_attr_t *attr = get_ia32_attr(node); - return attr->res_mode; + return attr->frame_ent; } /** - * Sets the mode of the result. + * Sets the frame entity for this node. */ -void set_ia32_res_mode(ir_node *node, ir_mode *mode) { +void set_ia32_frame_ent(ir_node *node, ir_entity *ent) { ia32_attr_t *attr = get_ia32_attr(node); - attr->res_mode = mode; + attr->frame_ent = ent; + if(ent != NULL) + set_ia32_use_frame(node); + else + clear_ia32_use_frame(node); } + /** - * Gets the frame entity assigned to this node; + * Gets the instruction latency. */ -entity *get_ia32_frame_ent(const ir_node *node) { +unsigned get_ia32_latency(const ir_node *node) { ia32_attr_t *attr = get_ia32_attr(node); - return attr->frame_ent; + return attr->latency; } /** - * Sets the frame entity for this node; - */ -void set_ia32_frame_ent(ir_node *node, entity *ent) { +* Sets the instruction latency. +*/ +void set_ia32_latency(ir_node *node, unsigned latency) { ia32_attr_t *attr = get_ia32_attr(node); - attr->frame_ent = ent; + attr->latency = latency; } /** @@ -727,7 +828,7 @@ void set_ia32_out_req_all(ir_node *node, const ia32_register_req_t **reqs) { */ const ia32_register_req_t *get_ia32_in_req(const ir_node *node, int pos) { ia32_attr_t *attr = get_ia32_attr(node); - return attr->in_req[pos]; + return attr->in_req != NULL ? attr->in_req[pos] : NULL; } /** @@ -735,7 +836,7 @@ const ia32_register_req_t *get_ia32_in_req(const ir_node *node, int pos) { */ const ia32_register_req_t *get_ia32_out_req(const ir_node *node, int pos) { ia32_attr_t *attr = get_ia32_attr(node); - return attr->out_req[pos]; + return attr->out_req != NULL ? attr->out_req[pos] : NULL; } /** @@ -813,7 +914,7 @@ void set_ia32_flavour(ir_node *node, ia32_op_flavour_t op_flav) { /** * Returns the projnum code. */ -long get_ia32_pncode(const ir_node *node) { +pn_Cmp get_ia32_pncode(const ir_node *node) { ia32_attr_t *attr = get_ia32_attr(node); return attr->pn_code; } @@ -821,11 +922,36 @@ long get_ia32_pncode(const ir_node *node) { /** * Sets the projnum code */ -void set_ia32_pncode(ir_node *node, long code) { +void set_ia32_pncode(ir_node *node, pn_Cmp code) { ia32_attr_t *attr = get_ia32_attr(node); attr->pn_code = code; } +/** + * Sets the flags for the n'th out. + */ +void set_ia32_out_flags(ir_node *node, arch_irn_flags_t flags, int pos) { + ia32_attr_t *attr = get_ia32_attr(node); + assert(pos < (int) attr->data.n_res && "Invalid OUT position."); + attr->out_flags[pos] = flags; +} + +/** + * Gets the flags for the n'th out. + */ +arch_irn_flags_t get_ia32_out_flags(const ir_node *node, int pos) { + ia32_attr_t *attr = get_ia32_attr(node); + return pos < (int)attr->data.n_res ? attr->out_flags[pos] : arch_irn_flags_none; +} + +/** + * Get the list of available execution units. + */ +const be_execution_unit_t ***get_ia32_exec_units(const ir_node *node) { + ia32_attr_t *attr = get_ia32_attr(node); + return attr->exec_units; +} + #ifndef NDEBUG /** @@ -857,90 +983,35 @@ void set_ia32_orig_node(ir_node *node, const char *name) { * |_| ******************************************************************************************************/ -/** - * Gets the type of an ia32_Const. - */ -unsigned get_ia32_Const_type(const ir_node *node) { - ia32_attr_t *attr = get_ia32_attr(node); - - assert(is_ia32_Cnst(node) && "Need ia32_Const to get type"); - - return attr->data.tp; -} - -/** - * Sets the type of an ia32_Const. - */ -void set_ia32_Const_type(ir_node *node, int type) { - ia32_attr_t *attr = get_ia32_attr(node); - - assert(is_ia32_Cnst(node) && "Need ia32_Const to set type"); - assert((type == ia32_Const || type == ia32_SymConst) && "Unsupported ia32_Const type"); - - attr->data.tp = type; -} - /** * Copy the attributes from an ia32_Const to an Immop (Add_i, Sub_i, ...) node */ -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; - } -} - -/** - * 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; - - 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; +void copy_ia32_Immop_attr(ir_node *node, ir_node *from) { + ia32_immop_type_t immop_type = get_ia32_immop_type(from); + + if(immop_type == ia32_ImmConst) { + set_ia32_Immop_tarval(node, get_ia32_Immop_tarval(from)); + } else if(immop_type == ia32_ImmSymConst) { + set_ia32_Immop_symconst(node, get_ia32_Immop_symconst(from)); + } else { + ia32_attr_t *attr = get_ia32_attr(node); + assert(immop_type == ia32_ImmNone); + attr->data.imm_tp = ia32_ImmNone; } } /** - * Copy the attributes from a Const to an ia32_Const + * Copy the attributes from a Firm Const/SymConst 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); - assert(is_ia32_Cnst(ia32_cnst) && "Need ia32_Const to set Const attr"); 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); + set_ia32_Const_tarval(ia32_cnst, get_Const_tarval(cnst)); break; case iro_SymConst: - attr->data.tp = ia32_SymConst; - attr->tv = NULL; - attr->sc = copy_str(get_sc_name(cnst)); - attr->cnst = attr->sc; + set_ia32_Immop_symconst(ia32_cnst, get_sc_ident(cnst)); break; case iro_Unknown: assert(0 && "Unknown Const NYI"); @@ -950,6 +1021,23 @@ void set_ia32_Const_attr(ir_node *ia32_cnst, ir_node *cnst) { } } +void set_ia32_Const_tarval(ir_node *ia32_cnst, tarval *tv) { + if(mode_is_reference(get_tarval_mode(tv))) { + if(tarval_is_null(tv)) { + tv = get_tarval_null(mode_Iu); + } else { + panic("Can't convert reference tarval to mode_Iu at %+F", ia32_cnst); + } + } else { + tv = tarval_convert_to(tv, mode_Iu); + } + + assert(tv != get_tarval_bad() && tv != get_tarval_undefined() + && tv != NULL); + set_ia32_Immop_tarval(ia32_cnst, tv); +} + + /** * Sets the AddrMode(S|D) attribute */ @@ -968,6 +1056,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. */ @@ -985,24 +1089,27 @@ 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); + int op = get_ia32_irn_opcode(node); + return op == iro_ia32_Load || op == iro_ia32_xLoad || op == iro_ia32_vfld || op == iro_ia32_fld; } /** - * 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); + int op = get_ia32_irn_opcode(node); + return op == iro_ia32_Store || op == iro_ia32_xStore || op == iro_ia32_vfst || op == iro_ia32_fst || op == iro_ia32_fstp; } /** - * 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); + int op = get_ia32_irn_opcode(node); + return op == iro_ia32_Const || op == iro_ia32_xConst || op == iro_ia32_vfConst; } /** @@ -1011,8 +1118,7 @@ int is_ia32_Cnst(const ir_node *node) { const char *get_ia32_out_reg_name(const ir_node *node, int pos) { ia32_attr_t *attr = get_ia32_attr(node); - assert(is_ia32_irn(node) && "Not an ia32 node."); - assert(pos < attr->data.n_res && "Invalid OUT position."); + assert(pos < (int) attr->data.n_res && "Invalid OUT position."); assert(attr->slots[pos] && "No register assigned"); return arch_register_get_name(attr->slots[pos]); @@ -1024,8 +1130,7 @@ const char *get_ia32_out_reg_name(const ir_node *node, int pos) { int get_ia32_out_regnr(const ir_node *node, int pos) { ia32_attr_t *attr = get_ia32_attr(node); - assert(is_ia32_irn(node) && "Not an ia32 node."); - assert(pos < attr->data.n_res && "Invalid OUT position."); + assert(pos < (int) attr->data.n_res && "Invalid OUT position."); assert(attr->slots[pos] && "No register assigned"); return arch_register_get_index(attr->slots[pos]); @@ -1037,39 +1142,46 @@ int get_ia32_out_regnr(const ir_node *node, int pos) { const arch_register_t *get_ia32_out_reg(const ir_node *node, int pos) { ia32_attr_t *attr = get_ia32_attr(node); - assert(is_ia32_irn(node) && "Not an ia32 node."); - assert(pos < attr->data.n_res && "Invalid OUT position."); + assert(pos < (int) attr->data.n_res && "Invalid OUT position."); assert(attr->slots[pos] && "No register assigned"); 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) + const ia32_register_req_t **out_reqs, const be_execution_unit_t ***execution_units, + int n_res, unsigned latency) { + 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); + set_ia32_latency(node, latency); + set_ia32_n_res(node, n_res); + + attr->exec_units = execution_units; + + attr->out_flags = NEW_ARR_D(int, get_irg_obstack(get_irn_irg(node)), n_res); + memset(attr->out_flags, 0, n_res * sizeof(attr->out_flags[0])); + + memset((void *)attr->slots, 0, n_res * sizeof(attr->slots[0])); +} + +ir_node *get_ia32_result_proj(const ir_node *node) +{ + const ir_edge_t *edge; + + foreach_out_edge(node, edge) { + ir_node *proj = get_edge_src_irn(edge); + if(get_Proj_proj(proj) == 0) { + return proj; + } + } + return NULL; } /*************************************************************************************** @@ -1082,16 +1194,67 @@ 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) { - if (a->data.tp == b->data.tp) { - if (! (a->cnst && b->cnst)) - return 1; +/* default compare operation to compare attributes */ +int ia32_compare_attr(ia32_attr_t *a, ia32_attr_t *b) { + if (a->data.tp != b->data.tp + || a->data.imm_tp != b->data.imm_tp) + return 1; - return strcmp(a->cnst, b->cnst); - } + if (a->data.imm_tp == ia32_ImmConst + && a->cnst_val.tv != b->cnst_val.tv) + return 1; + + if (a->data.imm_tp == ia32_ImmSymConst + && a->cnst_val.sc != b->cnst_val.sc) + return 1; + + if (a->data.am_flavour != b->data.am_flavour + || a->data.am_scale != b->data.am_scale + || a->data.offs_sign != b->data.offs_sign + || a->data.am_sc_sign != b->data.am_sc_sign + || a->am_offs != b->am_offs + || a->am_sc != b->am_sc + || a->ls_mode != b->ls_mode) + return 1; + + if (a->data.use_frame != b->data.use_frame + || a->data.use_frame != b->data.use_frame + || a->frame_ent != b->frame_ent) + return 1; + + if(a->pn_code != b->pn_code) + return 1; + + if (a->data.tp != b->data.tp + || a->data.op_flav != b->data.op_flav) + return 1; + + return 0; +} - return 1; +/* 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); + + /* copy the attributes */ + memcpy(attr_new, attr_old, get_op_attr_size(get_irn_op(old_node))); + + /* copy out flags */ + attr_new->out_flags = + DUP_ARR_D(int, get_irg_obstack(get_irn_irg(new_node)), attr_old->out_flags); +} + +/** + * Registers the ia32_copy_attr function for all ia32 opcodes. + */ +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; + } } /* Include the generated constructor functions */