analyses polymorphic calls if callee info is available
[libfirm] / ir / ana / irouts.h
index 86b6c2b..33644f8 100644 (file)
  */
 
 /**
-* @file irouts.h
-*
-* Implements Def-Use edges, also called outedges.
-*
-* @author Goetz Lindenmaier
-*
-* @todo eventually add reverse conrtol flow graph. (If needed.)
-*/
-
-/* $Id$ */
+ * @file irouts.h
+ *
+ * Implements Def-Use edges, also called outedges.
+ *
+ * @author Goetz Lindenmaier
+ *
+ * @todo eventually add reverse conrtol flow graph. (If needed.)
+ */
 
 # ifndef _IROUTS_H_
 # define _IROUTS_H_
 
+# include "firm_types.h"
 # include "irgraph.h"
 # include "irnode.h"
 
 
 /** To iterate through the successors iterate from 0 to i < get_irn_outs(). No
    order of successors guaranteed.  Will return edges from block to floating
-   nodes even if irgraph is in state "floats". */
+   nodes even if irgraph is in state "op_pin_state_floats". */
 /* returns the number of successors of the node: */
 int             get_irn_n_outs (ir_node *node);
 
 /** Get predecessor n */
-INLINE ir_node *get_irn_out  (ir_node *node, int pos);
+ir_node *get_irn_out  (ir_node *node, int pos);
 
 /** Set predecessor n */
-INLINE void     set_irn_out  (ir_node *node, int pos, ir_node *out);
+void     set_irn_out  (ir_node *node, int pos, ir_node *out);
 
 /* Methods to iterate through the control flow graph. Iterate from 0 to
    i < get_Block_cfg_outs(block). No order of successors guaranteed. */
 int             get_Block_n_cfg_outs (ir_node *node);
 
 /** Access predecessor n. */
-INLINE ir_node *get_Block_cfg_out  (ir_node *node, int pos);
-
-#ifndef _IRG_WALK_FUNC_TYPEDEF_
-#define _IRG_WALK_FUNC_TYPEDEF_
-/** The type of the walk function */
-typedef void irg_walk_func(ir_node *, void *);
-#endif
+ir_node *get_Block_cfg_out  (ir_node *node, int pos);
 
 /** Walks over the graph starting at node.  Walks also if graph is in state
    "outs_inconsistent".  Assumes current_ir_graph is set properly. */
@@ -79,12 +72,15 @@ void irg_out_block_walk(ir_node *node,
 /** Computes the out edges.  Sets a flag in irg to "outs_consistent".  If the
    graph is changed this flag must be set to "outs_inconsistent".  Computes
    out edges from block to floating nodes even if graph is in state
-   "floats".   Optimizes Tuple nodes. */
-void compute_outs(ir_graph *irg);
+   "op_pin_state_floats".   Optimizes Tuple nodes. */
+void compute_irg_outs(ir_graph *irg);
+#define compute_outs(irg)   compute_irg_outs(irg)
+void compute_irp_outs(void);
 /** Computes the out edges in interprocedural view */
-void ascompute_ip_outs(void);
-/** Frees the out datastructures.  Sets the flag in irg to "no_outs". */
+void compute_ip_outs(void);
+/** Frees the out datastructures.  Sets the flag in irg to "outs_none". */
 void free_ip_outs(void);
-void free_outs(ir_graph *irg);
+void free_irg_outs(ir_graph *irg);
+void free_irp_outs(void);
 
 #endif /* _IROUTS_H_ */