-void ir_export_file(FILE *output, const char *outputname);
-
-/**
- * Exports the given ir graph to the given file in a textual form.
- *
- * @param irg the ir graph
- * @param filename the name of the resulting file
- *
- * Exports the type graph used by the given graph and the graph itself.
- */
-void ir_export_irg(ir_graph *irg, FILE *output, const char *outputname);