/**
+ * Analysis to conmpute phi congruence classes.
* @author Daniel Grund
* @date 09.12.2004
*/
#ifndef _BEPHICONGR_T_H
#define _BEPHICONGR_T_H
-#include "irnode.h"
+#include "bephicongr.h"
typedef struct _phi_info_t {
- ir_node *phi_congr_class;
- unsigned int phi_class_size;
+ ir_node *phi; /**< For all nodes of a phi class points to a phi node
+ representing the phi class and holding the ptr to
+ the pset phi_class or NULL */
+ pset *phi_class; /**< Only set in phi nodes. A set containing the members
+ of the phi congruence class this phi node represents */
} phi_info_t;
extern size_t phi_irn_data_offset;
-#define get_irn_phi_info(irn) get_irn_data(irn, phi_info_t, phi_irn_data_offset)
-#define get_phi_class(n) get_irn_phi_info(n)->phi_congr_class
-#define get_phi_class_size(n) get_irn_phi_info(n)->phi_class_size
+#define get_irn_phi_info(irn) get_irn_data(irn, phi_info_t, phi_irn_data_offset)
-void be_phi_congr_class_init(void);
-void be_det_phi_congr_classes(void);
+/**
+ * Setting this to 0 will treat const nodes like
+ * all other nodes when computing phi congruence classes.
+ * A non zero value results in splitting phi congruence
+ * classes at all const nodes (except they do share
+ * some non-const nodes too)
+ *
+ * If constants are localized this is irrelevant. Set to 0 in this case.
+ */
+#define CONSTS_SPLIT_PHI_CLASSES 0
+
+/**
+ * Computes all phi classes of an irg. All phi nodes of this irg must be
+ * contained in @p all_phi_nodes. Otherwise the results will be incorrect.
+ * @param all_phi_nodes All phi nodes of an irg.
+ * @return A set containing all phi classes as psets
+ */
+pset *be_phi_congr_classes(pset *all_phi_nodes);
-void det_phi_congr_class(ir_node *curr_phi);
#endif