* @author Daniel Grund
* @date 04.01.2005
*/
+#ifdef HAVE_CONFIG_H
+#include "config.h"
+#endif
#include <stdlib.h>
#include <stdio.h>
#include "pset.h"
+#include "obst.h"
#include "irgraph.h"
#include "irnode.h"
#include "irgwalk.h"
#include "irouts.h"
#include "irdom.h"
+#include "beutil.h"
+#include "bera_t.h"
#include "bephiopt.h"
-#include "bephicongr_t.h"
+#include "phiclass_t.h"
#include "bephicoal_t.h"
#include "phistat.h"
#define DEBUG_LVL SET_LEVEL_1
+#define DO_PHI_STATISTICS 0
+#define CHECK_RESULTS 1
+#define COUNT_COPY_SAVINGS 1
+#define DUMP_OPT_DIFF 1
-#define DO_PHI_STATISTICS
-#undef DUMP_IRG_PHI_STAT
-
-#define DUMP_CUMULATIVE
-#define CUMULATIVE_FILE "all.phistat"
+#define DUMP_IRG_PHI_STAT 1
+#define DUMP_DIR_PHI_STAT 1
+#define DUMP_ALL_PHI_STAT 1
+#define PHI_STAT_FILE "dir.phistat"
#define ENV_PHI_STAT "PHI_STAT"
static firm_dbg_module_t *dbgphi = NULL;
}
+static void node_collector(ir_node *node, void *env) {
+ struct obstack *obst = env;
+ if (!is_Block(node) && is_allocatable_irn(node))
+ obstack_ptr_grow(obst, node);
+}
+
+
+static void check_result(ir_graph *irg) {
+ struct obstack ob;
+ ir_node **nodes, *n1, *n2;
+ int i, o;
+
+ obstack_init(&ob);
+ irg_walk_graph(irg, node_collector, NULL, &ob);
+ obstack_ptr_grow(&ob, NULL);
+ nodes = (ir_node **) obstack_finish(&ob);
+ for (i = 0, n1 = nodes[i]; n1; n1 = nodes[++i])
+ for (o = i+1, n2 = nodes[o]; n2; n2 = nodes[++o])
+ if (phi_ops_interfere(n1, n2) && get_irn_color(n1) == get_irn_color(n2)) {
+ DBG((dbgphi, 1, "Ouch!\n %n in %n\n %n in %n\n", n1, get_nodes_block(n1), n2, get_nodes_block(n2)));
+ assert(0 && "Interfering values have the same color!");
+ }
+
+ obstack_free(&ob, NULL);
+}
+
+
+/* TODO: how to count copies in case of phi swapping */
+static void count_copies(pset *all_phi_nodes, int *copies, int *inevitable) {
+ int i, max, phi_color;
+ ir_node *phi;
+
+ for (phi = pset_first(all_phi_nodes); phi; phi = pset_next(all_phi_nodes)) {
+ phi_color = get_irn_color(phi);
+ for (i = 0, max = get_irn_arity(phi); i < max; ++i) {
+ ir_node *arg = get_irn_n(phi, i);
+ if (phi_color != get_irn_color(arg))
+ (*copies)++;
+ if (phi_ops_interfere(phi, arg))
+ (*inevitable)++;
+ }
+ }
+}
+
+
void be_phi_opt(ir_graph* irg) {
pset *all_phi_nodes, *all_phi_classes;
+ int before, after, inevitable;
DBG((dbgphi, 1, "\n\n=======================> IRG: %s\n\n", get_entity_name(get_irg_entity(irg))));
/* get all phi nodes */
- DBG((dbgphi, 1, "-----------------------> Collecting phi nodes <-----------------------\n\n"));
+ DBG((dbgphi, 1, "-----------------------> Collecting phi nodes <-----------------------\n"));
all_phi_nodes = pset_new_ptr(64);
irg_walk_graph(irg, phi_node_walker, NULL, all_phi_nodes);
/* get all phi congruence classes */
- DBG((dbgphi, 1, "-----------------------> Collecting phi classes <---------------------\n\n"));
- all_phi_classes = be_phi_congr_classes(all_phi_nodes);
+ DBG((dbgphi, 1, "-----------------------> Collecting phi classes <---------------------\n"));
+ all_phi_classes = phi_class_compute_by_phis(all_phi_nodes);
/* do some statistics */
-#ifdef DO_PHI_STATISTICS
- DBG((dbgphi, 1, "-----------------------> Collecting phi stats <-----------------------\n\n"));
- phi_stat_reset();
- phi_stat_collect(irg, all_phi_nodes, all_phi_classes);
-#ifdef DUMP_IRG_PHI_STAT
- {
- char buf[1024];
- snprintf(buf, sizeof(buf), "%s.phistat", get_entity_name(get_irg_entity(irg)));
- //phi_stat_dump(buf);
- phi_stat_dump_pretty(buf);
+ if (DO_PHI_STATISTICS) {
+ DBG((dbgphi, 1, "-----------------------> Collecting phi stats <-----------------------\n"));
+ phi_stat_reset();
+ phi_stat_collect(irg, all_phi_nodes, all_phi_classes);
+ if (DUMP_IRG_PHI_STAT) {
+ char buf[1024];
+ snprintf(buf, sizeof(buf), "%s.phistat", get_entity_name(get_irg_entity(irg)));
+ /*phi_stat_dump(buf);*/
+ phi_stat_dump_pretty(buf);
+ }
+ if (DUMP_DIR_PHI_STAT)
+ phi_stat_update(PHI_STAT_FILE);
+ if (DUMP_ALL_PHI_STAT)
+ phi_stat_update(getenv(ENV_PHI_STAT));
}
-#endif
-#ifdef DUMP_CUMULATIVE
- phi_stat_update(CUMULATIVE_FILE);
-#endif
- phi_stat_update(getenv(ENV_PHI_STAT));
-#endif
/* try to coalesce the colors of each phi class */
- DBG((dbgphi, 1, "-----------------------> Coalescing <---------------------------------\n\n"));
+ DBG((dbgphi, 1, "-----------------------> Coalescing <---------------------------------\n"));
compute_outs(irg);
compute_doms(irg);
+
+ if (COUNT_COPY_SAVINGS) {
+ before = 0;
+ count_copies(all_phi_nodes, &before, &inevitable);
+ }
+
+ if (CHECK_RESULTS)
+ check_result(irg);
+
+ if (DUMP_OPT_DIFF)
+ dump_allocated_irg(irg, "-before");
+
be_phi_coalesce(all_phi_classes);
+
+ if (DUMP_OPT_DIFF)
+ dump_allocated_irg(irg, "-opt");
+
+ if (CHECK_RESULTS)
+ check_result(irg);
+
+ if (COUNT_COPY_SAVINGS) {
+ after = 0;
+ inevitable = 0;
+ count_copies(all_phi_nodes, &after, &inevitable);
+ DBG((dbgphi, 1, "Irg: %s. Copies form %d to %d. %d phi-interfers\n", get_entity_name(get_irg_entity(irg)), before, after, inevitable));
+ }
free_dom_and_peace(irg);
}
void be_phi_opt_init(void) {
- dbgphi = firm_dbg_register("Phi optimizer");
+ dbgphi = firm_dbg_register("ir.be.phiopt");
firm_dbg_set_mask(dbgphi, DEBUG_LVL);
- be_phi_congr_class_init();
+ phi_class_init();
be_phi_coal_init();
}
projects / libfirm / blobdiff