summaryrefslogtreecommitdiffhomepage
path: root/ir/be/beverify.h
diff options
context:
space:
mode:
authorMatthias Braun <matze@braunis.de>2016-01-16 21:20:16 +0100
committerMatthias Braun <matze@braunis.de>2016-01-18 00:27:37 +0100
commit5224ed3c93b10efa6cedd31cfd4f59fd6adf6807 (patch)
treea8c4894709c9d82855cd81c3520ff8f32ee268f7 /ir/be/beverify.h
parent30fbf37b84a6406705a8171b4ec19329aa915a5f (diff)
beverify: Remove spillslot verifier
The verifier has been broken and therefore unused for a while, remove it for now.
Diffstat (limited to 'ir/be/beverify.h')
-rw-r--r--ir/be/beverify.h6
1 files changed, 0 insertions, 6 deletions
diff --git a/ir/be/beverify.h b/ir/be/beverify.h
index 2b768b8..a984c1f 100644
--- a/ir/be/beverify.h
+++ b/ir/be/beverify.h
@@ -37,12 +37,6 @@ bool be_verify_register_pressure(ir_graph *irg,
bool be_verify_schedule(ir_graph *irg);
/**
- * Verify spillslots
- */
-bool be_verify_spillslots(ir_graph *irg,
- get_frame_entity_func get_frame_entity);
-
-/**
* Verify register allocation: Checks that no 2 live nodes have the same
* register assigned, also checks that each scheduled node has a register
* assigned.