Added changes for inline assembler
[libfirm] / ir / be / mips / bearch_mips.c
index 2ac8311..fed1d3d 100644 (file)
@@ -1,5 +1,28 @@
-/* The main mips backend driver file. */
-/* $Id$ */
+/*
+ * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
+ *
+ * This file is part of libFirm.
+ *
+ * This file may be distributed and/or modified under the terms of the
+ * GNU General Public License version 2 as published by the Free Software
+ * Foundation and appearing in the file LICENSE.GPL included in the
+ * packaging of this file.
+ *
+ * Licensees holding valid libFirm Professional Edition licenses may use
+ * this file in accordance with the libFirm Commercial License.
+ * Agreement provided with the Software.
+ *
+ * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
+ * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE.
+ */
+
+/**
+ * @file
+ * @brief   The main mips backend driver file.
+ * @author  Matthias Braun, Mehdi
+ * @version $Id$
+ */
 #ifdef HAVE_CONFIG_H
 #include "config.h"
 #endif
 #include "iredges.h"
 #include "irdump.h"
 #include "irextbb.h"
+#include "error.h"
 
 #include "bitset.h"
 #include "debug.h"
 
-#include "../bearch_t.h"                /* the general register allocator interface */
+#include "../bearch_t.h"
 #include "../benode_t.h"
 #include "../belower.h"
 #include "../besched_t.h"
 #include "../beabi.h"
 #include "../bemachine.h"
 #include "../bemodule.h"
+#include "../bespillslots.h"
+#include "../beemitter.h"
+#include "../begnuas.h"
 
 #include "bearch_mips_t.h"
 
-#include "mips_new_nodes.h"           /* mips nodes interface */
-#include "gen_mips_regalloc_if.h"     /* the generated interface (register type and class defenitions) */
-#include "mips_gen_decls.h"           /* interface declaration emitter */
+#include "mips_new_nodes.h"
+#include "gen_mips_regalloc_if.h"
 #include "mips_transform.h"
 #include "mips_emitter.h"
 #include "mips_map_regs.h"
@@ -181,19 +207,20 @@ static arch_irn_flags_t mips_get_flags(const void *self, const ir_node *irn) {
        return 0;
 }
 
-static ir_entity *mips_get_frame_entity(const void *self, const ir_node *irn) {
-       if(is_mips_load_r(irn) || is_mips_store_r(irn)) {
-               mips_attr_t *attr = get_mips_attr(irn);
+static
+ir_entity *mips_get_frame_entity(const void *self, const ir_node *node) {
+       mips_attr_t *attr;
 
-               return attr->stack_entity;
-       }
+       if(!is_mips_irn(node))
+               return NULL;
 
-       return NULL;
+       attr = get_mips_attr(node);
+       return attr->stack_entity;
 }
 
-static void mips_set_frame_entity(const void *self, ir_node *irn, ir_entity *ent) {
+static
+void mips_set_frame_entity(const void *self, ir_node *irn, ir_entity *ent) {
        mips_attr_t *attr  = get_mips_attr(irn);
-       assert(is_mips_load_r(irn) || is_mips_store_r(irn));
        attr->stack_entity = ent;
 }
 
@@ -201,11 +228,13 @@ static void mips_set_frame_entity(const void *self, ir_node *irn, ir_entity *ent
  * This function is called by the generic backend to correct offsets for
  * nodes accessing the stack.
  */
-static void mips_set_frame_offset(const void *self, ir_node *irn, int offset) {
+static void mips_set_frame_offset(const void *self, ir_node *irn, int offset)
+{
+       panic("TODO");
+#if 0
        mips_attr_t *attr = get_mips_attr(irn);
-       assert(is_mips_load_r(irn) || is_mips_store_r(irn));
-
        attr->stack_entity_offset = offset;
+#endif
 }
 
 static int mips_get_sp_bias(const void *self, const ir_node *irn) {
@@ -331,6 +360,7 @@ static void mips_create_block_sched(mips_code_gen_t *cg) {
        cg->bl_list = bl_list;
 }
 
+#if 0
 typedef struct _wenv_t {
        ir_node *list;
 } wenv_t;
@@ -346,8 +376,10 @@ static void collect_copyb_nodes(ir_node *node, void *env) {
                wenv->list = node;
        }
 }
+#endif
 
 static void replace_copyb_nodes(mips_code_gen_t *cg) {
+#if 0
        wenv_t env;
        ir_node *copy, *next;
        ir_node *old_bl, *new_bl, *jmp, *new_jmp, *mem;
@@ -385,6 +417,8 @@ static void replace_copyb_nodes(mips_code_gen_t *cg) {
                        }
                }
        }
+#endif
+       (void) cg;
 }
 
 /**
@@ -438,6 +472,7 @@ static void mips_before_ra(void *self) {
 
 static void mips_after_ra(void* self) {
        mips_code_gen_t *cg = self;
+       be_coalesce_spillslots(cg->birg);
        irg_walk_blkwise_graph(cg->irg, NULL, mips_after_ra_walker, self);
 }
 
@@ -446,18 +481,10 @@ static void mips_after_ra(void* self) {
  * the code generator interface.
  */
 static void mips_emit_and_done(void *self) {
-       mips_code_gen_t *cg = self;
-       ir_graph           *irg = cg->irg;
-       FILE               *out = cg->isa->out;
-
-       mips_register_emitters();
-
-       if (cg->emit_decls) {
-               mips_gen_decls(out);
-               cg->emit_decls = 0;
-       }
+       mips_code_gen_t *cg  = self;
+       ir_graph        *irg = cg->irg;
 
-       mips_gen_routine(out, irg, cg);
+       mips_gen_routine(cg, irg);
 
        cur_reg_set = NULL;
 
@@ -489,8 +516,8 @@ static const arch_code_generator_if_t mips_code_gen_if = {
  */
 static void *mips_cg_init(be_irg_t *birg) {
        const arch_env_t *arch_env = be_get_birg_arch_env(birg);
-       mips_isa_t      *isa = (mips_isa_t *) arch_env->isa;
-       mips_code_gen_t *cg  = xmalloc(sizeof(*cg));
+       mips_isa_t       *isa      = (mips_isa_t *) arch_env->isa;
+       mips_code_gen_t  *cg       = xmalloc(sizeof(*cg));
 
        cg->impl     = &mips_code_gen_if;
        cg->irg      = be_get_birg_irg(birg);
@@ -499,14 +526,6 @@ static void *mips_cg_init(be_irg_t *birg) {
        cg->isa      = isa;
        cg->birg     = birg;
        cg->bl_list  = NULL;
-       FIRM_DBG_REGISTER(cg->mod, "firm.be.mips.cg");
-
-       isa->num_codegens++;
-
-       if (isa->num_codegens > 1)
-               cg->emit_decls = 0;
-       else
-               cg->emit_decls = 1;
 
        cur_reg_set = cg->reg_set;
 
@@ -527,12 +546,16 @@ static void *mips_cg_init(be_irg_t *birg) {
  *****************************************************************/
 
 static mips_isa_t mips_isa_template = {
-       &mips_isa_if,
-       &mips_gp_regs[REG_SP],
-       &mips_gp_regs[REG_FP],
-       -1,             // stack direction
-       0,              // num codegens?!? TODO what is this?
-       NULL
+       {
+               &mips_isa_if,
+               &mips_gp_regs[REG_SP],
+               &mips_gp_regs[REG_FP],
+               -1,             /* stack direction */
+               NULL,   /* main environment */
+               7,      /* spill costs */
+               5,      /* reload costs */
+       },
+       { NULL, },  /* emitter environment */
 };
 
 /**
@@ -544,17 +567,22 @@ static void *mips_init(FILE *file_handle) {
 
        if(inited)
                return NULL;
+       inited = 1;
 
-       isa = xcalloc(1, sizeof(*isa));
-       memcpy(isa, &mips_isa_template, sizeof(*isa));
+       isa = xcalloc(1, sizeof(isa[0]));
+       memcpy(isa, &mips_isa_template, sizeof(isa[0]));
 
-       isa->out = file_handle;
+       be_emit_init_env(&isa->emit, file_handle);
 
        mips_register_init(isa);
        mips_create_opcodes();
-       mips_init_opcode_transforms();
+       // mips_init_opcode_transforms();
 
-       inited = 1;
+       /* we mark referenced global entities, so we can only emit those which
+        * are actually referenced. (Note: you mustn't use the type visited flag
+        * elsewhere in the backend)
+        */
+       inc_master_type_visited();
 
        return isa;
 }
@@ -563,7 +591,12 @@ static void *mips_init(FILE *file_handle) {
  * Closes the output file and frees the ISA structure.
  */
 static void mips_done(void *self) {
-       free(self);
+       mips_isa_t *isa = self;
+
+       be_gas_emit_decls(&isa->emit, isa->arch_isa.main_env, 1);
+
+       be_emit_destroy_env(&isa->emit);
+       free(isa);
 }
 
 static int mips_get_n_reg_class(const void *self) {
@@ -590,7 +623,7 @@ const arch_register_class_t *mips_get_reg_class_for_mode(const void *self, const
 
 typedef struct {
        be_abi_call_flags_bits_t flags;
-       const mips_isa_t *isa;
+       const arch_isa_t *isa;
        const arch_env_t *arch_env;
        ir_graph *irg;
        // do special handling to support debuggers
@@ -601,19 +634,20 @@ static void *mips_abi_init(const be_abi_call_t *call, const arch_env_t *arch_env
 {
        mips_abi_env_t *env    = xmalloc(sizeof(env[0]));
        be_abi_call_flags_t fl = be_abi_call_get_flags(call);
-       env->flags = fl.bits;
-       env->irg   = irg;
-       env->arch_env = arch_env;
-       env->isa   = (const mips_isa_t*) arch_env->isa;
-       env->debug = 1;
+       env->flags             = fl.bits;
+       env->irg               = irg;
+       env->arch_env          = arch_env;
+       env->isa               = arch_env->isa;
+       env->debug             = 1;
        return env;
 }
 
 static void mips_abi_dont_save_regs(void *self, pset *s)
 {
        mips_abi_env_t *env = self;
+
        if(env->flags.try_omit_fp)
-               pset_insert_ptr(s, env->isa->fp);
+               pset_insert_ptr(s, env->isa->bp);
 }
 
 static const arch_register_t *mips_abi_prologue(void *self, ir_node** mem, pmap *reg_map)
@@ -659,20 +693,18 @@ static const arch_register_t *mips_abi_prologue(void *self, ir_node** mem, pmap
                */
 
                reg = be_abi_reg_map_get(reg_map, &mips_gp_regs[REG_FP]);
-               store = new_rd_mips_store_r(dbg, irg, block, *mem, sp, reg, mode_T);
+               store = new_rd_mips_sw(dbg, irg, block, *mem, sp, reg);
                attr = get_mips_attr(store);
-               attr->modes.load_store_mode = mode_Iu;
-               attr->tv = new_tarval_from_long(16, mode_Is);
+               attr->tv = new_tarval_from_long(16, mode_Hs);
 
-               mm[4] = new_r_Proj(irg, block, store, mode_M, pn_Store_M);
+               mm[4] = store;
 
                reg = be_abi_reg_map_get(reg_map, &mips_gp_regs[REG_RA]);
-               store = new_rd_mips_store_r(dbg, irg, block, *mem, sp, reg, mode_T);
+               store = new_rd_mips_sw(dbg, irg, block, *mem, sp, reg);
                attr = get_mips_attr(store);
-               attr->modes.load_store_mode = mode_Iu;
-               attr->tv = new_tarval_from_long(20, mode_Is);
+               attr->tv = new_tarval_from_long(20, mode_Hs);
 
-               mm[5] = new_r_Proj(irg, block, store, mode_M, pn_Store_M);
+               mm[5] = store;
 
                // TODO ideally we would route these mem edges directly towards the epilogue
                sync = new_r_Sync(irg, block, 2, mm+4);
@@ -689,12 +721,11 @@ static const arch_register_t *mips_abi_prologue(void *self, ir_node** mem, pmap
                //arch_set_irn_register(mips_get_arg_env(), sp, &mips_gp_regs[REG_SP]);
 
                reg = be_abi_reg_map_get(reg_map, &mips_gp_regs[REG_FP]);
-               store = new_rd_mips_store_r(dbg, irg, block, *mem, sp, reg, mode_T);
+               store = new_rd_mips_sw(dbg, irg, block, *mem, sp, reg);
                attr = get_mips_attr(store);
-               attr->modes.load_store_mode = mode_Iu;
-               attr->tv = new_tarval_from_long(0, mode_Is);
+               attr->tv = new_tarval_from_long(0, mode_Hs);
 
-               *mem = new_r_Proj(irg, block, store, mode_M, pn_Store_M);
+               *mem = store;
        }
 
        // setup framepointer
@@ -728,15 +759,14 @@ static void mips_abi_epilogue(void *self, ir_node *block, ir_node **mem, pmap *r
        //arch_set_irn_register(mips_get_arg_env(), fp, &mips_gp_regs[REG_SP]);
 
        // 1. restore fp
-       load = new_rd_mips_load_r(dbg, irg, block, *mem, sp, mode_T);
+       load = new_rd_mips_lw(dbg, irg, block, *mem, sp);
        attr = get_mips_attr(load);
-       attr->modes.load_store_mode = mode_Iu;
        // sp is at the fp address already, so we have to do fp_save_offset - initial_frame_size
-       attr->tv = new_tarval_from_long(fp_save_offset - initial_frame_size, mode_Is);
+       attr->tv = new_tarval_from_long(fp_save_offset - initial_frame_size, mode_Hs);
 
-       fp = new_r_Proj(irg, block, load, mode_Iu, pn_Load_res);
-       mips_set_irn_reg(NULL, fp, &mips_gp_regs[REG_FP]);
-       //arch_set_irn_register(mips_get_arg_env(), fp, &mips_gp_regs[REG_FP]);
+       fp = new_r_Proj(irg, block, load, mode_Iu, pn_mips_lw_res);
+       *mem = new_r_Proj(irg, block, load, mode_Iu, pn_mips_lw_M);
+       arch_set_irn_register(env->arch_env, fp, &mips_gp_regs[REG_FP]);
 
        be_abi_reg_map_set(reg_map, &mips_gp_regs[REG_FP], fp);
        be_abi_reg_map_set(reg_map, &mips_gp_regs[REG_SP], sp);
@@ -905,6 +935,14 @@ static ir_graph **mips_get_irg_list(const void *self, ir_graph ***irg_list) {
        return NULL;
 }
 
+/**
+ * Called by the frontend to encode a register name into a backend specific way
+ */
+static unsigned mips_register_from_name(const char *regname) {
+       /* NYI */
+       return 0;
+}
+
 /**
  * Returns the libFirm configuration parameter for this backend.
  */
@@ -918,11 +956,13 @@ static const backend_params *mips_get_libfirm_params(void) {
                32, /* Mulhs & Mulhu available for 32 bit */
        };
        static backend_params p = {
+               1,     /* need dword lowering */
+               0,     /* don't support inlien assembler yet */
                NULL,  /* no additional opcodes */
                NULL,  /* will be set later */
-               1,     /* need dword lowering */
                NULL,  /* but yet no creator function */
                NULL,  /* context for create_intrinsic_fkt */
+               mips_register_from_name, /* register names */
        };
 
        p.dep_param = &ad;