summaryrefslogtreecommitdiffhomepage
path: root/ir/be/beverify.h
diff options
context:
space:
mode:
authorMatthias Braun <matze@braunis.de>2012-09-28 10:36:04 +0200
committerMatthias Braun <matze@braunis.de>2012-10-29 17:48:56 +0100
commitdf6d48d602bf85c72ad8e4cf84c08f44c448d743 (patch)
treedb7dc2f04360fae4ab4976a4935d859804352220 /ir/be/beverify.h
parentedb89fdd5733701e759588fca01691b30309b093 (diff)
beverify: remove dominance check
irverify already checks the dominance property
Diffstat (limited to 'ir/be/beverify.h')
-rw-r--r--ir/be/beverify.h7
1 files changed, 0 insertions, 7 deletions
diff --git a/ir/be/beverify.h b/ir/be/beverify.h
index adcbe7e..c4a2b29 100644
--- a/ir/be/beverify.h
+++ b/ir/be/beverify.h
@@ -70,13 +70,6 @@ int be_verify_spillslots(ir_graph *irg);
bool be_verify_register_allocation(ir_graph *irg);
/**
- * Check, if the SSA dominance property is fulfilled.
- * @param irg The graph.
- * @return true if dominance property is fulfilled, false otherwise
- */
-bool be_check_dominance(ir_graph *irg);
-
-/**
* Check the given liveness information against a freshly computed one.
*/
void be_liveness_check(be_lv_t *lv);