summaryrefslogtreecommitdiffhomepage
path: root/ir/be/belive.h
diff options
context:
space:
mode:
authorSebastian Hack <hack@ipd.info.uni-karlsruhe.de>2005-08-28 14:38:47 +0200
committerSebastian Hack <hack@ipd.info.uni-karlsruhe.de>2005-08-28 14:38:47 +0200
commite824098ad68e42ccf587aa5ac0ce07280bfd0626 (patch)
tree86ce019c4722f38776674fbb344ec5ecdbbe4e8b /ir/be/belive.h
parentd3bdfeb725423840208b225ff4bd40dde5c3b584 (diff)
Added dominance checker
Diffstat (limited to 'ir/be/belive.h')
-rw-r--r--ir/be/belive.h5
1 files changed, 5 insertions, 0 deletions
diff --git a/ir/be/belive.h b/ir/be/belive.h
index cf9c6fb..c1e58fa 100644
--- a/ir/be/belive.h
+++ b/ir/be/belive.h
@@ -46,5 +46,10 @@ int (is_live_out)(const ir_node *block, const ir_node *irn);
*/
int (is_live_end)(const ir_node *block, const ir_node *irn);
+/**
+ * Check, if the SSA dominance property is fulfilled.
+ * @param irg The graph.
+ */
+void be_check_dominance(ir_graph *irg);
#endif