nsz Git - libfirm/blob - ir/be/sparc/sparc_emitter.c

   1 /*
   2  * Copyright (C) 1995-2010 University of Karlsruhe.  All right reserved.
   3  *
   4  * This file is part of libFirm.
   5  *
   6  * This file may be distributed and/or modified under the terms of the
   7  * GNU General Public License version 2 as published by the Free Software
   8  * Foundation and appearing in the file LICENSE.GPL included in the
   9  * packaging of this file.
  10  *
  11  * Licensees holding valid libFirm Professional Edition licenses may use
  12  * this file in accordance with the libFirm Commercial License.
  13  * Agreement provided with the Software.
  14  *
  15  * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
  16  * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
  17  * PURPOSE.
  18  */
  19
  20 /**
  21  * @file
  22  * @brief   emit assembler for a backend graph
  23  * @version $Id$
  24  */
  25 #include "config.h"
  26
  27 #include <limits.h>
  28
  29 #include "xmalloc.h"
  30 #include "tv.h"
  31 #include "iredges.h"
  32 #include "debug.h"
  33 #include "irgwalk.h"
  34 #include "irprintf.h"
  35 #include "irop_t.h"
  36 #include "irargs_t.h"
  37 #include "irprog.h"
  38 #include "irargs_t.h"
  39 #include "error.h"
  40 #include "raw_bitset.h"
  41 #include "dbginfo.h"
  42
  43 #include "../besched.h"
  44 #include "../beblocksched.h"
  45 #include "../beirg.h"
  46 #include "../begnuas.h"
  47 #include "../be_dbgout.h"
  48 #include "../benode.h"
  49
  50 #include "sparc_emitter.h"
  51 #include "gen_sparc_emitter.h"
  52 #include "sparc_nodes_attr.h"
  53 #include "sparc_new_nodes.h"
  54 #include "gen_sparc_regalloc_if.h"
  55
  56 DEBUG_ONLY(static firm_dbg_module_t *dbg = NULL;)
  57
  58 /**
  59  * Returns the register at in position pos.
  60  */
  61 static const arch_register_t *get_in_reg(const ir_node *node, int pos)
  62 {
  63         ir_node                *op;
  64         const arch_register_t  *reg = NULL;
  65
  66         assert(get_irn_arity(node) > pos && "Invalid IN position");
  67
  68         /* The out register of the operator at position pos is the
  69            in register we need. */
  70         op = get_irn_n(node, pos);
  71
  72         reg = arch_get_irn_register(op);
  73
  74         assert(reg && "no in register found");
  75         return reg;
  76 }
  77
  78 /**
  79  * Returns the register at out position pos.
  80  */
  81 static const arch_register_t *get_out_reg(const ir_node *node, int pos)
  82 {
  83         ir_node                *proj;
  84         const arch_register_t  *reg = NULL;
  85
  86         /* 1st case: irn is not of mode_T, so it has only                 */
  87         /*           one OUT register -> good                             */
  88         /* 2nd case: irn is of mode_T -> collect all Projs and ask the    */
  89         /*           Proj with the corresponding projnum for the register */
  90
  91         if (get_irn_mode(node) != mode_T) {
  92                 reg = arch_get_irn_register(node);
  93         } else if (is_sparc_irn(node)) {
  94                 reg = arch_irn_get_register(node, pos);
  95         } else {
  96                 const ir_edge_t *edge;
  97
  98                 foreach_out_edge(node, edge) {
  99                         proj = get_edge_src_irn(edge);
 100                         assert(is_Proj(proj) && "non-Proj from mode_T node");
 101                         if (get_Proj_proj(proj) == pos) {
 102                                 reg = arch_get_irn_register(proj);
 103                                 break;
 104                         }
 105                 }
 106         }
 107
 108         assert(reg && "no out register found");
 109         return reg;
 110 }
 111
 112 static bool is_valid_immediate(int32_t value)
 113 {
 114         return -4096 <= value && value < 4096;
 115 }
 116
 117 void sparc_emit_immediate(const ir_node *node)
 118 {
 119         const sparc_attr_t *attr   = get_sparc_attr_const(node);
 120         ir_entity          *entity = attr->immediate_value_entity;
 121
 122         if (entity == NULL) {
 123                 int32_t value = attr->immediate_value;
 124                 assert(is_valid_immediate(value));
 125                 be_emit_irprintf("%d", value);
 126         } else {
 127                 be_emit_cstring("%lo(");
 128                 be_gas_emit_entity(entity);
 129                 if (attr->immediate_value != 0) {
 130                         be_emit_irprintf("%+d", attr->immediate_value);
 131                 }
 132                 be_emit_char(')');
 133         }
 134 }
 135
 136 void sparc_emit_high_immediate(const ir_node *node)
 137 {
 138         const sparc_attr_t *attr   = get_sparc_attr_const(node);
 139         ir_entity          *entity = attr->immediate_value_entity;
 140
 141         be_emit_cstring("%hi(");
 142         if (entity == NULL) {
 143                 uint32_t value = (uint32_t) attr->immediate_value;
 144                 be_emit_irprintf("0x%X", value);
 145         } else {
 146                 be_gas_emit_entity(entity);
 147                 if (attr->immediate_value != 0) {
 148                         be_emit_irprintf("%+d", attr->immediate_value);
 149                 }
 150         }
 151         be_emit_char(')');
 152 }
 153
 154 void sparc_emit_source_register(const ir_node *node, int pos)
 155 {
 156         const arch_register_t *reg = get_in_reg(node, pos);
 157         be_emit_char('%');
 158         be_emit_string(arch_register_get_name(reg));
 159 }
 160
 161 void sparc_emit_dest_register(const ir_node *node, int pos)
 162 {
 163         const arch_register_t *reg = get_out_reg(node, pos);
 164         be_emit_char('%');
 165         be_emit_string(arch_register_get_name(reg));
 166 }
 167
 168 /**
 169  * Emits either a imm or register depending on arity of node
 170  * @param node
 171  * @param register no (-1 if no register)
 172  */
 173 void sparc_emit_reg_or_imm(const ir_node *node, int pos)
 174 {
 175         if (get_irn_arity(node) > pos) {
 176                 // we have reg input
 177                 sparc_emit_source_register(node, pos);
 178         } else {
 179                 // we have a imm input
 180                 sparc_emit_immediate(node);
 181         }
 182 }
 183
 184 static bool is_stack_pointer_relative(const ir_node *node)
 185 {
 186         const arch_register_t *sp = &sparc_gp_regs[REG_SP];
 187         return (is_sparc_St(node) && get_in_reg(node, n_sparc_St_ptr) == sp)
 188             || (is_sparc_Ld(node) && get_in_reg(node, n_sparc_Ld_ptr) == sp);
 189 }
 190
 191 /**
 192  * emit SP offset
 193  */
 194 void sparc_emit_offset(const ir_node *node, int offset_node_pos)
 195 {
 196         const sparc_load_store_attr_t *attr = get_sparc_load_store_attr_const(node);
 197
 198         if (attr->is_reg_reg) {
 199                 assert(!attr->is_frame_entity);
 200                 assert(attr->base.immediate_value == 0);
 201                 assert(attr->base.immediate_value_entity == NULL);
 202                 be_emit_char('+');
 203                 sparc_emit_source_register(node, offset_node_pos);
 204         } else if (attr->is_frame_entity) {
 205                 int32_t offset = attr->base.immediate_value;
 206                 /* bad hack: the real stack stuff is behind the always-there spill
 207                  * space for the register window and stack */
 208                 if (is_stack_pointer_relative(node))
 209                         offset += SPARC_MIN_STACKSIZE;
 210                 if (offset != 0) {
 211                         assert(is_valid_immediate(offset));
 212                         be_emit_irprintf("%+ld", offset);
 213                 }
 214         } else if (attr->base.immediate_value != 0
 215                         || attr->base.immediate_value_entity != NULL) {
 216                 be_emit_char('+');
 217                 sparc_emit_immediate(node);
 218         }
 219 }
 220
 221 void sparc_emit_float_load_store_mode(const ir_node *node)
 222 {
 223         const sparc_load_store_attr_t *attr = get_sparc_load_store_attr_const(node);
 224         ir_mode *mode = attr->load_store_mode;
 225         int      bits = get_mode_size_bits(mode);
 226
 227         assert(mode_is_float(mode));
 228
 229         switch (bits) {
 230         case 32:  return;
 231         case 64:  be_emit_char('d'); return;
 232         case 128: be_emit_char('q'); return;
 233         }
 234         panic("invalid flaot load/store mode %+F", mode);
 235 }
 236
 237 /**
 238  *  Emit load mode char
 239  */
 240 void sparc_emit_load_mode(const ir_node *node)
 241 {
 242         const sparc_load_store_attr_t *attr = get_sparc_load_store_attr_const(node);
 243         ir_mode *mode      = attr->load_store_mode;
 244         int      bits      = get_mode_size_bits(mode);
 245         bool     is_signed = mode_is_signed(mode);
 246
 247         if (bits == 16) {
 248                 be_emit_string(is_signed ? "sh" : "uh");
 249         } else if (bits == 8) {
 250                 be_emit_string(is_signed ? "sb" : "ub");
 251         } else if (bits == 64) {
 252                 be_emit_char('d');
 253         } else {
 254                 assert(bits == 32);
 255         }
 256 }
 257
 258 /**
 259  * Emit store mode char
 260  */
 261 void sparc_emit_store_mode(const ir_node *node)
 262 {
 263         const sparc_load_store_attr_t *attr = get_sparc_load_store_attr_const(node);
 264         ir_mode *mode      = attr->load_store_mode;
 265         int      bits      = get_mode_size_bits(mode);
 266
 267         if (bits == 16) {
 268                 be_emit_string("h");
 269         } else if (bits == 8) {
 270                 be_emit_string("b");
 271         } else if (bits == 64) {
 272                 be_emit_char('d');
 273         } else {
 274                 assert(bits == 32);
 275         }
 276 }
 277
 278 /**
 279  * emit integer signed/unsigned prefix char
 280  */
 281 void sparc_emit_mode_sign_prefix(const ir_node *node)
 282 {
 283         ir_mode *mode      = get_irn_mode(node);
 284         bool     is_signed = mode_is_signed(mode);
 285         be_emit_string(is_signed ? "s" : "u");
 286 }
 287
 288 static void emit_fp_suffix(const ir_mode *mode)
 289 {
 290         unsigned bits = get_mode_size_bits(mode);
 291         assert(mode_is_float(mode));
 292
 293         if (bits == 32) {
 294                 be_emit_char('s');
 295         } else if (bits == 64) {
 296                 be_emit_char('d');
 297         } else if (bits == 128) {
 298                 be_emit_char('q');
 299         } else {
 300                 panic("invalid FP mode");
 301         }
 302 }
 303
 304 void sparc_emit_fp_conv_source(const ir_node *node)
 305 {
 306         const sparc_fp_conv_attr_t *attr = get_sparc_fp_conv_attr_const(node);
 307         emit_fp_suffix(attr->src_mode);
 308 }
 309
 310 void sparc_emit_fp_conv_destination(const ir_node *node)
 311 {
 312         const sparc_fp_conv_attr_t *attr = get_sparc_fp_conv_attr_const(node);
 313         emit_fp_suffix(attr->dest_mode);
 314 }
 315
 316 /**
 317  * emits the FP mode suffix char
 318  */
 319 void sparc_emit_fp_mode_suffix(const ir_node *node)
 320 {
 321         const sparc_fp_attr_t *attr = get_sparc_fp_attr_const(node);
 322         emit_fp_suffix(attr->fp_mode);
 323 }
 324
 325 static ir_node *get_jump_target(const ir_node *jump)
 326 {
 327         return get_irn_link(jump);
 328 }
 329
 330 /**
 331  * Returns the target label for a control flow node.
 332  */
 333 static void sparc_emit_cfop_target(const ir_node *node)
 334 {
 335         ir_node *block = get_jump_target(node);
 336         be_gas_emit_block_name(block);
 337 }
 338
 339 /**
 340  * Emit single entity
 341  */
 342 static void sparc_emit_entity(ir_entity *entity)
 343 {
 344         be_gas_emit_entity(entity);
 345 }
 346
 347 /**
 348  * Emits code for stack space management
 349  */
 350 static void emit_be_IncSP(const ir_node *irn)
 351 {
 352         int offs = -be_get_IncSP_offset(irn);
 353
 354         if (offs == 0)
 355                         return;
 356
 357         /* SPARC stack grows downwards */
 358         if (offs < 0) {
 359                 be_emit_cstring("\tsub ");
 360                 offs = -offs;
 361         } else {
 362                 be_emit_cstring("\tadd ");
 363         }
 364
 365         sparc_emit_source_register(irn, 0);
 366         be_emit_irprintf(", %d", offs);
 367         be_emit_cstring(", ");
 368         sparc_emit_dest_register(irn, 0);
 369         be_emit_finish_line_gas(irn);
 370 }
 371
 372 /**
 373  * emits code for save instruction with min. required stack space
 374  */
 375 static void emit_sparc_Save(const ir_node *irn)
 376 {
 377         const sparc_save_attr_t *save_attr = get_sparc_save_attr_const(irn);
 378         be_emit_cstring("\tsave ");
 379         sparc_emit_source_register(irn, 0);
 380         be_emit_irprintf(", %d, ", -save_attr->initial_stacksize);
 381         sparc_emit_dest_register(irn, 0);
 382         be_emit_finish_line_gas(irn);
 383 }
 384
 385 /**
 386  * emits code for mulh
 387  */
 388 static void emit_sparc_Mulh(const ir_node *irn)
 389 {
 390         be_emit_cstring("\t");
 391         sparc_emit_mode_sign_prefix(irn);
 392         be_emit_cstring("mul ");
 393
 394         sparc_emit_source_register(irn, 0);
 395         be_emit_cstring(", ");
 396         sparc_emit_reg_or_imm(irn, 1);
 397         be_emit_cstring(", ");
 398         sparc_emit_dest_register(irn, 0);
 399         be_emit_finish_line_gas(irn);
 400
 401         // our result is in the y register now
 402         // we just copy it to the assigned target reg
 403         be_emit_cstring("\tmov %y, ");
 404         sparc_emit_dest_register(irn, 0);
 405         be_emit_finish_line_gas(irn);
 406 }
 407
 408 static void fill_delay_slot(void)
 409 {
 410         be_emit_cstring("\tnop\n");
 411         be_emit_write_line();
 412 }
 413
 414 static void emit_sparc_Div(const ir_node *node, bool is_signed)
 415 {
 416         /* can we get the delay count of the wr instruction somewhere? */
 417         unsigned wry_delay_count = 3;
 418         unsigned i;
 419
 420         be_emit_cstring("\twr ");
 421         sparc_emit_source_register(node, 0);
 422         be_emit_cstring(", 0, %y");
 423         be_emit_finish_line_gas(node);
 424
 425         for (i = 0; i < wry_delay_count; ++i) {
 426                 fill_delay_slot();
 427         }
 428
 429         be_emit_irprintf("\t%s ", is_signed ? "sdiv" : "udiv");
 430         sparc_emit_source_register(node, 1);
 431         be_emit_cstring(", ");
 432         sparc_emit_reg_or_imm(node, 2);
 433         be_emit_cstring(", ");
 434         sparc_emit_dest_register(node, 0);
 435         be_emit_finish_line_gas(node);
 436 }
 437
 438 static void emit_sparc_SDiv(const ir_node *node)
 439 {
 440         emit_sparc_Div(node, true);
 441 }
 442
 443 static void emit_sparc_UDiv(const ir_node *node)
 444 {
 445         emit_sparc_Div(node, false);
 446 }
 447
 448 /**
 449  * Emits code for return node
 450  */
 451 static void emit_be_Return(const ir_node *irn)
 452 {
 453         be_emit_cstring("\tret");
 454         //be_emit_cstring("\tjmp %i7+8");
 455         be_emit_finish_line_gas(irn);
 456         be_emit_cstring("\trestore");
 457         be_emit_finish_line_gas(irn);
 458 }
 459
 460 /**
 461  * Emits code for Call node
 462  */
 463 static void emit_sparc_Call(const ir_node *node)
 464 {
 465         const sparc_attr_t *attr   = get_sparc_attr_const(node);
 466         ir_entity          *entity = attr->immediate_value_entity;
 467
 468         be_emit_cstring("\tcall ");
 469         if (entity != NULL) {
 470             sparc_emit_entity(entity);
 471             if (attr->immediate_value != 0) {
 472                         be_emit_irprintf("%+d", attr->immediate_value);
 473                 }
 474                 be_emit_cstring(", 0");
 475         } else {
 476                 int last = get_irn_arity(node);
 477                 sparc_emit_source_register(node, last-1);
 478         }
 479         be_emit_finish_line_gas(node);
 480
 481         fill_delay_slot();
 482 }
 483
 484 /**
 485  * Emit code for Perm node
 486  */
 487 static void emit_be_Perm(const ir_node *irn)
 488 {
 489         be_emit_cstring("\txor ");
 490         sparc_emit_source_register(irn, 1);
 491         be_emit_cstring(", ");
 492         sparc_emit_source_register(irn, 0);
 493         be_emit_cstring(", ");
 494         sparc_emit_source_register(irn, 0);
 495         be_emit_finish_line_gas(NULL);
 496
 497         be_emit_cstring("\txor ");
 498         sparc_emit_source_register(irn, 1);
 499         be_emit_cstring(", ");
 500         sparc_emit_source_register(irn, 0);
 501         be_emit_cstring(", ");
 502         sparc_emit_source_register(irn, 1);
 503         be_emit_finish_line_gas(NULL);
 504
 505         be_emit_cstring("\txor ");
 506         sparc_emit_source_register(irn, 1);
 507         be_emit_cstring(", ");
 508         sparc_emit_source_register(irn, 0);
 509         be_emit_cstring(", ");
 510         sparc_emit_source_register(irn, 0);
 511         be_emit_finish_line_gas(irn);
 512 }
 513
 514 /**
 515  * TODO: not really tested but seems to work with memperm_arity == 1
 516  */
 517 static void emit_be_MemPerm(const ir_node *node)
 518 {
 519         int i;
 520         int memperm_arity;
 521         int sp_change = 0;
 522         ir_graph          *irg    = get_irn_irg(node);
 523         be_stack_layout_t *layout = be_get_irg_stack_layout(irg);
 524
 525         /* this implementation only works with frame pointers currently */
 526         assert(layout->sp_relative == false);
 527
 528         /* TODO: this implementation is slower than necessary.
 529            The longterm goal is however to avoid the memperm node completely */
 530
 531         memperm_arity = be_get_MemPerm_entity_arity(node);
 532         // we use our local registers - so this is limited to 8 inputs !
 533         if (memperm_arity > 8)
 534                 panic("memperm with more than 8 inputs not supported yet");
 535
 536         be_emit_irprintf("\tsub %%sp, %d, %%sp", memperm_arity*4);
 537         be_emit_finish_line_gas(node);
 538
 539         for (i = 0; i < memperm_arity; ++i) {
 540                 ir_entity *entity = be_get_MemPerm_in_entity(node, i);
 541                 int        offset = be_get_stack_entity_offset(layout, entity, 0);
 542
 543                 /* spill register */
 544                 be_emit_irprintf("\tst %%l%d, [%%sp%+d]", i, sp_change + SPARC_MIN_STACKSIZE);
 545                 be_emit_finish_line_gas(node);
 546
 547                 /* load from entity */
 548                 be_emit_irprintf("\tld [%%fp%+d], %%l%d", offset, i);
 549                 be_emit_finish_line_gas(node);
 550                 sp_change += 4;
 551         }
 552
 553         for (i = memperm_arity-1; i >= 0; --i) {
 554                 ir_entity *entity = be_get_MemPerm_out_entity(node, i);
 555                 int        offset = be_get_stack_entity_offset(layout, entity, 0);
 556
 557                 sp_change -= 4;
 558
 559                 /* store to new entity */
 560                 be_emit_irprintf("\tst %%l%d, [%%fp%+d]", i, offset);
 561                 be_emit_finish_line_gas(node);
 562                 /* restore register */
 563                 be_emit_irprintf("\tld [%%sp%+d], %%l%d", sp_change + SPARC_MIN_STACKSIZE, i);
 564                 be_emit_finish_line_gas(node);
 565         }
 566
 567         be_emit_irprintf("\tadd %%sp, %d, %%sp", memperm_arity*4);
 568         be_emit_finish_line_gas(node);
 569
 570         assert(sp_change == 0);
 571 }
 572
 573 /**
 574  * Emits code for FrameAddr fix
 575  */
 576 static void emit_sparc_FrameAddr(const ir_node *node)
 577 {
 578         const sparc_attr_t *attr = get_sparc_attr_const(node);
 579
 580         // no need to fix offset as we are adressing via the framepointer
 581         if (attr->immediate_value >= 0) {
 582                 be_emit_cstring("\tadd ");
 583                 sparc_emit_source_register(node, 0);
 584                 be_emit_cstring(", ");
 585                 be_emit_irprintf("%ld", attr->immediate_value);
 586         } else {
 587                 be_emit_cstring("\tsub ");
 588                 sparc_emit_source_register(node, 0);
 589                 be_emit_cstring(", ");
 590                 be_emit_irprintf("%ld", -attr->immediate_value);
 591         }
 592
 593         be_emit_cstring(", ");
 594         sparc_emit_dest_register(node, 0);
 595         be_emit_finish_line_gas(node);
 596 }
 597
 598 static const char *get_icc_unsigned(pn_Cmp pnc)
 599 {
 600         switch (pnc) {
 601         case pn_Cmp_False: return "bn";
 602         case pn_Cmp_Eq:    return "be";
 603         case pn_Cmp_Lt:    return "blu";
 604         case pn_Cmp_Le:    return "bleu";
 605         case pn_Cmp_Gt:    return "bgu";
 606         case pn_Cmp_Ge:    return "bgeu";
 607         case pn_Cmp_Lg:    return "bne";
 608         case pn_Cmp_Leg:   return "ba";
 609         default: panic("Cmp has unsupported pnc");
 610         }
 611 }
 612
 613 static const char *get_icc_signed(pn_Cmp pnc)
 614 {
 615         switch (pnc) {
 616         case pn_Cmp_False: return "bn";
 617         case pn_Cmp_Eq:    return "be";
 618         case pn_Cmp_Lt:    return "bl";
 619         case pn_Cmp_Le:    return "ble";
 620         case pn_Cmp_Gt:    return "bg";
 621         case pn_Cmp_Ge:    return "bge";
 622         case pn_Cmp_Lg:    return "bne";
 623         case pn_Cmp_Leg:   return "ba";
 624         default: panic("Cmp has unsupported pnc");
 625         }
 626 }
 627
 628 static const char *get_fcc(pn_Cmp pnc)
 629 {
 630         switch (pnc) {
 631         case pn_Cmp_False: return "fbn";
 632         case pn_Cmp_Eq:    return "fbe";
 633         case pn_Cmp_Lt:    return "fbl";
 634         case pn_Cmp_Le:    return "fble";
 635         case pn_Cmp_Gt:    return "fbg";
 636         case pn_Cmp_Ge:    return "fbge";
 637         case pn_Cmp_Lg:    return "fblg";
 638         case pn_Cmp_Leg:   return "fbo";
 639         case pn_Cmp_Uo:    return "fbu";
 640         case pn_Cmp_Ue:    return "fbue";
 641         case pn_Cmp_Ul:    return "fbul";
 642         case pn_Cmp_Ule:   return "fbule";
 643         case pn_Cmp_Ug:    return "fbug";
 644         case pn_Cmp_Uge:   return "fbuge";
 645         case pn_Cmp_Ne:    return "fbne";
 646         case pn_Cmp_True:  return "fba";
 647         case pn_Cmp_max:
 648                 break;
 649         }
 650         panic("invalid pnc");
 651 }
 652
 653 typedef const char* (*get_cc_func)(pn_Cmp pnc);
 654
 655 /**
 656  * Emits code for Branch
 657  */
 658 static void emit_sparc_branch(const ir_node *node, get_cc_func get_cc)
 659 {
 660         const sparc_jmp_cond_attr_t *attr = get_sparc_jmp_cond_attr_const(node);
 661         pn_Cmp           pnc         = attr->pnc;
 662         const ir_node   *proj_true   = NULL;
 663         const ir_node   *proj_false  = NULL;
 664         const ir_edge_t *edge;
 665         const ir_node   *block;
 666         const ir_node   *next_block;
 667
 668         foreach_out_edge(node, edge) {
 669                 ir_node *proj = get_edge_src_irn(edge);
 670                 long nr = get_Proj_proj(proj);
 671                 if (nr == pn_Cond_true) {
 672                         proj_true = proj;
 673                 } else {
 674                         proj_false = proj;
 675                 }
 676         }
 677
 678         /* for now, the code works for scheduled and non-schedules blocks */
 679         block = get_nodes_block(node);
 680
 681         /* we have a block schedule */
 682         next_block = get_irn_link(block);
 683
 684         if (get_irn_link(proj_true) == next_block) {
 685                 /* exchange both proj's so the second one can be omitted */
 686                 const ir_node *t = proj_true;
 687
 688                 proj_true  = proj_false;
 689                 proj_false = t;
 690                 if (is_sparc_fbfcc(node)) {
 691                         pnc = get_negated_pnc(pnc, mode_F);
 692                 } else {
 693                         pnc = get_negated_pnc(pnc, mode_Iu);
 694                 }
 695         }
 696
 697         /* emit the true proj */
 698         be_emit_cstring("\t");
 699         be_emit_string(get_cc(pnc));
 700         be_emit_char(' ');
 701         sparc_emit_cfop_target(proj_true);
 702         be_emit_finish_line_gas(proj_true);
 703
 704         fill_delay_slot();
 705
 706         if (get_irn_link(proj_false) == next_block) {
 707                 be_emit_cstring("\t/* fallthrough to ");
 708                 sparc_emit_cfop_target(proj_false);
 709                 be_emit_cstring(" */");
 710                 be_emit_finish_line_gas(proj_false);
 711         } else {
 712                 be_emit_cstring("\tba ");
 713                 sparc_emit_cfop_target(proj_false);
 714                 be_emit_finish_line_gas(proj_false);
 715                 fill_delay_slot();
 716         }
 717 }
 718
 719 static void emit_sparc_Bicc(const ir_node *node)
 720 {
 721         const sparc_jmp_cond_attr_t *attr = get_sparc_jmp_cond_attr_const(node);
 722         bool             is_unsigned = attr->is_unsigned;
 723         emit_sparc_branch(node, is_unsigned ? get_icc_unsigned : get_icc_signed);
 724 }
 725
 726 static void emit_sparc_fbfcc(const ir_node *node)
 727 {
 728         emit_sparc_branch(node, get_fcc);
 729 }
 730
 731 /**
 732  * emit Jmp (which actually is a branch always (ba) instruction)
 733  */
 734 static void emit_sparc_Ba(const ir_node *node)
 735 {
 736         ir_node *block, *next_block;
 737
 738         /* for now, the code works for scheduled and non-schedules blocks */
 739         block = get_nodes_block(node);
 740
 741         /* we have a block schedule */
 742         next_block = get_irn_link(block);
 743         if (get_irn_link(node) != next_block) {
 744                 be_emit_cstring("\tba ");
 745                 sparc_emit_cfop_target(node);
 746                 be_emit_finish_line_gas(node);
 747                 fill_delay_slot();
 748         } else {
 749                 be_emit_cstring("\t/* fallthrough to ");
 750                 sparc_emit_cfop_target(node);
 751                 be_emit_cstring(" */");
 752         }
 753         be_emit_finish_line_gas(node);
 754 }
 755
 756 static void emit_jump_table(const ir_node *node)
 757 {
 758         const sparc_switch_jmp_attr_t *attr = get_sparc_switch_jmp_attr_const(node);
 759         long             switch_min    = LONG_MAX;
 760         long             switch_max    = LONG_MIN;
 761         long             default_pn    = attr->default_proj_num;
 762         ir_entity       *entity        = attr->jump_table;
 763         ir_node         *default_block = NULL;
 764         unsigned         length;
 765         const ir_edge_t *edge;
 766         unsigned         i;
 767         ir_node        **table;
 768
 769         /* go over all proj's and collect them */
 770         foreach_out_edge(node, edge) {
 771                 ir_node *proj = get_edge_src_irn(edge);
 772                 long     pn   = get_Proj_proj(proj);
 773
 774                 /* check for default proj */
 775                 if (pn == default_pn) {
 776                         assert(default_block == NULL); /* more than 1 default_pn? */
 777                         default_block = get_jump_target(proj);
 778                 } else {
 779                         switch_min = pn < switch_min ? pn : switch_min;
 780                         switch_max = pn > switch_max ? pn : switch_max;
 781                 }
 782         }
 783         length = (unsigned long) (switch_max - switch_min) + 1;
 784         assert(switch_min < LONG_MAX || switch_max > LONG_MIN);
 785
 786         table = XMALLOCNZ(ir_node*, length);
 787         foreach_out_edge(node, edge) {
 788                 ir_node *proj = get_edge_src_irn(edge);
 789                 long     pn   = get_Proj_proj(proj);
 790                 if (pn == default_pn)
 791                         continue;
 792
 793                 table[pn - switch_min] = get_jump_target(proj);
 794         }
 795
 796         /* emit table */
 797         be_gas_emit_switch_section(GAS_SECTION_RODATA);
 798         be_emit_cstring("\t.align 4\n");
 799         be_gas_emit_entity(entity);
 800         be_emit_cstring(":\n");
 801         for (i = 0; i < length; ++i) {
 802                 ir_node *block = table[i];
 803                 if (block == NULL)
 804                         block = default_block;
 805                 be_emit_cstring("\t.long ");
 806                 be_gas_emit_block_name(block);
 807                 be_emit_char('\n');
 808                 be_emit_write_line();
 809         }
 810         be_gas_emit_switch_section(GAS_SECTION_TEXT);
 811
 812         xfree(table);
 813 }
 814
 815 static void emit_sparc_SwitchJmp(const ir_node *node)
 816 {
 817         be_emit_cstring("\tjmp ");
 818         sparc_emit_source_register(node, 0);
 819         be_emit_finish_line_gas(node);
 820         fill_delay_slot();
 821
 822         emit_jump_table(node);
 823 }
 824
 825 static void emit_fmov(const ir_node *node, const arch_register_t *src_reg,
 826                       const arch_register_t *dst_reg)
 827 {
 828         be_emit_cstring("\tfmov ");
 829         be_emit_string(arch_register_get_name(src_reg));
 830         be_emit_cstring(", ");
 831         be_emit_string(arch_register_get_name(dst_reg));
 832         be_emit_finish_line_gas(node);
 833 }
 834
 835 static const arch_register_t *get_next_fp_reg(const arch_register_t *reg)
 836 {
 837         unsigned index = reg->index;
 838         assert(reg == &sparc_fp_regs[index]);
 839         index++;
 840         assert(index < N_sparc_fp_REGS);
 841         return &sparc_fp_regs[index];
 842 }
 843
 844 /**
 845  * emit copy node
 846  */
 847 static void emit_be_Copy(const ir_node *node)
 848 {
 849         ir_mode               *mode    = get_irn_mode(node);
 850         const arch_register_t *src_reg = get_in_reg(node, 0);
 851         const arch_register_t *dst_reg = get_out_reg(node, 0);
 852
 853         if (src_reg == dst_reg)
 854                 return;
 855
 856         if (mode_is_float(mode)) {
 857                 unsigned bits = get_mode_size_bits(mode);
 858                 int      n    = bits > 32 ? bits > 64 ? 3 : 1 : 0;
 859                 int      i;
 860                 emit_fmov(node, src_reg, dst_reg);
 861                 for (i = 0; i < n; ++i) {
 862                         src_reg = get_next_fp_reg(src_reg);
 863                         dst_reg = get_next_fp_reg(dst_reg);
 864                         emit_fmov(node, src_reg, dst_reg);
 865                 }
 866         } else if (mode_is_data(mode)) {
 867                 be_emit_cstring("\tmov ");
 868                 sparc_emit_source_register(node, 0);
 869                 be_emit_cstring(", ");
 870                 sparc_emit_dest_register(node, 0);
 871                 be_emit_finish_line_gas(node);
 872         } else {
 873                 panic("emit_be_Copy: invalid mode");
 874         }
 875 }
 876
 877
 878 /**
 879  * dummy emitter for ignored nodes
 880  */
 881 static void emit_nothing(const ir_node *irn)
 882 {
 883         (void) irn;
 884 }
 885
 886 /**
 887  * type of emitter function
 888  */
 889 typedef void (*emit_func) (const ir_node *);
 890
 891 /**
 892  * Set a node emitter. Make it a bit more type safe.
 893  */
 894 static inline void set_emitter(ir_op *op, emit_func sparc_emit_node)
 895 {
 896         op->ops.generic = (op_func)sparc_emit_node;
 897 }
 898
 899 /**
 900  * Enters the emitter functions for handled nodes into the generic
 901  * pointer of an opcode.
 902  */
 903 static void sparc_register_emitters(void)
 904 {
 905         /* first clear the generic function pointer for all ops */
 906         clear_irp_opcodes_generic_func();
 907         /* register all emitter functions defined in spec */
 908         sparc_register_spec_emitters();
 909
 910         /* custom emitter */
 911         set_emitter(op_be_Copy,         emit_be_Copy);
 912         set_emitter(op_be_CopyKeep,     emit_be_Copy);
 913         set_emitter(op_be_IncSP,        emit_be_IncSP);
 914         set_emitter(op_be_MemPerm,      emit_be_MemPerm);
 915         set_emitter(op_be_Perm,         emit_be_Perm);
 916         set_emitter(op_be_Return,       emit_be_Return);
 917         set_emitter(op_sparc_Ba,        emit_sparc_Ba);
 918         set_emitter(op_sparc_Bicc,      emit_sparc_Bicc);
 919         set_emitter(op_sparc_Call,      emit_sparc_Call);
 920         set_emitter(op_sparc_fbfcc,     emit_sparc_fbfcc);
 921         set_emitter(op_sparc_FrameAddr, emit_sparc_FrameAddr);
 922         set_emitter(op_sparc_Mulh,      emit_sparc_Mulh);
 923         set_emitter(op_sparc_Save,      emit_sparc_Save);
 924         set_emitter(op_sparc_SDiv,      emit_sparc_SDiv);
 925         set_emitter(op_sparc_SwitchJmp, emit_sparc_SwitchJmp);
 926         set_emitter(op_sparc_UDiv,      emit_sparc_UDiv);
 927
 928         /* no need to emit anything for the following nodes */
 929         set_emitter(op_be_Barrier, emit_nothing);
 930         set_emitter(op_be_Keep,    emit_nothing);
 931         set_emitter(op_be_Start,   emit_nothing);
 932         set_emitter(op_Phi,        emit_nothing);
 933 }
 934
 935 /**
 936  * Emits code for a node.
 937  */
 938 static void sparc_emit_node(const ir_node *node)
 939 {
 940         ir_op *op = get_irn_op(node);
 941
 942         if (op->ops.generic) {
 943                 emit_func func = (emit_func) op->ops.generic;
 944                 be_dbg_set_dbg_info(get_irn_dbg_info(node));
 945                 (*func) (node);
 946         } else {
 947                 panic("No emit handler for node %+F (graph %+F)\n",     node,
 948                       current_ir_graph);
 949         }
 950 }
 951
 952 /**
 953  * Walks over the nodes in a block connected by scheduling edges
 954  * and emits code for each node.
 955  */
 956 static void sparc_gen_block(ir_node *block, void *data)
 957 {
 958         ir_node *node;
 959         (void) data;
 960
 961         if (! is_Block(block))
 962                 return;
 963
 964         be_gas_emit_block_name(block);
 965         be_emit_cstring(":\n");
 966         be_emit_write_line();
 967
 968         sched_foreach(block, node) {
 969                 sparc_emit_node(node);
 970         }
 971 }
 972
 973
 974 /**
 975  * Emits code for function start.
 976  */
 977 static void sparc_emit_func_prolog(ir_graph *irg)
 978 {
 979         ir_entity *ent = get_irg_entity(irg);
 980         be_gas_emit_function_prolog(ent, 4);
 981         be_emit_write_line();
 982 }
 983
 984 /**
 985  * Emits code for function end
 986  */
 987 static void sparc_emit_func_epilog(ir_graph *irg)
 988 {
 989         ir_entity *ent = get_irg_entity(irg);
 990         const char *irg_name = get_entity_ld_name(ent);
 991         be_emit_write_line();
 992         be_emit_irprintf("\t.size  %s, .-%s\n", irg_name, irg_name);
 993         be_emit_cstring("# -- End ");
 994         be_emit_string(irg_name);
 995         be_emit_cstring("\n");
 996         be_emit_write_line();
 997 }
 998
 999 /**
1000  * Block-walker:
1001  * TODO: Sets labels for control flow nodes (jump target).
1002  * Links control predecessors to there destination blocks.
1003  */
1004 static void sparc_gen_labels(ir_node *block, void *env)
1005 {
1006         ir_node *pred;
1007         int n = get_Block_n_cfgpreds(block);
1008         (void) env;
1009
1010         for (n--; n >= 0; n--) {
1011                 pred = get_Block_cfgpred(block, n);
1012                 set_irn_link(pred, block); // link the pred of a block (which is a jmp)
1013         }
1014 }
1015
1016
1017 /**
1018  * Main driver
1019  */
1020 void sparc_gen_routine(const sparc_code_gen_t *cg, ir_graph *irg)
1021 {
1022         ir_node **blk_sched;
1023         ir_node *last_block = NULL;
1024         ir_entity *entity     = get_irg_entity(irg);
1025         int i, n;
1026         (void) cg;
1027
1028         be_gas_elf_type_char = '#';
1029         be_gas_object_file_format = OBJECT_FILE_FORMAT_ELF_SPARC;
1030
1031         /* register all emitter functions */
1032         sparc_register_emitters();
1033         be_dbg_method_begin(entity);
1034
1035         /* create the block schedule. For now, we don't need it earlier. */
1036         blk_sched = be_create_block_schedule(irg);
1037
1038         // emit function prolog
1039         sparc_emit_func_prolog(irg);
1040
1041         // generate BLOCK labels
1042         irg_block_walk_graph(irg, sparc_gen_labels, NULL, NULL);
1043
1044         // inject block scheduling links & emit code of each block
1045         n = ARR_LEN(blk_sched);
1046         for (i = 0; i < n;) {
1047                 ir_node *block, *next_bl;
1048
1049                 block = blk_sched[i];
1050                 ++i;
1051                 next_bl = i < n ? blk_sched[i] : NULL;
1052
1053                 /* set here the link. the emitter expects to find the next block here */
1054                 set_irn_link(block, next_bl);
1055                 sparc_gen_block(block, last_block);
1056                 last_block = block;
1057         }
1058
1059         // emit function epilog
1060         sparc_emit_func_epilog(irg);
1061 }
1062
1063 void sparc_init_emitter(void)
1064 {
1065         FIRM_DBG_REGISTER(dbg, "firm.be.sparc.emit");
1066 }