irdom.h

/*
 * This file is part of libFirm.
 * Copyright (C) 2012 University of Karlsruhe.
 */

#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_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);

FIRM_API ir_node *ir_deepest_common_dominator(ir_node *block0, ir_node *block1);

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 compute_postdoms(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