X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbessadestr.h;h=11edd31c5c475f8827b421b46b08880683be81d1;hb=7438ae082c9ec7658ccd006b40aa62084aedca2d;hp=353ceadf13e29a08bf536ca9dc7e2b093bc2ba6d;hpb=79c06153820687dbf41a3fdb822a517f85ba10d0;p=libfirm

diff --git a/ir/be/bessadestr.h b/ir/be/bessadestr.h
index 353ceadf1..11edd31c5 100644
--- a/ir/be/bessadestr.h
+++ b/ir/be/bessadestr.h
@@ -11,6 +11,6 @@
 
 /**
  * Performs SSA-Destruction. Arguments get adjusted, phi nodes just stay.
- * PRECONDITION: No block has a 'perm' for the current registerclass as last operation.
  */
-void be_ssa_destruction(be_main_session_env_t *session, be_chordal_env_t *chordal_env);
+void be_ssa_destruction(be_chordal_env_t *chordal_env);
+void be_ssa_destruction_check(be_chordal_env_t *chordal_env);