path: root/ir/be/beverify.h
diff options
authorMatthias Braun <>2015-06-30 07:45:20 +0200
committerMatthias Braun <>2015-07-01 07:40:03 +0200
commit58b0168a2361d25b641eb0d5b8382ee75173b562 (patch)
tree43fef69b15422f14897d30f795ec4a0c8cf6c2f9 /ir/be/beverify.h
parenta315f5e99a2d1a50387a260d969d58f10ee6580e (diff)
Remove produces_sp register constraint
We can easily identify the outputs producing a stack pointer by looking if the stack pointer register is assigned. Unfortunately this also needed a new mechanism to tell the verifier that some registers are not in SSA form (all the time) which needs a few extra lines in each backend.
Diffstat (limited to 'ir/be/beverify.h')
1 files changed, 1 insertions, 3 deletions
diff --git a/ir/be/beverify.h b/ir/be/beverify.h
index 975fc5a..5999dd8 100644
--- a/ir/be/beverify.h
+++ b/ir/be/beverify.h
@@ -48,11 +48,9 @@ bool be_verify_spillslots(ir_graph *irg,
* assigned.
* @param irg The graph to check
- * @param ignore_sp_problems if true do not report problems involving values
- * with arch_register_req_type_produces_sp
* @return true if verify succeeded, false otherwise
-bool be_verify_register_allocation(ir_graph *irg, bool ignore_sp_problems);
+bool be_verify_register_allocation(ir_graph *irg);
* Check the given liveness information against a freshly computed one.