summaryrefslogtreecommitdiffhomepage
path: root/ir/be/beverify.h
diff options
context:
space:
mode:
authorMatthias Braun <matze@braunis.de>2014-05-30 13:56:32 +0200
committerMatthias Braun <matze@braunis.de>2014-05-30 13:56:32 +0200
commita9e2b8697ec91625d24971849df730412466b799 (patch)
tree6c0c0b0dddf243a22c29eea63ae57887f590d486 /ir/be/beverify.h
parent6890f6b303304b879b4825ec0fc5d5b29c1c7cf3 (diff)
be: delay stack pointer SSA reconstruction until shortly before emit
Diffstat (limited to 'ir/be/beverify.h')
-rw-r--r--ir/be/beverify.h4
1 files changed, 3 insertions, 1 deletions
diff --git a/ir/be/beverify.h b/ir/be/beverify.h
index 4ce2c18..ad89ef4 100644
--- a/ir/be/beverify.h
+++ b/ir/be/beverify.h
@@ -50,9 +50,11 @@ 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 be_verify_register_allocation(ir_graph *irg, bool ignore_sp_problems);
/**
* Check the given liveness information against a freshly computed one.