fix weak external functions
[libfirm] / ir / ir / irtypes.h
index 801c27b..017a291 100644 (file)
@@ -45,6 +45,7 @@
 #include "set.h"
 #include "list.h"
 #include "obst.h"
+#include "vrp.h"
 
 struct ir_phase;
 
@@ -86,6 +87,7 @@ struct ir_op {
 struct ir_mode {
        firm_kind         kind;       /**< distinguishes this node from others */
        ident             *name;      /**< Name ident of this mode */
+       ir_type           *type;      /**< corresponding primitive type */
 
        /* ----------------------------------------------------------------------- */
        /* On changing this struct you have to evaluate the mode_are_equal function!*/
@@ -155,7 +157,6 @@ typedef struct {
 
 /** Cond attributes. */
 typedef struct {
-       cond_kind kind;              /**< flavor of Cond */
        long default_proj;           /**< only for non-binary Conds: biggest Proj number, i.e. the one used for default. */
        cond_jmp_predicate jmp_pred; /**< only for binary Conds: The jump predication. */
 } cond_attr;
@@ -188,9 +189,10 @@ typedef struct {
 
 /** Call attributes. */
 typedef struct {
-       except_attr    exc;           /**< the exception attribute. MUST be the first one. */
-       ir_type *type;                /**< type of called procedure */
-       ir_entity ** callee_arr;      /**< result of callee analysis */
+       except_attr exc;               /**< the exception attribute. MUST be the first one. */
+       ir_type     *type;             /**< type of called procedure */
+       ir_entity   **callee_arr;      /**< result of callee analysis */
+       unsigned    tail_call:1;       /**< if set, can be a tail call */
 } call_attr;
 
 /** Builtin attributes. */
@@ -303,6 +305,21 @@ typedef struct {
        ident             **clobber;  /**< List of clobbered registers. */
 } asm_attr;
 
+/** VRP information */
+typedef struct {
+       int valid;                              /**< 0: VRP info invalid, 1: VRP info valid (not
+                                                         neccessarily updated) */
+       tarval *bits_set;          /**< The bits which, by analysis, are  definitely set */
+       tarval *bits_not_set;  /**< The bits which by analysis are definitely  not set */
+       ir_node *bits_node;                     /**< The node, from which the rest of the bits
+                                                                                         are set */
+       enum range_types range_type;/**< The range represented by range_top,  range_bottom */
+       tarval *range_bottom, *range_top;
+       ir_node *range_node;            /**< The node to which the range is relative */
+       enum range_ops range_op;            /**< The op which describes the relation
+                                                                 between range_node and range */
+} vrp_attr;
+
 /** Some IR-nodes just have one attribute, these are stored here,
    some have more. Their name is 'irnodename_attr' */
 typedef union {
@@ -338,7 +355,8 @@ typedef union {
  */
 typedef struct _irn_edge_kind_info_t {
        struct list_head outs_head;  /**< The list of all outs. */
-       int out_count;               /**< Number of outs in the list. */
+       unsigned edges_built : 1;    /**< Set edges where built for this node. */
+       unsigned out_count : 31;     /**< Number of outs in the list. */
 } irn_edge_info_t;
 
 typedef irn_edge_info_t irn_edges_info_t[EDGE_KIND_LAST];
@@ -380,6 +398,8 @@ struct ir_node {
        struct ir_node **deps;   /**< Additional dependencies induced by state. */
        void            *backend_info;
        irn_edges_info_t edge_info;  /**< Everlasting out edges. */
+       vrp_attr           vrp;                   /**< Information supplied by VRP */
+
        /* ------- Opcode depending fields -------- */
        attr attr;               /**< The set of attributes of this node. Depends on opcode.
                                      Must be last field of struct ir_node. */
@@ -507,6 +527,7 @@ struct ir_graph {
 
        int index;                         /**< a unique number for each graph */
        ir_phase *phases[PHASE_LAST];      /**< Phase information. */
+       void     *be_data;                 /**< backend can put in private data here */
 #ifdef DEBUG_libfirm
        int   n_outs;                      /**< Size wasted for outs */
        long graph_nr;                     /**< a unique graph number for each
@@ -518,7 +539,21 @@ struct ir_graph {
 #endif
 };
 
-/** ir_prog */
+/**
+ * Data structure that holds central information about a program
+ * or a module.
+ * One irp is created by libFirm on construction, so irp should never be NULL.
+ *
+ * - main_irg:  The ir graph that is the entry point to the program.
+ *              (Anything not reachable from here may be optimized away
+ *              if this irp represents a whole program.
+ * - irg:       List of all ir graphs in the program or module.
+ * - type:      A list containing all types known to the translated program.
+ *              Some types can have several entries in this list (as a result of
+ *              using exchange_types()).
+ * - glob_type: The unique global type that is owner of all global entities
+ *              of this module.
+ */
 struct ir_prog {
        firm_kind kind;                 /**< must be k_ir_prog */
        ident     *name;                /**< A file name or the like. */
@@ -530,7 +565,7 @@ struct ir_prog {
                                             to allocate nodes the represent values
                                             of constant entities. It is not meant as
                                             a procedure.  */
-       ir_type   *segment_types[IR_SEGMENT_COUNT];
+       ir_type   *segment_types[IR_SEGMENT_LAST+1];
        ir_type  **types;               /**< A list of all types in the ir. */
        ir_mode  **modes;               /**< A list of all modes in the ir. */
        ir_op    **opcodes;             /**< A list of all opcodes in the ir. */