void dump_vcg_header(FILE *F, const char *name, const char *layout, const char *orientation);
void dump_vcg_footer(FILE *F);
const char *get_irg_dump_name(const ir_graph *irg);
const char *get_ent_dump_name(const ir_entity *ent);
void dump_vcg_header(FILE *F, const char *name, const char *layout, const char *orientation);
void dump_vcg_footer(FILE *F);
const char *get_irg_dump_name(const ir_graph *irg);
const char *get_ent_dump_name(const ir_entity *ent);