only use addressmode for 32 bit modes
[libfirm] / ir / be / becopyheur2.c
index 1653a2d..dcedd76 100644 (file)
@@ -1,18 +1,35 @@
+/*
+ * 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.
+ */
 
 /**
- * More experiments on coalescing.
- * @author Sebastian Hack
- * @date   14.04.2006
+ * @file
+ * @brief       More experiments on coalescing.
+ * @author      Sebastian Hack
+ * @date        14.04.2006
+ * @version     $Id$
  */
-
 #ifdef HAVE_CONFIG_H
 #include "config.h"
 #endif
 
-#ifdef WITH_LIBCORE
 #include <libcore/lc_opts.h>
 #include <libcore/lc_opts_enum.h>
-#endif /* WITH_LIBCORE */
 
 #include <stdlib.h>
 #include <limits.h>
@@ -20,6 +37,7 @@
 #include "list.h"
 #include "pdeq.h"
 #include "bitset.h"
+#include "raw_bitset.h"
 
 #include "debug.h"
 #include "bitfiddle.h"
@@ -36,6 +54,7 @@
 #include "becopyopt.h"
 #include "becopyopt_t.h"
 #include "bechordal_t.h"
+#include "beirg_t.h"
 
 #define DUMP_BEFORE 1
 #define DUMP_AFTER  2
@@ -48,8 +67,6 @@ static int      max_depth       = 20;
 static double   constr_factor   = 0.9;
 
 /* Options using libcore */
-#ifdef WITH_LIBCORE
-
 static const lc_opt_enum_mask_items_t dump_items[] = {
        { "before",  DUMP_BEFORE },
        { "after",   DUMP_AFTER  },
@@ -81,7 +98,6 @@ void be_init_copyheur2(void)
 }
 
 BE_REGISTER_MODULE_CONSTRUCTOR(be_init_copyheur2);
-#endif
 
 /*
   ____  _             _
@@ -108,7 +124,7 @@ typedef struct {
 } col_cost_pair_t;
 
 typedef struct {
-       phase_t     ph;
+       ir_phase     ph;
        copy_opt_t *co;
        bitset_t   *ignore_regs;
        co2_irn_t  *touched;
@@ -179,7 +195,7 @@ typedef struct {
 #define get_co2_irn(co2, irn)         ((co2_irn_t *)       phase_get_or_set_irn_data(&co2->ph, irn))
 #define get_co2_cloud_irn(co2, irn)   ((co2_cloud_irn_t *) phase_get_or_set_irn_data(&co2->ph, irn))
 
-static void *co2_irn_init(phase_t *ph, ir_node *irn, void *data)
+static void *co2_irn_init(ir_phase *ph, ir_node *irn, void *data)
 {
        co2_t *env         = (co2_t *) ph;
        affinity_node_t *a = get_affinity_info(env->co, irn);
@@ -248,15 +264,21 @@ static INLINE int color_is_fix(co2_t *env, ir_node *irn)
 
 static INLINE bitset_t *get_adm(co2_t *env, co2_irn_t *ci)
 {
-       if(!ci->adm_cache) {
-               arch_register_req_t req;
+       if(ci->adm_cache == NULL) {
+               const arch_register_req_t *req;
                ci->adm_cache = bitset_obstack_alloc(phase_obst(&env->ph), env->n_regs);
-               arch_get_register_req(env->co->aenv, &req, ci->irn, BE_OUT_POS(0));
-               if(arch_register_req_is(&req, limited)) {
-                       req.limited(req.limited_env, ci->adm_cache);
+               req = arch_get_register_req(env->co->aenv, ci->irn, BE_OUT_POS(0));
+
+               if(arch_register_req_is(req, limited)) {
+                       int i, n;
+
+                       n = env->n_regs;
+                       for(i = 0; i < n; ++i) {
+                               if(rbitset_is_set(req->limited, i))
+                                       bitset_set(ci->adm_cache, i);
+                       }
                        ci->is_constrained = 1;
-               }
-               else {
+               } else {
                        bitset_copy(ci->adm_cache, env->ignore_regs);
                        bitset_flip_all(ci->adm_cache);
                }
@@ -286,19 +308,20 @@ static INLINE int is_constrained(co2_t *env, co2_irn_t *ci)
 
 static void incur_constraint_costs(co2_t *env, ir_node *irn, col_cost_pair_t *col_costs, int costs)
 {
-       bitset_t *aux = bitset_alloca(env->co->cls->n_regs);
-       arch_register_req_t req;
+       const arch_register_req_t *req;
 
-       arch_get_register_req(env->co->aenv, &req, irn, BE_OUT_POS(0));
+       req = arch_get_register_req(env->co->aenv, irn, BE_OUT_POS(0));
 
-       if(arch_register_req_is(&req, limited)) {
-               bitset_pos_t elm;
-               int n_constr;
+       if (arch_register_req_is(req, limited)) {
+               unsigned n_regs   = env->co->cls->n_regs;
+               unsigned n_constr = 0;
+               unsigned i;
 
-               req.limited(req.limited_env, aux);
-               n_constr = bitset_popcnt(aux);
-               bitset_foreach(aux, elm) {
-                       col_costs[elm].costs  = add_saturated(col_costs[elm].costs, costs / n_constr);
+               n_constr = rbitset_popcnt(req->limited, n_regs);
+               for (i = 0; i < n_regs; ++i) {
+                       if (rbitset_is_set(req->limited, i)) {
+                               col_costs[i].costs = add_saturated(col_costs[i].costs, costs / n_constr);
+                       }
                }
        }
 }
@@ -1135,10 +1158,10 @@ static const char *get_dot_color_name(int col)
 
 static const char *get_dot_shape_name(co2_t *env, co2_irn_t *ci)
 {
-       arch_register_req_t req;
+       const arch_register_req_t *req;
 
-       arch_get_register_req(env->co->aenv, &req, ci->irn, BE_OUT_POS(0));
-       if(arch_register_req_is(&req, limited))
+       req = arch_get_register_req(env->co->aenv, ci->irn, BE_OUT_POS(0));
+       if(arch_register_req_is(req, limited))
                return "diamond";
 
        if(ci->fixed)
@@ -1227,11 +1250,11 @@ static be_ifg_dump_dot_cb_t ifg_dot_cb = {
 
 int co_solve_heuristic_new(copy_opt_t *co)
 {
-       char buf[256];
+       char  buf[256];
        co2_t env;
-       FILE *f;
+       FILE  *f;
 
-       phase_init(&env.ph, "co2", co->cenv->birg->irg, PHASE_DEFAULT_GROWTH, co2_irn_init);
+       phase_init(&env.ph, "co2", co->cenv->birg->irg, PHASE_DEFAULT_GROWTH, co2_irn_init, NULL);
        env.touched     = NULL;
        env.visited     = 0;
        env.co          = co;