/* Like print_rtl_single, except specify an indentation. */
int
rtx_writer::print_rtl_single_with_indent (const_rtx x, int ind)
{
char *s_indent = (char *) alloca ((size_t) ind + 1);
memset ((void *) s_indent, ' ', (size_t) ind);
s_indent[ind] = '\0';
fputs (s_indent, m_outfile);
fputs (print_rtx_head, m_outfile);
int old_indent = m_indent;
m_indent = ind;
m_sawclose = 0;
print_rtx (x);
putc ('\n', m_outfile);
m_indent = old_indent;
return 1;
}