nsz Git - libfirm/blob - ir/st/st.h

   1 // Copyright (c) 2002 by Universität Karlsruhe (TH).  All Rights Reserved
   2
   3 /***
   4    NAME
   5      st.h
   6    PURPOSE
   7      provide some auxilliary structures for firm graphs.
   8    NOTES
   9      not quite complete
  10    HISTORY
  11      liekweg - Feb 26, 2002: Created.
  12    CVS:
  13      $Id$
  14 ***/
  15
  16 # ifndef _ST_H_
  17 # define _ST_H_
  18
  19 // Includes:
  20 # include "irgraph.h"
  21 # include "irnode.h"
  22
  23 # include "bs.h"
  24
  25 #  include "bool.h"
  26
  27 #define true TRUE
  28 #define false FALSE
  29
  30 // Data Types:
  31
  32 // One dominator tree
  33 typedef struct
  34 {
  35   int n_blocks;
  36   ir_graph *graph;                              // PRE
  37   ir_node **blocks;
  38   ir_node **idoms;                              // idom [n] == immediate dominator of blocks [n]
  39   bs_t *masks;
  40 }
  41 dt_t;
  42
  43 // List entry:
  44 typedef struct dtree_t
  45 {
  46   dt_t *tree;
  47   ir_graph *graph;
  48
  49   struct dtree_t *next;
  50 }
  51 dtree_t;
  52
  53 // dominator environment for a node @a in graph @graph
  54 typedef struct dom_env_t
  55 {
  56   dt_t     *dt;
  57   ir_graph *graph;
  58   ir_node  *a;
  59   int       index_a;
  60   bs_t      mask;
  61 } dom_env_t;
  62
  63 // Forwards for Globals:
  64 extern dtree_t *trees;
  65 extern dtree_t *last;
  66
  67 // Prototypes:
  68 void     st_build_dominator_tree (ir_graph*);
  69 bool     dominates            (ir_graph*, ir_node*, ir_node*);
  70 ir_node *get_idom             (ir_graph*, ir_node*);
  71
  72 dom_env_t *get_dom_env (ir_graph*, ir_node*);
  73 void delete_dom_env (dom_env_t*);
  74 bool dominates_l (dom_env_t*, ir_node*);
  75
  76 # endif /* defined _ST_H_ */