add label attribute to blocks, ir_prog

[r15316]

diff --git a/ir/ir/irtypes.h b/ir/ir/irtypes.h
index e2c8620..361800a 100644 (file)
--- a/ir/ir/irtypes.h
+++ b/ir/ir/irtypes.h
@@ -119,6 +119,7 @@ typedef struct {
        unsigned is_matured:1;      /**< If set, all in-nodes of the block are fixed. */
        unsigned is_dead:1;         /**< If set, the block is dead (and could be replace by a Bad. */
        unsigned is_mb_head:1;      /**< Set if this block is a macroblock head. */
+       unsigned has_label:1;       /**< Set if this block has a label assigned. */
        ir_node **graph_arr;        /**< An array to store all parameters. */
        /* Attributes holding analyses information */
        ir_dom_info dom;            /**< Datastructure that holds information about dominators.
@@ -137,6 +138,7 @@ typedef struct {
        ir_extblk *extblk;          /**< The extended basic block this block belongs to. */
        ir_region *region;          /**< The immediate structural region this block belongs to. */
        unsigned mb_depth;          /**< The macroblock depth: A distance from the macroblock header */
+       ir_label_t label;           /**< The block label if assigned. */
 
        struct list_head succ_head; /**< A list head for all successor edges of a block. */
 } block_attr;
@@ -538,6 +540,7 @@ struct ir_prog {
        ir_address_taken_computed_state globals_adr_taken_state;  /**< Address taken state of the globals. */
 
        ir_exc_region_t last_region_nr;      /**< The last exception region number that was assigned. */
+       ir_label_t last_label_nr;            /**< The highest label number for generating unique labels. */
 #ifdef DEBUG_libfirm
        long max_node_nr;                    /**< to generate unique numbers for nodes. */
 #endif