nsz Git - libfirm/blob - ir/be/ia32/ia32_new_nodes.c

   1 /**
   2  * This file implements the creation of the achitecture specific firm opcodes
   3  * and the coresponding node constructors for the $arch assembler irg.
   4  * @author Christian Wuerdig
   5  * $Id$
   6  */
   7
   8 #ifdef HAVE_CONFIG_H
   9 #include "config.h"
  10 #endif
  11
  12 #ifdef HAVE_MALLOC_H
  13 #include <malloc.h>
  14 #endif
  15
  16 #ifdef HAVE_ALLOCA_H
  17 #include <alloca.h>
  18 #endif
  19
  20 #include <stdlib.h>
  21
  22 #include "irprog_t.h"
  23 #include "irgraph_t.h"
  24 #include "irnode_t.h"
  25 #include "irmode_t.h"
  26 #include "ircons_t.h"
  27 #include "iropt_t.h"
  28 #include "irop.h"
  29 #include "firm_common_t.h"
  30 #include "irvrfy_t.h"
  31 #include "irprintf.h"
  32
  33 #include "../bearch.h"
  34
  35 #include "ia32_nodes_attr.h"
  36 #include "ia32_new_nodes.h"
  37 #include "gen_ia32_regalloc_if.h"
  38
  39 /**
  40  * Returns the ident of a SymConst.
  41  * @param symc  The SymConst
  42  * @return The ident of the SymConst
  43  */
  44 static ident *get_sc_ident(ir_node *symc) {
  45         assert(get_irn_opcode(symc) == iro_SymConst && "need symconst to get ident");
  46
  47         switch (get_SymConst_kind(symc)) {
  48                 case symconst_addr_name:
  49                         return get_SymConst_name(symc);
  50
  51                 case symconst_addr_ent:
  52                         return get_entity_ld_ident(get_SymConst_entity(symc));
  53
  54                 default:
  55                         assert(0 && "Unsupported SymConst");
  56         }
  57
  58         return NULL;
  59 }
  60
  61
  62
  63 /***********************************************************************************
  64  *      _                                   _       _             __
  65  *     | |                                 (_)     | |           / _|
  66  *   __| |_   _ _ __ ___  _ __   ___ _ __   _ _ __ | |_ ___ _ __| |_ __ _  ___ ___
  67  *  / _` | | | | '_ ` _ \| '_ \ / _ \ '__| | | '_ \| __/ _ \ '__|  _/ _` |/ __/ _ \
  68  * | (_| | |_| | | | | | | |_) |  __/ |    | | | | | ||  __/ |  | || (_| | (_|  __/
  69  *  \__,_|\__,_|_| |_| |_| .__/ \___|_|    |_|_| |_|\__\___|_|  |_| \__,_|\___\___|
  70  *                       | |
  71  *                       |_|
  72  ***********************************************************************************/
  73
  74 /**
  75  * Returns a string containing the names of all registers within the limited bitset
  76  */
  77 static char *get_limited_regs(const arch_register_req_t *req, char *buf, int max) {
  78         bitset_t *bs   = bitset_alloca(req->cls->n_regs);
  79         char     *p    = buf;
  80         int       size = 0;
  81         int       i, cnt;
  82
  83         req->limited(NULL, bs);
  84
  85         for (i = 0; i < req->cls->n_regs; i++) {
  86                 if (bitset_is_set(bs, i)) {
  87                         cnt = snprintf(p, max - size, " %s", req->cls->regs[i].name);
  88                         if (cnt < 0) {
  89                                 fprintf(stderr, "dumper problem, exiting\n");
  90                                 exit(1);
  91                         }
  92
  93                         p    += cnt;
  94                         size += cnt;
  95
  96                         if (size >= max)
  97                                 break;
  98                 }
  99         }
 100
 101         return buf;
 102 }
 103
 104 /**
 105  * Dumps the register requirements for either in or out.
 106  */
 107 static void dump_reg_req(FILE *F, ir_node *n, const ia32_register_req_t **reqs, int inout) {
 108         char *dir = inout ? "out" : "in";
 109         int   max = inout ? get_ia32_n_res(n) : get_irn_arity(n);
 110         char *buf = alloca(1024);
 111         int   i;
 112
 113         memset(buf, 0, 1024);
 114
 115         if (reqs) {
 116                 for (i = 0; i < max; i++) {
 117                         fprintf(F, "%sreq #%d =", dir, i);
 118
 119                         if (reqs[i]->req.type == arch_register_req_type_none) {
 120                                 fprintf(F, " n/a");
 121                         }
 122
 123                         if (reqs[i]->req.type & arch_register_req_type_normal) {
 124                                 fprintf(F, " %s", reqs[i]->req.cls->name);
 125                         }
 126
 127                         if (reqs[i]->req.type & arch_register_req_type_limited) {
 128                                 fprintf(F, " %s", get_limited_regs(&reqs[i]->req, buf, 1024));
 129                         }
 130
 131                         if (reqs[i]->req.type & arch_register_req_type_should_be_same) {
 132                                 ir_fprintf(F, " same as %+F", get_irn_n(n, reqs[i]->same_pos));
 133                         }
 134
 135                         if (reqs[i]->req.type & arch_register_req_type_should_be_different) {
 136                                 ir_fprintf(F, " different from %+F", get_irn_n(n, reqs[i]->different_pos));
 137                         }
 138
 139                         fprintf(F, "\n");
 140                 }
 141
 142                 fprintf(F, "\n");
 143         }
 144         else {
 145                 fprintf(F, "%sreq = N/A\n", dir);
 146         }
 147 }
 148
 149 /**
 150  * Dumper interface for dumping ia32 nodes in vcg.
 151  * @param n        the node to dump
 152  * @param F        the output file
 153  * @param reason   indicates which kind of information should be dumped
 154  * @return 0 on success or != 0 on failure
 155  */
 156 static int dump_node_ia32(ir_node *n, FILE *F, dump_reason_t reason) {
 157         ir_mode     *mode = NULL;
 158         int          bad  = 0;
 159         int          i, n_res, am_flav, flags;
 160         const ia32_register_req_t **reqs;
 161         const arch_register_t     **slots;
 162
 163         switch (reason) {
 164                 case dump_node_opcode_txt:
 165                         fprintf(F, "%s", get_irn_opname(n));
 166                         break;
 167
 168                 case dump_node_mode_txt:
 169                         mode = get_irn_mode(n);
 170
 171                         if (is_ia32_Ld(n) || is_ia32_St(n)) {
 172                                 mode = get_ia32_ls_mode(n);
 173                         }
 174
 175                         fprintf(F, "[%s]", mode ? get_mode_name(mode) : "?NOMODE?");
 176                         break;
 177
 178                 case dump_node_nodeattr_txt:
 179                         if (is_ia32_ImmConst(n) || is_ia32_ImmSymConst(n) || is_ia32_Cnst(n)) {
 180                                 char       *pref = is_ia32_ImmSymConst(n) || (get_ia32_op_type(n) == ia32_SymConst) ? "SymC" : "";
 181                                 const char *cnst = get_ia32_cnst(n);
 182
 183                                 fprintf(F, "[%s%s]", pref, cnst ? cnst : "NONE");
 184                         }
 185
 186                         if (! is_ia32_Lea(n)) {
 187                                 if (is_ia32_AddrModeS(n)) {
 188                                         fprintf(F, "[AM S] ");
 189                                 }
 190                                 else if (is_ia32_AddrModeD(n)) {
 191                                         fprintf(F, "[AM D] ");
 192                                 }
 193                         }
 194
 195                         break;
 196
 197                 case dump_node_info_txt:
 198                         n_res = get_ia32_n_res(n);
 199                         fprintf(F, "=== IA32 attr begin ===\n");
 200
 201                         /* dump IN requirements */
 202                         if (get_irn_arity(n) > 0) {
 203                                 reqs = get_ia32_in_req_all(n);
 204                                 dump_reg_req(F, n, reqs, 0);
 205                         }
 206
 207                         /* dump OUT requirements */
 208                         if (n_res > 0) {
 209                                 reqs = get_ia32_out_req_all(n);
 210                                 dump_reg_req(F, n, reqs, 1);
 211                         }
 212
 213                         /* dump assigned registers */
 214                         slots = get_ia32_slots(n);
 215                         if (slots && n_res > 0) {
 216                                 for (i = 0; i < n_res; i++) {
 217                                         fprintf(F, "reg #%d = %s\n", i, slots[i] ? slots[i]->name : "n/a");
 218                                 }
 219                                 fprintf(F, "\n");
 220                         }
 221
 222                         /* dump op type */
 223                         fprintf(F, "op = ");
 224                         switch (get_ia32_op_type(n)) {
 225                                 case ia32_Normal:
 226                                         fprintf(F, "Normal");
 227                                         break;
 228                                 case ia32_Const:
 229                                         fprintf(F, "Const");
 230                                         break;
 231                                 case ia32_SymConst:
 232                                         fprintf(F, "SymConst");
 233                                         break;
 234                                 case ia32_AddrModeD:
 235                                         fprintf(F, "AM Dest (Load+Store)");
 236                                         break;
 237                                 case ia32_AddrModeS:
 238                                         fprintf(F, "AM Source (Load)");
 239                                         break;
 240                                 default:
 241                                         fprintf(F, "unknown (%d)", get_ia32_op_type(n));
 242                                         break;
 243                         }
 244                         fprintf(F, "\n");
 245
 246
 247                         /* dump supported am */
 248                         fprintf(F, "AM support = ");
 249                         switch (get_ia32_am_support(n)) {
 250                                 case ia32_am_None:
 251                                         fprintf(F, "none");
 252                                         break;
 253                                 case ia32_am_Source:
 254                                         fprintf(F, "source only (Load)");
 255                                         break;
 256                                 case ia32_am_Dest:
 257                                         fprintf(F, "dest only (Load+Store)");
 258                                         break;
 259                                 case ia32_am_Full:
 260                                         fprintf(F, "full");
 261                                         break;
 262                                 default:
 263                                         fprintf(F, "unknown (%d)", get_ia32_am_support(n));
 264                                         break;
 265                         }
 266                         fprintf(F, "\n");
 267
 268                         /* dump am flavour */
 269                         fprintf(F, "AM flavour =");
 270                         am_flav = get_ia32_am_flavour(n);
 271                         if (am_flav == ia32_am_N) {
 272                                 fprintf(F, " none");
 273                         }
 274                         else {
 275                                 if (am_flav & ia32_O) {
 276                                         fprintf(F, " O");
 277                                 }
 278                                 if (am_flav & ia32_B) {
 279                                         fprintf(F, " B");
 280                                 }
 281                                 if (am_flav & ia32_I) {
 282                                         fprintf(F, " I");
 283                                 }
 284                                 if (am_flav & ia32_S) {
 285                                         fprintf(F, " S");
 286                                 }
 287                         }
 288                         fprintf(F, " (%d)\n", am_flav);
 289
 290                         /* dump AM offset */
 291                         fprintf(F, "AM offset = ");
 292                         if (get_ia32_am_offs(n)) {
 293                                 fprintf(F, "%s", get_ia32_am_offs(n));
 294                         }
 295                         else {
 296                                 fprintf(F, "n/a");
 297                         }
 298                         fprintf(F, "\n");
 299
 300                         /* dump AM scale */
 301                         fprintf(F, "AM scale = %d\n", get_ia32_am_scale(n));
 302
 303                         /* dump pn code */
 304                         fprintf(F, "pn_code = %ld\n", get_ia32_pncode(n));
 305
 306                         /* dump n_res */
 307                         fprintf(F, "n_res = %d\n", get_ia32_n_res(n));
 308
 309                         /* dump use_frame */
 310                         fprintf(F, "use_frame = %d\n", is_ia32_use_frame(n));
 311
 312                         /* commutative */
 313                         fprintf(F, "commutative = %d\n", is_ia32_commutative(n));
 314
 315                         /* dump flags */
 316                         fprintf(F, "flags =");
 317                         flags = get_ia32_flags(n);
 318                         if (flags == arch_irn_flags_none) {
 319                                 fprintf(F, " none");
 320                         }
 321                         else {
 322                                 if (flags & arch_irn_flags_dont_spill) {
 323                                         fprintf(F, " unspillable");
 324                                 }
 325                                 if (flags & arch_irn_flags_rematerializable) {
 326                                         fprintf(F, " remat");
 327                                 }
 328                                 if (flags & arch_irn_flags_ignore) {
 329                                         fprintf(F, " ignore");
 330                                 }
 331                         }
 332                         fprintf(F, " (%d)\n", flags);
 333
 334                         /* dump frame entity */
 335                         fprintf(F, "frame entity = ");
 336                         if (get_ia32_frame_ent(n)) {
 337                                 ir_fprintf(F, "%+F", get_ia32_frame_ent(n));
 338                         }
 339                         else {
 340                                 fprintf(F, "n/a");
 341                         }
 342                         fprintf(F, "\n");
 343
 344 #ifndef NDEBUG
 345                         /* dump original ir node name */
 346                         fprintf(F, "orig node = ");
 347                         if (get_ia32_orig_node(n)) {
 348                                 fprintf(F, "%s", get_ia32_orig_node(n));
 349                         }
 350                         else {
 351                                 fprintf(F, "n/a");
 352                         }
 353                         fprintf(F, "\n");
 354 #endif /* NDEBUG */
 355
 356                         fprintf(F, "=== IA32 attr end ===\n");
 357                         /* end of: case dump_node_info_txt */
 358                         break;
 359         }
 360
 361         return bad;
 362 }
 363
 364
 365
 366 /***************************************************************************************************
 367  *        _   _                   _       __        _                    _   _               _
 368  *       | | | |                 | |     / /       | |                  | | | |             | |
 369  *   __ _| |_| |_ _ __   ___  ___| |_   / /_ _  ___| |_   _ __ ___   ___| |_| |__   ___   __| |___
 370  *  / _` | __| __| '__| / __|/ _ \ __| / / _` |/ _ \ __| | '_ ` _ \ / _ \ __| '_ \ / _ \ / _` / __|
 371  * | (_| | |_| |_| |    \__ \  __/ |_ / / (_| |  __/ |_  | | | | | |  __/ |_| | | | (_) | (_| \__ \
 372  *  \__,_|\__|\__|_|    |___/\___|\__/_/ \__, |\___|\__| |_| |_| |_|\___|\__|_| |_|\___/ \__,_|___/
 373  *                                        __/ |
 374  *                                       |___/
 375  ***************************************************************************************************/
 376
 377 /**
 378  * Returns an ident for the given tarval tv.
 379  */
 380 static ident *get_ident_for_tv(tarval *tv) {
 381         char buf[1024];
 382
 383         assert(tarval_snprintf(buf, sizeof(buf), tv));
 384         return new_id_from_str(buf);
 385 }
 386
 387 /**
 388  * Wraps get_irn_generic_attr() as it takes no const ir_node, so we need to do a cast.
 389  * Firm was made by people hating const :-(
 390  */
 391 ia32_attr_t *get_ia32_attr(const ir_node *node) {
 392         assert(is_ia32_irn(node) && "need ia32 node to get ia32 attributes");
 393         return (ia32_attr_t *)get_irn_generic_attr((ir_node *)node);
 394 }
 395
 396 /**
 397  * Gets the type of an ia32 node.
 398  */
 399 ia32_op_type_t get_ia32_op_type(const ir_node *node) {
 400         ia32_attr_t *attr = get_ia32_attr(node);
 401         return attr->data.tp;
 402 }
 403
 404 /**
 405  * Sets the type of an ia32 node.
 406  */
 407 void set_ia32_op_type(ir_node *node, ia32_op_type_t tp) {
 408         ia32_attr_t *attr = get_ia32_attr(node);
 409         attr->data.tp     = tp;
 410 }
 411
 412 /**
 413  * Gets the immediate op type of an ia32 node.
 414  */
 415 ia32_immop_type_t get_ia32_immop_type(const ir_node *node) {
 416         ia32_attr_t *attr = get_ia32_attr(node);
 417         return attr->data.imm_tp;
 418 }
 419
 420 /**
 421  * Sets the immediate op type of an ia32 node.
 422  */
 423 void set_ia32_immop_type(ir_node *node, ia32_immop_type_t tp) {
 424         ia32_attr_t *attr = get_ia32_attr(node);
 425         attr->data.imm_tp = tp;
 426 }
 427
 428 /**
 429  * Gets the supported addrmode of an ia32 node
 430  */
 431 ia32_am_type_t get_ia32_am_support(const ir_node *node) {
 432         ia32_attr_t *attr = get_ia32_attr(node);
 433         return attr->data.am_support;
 434 }
 435
 436 /**
 437  * Sets the supported addrmode of an ia32 node
 438  */
 439 void set_ia32_am_support(ir_node *node, ia32_am_type_t am_tp) {
 440         ia32_attr_t *attr     = get_ia32_attr(node);
 441         attr->data.am_support = am_tp;
 442 }
 443
 444 /**
 445  * Gets the addrmode flavour of an ia32 node
 446  */
 447 ia32_am_flavour_t get_ia32_am_flavour(const ir_node *node) {
 448         ia32_attr_t *attr = get_ia32_attr(node);
 449         return attr->data.am_flavour;
 450 }
 451
 452 /**
 453  * Sets the addrmode flavour of an ia32 node
 454  */
 455 void set_ia32_am_flavour(ir_node *node, ia32_am_flavour_t am_flavour) {
 456         ia32_attr_t *attr     = get_ia32_attr(node);
 457         attr->data.am_flavour = am_flavour;
 458 }
 459
 460 /**
 461  * Joins all offsets to one string with adds.
 462  */
 463 char *get_ia32_am_offs(const ir_node *node) {
 464         ia32_attr_t *attr = get_ia32_attr(node);
 465         char        *res  = NULL;
 466         int          size;
 467
 468         if (! attr->am_offs) {
 469                 return NULL;
 470         }
 471
 472         size = obstack_object_size(attr->am_offs);
 473         if (size > 0) {
 474                 res    = xmalloc(size + 2);
 475                 res[0] = attr->data.offs_sign ? '-' : '+';
 476                 memcpy(&res[1], obstack_base(attr->am_offs), size);
 477                 res[size + 1] = '\0';
 478         }
 479
 480         return res;
 481 }
 482
 483 /**
 484  * Add an offset for addrmode.
 485  */
 486 static void extend_ia32_am_offs(ir_node *node, char *offset, char op) {
 487         ia32_attr_t *attr = get_ia32_attr(node);
 488
 489         if (! offset || strlen(offset) < 1)
 490                 return;
 491
 492         /* offset could already have an explicit sign */
 493         /* -> supersede op if necessary               */
 494         if (offset[0] == '-' || offset[0] == '+') {
 495                 if (offset[0] == '-') {
 496                         op = (op == '-') ? '+' : '-';
 497                 }
 498
 499                 /* skip explicit sign */
 500                 offset++;
 501         }
 502
 503         if (! attr->am_offs) {
 504                 /* obstack is not initialized */
 505                 attr->am_offs = xcalloc(1, sizeof(*(attr->am_offs)));
 506                 obstack_init(attr->am_offs);
 507
 508                 attr->data.offs_sign = (op == '-') ? 1 : 0;
 509         }
 510         else {
 511                 /* If obstack is initialized, connect the new offset with op */
 512                 obstack_printf(attr->am_offs, "%c", op);
 513         }
 514
 515         obstack_printf(attr->am_offs, "%s", offset);
 516 }
 517
 518 /**
 519  * Add an offset for addrmode.
 520  */
 521 void add_ia32_am_offs(ir_node *node, const char *offset) {
 522         extend_ia32_am_offs(node, (char *)offset, '+');
 523 }
 524
 525 /**
 526  * Sub an offset for addrmode.
 527  */
 528 void sub_ia32_am_offs(ir_node *node, const char *offset) {
 529         extend_ia32_am_offs(node, (char *)offset, '-');
 530 }
 531
 532 /**
 533  * Returns the symconst ident associated to addrmode.
 534  */
 535 ident *get_ia32_am_sc(const ir_node *node) {
 536         ia32_attr_t *attr = get_ia32_attr(node);
 537         return attr->am_sc;
 538 }
 539
 540 /**
 541  * Sets the symconst ident associated to addrmode.
 542  */
 543 void set_ia32_am_sc(ir_node *node, ident *sc) {
 544         ia32_attr_t *attr = get_ia32_attr(node);
 545         attr->am_sc       = sc;
 546 }
 547
 548 /**
 549  * Sets the sign bit for address mode symconst.
 550  */
 551 void set_ia32_am_sc_sign(ir_node *node) {
 552         ia32_attr_t *attr     = get_ia32_attr(node);
 553         attr->data.am_sc_sign = 1;
 554 }
 555
 556 /**
 557  * Clears the sign bit for address mode symconst.
 558  */
 559 void clear_ia32_am_sc_sign(ir_node *node) {
 560         ia32_attr_t *attr     = get_ia32_attr(node);
 561         attr->data.am_sc_sign = 0;
 562 }
 563
 564 /**
 565  * Returns the sign bit for address mode symconst.
 566  */
 567 int is_ia32_am_sc_sign(const ir_node *node) {
 568         ia32_attr_t *attr = get_ia32_attr(node);
 569         return attr->data.am_sc_sign;
 570 }
 571
 572 /**
 573  * Gets the addr mode const.
 574  */
 575 int get_ia32_am_scale(const ir_node *node) {
 576         ia32_attr_t *attr = get_ia32_attr(node);
 577         return attr->data.am_scale;
 578 }
 579
 580 /**
 581  * Sets the index register scale for addrmode.
 582  */
 583 void set_ia32_am_scale(ir_node *node, int scale) {
 584         ia32_attr_t *attr   = get_ia32_attr(node);
 585         attr->data.am_scale = scale;
 586 }
 587
 588 /**
 589  * Return the tarval of an immediate operation or NULL in case of SymConst
 590  */
 591 tarval *get_ia32_Immop_tarval(const ir_node *node) {
 592         ia32_attr_t *attr = get_ia32_attr(node);
 593     return attr->cnst_val.tv;
 594 }
 595
 596 /**
 597  * Sets the attributes of an immediate operation to the specified tarval
 598  */
 599 void set_ia32_Immop_tarval(ir_node *node, tarval *tv) {
 600         ia32_attr_t *attr = get_ia32_attr(node);
 601         attr->cnst_val.tv = tv;
 602         attr->cnst        = get_ident_for_tv(tv);
 603 }
 604
 605 /**
 606  * Return the sc attribute.
 607  */
 608 ident *get_ia32_sc(const ir_node *node) {
 609         ia32_attr_t *attr = get_ia32_attr(node);
 610         return attr->cnst_val.sc;
 611 }
 612
 613 /**
 614  * Sets the sc attribute.
 615  */
 616 void set_ia32_sc(ir_node *node, ident *sc) {
 617         ia32_attr_t *attr = get_ia32_attr(node);
 618         attr->cnst_val.sc = sc;
 619         attr->cnst        = attr->cnst_val.sc;
 620 }
 621
 622 /**
 623  * Gets the string representation of the internal const (tv or symconst)
 624  */
 625 const char *get_ia32_cnst(const ir_node *node) {
 626         ia32_attr_t *attr = get_ia32_attr(node);
 627         if (! attr->cnst)
 628                 return NULL;
 629         return get_id_str(attr->cnst);
 630 }
 631
 632 /**
 633  * Sets the string representation of the internal const.
 634  */
 635 void set_ia32_cnst(ir_node *node, char *cnst) {
 636         ia32_attr_t *attr = get_ia32_attr(node);
 637         attr->cnst        = new_id_from_str(cnst);
 638 }
 639
 640 /**
 641  * Gets the ident representation of the internal const (tv or symconst)
 642  */
 643 ident *get_ia32_id_cnst(const ir_node *node) {
 644         ia32_attr_t *attr = get_ia32_attr(node);
 645         return attr->cnst;
 646 }
 647
 648 /**
 649  * Sets the ident representation of the internal const.
 650  */
 651 void set_ia32_id_cnst(ir_node *node, ident *cnst) {
 652         ia32_attr_t *attr = get_ia32_attr(node);
 653         attr->cnst        = cnst;
 654 }
 655
 656 /**
 657  * Sets the uses_frame flag.
 658  */
 659 void set_ia32_use_frame(ir_node *node) {
 660         ia32_attr_t *attr    = get_ia32_attr(node);
 661         attr->data.use_frame = 1;
 662 }
 663
 664 /**
 665  * Clears the uses_frame flag.
 666  */
 667 void clear_ia32_use_frame(ir_node *node) {
 668         ia32_attr_t *attr    = get_ia32_attr(node);
 669         attr->data.use_frame = 0;
 670 }
 671
 672 /**
 673  * Gets the uses_frame flag.
 674  */
 675 int is_ia32_use_frame(const ir_node *node) {
 676         ia32_attr_t *attr = get_ia32_attr(node);
 677         return attr->data.use_frame;
 678 }
 679
 680 /**
 681  * Sets node to commutative.
 682  */
 683 void set_ia32_commutative(ir_node *node) {
 684         ia32_attr_t *attr         = get_ia32_attr(node);
 685         attr->data.is_commutative = 1;
 686 }
 687
 688 /**
 689  * Sets node to non-commutative.
 690  */
 691 void clear_ia32_commutative(ir_node *node) {
 692         ia32_attr_t *attr         = get_ia32_attr(node);
 693         attr->data.is_commutative = 0;
 694 }
 695
 696 /**
 697  * Checks if node is commutative.
 698  */
 699 int is_ia32_commutative(const ir_node *node) {
 700         ia32_attr_t *attr = get_ia32_attr(node);
 701         return attr->data.is_commutative;
 702 }
 703
 704 /**
 705  * Sets node emit_cl.
 706  */
 707 void set_ia32_emit_cl(ir_node *node) {
 708         ia32_attr_t *attr  = get_ia32_attr(node);
 709         attr->data.emit_cl = 1;
 710 }
 711
 712 /**
 713  * Clears node emit_cl.
 714  */
 715 void clear_ia32_emit_cl(ir_node *node) {
 716         ia32_attr_t *attr  = get_ia32_attr(node);
 717         attr->data.emit_cl = 0;
 718 }
 719
 720 /**
 721  * Checks if node is commutative.
 722  */
 723 int is_ia32_emit_cl(const ir_node *node) {
 724         ia32_attr_t *attr = get_ia32_attr(node);
 725         return attr->data.emit_cl;
 726 }
 727
 728 /**
 729  * Gets the mode of the stored/loaded value (only set for Store/Load)
 730  */
 731 ir_mode *get_ia32_ls_mode(const ir_node *node) {
 732         ia32_attr_t *attr = get_ia32_attr(node);
 733         return attr->ls_mode;
 734 }
 735
 736 /**
 737  * Sets the mode of the stored/loaded value (only set for Store/Load)
 738  */
 739 void set_ia32_ls_mode(ir_node *node, ir_mode *mode) {
 740         ia32_attr_t *attr = get_ia32_attr(node);
 741         attr->ls_mode     = mode;
 742 }
 743
 744 /**
 745  * Gets the mode of the result.
 746  */
 747 ir_mode *get_ia32_res_mode(const ir_node *node) {
 748         ia32_attr_t *attr = get_ia32_attr(node);
 749         return attr->res_mode;
 750 }
 751
 752 /**
 753  * Sets the mode of the result.
 754  */
 755 void set_ia32_res_mode(ir_node *node, ir_mode *mode) {
 756         ia32_attr_t *attr = get_ia32_attr(node);
 757         attr->res_mode    = mode;
 758 }
 759
 760 /**
 761  * Gets the source mode of conversion.
 762  */
 763 ir_mode *get_ia32_src_mode(const ir_node *node) {
 764         ia32_attr_t *attr = get_ia32_attr(node);
 765         return attr->src_mode;
 766 }
 767
 768 /**
 769  * Sets the source mode of conversion.
 770  */
 771 void set_ia32_src_mode(ir_node *node, ir_mode *mode) {
 772         ia32_attr_t *attr = get_ia32_attr(node);
 773         attr->src_mode    = mode;
 774 }
 775
 776 /**
 777  * Gets the target mode of conversion.
 778  */
 779 ir_mode *get_ia32_tgt_mode(const ir_node *node) {
 780         ia32_attr_t *attr = get_ia32_attr(node);
 781         return attr->tgt_mode;
 782 }
 783
 784 /**
 785  * Sets the target mode of conversion.
 786  */
 787 void set_ia32_tgt_mode(ir_node *node, ir_mode *mode) {
 788         ia32_attr_t *attr = get_ia32_attr(node);
 789         attr->tgt_mode    = mode;
 790 }
 791
 792 /**
 793  * Gets the frame entity assigned to this node;
 794  */
 795 entity *get_ia32_frame_ent(const ir_node *node) {
 796         ia32_attr_t *attr = get_ia32_attr(node);
 797         return attr->frame_ent;
 798 }
 799
 800 /**
 801  * Sets the frame entity for this node;
 802  */
 803 void set_ia32_frame_ent(ir_node *node, entity *ent) {
 804         ia32_attr_t *attr = get_ia32_attr(node);
 805         attr->frame_ent   = ent;
 806 }
 807
 808 /**
 809  * Returns the argument register requirements of an ia32 node.
 810  */
 811 const ia32_register_req_t **get_ia32_in_req_all(const ir_node *node) {
 812         ia32_attr_t *attr = get_ia32_attr(node);
 813         return attr->in_req;
 814 }
 815
 816 /**
 817  * Sets the argument register requirements of an ia32 node.
 818  */
 819 void set_ia32_in_req_all(ir_node *node, const ia32_register_req_t **reqs) {
 820         ia32_attr_t *attr = get_ia32_attr(node);
 821         attr->in_req      = reqs;
 822 }
 823
 824 /**
 825  * Returns the result register requirements of an ia32 node.
 826  */
 827 const ia32_register_req_t **get_ia32_out_req_all(const ir_node *node) {
 828         ia32_attr_t *attr = get_ia32_attr(node);
 829         return attr->out_req;
 830 }
 831
 832 /**
 833  * Sets the result register requirements of an ia32 node.
 834  */
 835 void set_ia32_out_req_all(ir_node *node, const ia32_register_req_t **reqs) {
 836         ia32_attr_t *attr = get_ia32_attr(node);
 837         attr->out_req     = reqs;
 838 }
 839
 840 /**
 841  * Returns the argument register requirement at position pos of an ia32 node.
 842  */
 843 const ia32_register_req_t *get_ia32_in_req(const ir_node *node, int pos) {
 844         ia32_attr_t *attr = get_ia32_attr(node);
 845         return attr->in_req[pos];
 846 }
 847
 848 /**
 849  * Returns the result register requirement at position pos of an ia32 node.
 850  */
 851 const ia32_register_req_t *get_ia32_out_req(const ir_node *node, int pos) {
 852         ia32_attr_t *attr = get_ia32_attr(node);
 853         return attr->out_req[pos];
 854 }
 855
 856 /**
 857  * Sets the OUT register requirements at position pos.
 858  */
 859 void set_ia32_req_out(ir_node *node, const ia32_register_req_t *req, int pos) {
 860         ia32_attr_t *attr  = get_ia32_attr(node);
 861         attr->out_req[pos] = req;
 862 }
 863
 864 /**
 865  * Sets the IN register requirements at position pos.
 866  */
 867 void set_ia32_req_in(ir_node *node, const ia32_register_req_t *req, int pos) {
 868         ia32_attr_t *attr = get_ia32_attr(node);
 869         attr->in_req[pos] = req;
 870 }
 871
 872 /**
 873  * Returns the register flag of an ia32 node.
 874  */
 875 arch_irn_flags_t get_ia32_flags(const ir_node *node) {
 876         ia32_attr_t *attr = get_ia32_attr(node);
 877         return attr->data.flags;
 878 }
 879
 880 /**
 881  * Sets the register flag of an ia32 node.
 882  */
 883 void set_ia32_flags(ir_node *node, arch_irn_flags_t flags) {
 884         ia32_attr_t *attr = get_ia32_attr(node);
 885         attr->data.flags  = flags;
 886 }
 887
 888 /**
 889  * Returns the result register slots of an ia32 node.
 890  */
 891 const arch_register_t **get_ia32_slots(const ir_node *node) {
 892         ia32_attr_t *attr = get_ia32_attr(node);
 893         return attr->slots;
 894 }
 895
 896 /**
 897  * Sets the number of results.
 898  */
 899 void set_ia32_n_res(ir_node *node, int n_res) {
 900         ia32_attr_t *attr = get_ia32_attr(node);
 901         attr->data.n_res  = n_res;
 902 }
 903
 904 /**
 905  * Returns the number of results.
 906  */
 907 int get_ia32_n_res(const ir_node *node) {
 908         ia32_attr_t *attr = get_ia32_attr(node);
 909         return attr->data.n_res;
 910 }
 911
 912 /**
 913  * Returns the flavour of an ia32 node,
 914  */
 915 ia32_op_flavour_t get_ia32_flavour(const ir_node *node) {
 916         ia32_attr_t *attr = get_ia32_attr(node);
 917         return attr->data.op_flav;
 918 }
 919
 920 /**
 921  * Sets the flavour of an ia32 node to flavour_Div/Mod/DivMod/Mul/Mulh.
 922  */
 923 void set_ia32_flavour(ir_node *node, ia32_op_flavour_t op_flav) {
 924         ia32_attr_t *attr  = get_ia32_attr(node);
 925         attr->data.op_flav = op_flav;
 926 }
 927
 928 /**
 929  * Returns the projnum code.
 930  */
 931 long get_ia32_pncode(const ir_node *node) {
 932         ia32_attr_t *attr = get_ia32_attr(node);
 933         return attr->pn_code;
 934 }
 935
 936 /**
 937  * Sets the projnum code
 938  */
 939 void set_ia32_pncode(ir_node *node, long code) {
 940         ia32_attr_t *attr = get_ia32_attr(node);
 941         attr->pn_code     = code;
 942 }
 943
 944 #ifndef NDEBUG
 945
 946 /**
 947  * Returns the name of the original ir node.
 948  */
 949 const char *get_ia32_orig_node(const ir_node *node) {
 950         ia32_attr_t *attr = get_ia32_attr(node);
 951         return attr->orig_node;
 952 }
 953
 954 /**
 955  * Sets the name of the original ir node.
 956  */
 957 void set_ia32_orig_node(ir_node *node, const char *name) {
 958         ia32_attr_t *attr = get_ia32_attr(node);
 959         attr->orig_node   = name;
 960 }
 961
 962 #endif /* NDEBUG */
 963
 964 /******************************************************************************************************
 965  *                      _       _         _   _           __                  _   _
 966  *                     (_)     | |       | | | |         / _|                | | (_)
 967  *  ___ _ __   ___  ___ _  __ _| |   __ _| |_| |_ _ __  | |_ _   _ _ __   ___| |_ _  ___  _ __    ___
 968  * / __| '_ \ / _ \/ __| |/ _` | |  / _` | __| __| '__| |  _| | | | '_ \ / __| __| |/ _ \| '_ \  / __|
 969  * \__ \ |_) |  __/ (__| | (_| | | | (_| | |_| |_| |    | | | |_| | | | | (__| |_| | (_) | | | | \__ \
 970  * |___/ .__/ \___|\___|_|\__,_|_|  \__,_|\__|\__|_|    |_|  \__,_|_| |_|\___|\__|_|\___/|_| |_| |___/
 971  *     | |
 972  *     |_|
 973  ******************************************************************************************************/
 974
 975 /**
 976  * Gets the type of an ia32_Const.
 977  */
 978 unsigned get_ia32_Const_type(const ir_node *node) {
 979         ia32_attr_t *attr = get_ia32_attr(node);
 980
 981         assert(is_ia32_Cnst(node) && "Need ia32_Const to get type");
 982
 983         return attr->data.tp;
 984 }
 985
 986 /**
 987  * Sets the type of an ia32_Const.
 988  */
 989 void set_ia32_Const_type(ir_node *node, int type) {
 990         ia32_attr_t *attr = get_ia32_attr(node);
 991
 992         assert(is_ia32_Cnst(node) && "Need ia32_Const to set type");
 993         assert((type == ia32_Const || type == ia32_SymConst) && "Unsupported ia32_Const type");
 994
 995         attr->data.tp = type;
 996 }
 997
 998 /**
 999  * Copy the attributes from an ia32_Const to an Immop (Add_i, Sub_i, ...) node
1000  */
1001 void set_ia32_Immop_attr(ir_node *node, ir_node *cnst) {
1002         ia32_attr_t *na = get_ia32_attr(node);
1003         ia32_attr_t *ca = get_ia32_attr(cnst);
1004
1005         switch(get_ia32_Const_type(cnst)) {
1006                 case ia32_Const:
1007                         na->cnst_val.tv = ca->cnst_val.tv;
1008                         na->cnst        = ca->cnst;
1009                         set_ia32_immop_type(node, ia32_ImmConst);
1010                         break;
1011                 case ia32_SymConst:
1012                         na->cnst_val.sc = ca->cnst_val.sc;
1013                         na->cnst        = na->cnst_val.sc;
1014                         set_ia32_immop_type(node, ia32_ImmSymConst);
1015                         break;
1016                 default:
1017                         assert(0 && "Need ia32_Const to set Immop attr");
1018         }
1019 }
1020
1021 /**
1022  * Copy the attributes from Immop to an Immop
1023  */
1024 void copy_ia32_Immop_attr(ir_node *dst, ir_node *src) {
1025         ia32_attr_t *da = get_ia32_attr(dst);
1026         ia32_attr_t *sa = get_ia32_attr(src);
1027
1028         switch(get_ia32_immop_type(src)) {
1029                 case ia32_ImmConst:
1030                         da->cnst_val.tv = sa->cnst_val.tv;
1031                         da->cnst        = sa->cnst;
1032                         set_ia32_immop_type(dst, ia32_ImmConst);
1033                         break;
1034                 case ia32_ImmSymConst:
1035                         da->cnst_val.sc = sa->cnst_val.sc;
1036                         da->cnst        = sa->cnst;
1037                         set_ia32_immop_type(dst, ia32_ImmSymConst);
1038                         break;
1039                 default:
1040                         assert(0 && "Need Immop to copy Immop attr");
1041         }
1042 }
1043
1044 /**
1045  * Copy the attributes from a Firm Const to an ia32_Const
1046  */
1047 void set_ia32_Const_attr(ir_node *ia32_cnst, ir_node *cnst) {
1048         ia32_attr_t *attr = get_ia32_attr(ia32_cnst);
1049
1050         assert(is_ia32_Cnst(ia32_cnst) && "Need ia32_Const to set Const attr");
1051
1052         switch (get_irn_opcode(cnst)) {
1053                 case iro_Const:
1054                         attr->data.tp     = ia32_Const;
1055                         attr->cnst_val.tv = get_Const_tarval(cnst);
1056                         attr->cnst        = get_ident_for_tv(attr->cnst_val.tv);
1057                         break;
1058                 case iro_SymConst:
1059                         attr->data.tp     = ia32_SymConst;
1060                         attr->cnst_val.sc = get_sc_ident(cnst);
1061                         attr->cnst        = attr->cnst_val.sc;
1062                         break;
1063                 case iro_Unknown:
1064                         assert(0 && "Unknown Const NYI");
1065                         break;
1066                 default:
1067                         assert(0 && "Cannot create ia32_Const for this opcode");
1068         }
1069 }
1070
1071 /**
1072  * Sets the AddrMode(S|D) attribute
1073  */
1074 void set_ia32_AddrMode(ir_node *node, char direction) {
1075         ia32_attr_t *attr = get_ia32_attr(node);
1076
1077         switch (direction) {
1078                 case 'D':
1079                         attr->data.tp = ia32_AddrModeD;
1080                         break;
1081                 case 'S':
1082                         attr->data.tp = ia32_AddrModeS;
1083                         break;
1084                 default:
1085                         assert(0 && "wrong AM type");
1086         }
1087 }
1088
1089 /**
1090  * Returns whether or not the node is an immediate operation with Const.
1091  */
1092 int is_ia32_ImmConst(const ir_node *node) {
1093         ia32_attr_t *attr = get_ia32_attr(node);
1094         return (attr->data.imm_tp == ia32_ImmConst);
1095 }
1096
1097 /**
1098  * Returns whether or not the node is an immediate operation with SymConst.
1099  */
1100 int is_ia32_ImmSymConst(const ir_node *node) {
1101         ia32_attr_t *attr = get_ia32_attr(node);
1102         return (attr->data.imm_tp == ia32_ImmSymConst);
1103 }
1104
1105 /**
1106  * Returns whether or not the node is an AddrModeS node.
1107  */
1108 int is_ia32_AddrModeS(const ir_node *node) {
1109         ia32_attr_t *attr = get_ia32_attr(node);
1110         return (attr->data.tp == ia32_AddrModeS);
1111 }
1112
1113 /**
1114  * Returns whether or not the node is an AddrModeD node.
1115  */
1116 int is_ia32_AddrModeD(const ir_node *node) {
1117         ia32_attr_t *attr = get_ia32_attr(node);
1118         return (attr->data.tp == ia32_AddrModeD);
1119 }
1120
1121 /**
1122  * Checks if node is a Load or xLoad/vfLoad.
1123  */
1124 int is_ia32_Ld(const ir_node *node) {
1125         return is_ia32_Load(node) || is_ia32_xLoad(node) || is_ia32_vfld(node) || is_ia32_fld(node);
1126 }
1127
1128 /**
1129  * Checks if node is a Store or xStore/vfStore.
1130  */
1131 int is_ia32_St(const ir_node *node) {
1132         return is_ia32_Store(node) || is_ia32_xStore(node) || is_ia32_vfst(node) || is_ia32_fst(node) || is_ia32_fstp(node);
1133 }
1134
1135 /**
1136  * Checks if node is a Const or xConst/vfConst.
1137  */
1138 int is_ia32_Cnst(const ir_node *node) {
1139         return is_ia32_Const(node) || is_ia32_xConst(node) || is_ia32_vfConst(node);
1140 }
1141
1142 /**
1143  * Returns the name of the OUT register at position pos.
1144  */
1145 const char *get_ia32_out_reg_name(const ir_node *node, int pos) {
1146         ia32_attr_t *attr = get_ia32_attr(node);
1147
1148         assert(is_ia32_irn(node) && "Not an ia32 node.");
1149         assert(pos < attr->data.n_res && "Invalid OUT position.");
1150         assert(attr->slots[pos]  && "No register assigned");
1151
1152         return arch_register_get_name(attr->slots[pos]);
1153 }
1154
1155 /**
1156  * Returns the index of the OUT register at position pos within its register class.
1157  */
1158 int get_ia32_out_regnr(const ir_node *node, int pos) {
1159         ia32_attr_t *attr = get_ia32_attr(node);
1160
1161         assert(is_ia32_irn(node) && "Not an ia32 node.");
1162         assert(pos < attr->data.n_res && "Invalid OUT position.");
1163         assert(attr->slots[pos]  && "No register assigned");
1164
1165         return arch_register_get_index(attr->slots[pos]);
1166 }
1167
1168 /**
1169  * Returns the OUT register at position pos.
1170  */
1171 const arch_register_t *get_ia32_out_reg(const ir_node *node, int pos) {
1172         ia32_attr_t *attr = get_ia32_attr(node);
1173
1174         assert(is_ia32_irn(node) && "Not an ia32 node.");
1175         assert(pos < attr->data.n_res && "Invalid OUT position.");
1176         assert(attr->slots[pos]  && "No register assigned");
1177
1178         return attr->slots[pos];
1179 }
1180
1181 /**
1182  * Allocates num register slots for node.
1183  */
1184 void alloc_ia32_reg_slots(ir_node *node, int num) {
1185         ia32_attr_t *attr = get_ia32_attr(node);
1186
1187         if (num) {
1188                 attr->slots = (const arch_register_t **)NEW_ARR_D(arch_register_t*, get_irg_obstack(get_irn_irg(node)), num);
1189                 memset((void *) attr->slots, 0, sizeof(attr->slots[0]) * num);
1190         }
1191         else {
1192                 attr->slots = NULL;
1193         }
1194
1195         attr->data.n_res = num;
1196 }
1197
1198 /**
1199  * Initializes the nodes attributes.
1200  */
1201 void init_ia32_attributes(ir_node *node, arch_irn_flags_t flags, const ia32_register_req_t **in_reqs,
1202                                                   const ia32_register_req_t **out_reqs, int n_res)
1203 {
1204         set_ia32_flags(node, flags);
1205         set_ia32_in_req_all(node, in_reqs);
1206         set_ia32_out_req_all(node, out_reqs);
1207         alloc_ia32_reg_slots(node, n_res);
1208 }
1209
1210 /***************************************************************************************
1211  *                  _                            _                   _
1212  *                 | |                          | |                 | |
1213  *  _ __   ___   __| | ___    ___ ___  _ __  ___| |_ _ __ _   _  ___| |_ ___  _ __ ___
1214  * | '_ \ / _ \ / _` |/ _ \  / __/ _ \| '_ \/ __| __| '__| | | |/ __| __/ _ \| '__/ __|
1215  * | | | | (_) | (_| |  __/ | (_| (_) | | | \__ \ |_| |  | |_| | (__| || (_) | |  \__ \
1216  * |_| |_|\___/ \__,_|\___|  \___\___/|_| |_|___/\__|_|   \__,_|\___|\__\___/|_|  |___/
1217  *
1218  ***************************************************************************************/
1219
1220 /* default compare operation to compare immediate ops */
1221 int ia32_compare_immop_attr(ia32_attr_t *a, ia32_attr_t *b) {
1222         int equ = 0;
1223
1224         if (a->data.tp == b->data.tp) {
1225                 equ = (a->cnst == b->cnst);
1226                 equ = equ ? (a->data.use_frame == b->data.use_frame) : 0;
1227
1228                 if (equ && a->data.use_frame && b->data.use_frame)
1229                         equ = (a->frame_ent == b->frame_ent);
1230         }
1231
1232         return !equ;
1233 }
1234
1235 /* compare converts */
1236 int ia32_compare_conv_attr(ia32_attr_t *a, ia32_attr_t *b) {
1237         int equ = ! ia32_compare_immop_attr(a, b);
1238
1239         equ = equ ? (a->src_mode == b->src_mode) && (a->tgt_mode == b->tgt_mode) : equ;
1240
1241         return !equ;
1242 }
1243
1244 /* copies the ia32 attributes */
1245 static void ia32_copy_attr(const ir_node *old_node, ir_node *new_node) {
1246         ia32_attr_t    *attr_old = get_ia32_attr(old_node);
1247         ia32_attr_t    *attr_new = get_ia32_attr(new_node);
1248         int             n_res    = get_ia32_n_res(old_node);
1249
1250         /* copy the attributes */
1251         memcpy(attr_new, attr_old, sizeof(*attr_new));
1252
1253         /* copy the register slots */
1254         attr_new->slots = (const arch_register_t **)NEW_ARR_D(arch_register_t*, get_irg_obstack(get_irn_irg(new_node)), n_res);
1255         memcpy((void *)attr_new->slots, (void *)attr_old->slots, sizeof(attr_new->slots[0]) * n_res);
1256 }
1257
1258 /**
1259  * Registers the ia32_copy_attr function for all ia32 opcodes.
1260  */
1261 void ia32_register_copy_attr_func(void) {
1262         unsigned i, f = get_ia32_opcode_first(), l = get_ia32_opcode_last();
1263
1264         for (i = f; i < l; i++) {
1265                 ir_op *op = get_irp_opcode(i);
1266                 op->ops.copy_attr = ia32_copy_attr;
1267         }
1268 }
1269
1270 /* Include the generated constructor functions */
1271 #include "gen_ia32_new_nodes.c.inl"