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 void sparc_emit_immediate(const ir_node *node)
 113 {
 114         int const val = get_sparc_attr_const(node)->immediate_value;
 115         assert(-4096 <= val && val < 4096);
 116         be_emit_irprintf("%d", val);
 117 }
 118
 119 void sparc_emit_source_register(const ir_node *node, int pos)
 120 {
 121         const arch_register_t *reg = get_in_reg(node, pos);
 122         be_emit_char('%');
 123         be_emit_string(arch_register_get_name(reg));
 124 }
 125
 126 void sparc_emit_dest_register(const ir_node *node, int pos)
 127 {
 128         const arch_register_t *reg = get_out_reg(node, pos);
 129         be_emit_char('%');
 130         be_emit_string(arch_register_get_name(reg));
 131 }
 132
 133 /**
 134  * Emits either a imm or register depending on arity of node
 135  * @param node
 136  * @param register no (-1 if no register)
 137  */
 138 void sparc_emit_reg_or_imm(const ir_node *node, int pos)
 139 {
 140         if (get_irn_arity(node) > pos) {
 141                 // we have reg input
 142                 sparc_emit_source_register(node, pos);
 143         } else {
 144                 // we have a imm input
 145                 sparc_emit_immediate(node);
 146         }
 147 }
 148
 149 static bool is_stack_pointer_relative(const ir_node *node)
 150 {
 151         const arch_register_t *sp = &sparc_gp_regs[REG_SP];
 152         return (is_sparc_St(node) && get_in_reg(node, n_sparc_St_ptr) == sp)
 153             || (is_sparc_Ld(node) && get_in_reg(node, n_sparc_Ld_ptr) == sp);
 154 }
 155
 156 /**
 157  * emit SP offset
 158  */
 159 void sparc_emit_offset(const ir_node *node)
 160 {
 161         const sparc_load_store_attr_t *attr = get_sparc_load_store_attr_const(node);
 162         long                           offset = attr->offset;
 163
 164         /* bad hack: the real stack stuff is behind the always-there spill
 165          * space for the register window and stack */
 166         if (is_stack_pointer_relative(node))
 167                 offset += SPARC_MIN_STACKSIZE;
 168         if (offset != 0) {
 169                 be_emit_irprintf("%+ld", offset);
 170         }
 171 }
 172
 173
 174 /**
 175  *  Emit load mode char
 176  */
 177 void sparc_emit_load_mode(const ir_node *node)
 178 {
 179         const sparc_load_store_attr_t *attr = get_sparc_load_store_attr_const(node);
 180         ir_mode *mode      = attr->load_store_mode;
 181         int      bits      = get_mode_size_bits(mode);
 182         bool     is_signed = mode_is_signed(mode);
 183
 184         if (bits == 16) {
 185                 be_emit_string(is_signed ? "sh" : "uh");
 186         } else if (bits == 8) {
 187                 be_emit_string(is_signed ? "sb" : "ub");
 188         } else if (bits == 64) {
 189                 be_emit_string("d");
 190         } else {
 191                 assert(bits == 32);
 192         }
 193 }
 194
 195 /**
 196  * Emit store mode char
 197  */
 198 void sparc_emit_store_mode(const ir_node *node)
 199 {
 200         const sparc_load_store_attr_t *attr = get_sparc_load_store_attr_const(node);
 201         ir_mode *mode      = attr->load_store_mode;
 202         int      bits      = get_mode_size_bits(mode);
 203
 204         if (bits == 16) {
 205                 be_emit_string("h");
 206         } else if (bits == 8) {
 207                 be_emit_string("b");
 208         } else if (bits == 64) {
 209                 be_emit_string("d");
 210         } else {
 211                 assert(bits == 32);
 212         }
 213 }
 214
 215 /**
 216  * emit integer signed/unsigned prefix char
 217  */
 218 void sparc_emit_mode_sign_prefix(const ir_node *node)
 219 {
 220         ir_mode *mode      = get_irn_mode(node);
 221         bool     is_signed = mode_is_signed(mode);
 222         be_emit_string(is_signed ? "s" : "u");
 223 }
 224
 225 /**
 226  * emit FP load mode char
 227  */
 228 void sparc_emit_fp_load_mode(const ir_node *node)
 229 {
 230         const sparc_load_store_attr_t *attr = get_sparc_load_store_attr_const(node);
 231         ir_mode *mode      = attr->load_store_mode;
 232         int      bits      = get_mode_size_bits(mode);
 233
 234         assert(mode_is_float(mode));
 235
 236         if (bits == 32) {
 237                 be_emit_string("f");
 238         } else if (bits == 64) {
 239                 be_emit_string("df");
 240         } else {
 241                 panic("FP load mode > 64bits not implemented yet");
 242         }
 243 }
 244
 245 /**
 246  * emit FP store mode char
 247  */
 248 void sparc_emit_fp_store_mode(const ir_node *node)
 249 {
 250         const sparc_load_store_attr_t *attr = get_sparc_load_store_attr_const(node);
 251         ir_mode *mode      = attr->load_store_mode;
 252         int      bits      = get_mode_size_bits(mode);
 253
 254         assert(mode_is_float(mode));
 255
 256         if (bits == 32) {
 257                 be_emit_string("f");
 258         } else if (bits == 64) {
 259                 be_emit_string("df");
 260         } else {
 261                 panic("FP store mode > 64bits not implemented yet");
 262         }
 263 }
 264
 265 /**
 266  * emits the FP mode suffix char
 267  */
 268 void sparc_emit_fp_mode_suffix(const ir_node *node)
 269 {
 270         ir_mode *mode      = get_irn_mode(node);
 271         int      bits      = get_mode_size_bits(mode);
 272
 273         assert(mode_is_float(mode));
 274
 275         if (bits == 32) {
 276                 be_emit_string("s");
 277         } else if (bits == 64) {
 278                 be_emit_string("d");
 279         } else {
 280                 panic("FP mode > 64bits not implemented yet");
 281         }
 282 }
 283
 284 /**
 285  * Returns the target label for a control flow node.
 286  */
 287 static void sparc_emit_cfop_target(const ir_node *node)
 288 {
 289         ir_node *block = get_irn_link(node);
 290         be_gas_emit_block_name(block);
 291 }
 292
 293 /**
 294  * Emit single entity
 295  */
 296 static void sparc_emit_entity(ir_entity *entity)
 297 {
 298         be_gas_emit_entity(entity);
 299 }
 300
 301 /**
 302  * Emits code for stack space management
 303  */
 304 static void emit_be_IncSP(const ir_node *irn)
 305 {
 306         int offs = -be_get_IncSP_offset(irn);
 307
 308         if (offs == 0)
 309                         return;
 310
 311         /* SPARC stack grows downwards */
 312         if (offs < 0) {
 313                 be_emit_cstring("\tsub ");
 314                 offs = -offs;
 315         } else {
 316                 be_emit_cstring("\tadd ");
 317         }
 318
 319         sparc_emit_source_register(irn, 0);
 320         be_emit_irprintf(", %d", offs);
 321         be_emit_cstring(", ");
 322         sparc_emit_dest_register(irn, 0);
 323         be_emit_finish_line_gas(irn);
 324 }
 325
 326 /**
 327  * emits code for save instruction with min. required stack space
 328  */
 329 static void emit_sparc_Save(const ir_node *irn)
 330 {
 331         const sparc_save_attr_t *save_attr = get_sparc_save_attr_const(irn);
 332         be_emit_cstring("\tsave ");
 333         sparc_emit_source_register(irn, 0);
 334         be_emit_irprintf(", %d, ", -save_attr->initial_stacksize);
 335         sparc_emit_dest_register(irn, 0);
 336         be_emit_finish_line_gas(irn);
 337 }
 338
 339 /**
 340  * emits code to load hi 22 bit of a constant
 341  */
 342 static void emit_sparc_HiImm(const ir_node *irn)
 343 {
 344         const sparc_attr_t *attr = get_sparc_attr_const(irn);
 345         be_emit_cstring("\tsethi ");
 346         be_emit_irprintf("%%hi(%d), ", attr->immediate_value);
 347         sparc_emit_dest_register(irn, 0);
 348         be_emit_finish_line_gas(irn);
 349 }
 350
 351 /**
 352  * emits code to load lo 10bits of a constant
 353  */
 354 static void emit_sparc_LoImm(const ir_node *irn)
 355 {
 356         const sparc_attr_t *attr = get_sparc_attr_const(irn);
 357         be_emit_cstring("\tor ");
 358         sparc_emit_source_register(irn, 0);
 359         be_emit_irprintf(", %%lo(%d), ", attr->immediate_value);
 360         sparc_emit_dest_register(irn, 0);
 361         be_emit_finish_line_gas(irn);
 362 }
 363
 364 /**
 365  * emit code for div with the correct sign prefix
 366  */
 367 static void emit_sparc_Div(const ir_node *irn)
 368 {
 369         be_emit_cstring("\t");
 370         sparc_emit_mode_sign_prefix(irn);
 371         be_emit_cstring("div ");
 372
 373         sparc_emit_source_register(irn, 0);
 374         be_emit_cstring(", ");
 375         sparc_emit_reg_or_imm(irn, 1);
 376         be_emit_cstring(", ");
 377         sparc_emit_dest_register(irn, 0);
 378         be_emit_finish_line_gas(irn);
 379 }
 380
 381 /**
 382  * emit code for mul with the correct sign prefix
 383  */
 384 static void emit_sparc_Mul(const ir_node *irn)
 385 {
 386         be_emit_cstring("\t");
 387         sparc_emit_mode_sign_prefix(irn);
 388         be_emit_cstring("mul ");
 389
 390         sparc_emit_source_register(irn, 0);
 391         be_emit_cstring(", ");
 392         sparc_emit_reg_or_imm(irn, 1);
 393         be_emit_cstring(", ");
 394         sparc_emit_dest_register(irn, 0);
 395         be_emit_finish_line_gas(irn);
 396 }
 397
 398 /**
 399  * emits code for mulh
 400  */
 401 static void emit_sparc_Mulh(const ir_node *irn)
 402 {
 403         be_emit_cstring("\t");
 404         sparc_emit_mode_sign_prefix(irn);
 405         be_emit_cstring("mul ");
 406
 407         sparc_emit_source_register(irn, 0);
 408         be_emit_cstring(", ");
 409         sparc_emit_reg_or_imm(irn, 1);
 410         be_emit_cstring(", ");
 411         sparc_emit_dest_register(irn, 0);
 412         be_emit_finish_line_gas(irn);
 413
 414         // our result is in the y register now
 415         // we just copy it to the assigned target reg
 416         be_emit_cstring("\tmov ");
 417         be_emit_char('%');
 418         be_emit_string(arch_register_get_name(&sparc_flags_regs[REG_Y]));
 419         be_emit_cstring(", ");
 420         sparc_emit_dest_register(irn, 0);
 421         be_emit_finish_line_gas(irn);
 422 }
 423
 424 /**
 425  * Emits code for return node
 426  */
 427 static void emit_be_Return(const ir_node *irn)
 428 {
 429         be_emit_cstring("\tret");
 430         //be_emit_cstring("\tjmp %i7+8");
 431         be_emit_finish_line_gas(irn);
 432         be_emit_cstring("\trestore");
 433         be_emit_finish_line_gas(irn);
 434 }
 435
 436 /**
 437  * Emits code for Call node
 438  */
 439 static void emit_sparc_Call(const ir_node *node)
 440 {
 441         const sparc_attr_t *attr   = get_sparc_attr_const(node);
 442         ir_entity          *entity = attr->immediate_value_entity;
 443
 444         be_emit_cstring("\tcall ");
 445         if (entity != NULL) {
 446             sparc_emit_entity(entity);
 447                 be_emit_cstring(", 0");
 448         } else {
 449                 int last = get_irn_arity(node);
 450                 sparc_emit_source_register(node, last-1);
 451         }
 452         be_emit_finish_line_gas(node);
 453
 454         /* fill delay slot */
 455         be_emit_cstring("\tnop");
 456         be_emit_finish_line_gas(node);
 457 }
 458
 459 /**
 460  * Emit code for Perm node
 461  */
 462 static void emit_be_Perm(const ir_node *irn)
 463 {
 464         be_emit_cstring("\txor ");
 465         sparc_emit_source_register(irn, 1);
 466         be_emit_cstring(", ");
 467         sparc_emit_source_register(irn, 0);
 468         be_emit_cstring(", ");
 469         sparc_emit_source_register(irn, 0);
 470         be_emit_finish_line_gas(NULL);
 471
 472         be_emit_cstring("\txor ");
 473         sparc_emit_source_register(irn, 1);
 474         be_emit_cstring(", ");
 475         sparc_emit_source_register(irn, 0);
 476         be_emit_cstring(", ");
 477         sparc_emit_source_register(irn, 1);
 478         be_emit_finish_line_gas(NULL);
 479
 480         be_emit_cstring("\txor ");
 481         sparc_emit_source_register(irn, 1);
 482         be_emit_cstring(", ");
 483         sparc_emit_source_register(irn, 0);
 484         be_emit_cstring(", ");
 485         sparc_emit_source_register(irn, 0);
 486         be_emit_finish_line_gas(irn);
 487 }
 488
 489 /**
 490  * TODO: not really tested but seems to work with memperm_arity == 1
 491  */
 492 static void emit_be_MemPerm(const ir_node *node)
 493 {
 494         int i;
 495         int memperm_arity;
 496         int sp_change = 0;
 497         ir_graph          *irg    = get_irn_irg(node);
 498         be_stack_layout_t *layout = be_get_irg_stack_layout(irg);
 499
 500         /* this implementation only works with frame pointers currently */
 501         assert(layout->sp_relative == false);
 502
 503         /* TODO: this implementation is slower than necessary.
 504            The longterm goal is however to avoid the memperm node completely */
 505
 506         memperm_arity = be_get_MemPerm_entity_arity(node);
 507         // we use our local registers - so this is limited to 8 inputs !
 508         if (memperm_arity > 8)
 509                 panic("memperm with more than 8 inputs not supported yet");
 510
 511         be_emit_irprintf("\tsub %%sp, %d, %%sp", memperm_arity*4);
 512         be_emit_finish_line_gas(node);
 513
 514         for (i = 0; i < memperm_arity; ++i) {
 515                 ir_entity *entity = be_get_MemPerm_in_entity(node, i);
 516                 int        offset = be_get_stack_entity_offset(layout, entity, 0);
 517
 518                 /* spill register */
 519                 be_emit_irprintf("\tst %%l%d, [%%sp%+d]", i, sp_change + SPARC_MIN_STACKSIZE);
 520                 be_emit_finish_line_gas(node);
 521
 522                 /* load from entity */
 523                 be_emit_irprintf("\tld [%%fp%+d], %%l%d", offset, i);
 524                 be_emit_finish_line_gas(node);
 525                 sp_change += 4;
 526         }
 527
 528         for (i = memperm_arity-1; i >= 0; --i) {
 529                 ir_entity *entity = be_get_MemPerm_out_entity(node, i);
 530                 int        offset = be_get_stack_entity_offset(layout, entity, 0);
 531
 532                 sp_change -= 4;
 533
 534                 /* store to new entity */
 535                 be_emit_irprintf("\tst %%l%d, [%%fp%+d]", i, offset);
 536                 be_emit_finish_line_gas(node);
 537                 /* restore register */
 538                 be_emit_irprintf("\tld [%%sp%+d], %%l%d", sp_change + SPARC_MIN_STACKSIZE, i);
 539                 be_emit_finish_line_gas(node);
 540         }
 541
 542         be_emit_irprintf("\tadd %%sp, %d, %%sp", memperm_arity*4);
 543         be_emit_finish_line_gas(node);
 544
 545         assert(sp_change == 0);
 546 }
 547
 548 /**
 549  * Emit a SymConst.
 550  */
 551 static void emit_sparc_SymConst(const ir_node *irn)
 552 {
 553         const sparc_symconst_attr_t *attr = get_sparc_symconst_attr_const(irn);
 554
 555         //sethi %hi(const32),%reg
 556         //or    %reg,%lo(const32),%reg
 557
 558         be_emit_cstring("\tsethi %hi(");
 559         be_gas_emit_entity(attr->entity);
 560         be_emit_cstring("), ");
 561         sparc_emit_dest_register(irn, 0);
 562         be_emit_cstring("\n ");
 563
 564         // TODO: could be combined with the following load/store instruction
 565         be_emit_cstring("\tor ");
 566         sparc_emit_dest_register(irn, 0);
 567         be_emit_cstring(", %lo(");
 568         be_gas_emit_entity(attr->entity);
 569         be_emit_cstring("), ");
 570         sparc_emit_dest_register(irn, 0);
 571         be_emit_finish_line_gas(irn);
 572 }
 573
 574 /**
 575  * Emits code for FrameAddr fix
 576  */
 577 static void emit_sparc_FrameAddr(const ir_node *irn)
 578 {
 579         const sparc_symconst_attr_t *attr = get_irn_generic_attr_const(irn);
 580
 581         // no need to fix offset as we are adressing via the framepointer
 582         if (attr->fp_offset >= 0) {
 583                 be_emit_cstring("\tadd ");
 584                 sparc_emit_source_register(irn, 0);
 585                 be_emit_cstring(", ");
 586                 be_emit_irprintf("%ld", attr->fp_offset);
 587         } else {
 588                 be_emit_cstring("\tsub ");
 589                 sparc_emit_source_register(irn, 0);
 590                 be_emit_cstring(", ");
 591                 be_emit_irprintf("%ld", -attr->fp_offset);
 592         }
 593
 594         be_emit_cstring(", ");
 595         sparc_emit_dest_register(irn, 0);
 596         be_emit_finish_line_gas(irn);
 597 }
 598
 599
 600 /**
 601  * Emits code for Branch
 602  */
 603 static void emit_sparc_BXX(const ir_node *node)
 604 {
 605         const sparc_jmp_cond_attr_t *attr = get_sparc_jmp_cond_attr_const(node);
 606         int              proj_num    = attr->proj_num;
 607         bool             is_unsigned = attr->is_unsigned;
 608         const ir_node   *proj_true   = NULL;
 609         const ir_node   *proj_false  = NULL;
 610         const ir_edge_t *edge;
 611         const ir_node   *block;
 612         const ir_node   *next_block;
 613         const char      *suffix;
 614
 615         foreach_out_edge(node, edge) {
 616                 ir_node *proj = get_edge_src_irn(edge);
 617                 long nr = get_Proj_proj(proj);
 618                 if (nr == pn_Cond_true) {
 619                         proj_true = proj;
 620                 } else {
 621                         proj_false = proj;
 622                 }
 623         }
 624
 625         /* for now, the code works for scheduled and non-schedules blocks */
 626         block = get_nodes_block(node);
 627
 628         /* we have a block schedule */
 629         next_block = get_irn_link(block);
 630
 631         assert(proj_num != pn_Cmp_False);
 632         assert(proj_num != pn_Cmp_True);
 633
 634         if (get_irn_link(proj_true) == next_block) {
 635                 /* exchange both proj's so the second one can be omitted */
 636                 const ir_node *t = proj_true;
 637
 638                 proj_true  = proj_false;
 639                 proj_false = t;
 640                 proj_num   = get_negated_pnc(proj_num, mode_Iu);
 641         }
 642
 643         if (is_unsigned) {
 644                 switch (proj_num) {
 645                         case pn_Cmp_Eq:  suffix = "e"; break;
 646                         case pn_Cmp_Lt:  suffix = "lu"; break;
 647                         case pn_Cmp_Le:  suffix = "leu"; break;
 648                         case pn_Cmp_Gt:  suffix = "gu"; break;
 649                         case pn_Cmp_Ge:  suffix = "geu"; break;
 650                         case pn_Cmp_Lg:  suffix = "ne"; break;
 651                         default: panic("Cmp has unsupported pnc");
 652                 }
 653         } else {
 654                 switch (proj_num) {
 655                         case pn_Cmp_Eq:  suffix = "e"; break;
 656                         case pn_Cmp_Lt:  suffix = "l"; break;
 657                         case pn_Cmp_Le:  suffix = "le"; break;
 658                         case pn_Cmp_Gt:  suffix = "g"; break;
 659                         case pn_Cmp_Ge:  suffix = "ge"; break;
 660                         case pn_Cmp_Lg:  suffix = "ne"; break;
 661                         default: panic("Cmp has unsupported pnc");
 662                 }
 663         }
 664
 665         /* emit the true proj */
 666         be_emit_cstring("\tb");
 667         be_emit_string(suffix);
 668         be_emit_char(' ');
 669         sparc_emit_cfop_target(proj_true);
 670         be_emit_finish_line_gas(proj_true);
 671
 672         be_emit_cstring("\tnop");
 673         be_emit_pad_comment();
 674         be_emit_cstring("/* TODO: use delay slot */\n");
 675
 676         if (get_irn_link(proj_false) == next_block) {
 677                 be_emit_cstring("\t/* false-fallthrough to ");
 678                 sparc_emit_cfop_target(proj_false);
 679                 be_emit_cstring(" */");
 680                 be_emit_finish_line_gas(proj_false);
 681         } else {
 682                 be_emit_cstring("\tba ");
 683                 sparc_emit_cfop_target(proj_false);
 684                 be_emit_finish_line_gas(proj_false);
 685                 be_emit_cstring("\tnop\t\t/* TODO: use delay slot */\n");
 686                 be_emit_finish_line_gas(proj_false);
 687         }
 688 }
 689
 690 /**
 691  * emit Jmp (which actually is a branch always (ba) instruction)
 692  */
 693 static void emit_sparc_Ba(const ir_node *node)
 694 {
 695         ir_node *block, *next_block;
 696
 697         /* for now, the code works for scheduled and non-schedules blocks */
 698         block = get_nodes_block(node);
 699
 700         /* we have a block schedule */
 701         next_block = get_irn_link(block);
 702         if (get_irn_link(node) != next_block) {
 703                 be_emit_cstring("\tba ");
 704                 sparc_emit_cfop_target(node);
 705                 be_emit_finish_line_gas(node);
 706                 be_emit_cstring("\tnop\t\t/* TODO: use delay slot */\n");
 707         } else {
 708                 be_emit_cstring("\t/* fallthrough to ");
 709                 sparc_emit_cfop_target(node);
 710                 be_emit_cstring(" */");
 711         }
 712         be_emit_finish_line_gas(node);
 713 }
 714
 715 /**
 716  * emit copy node
 717  */
 718 static void emit_be_Copy(const ir_node *irn)
 719 {
 720         ir_mode *mode = get_irn_mode(irn);
 721
 722         if (get_in_reg(irn, 0) == get_out_reg(irn, 0)) {
 723                 /* omitted Copy */
 724                 return;
 725         }
 726
 727         if (mode_is_float(mode)) {
 728                 panic("emit_be_Copy: move not supported for FP");
 729         } else if (mode_is_data(mode)) {
 730                 be_emit_cstring("\tmov ");
 731                 sparc_emit_source_register(irn, 0);
 732                 be_emit_cstring(", ");
 733                 sparc_emit_dest_register(irn, 0);
 734                 be_emit_finish_line_gas(irn);
 735         } else {
 736                 panic("emit_be_Copy: move not supported for this mode");
 737         }
 738 }
 739
 740
 741 /**
 742  * dummy emitter for ignored nodes
 743  */
 744 static void emit_nothing(const ir_node *irn)
 745 {
 746         (void) irn;
 747 }
 748
 749
 750
 751 /**
 752  * type of emitter function
 753  */
 754 typedef void (*emit_func) (const ir_node *);
 755
 756 /**
 757  * Set a node emitter. Make it a bit more type safe.
 758  */
 759 static inline void set_emitter(ir_op *op, emit_func sparc_emit_node)
 760 {
 761         op->ops.generic = (op_func)sparc_emit_node;
 762 }
 763
 764 /**
 765  * Enters the emitter functions for handled nodes into the generic
 766  * pointer of an opcode.
 767  */
 768 static void sparc_register_emitters(void)
 769 {
 770         /* first clear the generic function pointer for all ops */
 771         clear_irp_opcodes_generic_func();
 772         /* register all emitter functions defined in spec */
 773         sparc_register_spec_emitters();
 774
 775         /* custom emitter */
 776         set_emitter(op_be_Copy,         emit_be_Copy);
 777         set_emitter(op_be_CopyKeep,     emit_be_Copy);
 778         set_emitter(op_be_IncSP,        emit_be_IncSP);
 779         set_emitter(op_be_MemPerm,      emit_be_MemPerm);
 780         set_emitter(op_be_Perm,         emit_be_Perm);
 781         set_emitter(op_be_Return,       emit_be_Return);
 782         set_emitter(op_sparc_BXX,       emit_sparc_BXX);
 783         set_emitter(op_sparc_Call,      emit_sparc_Call);
 784         set_emitter(op_sparc_Div,       emit_sparc_Div);
 785         set_emitter(op_sparc_FrameAddr, emit_sparc_FrameAddr);
 786         set_emitter(op_sparc_HiImm,     emit_sparc_HiImm);
 787         set_emitter(op_sparc_Ba,        emit_sparc_Ba);
 788         set_emitter(op_sparc_LoImm,     emit_sparc_LoImm);
 789         set_emitter(op_sparc_Mul,       emit_sparc_Mul);
 790         set_emitter(op_sparc_Mulh,      emit_sparc_Mulh);
 791         set_emitter(op_sparc_Save,      emit_sparc_Save);
 792         set_emitter(op_sparc_SymConst,  emit_sparc_SymConst);
 793
 794         /* no need to emit anything for the following nodes */
 795         set_emitter(op_be_Barrier, emit_nothing);
 796         set_emitter(op_be_Keep,    emit_nothing);
 797         set_emitter(op_be_Start,   emit_nothing);
 798         set_emitter(op_Phi,        emit_nothing);
 799 }
 800
 801 /**
 802  * Emits code for a node.
 803  */
 804 static void sparc_emit_node(const ir_node *node)
 805 {
 806         ir_op               *op       = get_irn_op(node);
 807
 808         if (op->ops.generic) {
 809                 emit_func func = (emit_func) op->ops.generic;
 810                 be_dbg_set_dbg_info(get_irn_dbg_info(node));
 811                 (*func) (node);
 812         } else {
 813                 panic("Error: No emit handler for node %+F (graph %+F)\n",
 814                         node, current_ir_graph);
 815         }
 816 }
 817
 818 /**
 819  * Walks over the nodes in a block connected by scheduling edges
 820  * and emits code for each node.
 821  */
 822 static void sparc_gen_block(ir_node *block, void *data)
 823 {
 824         ir_node *node;
 825         (void) data;
 826
 827         if (! is_Block(block))
 828                 return;
 829
 830         be_gas_emit_block_name(block);
 831         be_emit_cstring(":\n");
 832         be_emit_write_line();
 833
 834         sched_foreach(block, node) {
 835                 sparc_emit_node(node);
 836         }
 837 }
 838
 839
 840 /**
 841  * Emits code for function start.
 842  */
 843 static void sparc_emit_func_prolog(ir_graph *irg)
 844 {
 845         ir_entity *ent = get_irg_entity(irg);
 846         be_gas_emit_function_prolog(ent, 4);
 847         be_emit_write_line();
 848 }
 849
 850 /**
 851  * Emits code for function end
 852  */
 853 static void sparc_emit_func_epilog(ir_graph *irg)
 854 {
 855         ir_entity *ent = get_irg_entity(irg);
 856         const char *irg_name = get_entity_ld_name(ent);
 857         be_emit_write_line();
 858         be_emit_irprintf("\t.size  %s, .-%s\n", irg_name, irg_name);
 859         be_emit_cstring("# -- End ");
 860         be_emit_string(irg_name);
 861         be_emit_cstring("\n");
 862         be_emit_write_line();
 863 }
 864
 865 /**
 866  * Block-walker:
 867  * TODO: Sets labels for control flow nodes (jump target).
 868  * Links control predecessors to there destination blocks.
 869  */
 870 static void sparc_gen_labels(ir_node *block, void *env)
 871 {
 872         ir_node *pred;
 873         int n = get_Block_n_cfgpreds(block);
 874         (void) env;
 875
 876         for (n--; n >= 0; n--) {
 877                 pred = get_Block_cfgpred(block, n);
 878                 set_irn_link(pred, block); // link the pred of a block (which is a jmp)
 879         }
 880 }
 881
 882
 883 /**
 884  * Main driver
 885  */
 886 void sparc_gen_routine(const sparc_code_gen_t *cg, ir_graph *irg)
 887 {
 888         ir_node **blk_sched;
 889         ir_node *last_block = NULL;
 890         ir_entity *entity     = get_irg_entity(irg);
 891         int i, n;
 892         (void) cg;
 893
 894         be_gas_elf_type_char = '#';
 895         be_gas_object_file_format = OBJECT_FILE_FORMAT_ELF_SPARC;
 896
 897         /* register all emitter functions */
 898         sparc_register_emitters();
 899         be_dbg_method_begin(entity);
 900
 901         /* create the block schedule. For now, we don't need it earlier. */
 902         blk_sched = be_create_block_schedule(irg);
 903
 904         // emit function prolog
 905         sparc_emit_func_prolog(irg);
 906
 907         // generate BLOCK labels
 908         irg_block_walk_graph(irg, sparc_gen_labels, NULL, NULL);
 909
 910         // inject block scheduling links & emit code of each block
 911         n = ARR_LEN(blk_sched);
 912         for (i = 0; i < n;) {
 913                 ir_node *block, *next_bl;
 914
 915                 block = blk_sched[i];
 916                 ++i;
 917                 next_bl = i < n ? blk_sched[i] : NULL;
 918
 919                 /* set here the link. the emitter expects to find the next block here */
 920                 set_irn_link(block, next_bl);
 921                 sparc_gen_block(block, last_block);
 922                 last_block = block;
 923         }
 924
 925         // emit function epilog
 926         sparc_emit_func_epilog(irg);
 927 }
 928
 929 void sparc_init_emitter(void)
 930 {
 931         FIRM_DBG_REGISTER(dbg, "firm.be.sparc.emit");
 932 }