const char *get_ent_dump_name(const ir_entity *ent);
-const char *get_type_name_ex(const ir_type *tp, int *bad);
const char *get_mode_name_ex(const ir_mode *mode, int *bad);
/**
* dump the name of a node n to the File F.
*/
-int
-dump_node_opcode(FILE *F, ir_node *n);
+int dump_node_opcode(FILE *F, ir_node *n);
int dump_node_label(FILE *F, ir_node *n);
+int dump_vrp_info(FILE *F, ir_node *n);
/** Writes vcg representation with title "PRINT_TYPEID(tp)" to file F. */
int dump_type_node(FILE *F, ir_type *tp);