*/
void (*init)(void);
+ /**
+ * Fress resources allocated by this isa interface.
+ */
+ void (*finish)(void);
+
/**
* Returns the frontend settings needed for this backend.
*/
* Called directly before done is called. This should be the last place
* where the irg is modified.
*/
- void (*finish)(ir_graph *irg);
+ void (*finish_graph)(ir_graph *irg);
/**
* Called after everything happened. This call should emit the final