X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbecopyheur.c;h=1afb06249a57bec350d8ede12318e6e8aa1a6bfd;hb=dfc341ac6f54b4b0922d605e28333be76f487c68;hp=886b45e97a48fc0eb47cc821e4fb176be347f847;hpb=63bea6c02bc23bdd1f63f2847bc180bdaeecb461;p=libfirm diff --git a/ir/be/becopyheur.c b/ir/be/becopyheur.c index 886b45e97..1afb06249 100644 --- a/ir/be/becopyheur.c +++ b/ir/be/becopyheur.c @@ -1,9 +1,29 @@ -/** - * Author: Daniel Grund - * Date: 12.04.2005 - * Copyright: (c) Universitaet Karlsruhe - * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE. +/* + * 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 First simple copy minimization heuristics. + * @author Daniel Grund + * @date 12.04.2005 + * @version $Id$ + * * Heuristic for minimizing copies using a queue which holds 'qnodes' not yet * examined. A qnode has a 'target color', nodes out of the opt unit and * a 'conflict graph'. 'Conflict graph' = "Interference graph' + 'conflict edges' @@ -17,13 +37,15 @@ #endif #include "debug.h" +#include "bitset.h" +#include "raw_bitset.h" #include "xmalloc.h" + #include "becopyopt_t.h" #include "becopystat.h" #include "benodesets.h" -#include "bitset.h" -#include "raw_bitset.h" -#include "xmalloc.h" +#include "bera.h" +#include "beirg_t.h" DEBUG_ONLY(static firm_dbg_module_t *dbg = NULL;) @@ -49,29 +71,29 @@ typedef struct _conflict_t { */ typedef struct _node_stat_t { ir_node *irn; - int new_color; - int pinned_local :1; + int new_color; + int pinned_local :1; } node_stat_t; /** * Represents a node in the optimization queue. */ typedef struct _qnode_t { - struct list_head queue; /**< chaining of unit_t->queue */ - const unit_t *ou; /**< the opt unit this qnode belongs to */ - int color; /**< target color */ - set *conflicts; /**< contains conflict_t's. All internal conflicts */ - int mis_costs; /**< costs of nodes/copies in the mis. */ - int mis_size; /**< size of the array below */ - ir_node **mis; /**< the nodes of unit_t->nodes[] being part of the max independent set */ - set *changed_nodes; /**< contains node_stat_t's. */ + struct list_head queue; /**< chaining of unit_t->queue */ + const unit_t *ou; /**< the opt unit this qnode belongs to */ + int color; /**< target color */ + set *conflicts; /**< contains conflict_t's. All internal conflicts */ + int mis_costs; /**< costs of nodes/copies in the mis. */ + int mis_size; /**< size of the array below */ + ir_node **mis; /**< the nodes of unit_t->nodes[] being part of the max independent set */ + set *changed_nodes; /**< contains node_stat_t's. */ } qnode_t; static pset *pinned_global; /**< optimized nodes should not be altered any more */ static INLINE int nodes_interfere(const be_chordal_env_t *env, const ir_node *a, const ir_node *b) { - if(env->ifg) + if (env->ifg) return be_ifg_connected(env->ifg, a, b); else return values_interfere(env->birg->lv, a, b);