/* Like print_rtx, except specify a file. */ /* Return nonzero if we actually printed anything. */ int print_rtl_single (FILE *outf, const_rtx x) { rtx_writer w (outf, 0, false, false, NULL); return w.print_rtl_single_with_indent (x, 0); }