X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fana%2Firdom_t.h;h=517cd40493dc93128f4cc6d4edb8590f420a4ffd;hb=b9a1bfdbce56c76bd4d5ff772963628523ecfc41;hp=24a10a6ee4d00091d24c8ab9a964f8b5f0ce756b;hpb=863d31d7a5c8210432fef88b30fc3e8353131538;p=libfirm diff --git a/ir/ana/irdom_t.h b/ir/ana/irdom_t.h index 24a10a6ee..517cd4049 100644 --- a/ir/ana/irdom_t.h +++ b/ir/ana/irdom_t.h @@ -1,31 +1,37 @@ /* - * Project: libFIRM - * File name: ir/ana/irdom_t.h - * Purpose: Construct and access dominator tree -- private datastructures. - * Author: Goetz Lindenmaier - * Modified by: - * Created: 2.2002 - * CVS-ID: $Id$ - * Copyright: (c) 2002-2003 Universität Karlsruhe - * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE. - */ - - -/** - * @file irdom_t.h + * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved. + * + * This file is part of libFirm. * - * Dominator information private datastructures. + * This file may be distributed and/or modified under the terms of the + * GNU General Public License version 2 as published by the Free Software + * Foundation and appearing in the file LICENSE.GPL included in the + * packaging of this file. * - * @author Goetz Lindenmaier + * Licensees holding valid libFirm Professional Edition licenses may use + * this file in accordance with the libFirm Commercial License. + * Agreement provided with the Software. * + * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE + * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR + * PURPOSE. */ -# ifndef _IRDOM_T_H_ -# define _IRDOM_T_H_ + +/** + * @file + * @brief Construct and access dominator tree -- private datastructures. + * @author Goetz Lindenmaier + * @date 2.2002 + */ +#ifndef FIRM_ANA_IRDOM_T_H +#define FIRM_ANA_IRDOM_T_H #include "irdom.h" +#include "pmap.h" +#include "obst.h" /** For dominator information */ -typedef struct dom_info { +typedef struct ir_dom_info { ir_node *idom; /**< immediate CFG dominator */ ir_node *next; /**< The next node in the dominated list of @c idom. */ ir_node *first; /**< The first node in the list of nodes @@ -36,6 +42,35 @@ typedef struct dom_info { dominator subtree of this node. */ int pre_num; /**< pre-order graph-walk number */ int dom_depth; /**< depth in dominator-tree */ -} dom_info; +} ir_dom_info; + +typedef struct ir_dom_front_info_t { + pmap *df_map; /**< A map, mapping every block to a list of its dominance frontier blocks. */ + struct obstack obst; /**< An obstack holding all the frontier data. */ +} ir_dom_front_info_t; + +void set_Block_idom(ir_node *bl, ir_node *n); + +int get_Block_dom_depth(const ir_node *bl); +void set_Block_dom_depth(ir_node *bl, int depth); + +int get_Block_dom_pre_num(const ir_node *bl); +void set_Block_dom_pre_num(ir_node *bl, int num); + +void set_Block_ipostdom(ir_node *bl, ir_node *n); + +int get_Block_postdom_depth(const ir_node *bl); +void set_Block_postdom_depth(ir_node *bl, int depth); + +int get_Block_postdom_pre_num(const ir_node *bl); +void set_Block_postdom_pre_num(ir_node *bl, int num); + +unsigned get_Block_dom_tree_pre_num(const ir_node *bl); +unsigned get_Block_pdom_tree_pre_num(const ir_node *bl); + +unsigned get_Block_dom_max_subtree_pre_num(const ir_node *bl); +unsigned get_Block_pdom_max_subtree_pre_num(const ir_node *bl); + +void ir_free_dominance_frontiers(ir_graph *irg); -#endif /* _IRDOM_T_H_ */ +#endif