cleanup: Remove pointless assert(is_${NODE}(x)) just before get_${NODE}_${FOO}(x...

[libfirm] / ir / be / bespill.h

diff --git a/ir/be/bespill.h b/ir/be/bespill.h
index 10b31d9..843a0df 100644 (file)
--- a/ir/be/bespill.h
+++ b/ir/be/bespill.h
@@ -1,57 +1,71 @@
-/**
- * Author:      Daniel Grund, Sebastian Hack
- * Date:               29.09.2005
- * Copyright:   (c) Universitaet Karlsruhe
- * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
+/*
+ * Copyright (C) 1995-2008 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.
  */
 
-#ifndef BESPILL_H_
-#define BESPILL_H_
-
-#include "firm_types.h"
-#include "set.h"
-#include "pset.h"
-#include "debug.h"
-
-#include "bechordal.h"
-#include "be_t.h"
+/**
+ * @file
+ * @brief       Option handling for spiller.
+ * @author      Matthias Braun
+ * @date        12.10.2006
+ */
+#ifndef FIRM_BE_BESPILL_H
+#define FIRM_BE_BESPILL_H
 
 #include "bearch.h"
 
-typedef struct _spill_env_t spill_env_t;
+extern int be_coalesce_spill_slots;
+extern int be_do_remats;
 
 /**
- * Creates a new spill environment.
- *
- * @param chordal
+ * An entry in the list of spill-algorithms.
  */
-spill_env_t *be_new_spill_env(const be_chordal_env_t *chordal);
+typedef struct be_spiller_t {
+       /**
+        * The spill function.
+        *
+        * @param irg   the graph to spill on
+        * @param cls   the register class to spill
+        */
+       void (*spill)(ir_graph *irg, const arch_register_class_t *cls);
+} be_spiller_t;
 
 /**
- * Marks a phi-node for spilling. So when reloading from this phi-node, not
- * only its value but the whole phi will be spilled.
+ * Register a new spill algorithm.
+ *
+ * @param name     the name of the spill algorithm,
+ *                 used to select it
+ * @param spiller  a spill entry
  */
-void be_spill_phi(spill_env_t *env, ir_node *node);
+void be_register_spiller(const char *name, be_spiller_t *spiller);
 
 /**
- * Deletes a spill environment.
- */
-void be_delete_spill_env(spill_env_t *senv);
-
-void be_add_reload(spill_env_t *senv, ir_node *to_spill, ir_node *before);
-
-void be_add_reload_on_edge(spill_env_t *senv, ir_node *to_spill, ir_node *bl, int pos);
-
-void be_insert_spills_reloads(spill_env_t *senv);
-
-/**
- * Computes the spill offsets for all spill nodes in the irg
+ * Execute the selected spill algorithm
+ *
+ * @param irg   the graph to spill on
+ * @param cls   the register class to spill
  */
-void be_compute_spill_offsets(be_chordal_env_t *cenv);
+void be_do_spill(ir_graph *irg, const arch_register_class_t *cls);
 
 /**
- * Sets the debug module of a spill environment.
+ * Adds additional copies, so constraints needing additional registers to be
+ * solved correctly induce the additional register pressure.
  */
-DEBUG_ONLY(void be_set_spill_env_dbg_module(spill_env_t *env, firm_dbg_module_t *dbg));
+void be_pre_spill_prepare_constr(ir_graph *irg,
+                                 const arch_register_class_t *cls);
 
-#endif /* BESPILL_H_ */
+#endif