irdom.h

Go to the documentation of this file.

/*
 * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
 *
 * This file is part of libFirm.
 *
 * 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.
 *
 * 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 FIRM_ANA_IRDOM_H
#define FIRM_ANA_IRDOM_H

#include "firm_types.h"
#include "begin.h"

FIRM_API ir_node *get_Block_idom(const ir_node *block);

FIRM_API ir_node *get_Block_ipostdom(const ir_node *block);

FIRM_API int block_dominates(const ir_node *a, const ir_node *b);

FIRM_API int block_strictly_dominates(const ir_node *a, const ir_node *b);

FIRM_API int block_postdominates(const ir_node *a, const ir_node *b);

FIRM_API int block_strictly_postdominates(const ir_node *a, const ir_node *b);

FIRM_API ir_node *get_Block_dominated_first(const ir_node *block);
FIRM_API ir_node *get_Block_postdominated_first(const ir_node *bl);

FIRM_API ir_node *get_Block_dominated_next(const ir_node *node);
FIRM_API ir_node *get_Block_postdominated_next(const ir_node *node);

#define dominates_for_each(bl,curr) \
    for(curr = get_Block_dominated_first(bl); curr; \
            curr = get_Block_dominated_next(curr))

#define postdominates_for_each(bl,curr) \
    for(curr = get_Block_postdominated_first(bl); curr; \
            curr = get_Block_postdominated_next(curr))

FIRM_API ir_node *node_smallest_common_dominator(ir_node *a, ir_node *b);

FIRM_API void dom_tree_walk(ir_node *n, irg_walk_func *pre,
                            irg_walk_func *post, void *env);

FIRM_API void postdom_tree_walk(ir_node *n, irg_walk_func *pre,
                                irg_walk_func *post, void *env);

FIRM_API void dom_tree_walk_irg(ir_graph *irg, irg_walk_func *pre,
                                irg_walk_func *post, void *env);

FIRM_API void postdom_tree_walk_irg(ir_graph *irg, irg_walk_func *pre,
                                    irg_walk_func *post, void *env);

FIRM_API void compute_doms(ir_graph *irg);

FIRM_API void assure_doms(ir_graph *irg);

FIRM_API void compute_postdoms(ir_graph *irg);

FIRM_API void assure_postdoms(ir_graph *irg);

FIRM_API void free_dom(ir_graph *irg);

FIRM_API void free_postdom(ir_graph *irg);

FIRM_API void ir_compute_dominance_frontiers(ir_graph *irg);

FIRM_API ir_node **ir_get_dominance_frontier(const ir_node *block);

#include "end.h"

#endif