/* External entry point for printing a chain of insns starting with RTX_FIRST onto file OUTF. A blank line separates insns. If RTX_FIRST is not an insn, then it alone is printed, with no newline. */ void print_rtl (FILE *outf, const_rtx rtx_first) { rtx_writer w (outf, 0, false, false, NULL); w.print_rtl (rtx_first);
}