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  * @author  Hannes Rapp, Matthias Braun
  24  * @version $Id$
  25  */
  26 #include "config.h"
  27
  28 #include <limits.h>
  29
  30 #include "bitfiddle.h"
  31 #include "xmalloc.h"
  32 #include "tv.h"
  33 #include "iredges.h"
  34 #include "debug.h"
  35 #include "irgwalk.h"
  36 #include "irprintf.h"
  37 #include "irop_t.h"
  38 #include "irargs_t.h"
  39 #include "irprog.h"
  40 #include "irargs_t.h"
  41 #include "error.h"
  42 #include "raw_bitset.h"
  43 #include "dbginfo.h"
  44 #include "heights.h"
  45
  46 #include "besched.h"
  47 #include "beblocksched.h"
  48 #include "beirg.h"
  49 #include "begnuas.h"
  50 #include "be_dbgout.h"
  51 #include "benode.h"
  52 #include "bestack.h"
  53
  54 #include "sparc_emitter.h"
  55 #include "gen_sparc_emitter.h"
  56 #include "sparc_nodes_attr.h"
  57 #include "sparc_new_nodes.h"
  58 #include "gen_sparc_regalloc_if.h"
  59
  60 DEBUG_ONLY(static firm_dbg_module_t *dbg = NULL;)
  61
  62 static ir_heights_t  *heights;
  63 static const ir_node *delay_slot_filler; /**< this node has been choosen to fill
  64                                               the next delay slot */
  65
  66 static void sparc_emit_node(const ir_node *node);
  67
  68 void sparc_emit_immediate(const ir_node *node)
  69 {
  70         const sparc_attr_t *attr   = get_sparc_attr_const(node);
  71         ir_entity          *entity = attr->immediate_value_entity;
  72
  73         if (entity == NULL) {
  74                 int32_t value = attr->immediate_value;
  75                 assert(sparc_is_value_imm_encodeable(value));
  76                 be_emit_irprintf("%d", value);
  77         } else {
  78                 if (get_entity_owner(entity) == get_tls_type()) {
  79                         be_emit_cstring("%tle_lox10(");
  80                 } else {
  81                         be_emit_cstring("%lo(");
  82                 }
  83                 be_gas_emit_entity(entity);
  84                 if (attr->immediate_value != 0) {
  85                         be_emit_irprintf("%+d", attr->immediate_value);
  86                 }
  87                 be_emit_char(')');
  88         }
  89 }
  90
  91 void sparc_emit_high_immediate(const ir_node *node)
  92 {
  93         const sparc_attr_t *attr   = get_sparc_attr_const(node);
  94         ir_entity          *entity = attr->immediate_value_entity;
  95
  96         if (entity == NULL) {
  97                 uint32_t value = (uint32_t) attr->immediate_value;
  98                 be_emit_irprintf("%%hi(0x%X)", value);
  99         } else {
 100                 if (get_entity_owner(entity) == get_tls_type()) {
 101                         be_emit_cstring("%tle_hix22(");
 102                 } else {
 103                         be_emit_cstring("%hi(");
 104                 }
 105                 be_gas_emit_entity(entity);
 106                 if (attr->immediate_value != 0) {
 107                         be_emit_irprintf("%+d", attr->immediate_value);
 108                 }
 109                 be_emit_char(')');
 110         }
 111 }
 112
 113 void sparc_emit_source_register(const ir_node *node, int pos)
 114 {
 115         const arch_register_t *reg = arch_get_irn_register_in(node, pos);
 116         be_emit_char('%');
 117         be_emit_string(arch_register_get_name(reg));
 118 }
 119
 120 void sparc_emit_dest_register(const ir_node *node, int pos)
 121 {
 122         const arch_register_t *reg = arch_get_irn_register_out(node, pos);
 123         be_emit_char('%');
 124         be_emit_string(arch_register_get_name(reg));
 125 }
 126
 127 /**
 128  * Emits either a imm or register depending on arity of node
 129  * @param node
 130  * @param register no (-1 if no register)
 131  */
 132 void sparc_emit_reg_or_imm(const ir_node *node, int pos)
 133 {
 134         if (arch_get_irn_flags(node) & ((arch_irn_flags_t)sparc_arch_irn_flag_immediate_form)) {
 135                 // we have a imm input
 136                 sparc_emit_immediate(node);
 137         } else {
 138                 // we have reg input
 139                 sparc_emit_source_register(node, pos);
 140         }
 141 }
 142
 143 /**
 144  * emit SP offset
 145  */
 146 void sparc_emit_offset(const ir_node *node, int offset_node_pos)
 147 {
 148         const sparc_load_store_attr_t *attr = get_sparc_load_store_attr_const(node);
 149
 150         if (attr->is_reg_reg) {
 151                 assert(!attr->is_frame_entity);
 152                 assert(attr->base.immediate_value == 0);
 153                 assert(attr->base.immediate_value_entity == NULL);
 154                 be_emit_char('+');
 155                 sparc_emit_source_register(node, offset_node_pos);
 156         } else if (attr->is_frame_entity) {
 157                 int32_t offset = attr->base.immediate_value;
 158                 if (offset != 0) {
 159                         assert(sparc_is_value_imm_encodeable(offset));
 160                         be_emit_irprintf("%+ld", offset);
 161                 }
 162         } else if (attr->base.immediate_value != 0
 163                         || attr->base.immediate_value_entity != NULL) {
 164                 be_emit_char('+');
 165                 sparc_emit_immediate(node);
 166         }
 167 }
 168
 169 void sparc_emit_source_reg_and_offset(const ir_node *node, int regpos,
 170                                       int offpos)
 171 {
 172         const arch_register_t *reg = arch_get_irn_register_in(node, regpos);
 173         const sparc_load_store_attr_t *attr;
 174
 175 #ifdef DEBUG_libfirm
 176         if (reg == &sparc_registers[REG_SP]) {
 177                 attr = get_sparc_load_store_attr_const(node);
 178                 if (!attr->is_reg_reg
 179                     && attr->base.immediate_value < SPARC_SAVE_AREA_SIZE) {
 180
 181                         ir_fprintf(stderr, "warning: emitting stack pointer relative load/store with offset < %d\n", SPARC_SAVE_AREA_SIZE);
 182                 }
 183         }
 184 #endif
 185
 186         sparc_emit_source_register(node, regpos);
 187         sparc_emit_offset(node, offpos);
 188 }
 189
 190 void sparc_emit_float_load_store_mode(const ir_node *node)
 191 {
 192         const sparc_load_store_attr_t *attr = get_sparc_load_store_attr_const(node);
 193         ir_mode *mode = attr->load_store_mode;
 194         int      bits = get_mode_size_bits(mode);
 195
 196         assert(mode_is_float(mode));
 197
 198         switch (bits) {
 199         case 32:  return;
 200         case 64:  be_emit_char('d'); return;
 201         case 128: be_emit_char('q'); return;
 202         }
 203         panic("invalid float load/store mode %+F", mode);
 204 }
 205
 206 /**
 207  *  Emit load mode char
 208  */
 209 void sparc_emit_load_mode(const ir_node *node)
 210 {
 211         const sparc_load_store_attr_t *attr = get_sparc_load_store_attr_const(node);
 212         ir_mode *mode      = attr->load_store_mode;
 213         int      bits      = get_mode_size_bits(mode);
 214         bool     is_signed = mode_is_signed(mode);
 215
 216         if (bits == 16) {
 217                 be_emit_string(is_signed ? "sh" : "uh");
 218         } else if (bits == 8) {
 219                 be_emit_string(is_signed ? "sb" : "ub");
 220         } else if (bits == 64) {
 221                 be_emit_char('d');
 222         } else {
 223                 assert(bits == 32);
 224         }
 225 }
 226
 227 /**
 228  * Emit store mode char
 229  */
 230 void sparc_emit_store_mode(const ir_node *node)
 231 {
 232         const sparc_load_store_attr_t *attr = get_sparc_load_store_attr_const(node);
 233         ir_mode *mode      = attr->load_store_mode;
 234         int      bits      = get_mode_size_bits(mode);
 235
 236         if (bits == 16) {
 237                 be_emit_string("h");
 238         } else if (bits == 8) {
 239                 be_emit_string("b");
 240         } else if (bits == 64) {
 241                 be_emit_char('d');
 242         } else {
 243                 assert(bits == 32);
 244         }
 245 }
 246
 247 static void emit_fp_suffix(const ir_mode *mode)
 248 {
 249         unsigned bits = get_mode_size_bits(mode);
 250         assert(mode_is_float(mode));
 251
 252         if (bits == 32) {
 253                 be_emit_char('s');
 254         } else if (bits == 64) {
 255                 be_emit_char('d');
 256         } else if (bits == 128) {
 257                 be_emit_char('q');
 258         } else {
 259                 panic("invalid FP mode");
 260         }
 261 }
 262
 263 void sparc_emit_fp_conv_source(const ir_node *node)
 264 {
 265         const sparc_fp_conv_attr_t *attr = get_sparc_fp_conv_attr_const(node);
 266         emit_fp_suffix(attr->src_mode);
 267 }
 268
 269 void sparc_emit_fp_conv_destination(const ir_node *node)
 270 {
 271         const sparc_fp_conv_attr_t *attr = get_sparc_fp_conv_attr_const(node);
 272         emit_fp_suffix(attr->dest_mode);
 273 }
 274
 275 /**
 276  * emits the FP mode suffix char
 277  */
 278 void sparc_emit_fp_mode_suffix(const ir_node *node)
 279 {
 280         const sparc_fp_attr_t *attr = get_sparc_fp_attr_const(node);
 281         emit_fp_suffix(attr->fp_mode);
 282 }
 283
 284 static ir_node *get_jump_target(const ir_node *jump)
 285 {
 286         return (ir_node*)get_irn_link(jump);
 287 }
 288
 289 /**
 290  * Returns the target label for a control flow node.
 291  */
 292 static void sparc_emit_cfop_target(const ir_node *node)
 293 {
 294         ir_node *block = get_jump_target(node);
 295         be_gas_emit_block_name(block);
 296 }
 297
 298 static int get_sparc_Call_dest_addr_pos(const ir_node *node)
 299 {
 300         return get_irn_arity(node)-1;
 301 }
 302
 303 static bool ba_is_fallthrough(const ir_node *node)
 304 {
 305         ir_node *block      = get_nodes_block(node);
 306         ir_node *next_block = (ir_node*)get_irn_link(block);
 307         return get_irn_link(node) == next_block;
 308 }
 309
 310 static bool is_no_instruction(const ir_node *node)
 311 {
 312         /* copies are nops if src_reg == dest_reg */
 313         if (be_is_Copy(node) || be_is_CopyKeep(node)) {
 314                 const arch_register_t *src_reg  = arch_get_irn_register_in(node, 0);
 315                 const arch_register_t *dest_reg = arch_get_irn_register_out(node, 0);
 316
 317                 if (src_reg == dest_reg)
 318                         return true;
 319         }
 320         if (be_is_IncSP(node) && be_get_IncSP_offset(node) == 0)
 321                 return true;
 322         /* Ba is not emitted if it is a simple fallthrough */
 323         if (is_sparc_Ba(node) && ba_is_fallthrough(node))
 324                 return true;
 325
 326         return be_is_Keep(node) || be_is_Start(node) || is_Phi(node);
 327 }
 328
 329 static bool has_delay_slot(const ir_node *node)
 330 {
 331         if (is_sparc_Ba(node)) {
 332                 return !ba_is_fallthrough(node);
 333         }
 334
 335         return arch_get_irn_flags(node) & sparc_arch_irn_flag_has_delay_slot;
 336 }
 337
 338 /** returns true if the emitter for this sparc node can produce more than one
 339  * actual sparc instruction.
 340  * Usually it is a bad sign if we have to add instructions here. We should
 341  * rather try to get them lowered down. So we can actually put them into
 342  * delay slots and make them more accessible to the scheduler.
 343  */
 344 static bool emits_multiple_instructions(const ir_node *node)
 345 {
 346         if (has_delay_slot(node))
 347                 return true;
 348
 349         if (is_sparc_Call(node)) {
 350                 return arch_get_irn_flags(node) & sparc_arch_irn_flag_aggregate_return;
 351         }
 352
 353         return is_sparc_SMulh(node) || is_sparc_UMulh(node)
 354                 || is_sparc_SDiv(node) || is_sparc_UDiv(node)
 355                 || be_is_MemPerm(node) || be_is_Perm(node);
 356 }
 357
 358 /**
 359  * search for an instruction that can fill the delay slot of @p node
 360  */
 361 static const ir_node *pick_delay_slot_for(const ir_node *node)
 362 {
 363         const ir_node *check      = node;
 364         const ir_node *schedpoint = node;
 365         unsigned       tries      = 0;
 366         /* currently we don't track which registers are still alive, so we can't
 367          * pick any other instructions other than the one directly preceding */
 368         static const unsigned PICK_DELAY_SLOT_MAX_DISTANCE = 1;
 369
 370         assert(has_delay_slot(node));
 371
 372         if (is_sparc_Call(node)) {
 373                 const sparc_attr_t *attr   = get_sparc_attr_const(node);
 374                 ir_entity          *entity = attr->immediate_value_entity;
 375                 if (entity != NULL) {
 376                         check = NULL; /* pick any instruction, dependencies on Call
 377                                          don't matter */
 378                 } else {
 379                         /* we only need to check the value for the call destination */
 380                         check = get_irn_n(node, get_sparc_Call_dest_addr_pos(node));
 381                 }
 382
 383                 /* the Call also destroys the value of %o7, but since this is currently
 384                  * marked as ignore register in the backend, it should never be used by
 385                  * the instruction in the delay slot. */
 386         } else if (is_sparc_Return(node)) {
 387                 /* we only have to check the jump destination value */
 388                 int arity = get_irn_arity(node);
 389                 int i;
 390
 391                 check = NULL;
 392                 for (i = 0; i < arity; ++i) {
 393                         ir_node               *in  = get_irn_n(node, i);
 394                         const arch_register_t *reg = arch_get_irn_register(in);
 395                         if (reg == &sparc_registers[REG_O7]) {
 396                                 check = skip_Proj(in);
 397                                 break;
 398                         }
 399                 }
 400         } else {
 401                 check = node;
 402         }
 403
 404         while (sched_has_prev(schedpoint)) {
 405                 schedpoint = sched_prev(schedpoint);
 406
 407                 if (has_delay_slot(schedpoint))
 408                         break;
 409
 410                 /* skip things which don't really result in instructions */
 411                 if (is_no_instruction(schedpoint))
 412                         continue;
 413
 414                 if (tries++ >= PICK_DELAY_SLOT_MAX_DISTANCE)
 415                         break;
 416
 417                 if (emits_multiple_instructions(schedpoint))
 418                         continue;
 419
 420                 /* if check and schedpoint are not in the same block, give up. */
 421                 if (check != NULL
 422                                 && get_nodes_block(check) != get_nodes_block(schedpoint))
 423                         break;
 424
 425                 /* allowed for delayslot: any instruction which is not necessary to
 426                  * compute an input to the branch. */
 427                 if (check != NULL
 428                                 && heights_reachable_in_block(heights, check, schedpoint))
 429                         continue;
 430
 431                 /* found something */
 432                 return schedpoint;
 433         }
 434
 435         return NULL;
 436 }
 437
 438 /**
 439  * Emits code for stack space management
 440  */
 441 static void emit_be_IncSP(const ir_node *irn)
 442 {
 443         int offset = be_get_IncSP_offset(irn);
 444
 445         if (offset == 0)
 446                 return;
 447
 448         /* SPARC stack grows downwards */
 449         if (offset < 0) {
 450                 be_emit_cstring("\tsub ");
 451                 offset = -offset;
 452         } else {
 453                 be_emit_cstring("\tadd ");
 454         }
 455
 456         sparc_emit_source_register(irn, 0);
 457         be_emit_irprintf(", %d", -offset);
 458         be_emit_cstring(", ");
 459         sparc_emit_dest_register(irn, 0);
 460         be_emit_finish_line_gas(irn);
 461 }
 462
 463 /**
 464  * emits code for mulh
 465  */
 466 static void emit_sparc_Mulh(const ir_node *irn)
 467 {
 468         be_emit_cstring("\t");
 469         if (is_sparc_UMulh(irn)) {
 470                 be_emit_char('u');
 471         } else {
 472                 assert(is_sparc_SMulh(irn));
 473                 be_emit_char('s');
 474         }
 475         be_emit_cstring("mul ");
 476
 477         sparc_emit_source_register(irn, 0);
 478         be_emit_cstring(", ");
 479         sparc_emit_reg_or_imm(irn, 1);
 480         be_emit_cstring(", ");
 481         sparc_emit_dest_register(irn, 0);
 482         be_emit_finish_line_gas(irn);
 483
 484         // our result is in the y register now
 485         // we just copy it to the assigned target reg
 486         be_emit_cstring("\tmov %y, ");
 487         sparc_emit_dest_register(irn, 0);
 488         be_emit_finish_line_gas(irn);
 489 }
 490
 491 static void fill_delay_slot(void)
 492 {
 493         if (delay_slot_filler != NULL) {
 494                 sparc_emit_node(delay_slot_filler);
 495                 delay_slot_filler = NULL;
 496         } else {
 497                 be_emit_cstring("\tnop\n");
 498                 be_emit_write_line();
 499         }
 500 }
 501
 502 static void emit_sparc_Div(const ir_node *node, bool is_signed)
 503 {
 504         /* can we get the delay count of the wr instruction somewhere? */
 505         unsigned wry_delay_count = 3;
 506         unsigned i;
 507
 508         be_emit_cstring("\twr ");
 509         sparc_emit_source_register(node, 0);
 510         be_emit_cstring(", 0, %y");
 511         be_emit_finish_line_gas(node);
 512
 513         for (i = 0; i < wry_delay_count; ++i) {
 514                 fill_delay_slot();
 515         }
 516
 517         be_emit_irprintf("\t%s ", is_signed ? "sdiv" : "udiv");
 518         sparc_emit_source_register(node, 1);
 519         be_emit_cstring(", ");
 520         sparc_emit_reg_or_imm(node, 2);
 521         be_emit_cstring(", ");
 522         sparc_emit_dest_register(node, 0);
 523         be_emit_finish_line_gas(node);
 524 }
 525
 526 static void emit_sparc_SDiv(const ir_node *node)
 527 {
 528         emit_sparc_Div(node, true);
 529 }
 530
 531 static void emit_sparc_UDiv(const ir_node *node)
 532 {
 533         emit_sparc_Div(node, false);
 534 }
 535
 536 /**
 537  * Emits code for Call node
 538  */
 539 static void emit_sparc_Call(const ir_node *node)
 540 {
 541         const sparc_attr_t *attr   = get_sparc_attr_const(node);
 542         ir_entity          *entity = attr->immediate_value_entity;
 543
 544         be_emit_cstring("\tcall ");
 545         if (entity != NULL) {
 546             be_gas_emit_entity(entity);
 547             if (attr->immediate_value != 0) {
 548                         be_emit_irprintf("%+d", attr->immediate_value);
 549                 }
 550                 be_emit_cstring(", 0");
 551         } else {
 552                 int dest_addr = get_sparc_Call_dest_addr_pos(node);
 553                 sparc_emit_source_register(node, dest_addr);
 554         }
 555         be_emit_finish_line_gas(node);
 556
 557         fill_delay_slot();
 558
 559         if (arch_get_irn_flags(node) & sparc_arch_irn_flag_aggregate_return) {
 560                 be_emit_cstring("\tunimp 8\n");
 561                 be_emit_write_line();
 562         }
 563 }
 564
 565 /**
 566  * Emit code for Perm node
 567  */
 568 static void emit_be_Perm(const ir_node *irn)
 569 {
 570         be_emit_cstring("\txor ");
 571         sparc_emit_source_register(irn, 1);
 572         be_emit_cstring(", ");
 573         sparc_emit_source_register(irn, 0);
 574         be_emit_cstring(", ");
 575         sparc_emit_source_register(irn, 0);
 576         be_emit_finish_line_gas(NULL);
 577
 578         be_emit_cstring("\txor ");
 579         sparc_emit_source_register(irn, 1);
 580         be_emit_cstring(", ");
 581         sparc_emit_source_register(irn, 0);
 582         be_emit_cstring(", ");
 583         sparc_emit_source_register(irn, 1);
 584         be_emit_finish_line_gas(NULL);
 585
 586         be_emit_cstring("\txor ");
 587         sparc_emit_source_register(irn, 1);
 588         be_emit_cstring(", ");
 589         sparc_emit_source_register(irn, 0);
 590         be_emit_cstring(", ");
 591         sparc_emit_source_register(irn, 0);
 592         be_emit_finish_line_gas(irn);
 593 }
 594
 595 /* The stack pointer must always be SPARC_STACK_ALIGNMENT bytes aligned, so get
 596  * the next bigger integer that's evenly divisible by it. */
 597 static unsigned get_aligned_sp_change(const unsigned num_regs)
 598 {
 599         const unsigned bytes = num_regs * SPARC_REGISTER_SIZE;
 600         return round_up2(bytes, SPARC_STACK_ALIGNMENT);
 601 }
 602
 603 /* Spill register l0 or both l0 and l1, depending on n_spilled and n_to_spill.*/
 604 static void memperm_emit_spill_registers(const ir_node *node, int n_spilled,
 605                                          int n_to_spill)
 606 {
 607         assert(n_spilled < n_to_spill);
 608
 609         if (n_spilled == 0) {
 610                 /* We always reserve stack space for two registers because during copy
 611                  * processing we don't know yet if we also need to handle a cycle which
 612                  * needs two registers.  More complicated code in emit_MemPerm would
 613                  * prevent wasting SPARC_REGISTER_SIZE bytes of stack space but
 614                  * it is not worth the worse readability of emit_MemPerm. */
 615
 616                 /* Keep stack pointer aligned. */
 617                 unsigned sp_change = get_aligned_sp_change(2);
 618                 be_emit_irprintf("\tsub %%sp, %u, %%sp", sp_change);
 619                 be_emit_finish_line_gas(node);
 620
 621                 /* Spill register l0. */
 622                 be_emit_irprintf("\tst %%l0, [%%sp%+d]", SPARC_MIN_STACKSIZE);
 623                 be_emit_finish_line_gas(node);
 624         }
 625
 626         if (n_to_spill == 2) {
 627                 /* Spill register l1. */
 628                 be_emit_irprintf("\tst %%l1, [%%sp%+d]", SPARC_MIN_STACKSIZE + SPARC_REGISTER_SIZE);
 629                 be_emit_finish_line_gas(node);
 630         }
 631 }
 632
 633 /* Restore register l0 or both l0 and l1, depending on n_spilled. */
 634 static void memperm_emit_restore_registers(const ir_node *node, int n_spilled)
 635 {
 636         unsigned sp_change;
 637
 638         if (n_spilled == 2) {
 639                 /* Restore register l1. */
 640                 be_emit_irprintf("\tld [%%sp%+d], %%l1", SPARC_MIN_STACKSIZE + SPARC_REGISTER_SIZE);
 641                 be_emit_finish_line_gas(node);
 642         }
 643
 644         /* Restore register l0. */
 645         be_emit_irprintf("\tld [%%sp%+d], %%l0", SPARC_MIN_STACKSIZE);
 646         be_emit_finish_line_gas(node);
 647
 648         /* Restore stack pointer. */
 649         sp_change = get_aligned_sp_change(2);
 650         be_emit_irprintf("\tadd %%sp, %u, %%sp", sp_change);
 651         be_emit_finish_line_gas(node);
 652 }
 653
 654 /* Emit code to copy in_ent to out_ent.  Only uses l0. */
 655 static void memperm_emit_copy(const ir_node *node, ir_entity *in_ent,
 656                               ir_entity *out_ent)
 657 {
 658         ir_graph          *irg     = get_irn_irg(node);
 659         be_stack_layout_t *layout  = be_get_irg_stack_layout(irg);
 660         int                off_in  = be_get_stack_entity_offset(layout, in_ent, 0);
 661         int                off_out = be_get_stack_entity_offset(layout, out_ent, 0);
 662
 663         /* Load from input entity. */
 664         be_emit_irprintf("\tld [%%fp%+d], %%l0", off_in);
 665         be_emit_finish_line_gas(node);
 666
 667         /* Store to output entity. */
 668         be_emit_irprintf("\tst %%l0, [%%fp%+d]", off_out);
 669         be_emit_finish_line_gas(node);
 670 }
 671
 672 /* Emit code to swap ent1 and ent2.  Uses l0 and l1. */
 673 static void memperm_emit_swap(const ir_node *node, ir_entity *ent1,
 674                               ir_entity *ent2)
 675 {
 676         ir_graph          *irg     = get_irn_irg(node);
 677         be_stack_layout_t *layout  = be_get_irg_stack_layout(irg);
 678         int                off1    = be_get_stack_entity_offset(layout, ent1, 0);
 679         int                off2    = be_get_stack_entity_offset(layout, ent2, 0);
 680
 681         /* Load from first input entity. */
 682         be_emit_irprintf("\tld [%%fp%+d], %%l0", off1);
 683         be_emit_finish_line_gas(node);
 684
 685         /* Load from second input entity. */
 686         be_emit_irprintf("\tld [%%fp%+d], %%l1", off2);
 687         be_emit_finish_line_gas(node);
 688
 689         /* Store first value to second output entity. */
 690         be_emit_irprintf("\tst %%l0, [%%fp%+d]", off2);
 691         be_emit_finish_line_gas(node);
 692
 693         /* Store second value to first output entity. */
 694         be_emit_irprintf("\tst %%l1, [%%fp%+d]", off1);
 695         be_emit_finish_line_gas(node);
 696 }
 697
 698 /* Find the index of ent in ents or return -1 if not found. */
 699 static int get_index(ir_entity **ents, int n, ir_entity *ent)
 700 {
 701         int i;
 702
 703         for (i = 0; i < n; ++i)
 704                 if (ents[i] == ent)
 705                         return i;
 706
 707         return -1;
 708 }
 709
 710 /*
 711  * Emit code for a MemPerm node.
 712  *
 713  * Analyze MemPerm for copy chains and cyclic swaps and resolve them using
 714  * loads and stores.
 715  * This function is conceptually very similar to permute_values in
 716  * beprefalloc.c.
 717  */
 718 static void emit_be_MemPerm(const ir_node *node)
 719 {
 720         int         memperm_arity = be_get_MemPerm_entity_arity(node);
 721         /* Upper limit for the number of participating entities is twice the
 722          * arity, e.g., for a simple copying MemPerm node with one input/output. */
 723         int         max_size      = 2 * memperm_arity;
 724         ir_entity **entities      = ALLOCANZ(ir_entity *, max_size);
 725         /* sourceof contains the input entity for each entity.  If an entity is
 726          * never used as an output, its entry in sourceof is a fix point. */
 727         int        *sourceof      = ALLOCANZ(int,         max_size);
 728         /* n_users counts how many output entities use this entity as their input.*/
 729         int        *n_users       = ALLOCANZ(int,         max_size);
 730         /* n_spilled records the number of spilled registers, either 1 or 2. */
 731         int         n_spilled     = 0;
 732         int         i, n, oidx;
 733
 734         /* This implementation currently only works with frame pointers. */
 735         ir_graph          *irg    = get_irn_irg(node);
 736         be_stack_layout_t *layout = be_get_irg_stack_layout(irg);
 737         assert(!layout->sp_relative && "MemPerms currently do not work without frame pointers");
 738
 739         for (i = 0; i < max_size; ++i) {
 740                 sourceof[i] = i;
 741         }
 742
 743         for (i = n = 0; i < memperm_arity; ++i) {
 744                 ir_entity *out  = be_get_MemPerm_out_entity(node, i);
 745                 ir_entity *in   = be_get_MemPerm_in_entity(node, i);
 746                 int              oidx; /* Out index */
 747                 int              iidx; /* In index */
 748
 749                 /* Insert into entities to be able to operate on unique indices. */
 750                 if (get_index(entities, n, out) == -1)
 751                         entities[n++] = out;
 752                 if (get_index(entities, n, in) == -1)
 753                         entities[n++] = in;
 754
 755                 oidx = get_index(entities, n, out);
 756                 iidx = get_index(entities, n, in);
 757
 758                 sourceof[oidx] = iidx; /* Remember the source. */
 759                 ++n_users[iidx]; /* Increment number of users of this entity. */
 760         }
 761
 762         /* First do all the copies. */
 763         for (oidx = 0; oidx < n; /* empty */) {
 764                 int iidx = sourceof[oidx];
 765
 766                 /* Nothing to do for fix points.
 767                  * Also, if entities[oidx] is used as an input by another copy, we
 768                  * can't overwrite entities[oidx] yet.*/
 769                 if (iidx == oidx || n_users[oidx] > 0) {
 770                         ++oidx;
 771                         continue;
 772                 }
 773
 774                 /* We found the end of a 'chain', so do the copy. */
 775                 if (n_spilled == 0) {
 776                         memperm_emit_spill_registers(node, n_spilled, /*n_to_spill=*/1);
 777                         n_spilled = 1;
 778                 }
 779                 memperm_emit_copy(node, entities[iidx], entities[oidx]);
 780
 781                 /* Mark as done. */
 782                 sourceof[oidx] = oidx;
 783
 784                 assert(n_users[iidx] > 0);
 785                 /* Decrementing the number of users might enable us to do another
 786                  * copy. */
 787                 --n_users[iidx];
 788
 789                 if (iidx < oidx && n_users[iidx] == 0) {
 790                         oidx = iidx;
 791                 } else {
 792                         ++oidx;
 793                 }
 794         }
 795
 796         /* The rest are cycles. */
 797         for (oidx = 0; oidx < n; /* empty */) {
 798                 int iidx = sourceof[oidx];
 799                 int tidx;
 800
 801                 /* Nothing to do for fix points. */
 802                 if (iidx == oidx) {
 803                         ++oidx;
 804                         continue;
 805                 }
 806
 807                 assert(n_users[iidx] == 1);
 808
 809                 /* Swap the two values to resolve the cycle. */
 810                 if (n_spilled < 2) {
 811                         memperm_emit_spill_registers(node, n_spilled, /*n_to_spill=*/2);
 812                         n_spilled = 2;
 813                 }
 814                 memperm_emit_swap(node, entities[iidx], entities[oidx]);
 815
 816                 tidx = sourceof[iidx];
 817                 /* Mark as done. */
 818                 sourceof[iidx] = iidx;
 819
 820                 /* The source of oidx is now the old source of iidx, because we swapped
 821                  * the two entities. */
 822                 sourceof[oidx] = tidx;
 823         }
 824
 825 #ifdef DEBUG_libfirm
 826         /* Only fix points should remain. */
 827         for (i = 0; i < max_size; ++i) {
 828                 assert(sourceof[i] == i);
 829         }
 830 #endif
 831
 832         assert(n_spilled > 0 && "Useless MemPerm node");
 833
 834         memperm_emit_restore_registers(node, n_spilled);
 835 }
 836
 837 static void emit_sparc_Return(const ir_node *node)
 838 {
 839         ir_graph  *irg    = get_irn_irg(node);
 840         ir_entity *entity = get_irg_entity(irg);
 841         ir_type   *type   = get_entity_type(entity);
 842
 843         const char *destreg = "%o7";
 844
 845         /* hack: we don't explicitely model register changes because of the
 846          * restore node. So we have to do it manually here */
 847         if (delay_slot_filler != NULL &&
 848                         (is_sparc_Restore(delay_slot_filler)
 849                          || is_sparc_RestoreZero(delay_slot_filler))) {
 850                 destreg = "%i7";
 851         }
 852         be_emit_cstring("\tjmp ");
 853         be_emit_string(destreg);
 854         if (get_method_calling_convention(type) & cc_compound_ret) {
 855                 be_emit_cstring("+12");
 856         } else {
 857                 be_emit_cstring("+8");
 858         }
 859         be_emit_finish_line_gas(node);
 860         fill_delay_slot();
 861 }
 862
 863 static const arch_register_t *map_i_to_o_reg(const arch_register_t *reg)
 864 {
 865         unsigned idx = reg->global_index;
 866         if (idx < REG_I0 || idx > REG_I7)
 867                 return reg;
 868         idx += REG_O0 - REG_I0;
 869         assert(REG_O0 <= idx && idx <= REG_O7);
 870         return &sparc_registers[idx];
 871 }
 872
 873 static void emit_sparc_Restore(const ir_node *node)
 874 {
 875         const arch_register_t *destreg
 876                 = arch_get_irn_register_out(node, pn_sparc_Restore_res);
 877         be_emit_cstring("\trestore ");
 878         sparc_emit_source_register(node, 1);
 879         be_emit_cstring(", ");
 880         sparc_emit_reg_or_imm(node, 2);
 881         be_emit_cstring(", ");
 882         destreg = map_i_to_o_reg(destreg);
 883         be_emit_char('%');
 884         be_emit_string(arch_register_get_name(destreg));
 885         be_emit_finish_line_gas(node);
 886 }
 887
 888 static void emit_sparc_FrameAddr(const ir_node *node)
 889 {
 890         const sparc_attr_t *attr   = get_sparc_attr_const(node);
 891         int32_t             offset = attr->immediate_value;
 892
 893         if (offset < 0) {
 894                 be_emit_cstring("\tadd ");
 895                 sparc_emit_source_register(node, 0);
 896                 be_emit_cstring(", ");
 897                 assert(sparc_is_value_imm_encodeable(offset));
 898                 be_emit_irprintf("%ld", offset);
 899         } else {
 900                 be_emit_cstring("\tsub ");
 901                 sparc_emit_source_register(node, 0);
 902                 be_emit_cstring(", ");
 903                 assert(sparc_is_value_imm_encodeable(-offset));
 904                 be_emit_irprintf("%ld", -offset);
 905         }
 906
 907         be_emit_cstring(", ");
 908         sparc_emit_dest_register(node, 0);
 909         be_emit_finish_line_gas(node);
 910 }
 911
 912 static const char *get_icc_unsigned(ir_relation relation)
 913 {
 914         switch (relation & (ir_relation_less_equal_greater)) {
 915         case ir_relation_false:              return "bn";
 916         case ir_relation_equal:              return "be";
 917         case ir_relation_less:               return "blu";
 918         case ir_relation_less_equal:         return "bleu";
 919         case ir_relation_greater:            return "bgu";
 920         case ir_relation_greater_equal:      return "bgeu";
 921         case ir_relation_less_greater:       return "bne";
 922         case ir_relation_less_equal_greater: return "ba";
 923         default: panic("Cmp has unsupported relation");
 924         }
 925 }
 926
 927 static const char *get_icc_signed(ir_relation relation)
 928 {
 929         switch (relation & (ir_relation_less_equal_greater)) {
 930         case ir_relation_false:              return "bn";
 931         case ir_relation_equal:              return "be";
 932         case ir_relation_less:               return "bl";
 933         case ir_relation_less_equal:         return "ble";
 934         case ir_relation_greater:            return "bg";
 935         case ir_relation_greater_equal:      return "bge";
 936         case ir_relation_less_greater:       return "bne";
 937         case ir_relation_less_equal_greater: return "ba";
 938         default: panic("Cmp has unsupported relation");
 939         }
 940 }
 941
 942 static const char *get_fcc(ir_relation relation)
 943 {
 944         switch (relation) {
 945         case ir_relation_false:                   return "fbn";
 946         case ir_relation_equal:                   return "fbe";
 947         case ir_relation_less:                    return "fbl";
 948         case ir_relation_less_equal:              return "fble";
 949         case ir_relation_greater:                 return "fbg";
 950         case ir_relation_greater_equal:           return "fbge";
 951         case ir_relation_less_greater:            return "fblg";
 952         case ir_relation_less_equal_greater:      return "fbo";
 953         case ir_relation_unordered:               return "fbu";
 954         case ir_relation_unordered_equal:         return "fbue";
 955         case ir_relation_unordered_less:          return "fbul";
 956         case ir_relation_unordered_less_equal:    return "fbule";
 957         case ir_relation_unordered_greater:       return "fbug";
 958         case ir_relation_unordered_greater_equal: return "fbuge";
 959         case ir_relation_unordered_less_greater:  return "fbne";
 960         case ir_relation_true:                    return "fba";
 961         }
 962         panic("invalid relation");
 963 }
 964
 965 typedef const char* (*get_cc_func)(ir_relation relation);
 966
 967 static void emit_sparc_branch(const ir_node *node, get_cc_func get_cc)
 968 {
 969         const sparc_jmp_cond_attr_t *attr = get_sparc_jmp_cond_attr_const(node);
 970         ir_relation      relation    = attr->relation;
 971         const ir_node   *proj_true   = NULL;
 972         const ir_node   *proj_false  = NULL;
 973         const ir_edge_t *edge;
 974         const ir_node   *block;
 975         const ir_node   *next_block;
 976
 977         foreach_out_edge(node, edge) {
 978                 ir_node *proj = get_edge_src_irn(edge);
 979                 long nr = get_Proj_proj(proj);
 980                 if (nr == pn_Cond_true) {
 981                         proj_true = proj;
 982                 } else {
 983                         proj_false = proj;
 984                 }
 985         }
 986
 987         /* for now, the code works for scheduled and non-schedules blocks */
 988         block = get_nodes_block(node);
 989
 990         /* we have a block schedule */
 991         next_block = (ir_node*)get_irn_link(block);
 992
 993         if (get_irn_link(proj_true) == next_block) {
 994                 /* exchange both proj's so the second one can be omitted */
 995                 const ir_node *t = proj_true;
 996
 997                 proj_true  = proj_false;
 998                 proj_false = t;
 999                 relation   = get_negated_relation(relation);
1000         }
1001
1002         /* emit the true proj */
1003         be_emit_cstring("\t");
1004         be_emit_string(get_cc(relation));
1005         be_emit_char(' ');
1006         sparc_emit_cfop_target(proj_true);
1007         be_emit_finish_line_gas(proj_true);
1008
1009         fill_delay_slot();
1010
1011         if (get_irn_link(proj_false) == next_block) {
1012                 be_emit_cstring("\t/* fallthrough to ");
1013                 sparc_emit_cfop_target(proj_false);
1014                 be_emit_cstring(" */");
1015                 be_emit_finish_line_gas(proj_false);
1016         } else {
1017                 be_emit_cstring("\tba ");
1018                 sparc_emit_cfop_target(proj_false);
1019                 be_emit_finish_line_gas(proj_false);
1020                 fill_delay_slot();
1021         }
1022 }
1023
1024 static void emit_sparc_Bicc(const ir_node *node)
1025 {
1026         const sparc_jmp_cond_attr_t *attr = get_sparc_jmp_cond_attr_const(node);
1027         bool             is_unsigned = attr->is_unsigned;
1028         emit_sparc_branch(node, is_unsigned ? get_icc_unsigned : get_icc_signed);
1029 }
1030
1031 static void emit_sparc_fbfcc(const ir_node *node)
1032 {
1033         /* if the flags producing node was immediately in front of us, emit
1034          * a nop */
1035         ir_node *flags = get_irn_n(node, n_sparc_fbfcc_flags);
1036         ir_node *prev  = sched_prev(node);
1037         if (is_Block(prev)) {
1038                 /* TODO: when the flags come from another block, then we have to do
1039                  * more complicated tests to see wether the flag producing node is
1040                  * potentially in front of us (could happen for fallthroughs) */
1041                 panic("TODO: fbfcc flags come from other block");
1042         }
1043         if (skip_Proj(flags) == prev) {
1044                 be_emit_cstring("\tnop\n");
1045         }
1046         emit_sparc_branch(node, get_fcc);
1047 }
1048
1049 static void emit_sparc_Ba(const ir_node *node)
1050 {
1051         if (ba_is_fallthrough(node)) {
1052                 be_emit_cstring("\t/* fallthrough to ");
1053                 sparc_emit_cfop_target(node);
1054                 be_emit_cstring(" */");
1055                 be_emit_finish_line_gas(node);
1056         } else {
1057                 be_emit_cstring("\tba ");
1058                 sparc_emit_cfop_target(node);
1059                 be_emit_finish_line_gas(node);
1060                 fill_delay_slot();
1061         }
1062 }
1063
1064 static void emit_sparc_SwitchJmp(const ir_node *node)
1065 {
1066         const sparc_switch_jmp_attr_t *attr = get_sparc_switch_jmp_attr_const(node);
1067
1068         be_emit_cstring("\tjmp ");
1069         sparc_emit_source_register(node, 0);
1070         be_emit_finish_line_gas(node);
1071         fill_delay_slot();
1072
1073         emit_jump_table(node, attr->default_proj_num, attr->jump_table,
1074                         get_jump_target);
1075 }
1076
1077 static void emit_fmov(const ir_node *node, const arch_register_t *src_reg,
1078                       const arch_register_t *dst_reg)
1079 {
1080         be_emit_cstring("\tfmovs %");
1081         be_emit_string(arch_register_get_name(src_reg));
1082         be_emit_cstring(", %");
1083         be_emit_string(arch_register_get_name(dst_reg));
1084         be_emit_finish_line_gas(node);
1085 }
1086
1087 static const arch_register_t *get_next_fp_reg(const arch_register_t *reg)
1088 {
1089         unsigned idx = reg->global_index;
1090         assert(reg == &sparc_registers[idx]);
1091         idx++;
1092         assert(idx - REG_F0 < N_sparc_fp_REGS);
1093         return &sparc_registers[idx];
1094 }
1095
1096 static void emit_be_Copy(const ir_node *node)
1097 {
1098         ir_mode               *mode    = get_irn_mode(node);
1099         const arch_register_t *src_reg = arch_get_irn_register_in(node, 0);
1100         const arch_register_t *dst_reg = arch_get_irn_register_out(node, 0);
1101
1102         if (src_reg == dst_reg)
1103                 return;
1104
1105         if (mode_is_float(mode)) {
1106                 unsigned bits = get_mode_size_bits(mode);
1107                 int      n    = bits > 32 ? bits > 64 ? 3 : 1 : 0;
1108                 int      i;
1109                 emit_fmov(node, src_reg, dst_reg);
1110                 for (i = 0; i < n; ++i) {
1111                         src_reg = get_next_fp_reg(src_reg);
1112                         dst_reg = get_next_fp_reg(dst_reg);
1113                         emit_fmov(node, src_reg, dst_reg);
1114                 }
1115         } else if (mode_is_data(mode)) {
1116                 be_emit_cstring("\tmov ");
1117                 sparc_emit_source_register(node, 0);
1118                 be_emit_cstring(", ");
1119                 sparc_emit_dest_register(node, 0);
1120                 be_emit_finish_line_gas(node);
1121         } else {
1122                 panic("emit_be_Copy: invalid mode");
1123         }
1124 }
1125
1126 static void emit_nothing(const ir_node *irn)
1127 {
1128         (void) irn;
1129 }
1130
1131 typedef void (*emit_func) (const ir_node *);
1132
1133 static inline void set_emitter(ir_op *op, emit_func sparc_emit_node)
1134 {
1135         op->ops.generic = (op_func)sparc_emit_node;
1136 }
1137
1138 /**
1139  * Enters the emitter functions for handled nodes into the generic
1140  * pointer of an opcode.
1141  */
1142 static void sparc_register_emitters(void)
1143 {
1144         /* first clear the generic function pointer for all ops */
1145         clear_irp_opcodes_generic_func();
1146         /* register all emitter functions defined in spec */
1147         sparc_register_spec_emitters();
1148
1149         /* custom emitter */
1150         set_emitter(op_be_Copy,         emit_be_Copy);
1151         set_emitter(op_be_CopyKeep,     emit_be_Copy);
1152         set_emitter(op_be_IncSP,        emit_be_IncSP);
1153         set_emitter(op_be_MemPerm,      emit_be_MemPerm);
1154         set_emitter(op_be_Perm,         emit_be_Perm);
1155         set_emitter(op_sparc_Ba,        emit_sparc_Ba);
1156         set_emitter(op_sparc_Bicc,      emit_sparc_Bicc);
1157         set_emitter(op_sparc_Call,      emit_sparc_Call);
1158         set_emitter(op_sparc_fbfcc,     emit_sparc_fbfcc);
1159         set_emitter(op_sparc_FrameAddr, emit_sparc_FrameAddr);
1160         set_emitter(op_sparc_SMulh,     emit_sparc_Mulh);
1161         set_emitter(op_sparc_UMulh,     emit_sparc_Mulh);
1162         set_emitter(op_sparc_Restore,   emit_sparc_Restore);
1163         set_emitter(op_sparc_Return,    emit_sparc_Return);
1164         set_emitter(op_sparc_SDiv,      emit_sparc_SDiv);
1165         set_emitter(op_sparc_SwitchJmp, emit_sparc_SwitchJmp);
1166         set_emitter(op_sparc_UDiv,      emit_sparc_UDiv);
1167
1168         /* no need to emit anything for the following nodes */
1169         set_emitter(op_be_Keep,     emit_nothing);
1170         set_emitter(op_sparc_Start, emit_nothing);
1171         set_emitter(op_Phi,         emit_nothing);
1172 }
1173
1174 /**
1175  * Emits code for a node.
1176  */
1177 static void sparc_emit_node(const ir_node *node)
1178 {
1179         ir_op *op = get_irn_op(node);
1180
1181         if (op->ops.generic) {
1182                 emit_func func = (emit_func) op->ops.generic;
1183                 be_dbg_set_dbg_info(get_irn_dbg_info(node));
1184                 (*func) (node);
1185         } else {
1186                 panic("No emit handler for node %+F (graph %+F)\n", node,
1187                       current_ir_graph);
1188         }
1189 }
1190
1191 static ir_node *find_next_delay_slot(ir_node *from)
1192 {
1193         ir_node *schedpoint = from;
1194         while (!has_delay_slot(schedpoint)) {
1195                 if (!sched_has_next(schedpoint))
1196                         return NULL;
1197                 schedpoint = sched_next(schedpoint);
1198         }
1199         return schedpoint;
1200 }
1201
1202 static bool block_needs_label(const ir_node *block, const ir_node *sched_prev)
1203 {
1204         int n_cfgpreds;
1205
1206         if (has_Block_entity(block))
1207                 return true;
1208
1209         n_cfgpreds = get_Block_n_cfgpreds(block);
1210         if (n_cfgpreds == 0) {
1211                 return false;
1212         } else if (n_cfgpreds > 1) {
1213                 return true;
1214         } else {
1215                 ir_node *cfgpred       = get_Block_cfgpred(block, 0);
1216                 ir_node *cfgpred_block = get_nodes_block(cfgpred);
1217                 if (is_Proj(cfgpred) && is_sparc_SwitchJmp(get_Proj_pred(cfgpred)))
1218                         return true;
1219                 return sched_prev != cfgpred_block || get_irn_link(cfgpred) != block;
1220         }
1221 }
1222
1223 /**
1224  * Walks over the nodes in a block connected by scheduling edges
1225  * and emits code for each node.
1226  */
1227 static void sparc_emit_block(ir_node *block, ir_node *prev)
1228 {
1229         ir_node *node;
1230         ir_node *next_delay_slot;
1231
1232         assert(is_Block(block));
1233
1234         if (block_needs_label(block, prev)) {
1235                 be_gas_emit_block_name(block);
1236                 be_emit_cstring(":\n");
1237                 be_emit_write_line();
1238         }
1239
1240         next_delay_slot = find_next_delay_slot(sched_first(block));
1241         if (next_delay_slot != NULL)
1242                 delay_slot_filler = pick_delay_slot_for(next_delay_slot);
1243
1244         sched_foreach(block, node) {
1245                 if (node == delay_slot_filler) {
1246                         continue;
1247                 }
1248
1249                 sparc_emit_node(node);
1250
1251                 if (node == next_delay_slot) {
1252                         assert(delay_slot_filler == NULL);
1253                         next_delay_slot = find_next_delay_slot(sched_next(node));
1254                         if (next_delay_slot != NULL)
1255                                 delay_slot_filler = pick_delay_slot_for(next_delay_slot);
1256                 }
1257         }
1258 }
1259
1260 /**
1261  * Emits code for function start.
1262  */
1263 static void sparc_emit_func_prolog(ir_graph *irg)
1264 {
1265         ir_entity *ent = get_irg_entity(irg);
1266         be_gas_emit_function_prolog(ent, 4);
1267         be_emit_write_line();
1268 }
1269
1270 /**
1271  * Emits code for function end
1272  */
1273 static void sparc_emit_func_epilog(ir_graph *irg)
1274 {
1275         ir_entity *ent = get_irg_entity(irg);
1276         const char *irg_name = get_entity_ld_name(ent);
1277         be_emit_write_line();
1278         be_emit_irprintf("\t.size  %s, .-%s\n", irg_name, irg_name);
1279         be_emit_cstring("# -- End ");
1280         be_emit_string(irg_name);
1281         be_emit_cstring("\n");
1282         be_emit_write_line();
1283 }
1284
1285 static void sparc_gen_labels(ir_node *block, void *env)
1286 {
1287         ir_node *pred;
1288         int n = get_Block_n_cfgpreds(block);
1289         (void) env;
1290
1291         for (n--; n >= 0; n--) {
1292                 pred = get_Block_cfgpred(block, n);
1293                 set_irn_link(pred, block); // link the pred of a block (which is a jmp)
1294         }
1295 }
1296
1297 void sparc_emit_routine(ir_graph *irg)
1298 {
1299         ir_entity  *entity = get_irg_entity(irg);
1300         ir_node   **block_schedule;
1301         size_t      i;
1302         size_t      n;
1303
1304         heights = heights_new(irg);
1305
1306         /* register all emitter functions */
1307         sparc_register_emitters();
1308         be_dbg_method_begin(entity);
1309
1310         /* create the block schedule. For now, we don't need it earlier. */
1311         block_schedule = be_create_block_schedule(irg);
1312
1313         sparc_emit_func_prolog(irg);
1314         irg_block_walk_graph(irg, sparc_gen_labels, NULL, NULL);
1315
1316         /* inject block scheduling links & emit code of each block */
1317         n = ARR_LEN(block_schedule);
1318         for (i = 0; i < n; ++i) {
1319                 ir_node *block      = block_schedule[i];
1320                 ir_node *next_block = i+1 < n ? block_schedule[i+1] : NULL;
1321                 set_irn_link(block, next_block);
1322         }
1323
1324         for (i = 0; i < n; ++i) {
1325                 ir_node *block = block_schedule[i];
1326                 ir_node *prev  = i>=1 ? block_schedule[i-1] : NULL;
1327                 if (block == get_irg_end_block(irg))
1328                         continue;
1329                 sparc_emit_block(block, prev);
1330         }
1331
1332         /* emit function epilog */
1333         sparc_emit_func_epilog(irg);
1334
1335         heights_free(heights);
1336 }
1337
1338 void sparc_init_emitter(void)
1339 {
1340         FIRM_DBG_REGISTER(dbg, "firm.be.sparc.emit");
1341 }