+/*
+ * 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.
+ */
+
/**
+ * @file
+ * @brief Implementation of phiclass analysis
* @author Daniel Grund, Christian Wuerdig
* @cvsid $Id$
* @date 09.08.2005
#include "irgwalk.h"
#include "irop_t.h"
#include "iredges_t.h"
-#include "phiclass_t.h"
+#include "phiclass.h"
#include "irphase_t.h"
+#include "irnodeset.h"
struct _phi_classes_t {
- phase_t ph; /* The phase object holding the irn data */
+ ir_phase ph; /* The phase object holding the irn data */
pset *all_phi_classes; /* A set containing all Phi classes */
ir_graph *irg; /* The irg this is all about */
+ unsigned pure_phi_classes; /* Build pure Phi classes */
DEBUG_ONLY(firm_dbg_module_t *dbg);
};
typedef struct _irn_phi_class_t {
- ir_node **phi_cls; /* the array of node pointers representing the class */
+ ir_node ***phi_cls; /* the array of node pointers representing the class */
} irn_phi_class_t;
-static INLINE ir_node **_get_phi_class(phase_t *ph, const ir_node *irn) {
- irn_phi_class_t *ipc = phase_get_irn_data(ph, irn);
+static INLINE ir_node ***_get_phi_class(ir_phase *ph, ir_node *irn) {
+ irn_phi_class_t *ipc = phase_get_or_set_irn_data(ph, irn);
return ipc->phi_cls;
}
-static INLINE void _set_phi_class(phase_t *ph, ir_node *irn, ir_node **cls) {
- irn_phi_class_t *ipc = phase_get_irn_data(ph, irn);
+static INLINE void _set_phi_class(ir_phase *ph, ir_node *irn, ir_node ***cls) {
+ irn_phi_class_t *ipc = phase_get_or_set_irn_data(ph, irn);
ipc->phi_cls = cls;
}
/* initialize data structure for given irn in given phase */
-static void *irn_phi_class_init(phase_t *ph, ir_node *irn, void *data) {
+static void *irn_phi_class_init(ir_phase *ph, const ir_node *irn, void *data) {
irn_phi_class_t *ipc = data ? data : phase_alloc(ph, sizeof(ipc[0]));
+ (void) irn;
memset(ipc, 0, sizeof(ipc[0]));
return ipc;
}
* @param pc The phi class this irn should be put into.
* Set to NULL if you want a new one.
*/
-static void phi_class_build(phi_classes_t *phi_classes, ir_node *irn, ir_node **pc) {
+static void phi_class_build(phi_classes_t *phi_classes, ir_node *irn, ir_node ***pc) {
const ir_edge_t *edge;
+ assert((! phi_classes->pure_phi_classes || is_Phi(irn)) && "Node must be Phi when pure_phi_classes set.");
+
/* If irn has a phi class assigned already
* return immediately to stop recursion */
if (_get_phi_class(&phi_classes->ph, irn)) {
- DBG((phi_classes->dbg, LEVEL_2, " already done for %+F\n", irn));
+ DBG((phi_classes->dbg, LEVEL_2, "\talready done for %+F\n", irn));
return;
}
/* The initial call to phi_class_build doesn't
* provide a nodeset, so alloc it */
if (! pc) {
- DBG((phi_classes->dbg, LEVEL_1, "Computing phi class for %+F\n", irn));
+ DBG((phi_classes->dbg, LEVEL_1, "Computing phi class for %+F:\n", irn));
assert(is_Phi(irn));
- pc = NEW_ARR_F(ir_node *, 0);
+ pc = phase_alloc(&phi_classes->ph, sizeof(*pc));
+ *pc = NEW_ARR_F(ir_node *, 0);
+ DBG((phi_classes->dbg, LEVEL_2, "\tcreated class %p in container %p\n", *pc, pc));
}
/* Add the irn to the phi class */
- DBG((phi_classes->dbg, LEVEL_1, " adding %+F\n", irn));
- ARR_APP1(ir_node *, pc, irn);
+ DBG((phi_classes->dbg, LEVEL_1, "\t\tadding %+F to class %p, container %p\n", irn, *pc, pc));
+ ARR_APP1(ir_node *, *pc, irn);
_set_phi_class(&phi_classes->ph, irn, pc);
/* Check the 'neighbour' irns */
if (is_Phi(irn) && mode_is_datab(get_irn_mode(irn))) {
int i;
-
+ DBG((phi_classes->dbg, LEVEL_2, "\tchecking args of %+F:\n", irn));
/* Add all args of the phi to the phi-class. */
for (i = get_irn_arity(irn) - 1; i >= 0; --i) {
ir_node *op = get_irn_n(irn, i);
- DBG((phi_classes->dbg, LEVEL_2, " checking arg %+F\n", op));
- phi_class_build(phi_classes, op, pc);
+ DBG((phi_classes->dbg, LEVEL_2, "\tchecking arg %+F\n", op));
+ if (! phi_classes->pure_phi_classes || is_Phi(op))
+ phi_class_build(phi_classes, op, pc);
}
}
/* Add a user of the irn to the class,
* iff it is a phi node */
- foreach_out_edge(irn, edge) {
- ir_node *user = edge->src;
- DBG((phi_classes->dbg, LEVEL_2, " checking user %+F\n", user));
- if (is_Phi(user) && mode_is_datab(get_irn_mode(user)))
- phi_class_build(phi_classes, user, pc);
+ if (! phi_classes->pure_phi_classes || 1) {
+ DBG((phi_classes->dbg, LEVEL_2, "\tchecking users of %+F:\n", irn));
+ foreach_out_edge(irn, edge) {
+ ir_node *user = edge->src;
+ DBG((phi_classes->dbg, LEVEL_2, "\tchecking user %+F ... ", user));
+ if (is_Phi(user) && mode_is_datab(get_irn_mode(user))) {
+ DB((phi_classes->dbg, LEVEL_2, "is a Phi, descend\n"));
+ phi_class_build(phi_classes, user, pc);
+ }
+ else {
+ DB((phi_classes->dbg, LEVEL_2, "not a Phi, skip\n"));
+ }
+ }
}
}
*/
static void phi_class_construction_walker(ir_node *node, void *env) {
phi_classes_t *pc = env;
+
if (is_Phi(node) && mode_is_datab(get_irn_mode(node))) {
- phi_class_build(pc, node, NULL);
- pset_insert_ptr(pc->all_phi_classes, _get_phi_class(&pc->ph, node));
+ ir_node ***irn_pc = _get_phi_class(&pc->ph, node);
+
+ if (! irn_pc) {
+ ir_node **pc_values;
+ phi_class_build(pc, node, NULL);
+
+ pc_values = *_get_phi_class(&pc->ph, node);
+ DBG((pc->dbg, LEVEL_1, "inserting phiclass %p (%d members) into all classes\n", pc_values, ARR_LEN(pc_values)));
+
+ pset_insert_ptr(pc->all_phi_classes, pc_values);
+ }
}
}
/**
* Build the Phi classes for the set of given Phis.
*/
-static void phi_class_compute_by_phis(phi_classes_t *pc, pset *all_phi_nodes) {
- if (pset_count(all_phi_nodes)) {
- ir_node *phi;
+static void phi_class_compute_by_phis(phi_classes_t *pc, ir_nodeset_t *all_phi_nodes) {
+ if (ir_nodeset_size(all_phi_nodes) > 0) {
+ ir_nodeset_iterator_t iter;
+ ir_node *phi;
- foreach_pset(all_phi_nodes, phi) {
- ir_node **irn_pc = _get_phi_class(&pc->ph, phi);
+ foreach_ir_nodeset(all_phi_nodes, phi, iter) {
+ ir_node ***irn_pc = _get_phi_class(&pc->ph, phi);
assert(is_Phi(phi) && mode_is_datab(get_irn_mode(phi)));
if (! irn_pc) {
+ ir_node **pc_values;
+
phi_class_build(pc, phi, NULL);
- pset_insert_ptr(pc->all_phi_classes, _get_phi_class(&pc->ph, phi));
+
+ pc_values = *_get_phi_class(&pc->ph, phi);
+ DBG((pc->dbg, LEVEL_1, "inserting phiclass %p into all classes\n", pc_values));
+
+ pset_insert_ptr(pc->all_phi_classes, pc_values);
}
}
}
/**
* Return the array containing all nodes assigned to the same Phi class as @p irn.
*/
-ir_node **get_phi_class(phi_classes_t *pc, const ir_node *irn) {
- return _get_phi_class(&pc->ph, irn);
+ir_node **get_phi_class(phi_classes_t *pc, ir_node *irn) {
+ return *_get_phi_class(&pc->ph, irn);
}
/**
* Assigns a new array of nodes representing the new Phi class to @p irn.
*/
void set_phi_class(phi_classes_t *pc, ir_node *irn, ir_node **cls) {
- _set_phi_class(&pc->ph, irn, cls);
+ _set_phi_class(&pc->ph, irn, &cls);
}
/**
* Builds the Phi classes for all Phis in @p irg.
* @return The Phi class object for the @p irg.
*/
-phi_classes_t *phi_class_new_from_irg(ir_graph *irg) {
+phi_classes_t *phi_class_new_from_irg(ir_graph *irg, int pure_phi_classes) {
phi_classes_t *res = xmalloc(sizeof(*res));
FIRM_DBG_REGISTER(res->dbg, "ir.ana.phiclass");
- phase_init(&res->ph, "phi_classes", irg, PHASE_DEFAULT_GROWTH, irn_phi_class_init);
+ phase_init(&res->ph, "phi_classes", irg, PHASE_DEFAULT_GROWTH, irn_phi_class_init, NULL);
- res->irg = irg;
- res->all_phi_classes = pset_new_ptr(5);
+ res->irg = irg;
+ res->all_phi_classes = pset_new_ptr(5);
+ res->pure_phi_classes = pure_phi_classes;
phi_class_compute(res);
* Builds all Phi classes for the given set of Phis.
* @return The Phis class object for @p all_phis.
*/
-phi_classes_t *phi_class_new_from_set(ir_graph *irg, pset *all_phis) {
+phi_classes_t *phi_class_new_from_set(ir_graph *irg, ir_nodeset_t *all_phis, int pure_phi_classes) {
phi_classes_t *res = xmalloc(sizeof(*res));
FIRM_DBG_REGISTER(res->dbg, "ir.ana.phiclass");
- phase_init(&res->ph, "phi_classes", irg, PHASE_DEFAULT_GROWTH, irn_phi_class_init);
+ phase_init(&res->ph, "phi_classes", irg, PHASE_DEFAULT_GROWTH, irn_phi_class_init, NULL);
- res->irg = irg;
- res->all_phi_classes = pset_new_ptr(5);
+ res->irg = irg;
+ res->all_phi_classes = pset_new_ptr(5);
+ res->pure_phi_classes = pure_phi_classes;
phi_class_compute_by_phis(res, all_phis);
projects / libfirm / blobdiff