diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b122c3f52c9..ed352021220 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2013-11-22  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* print-rtl.c (print_rtx) <case MEM>: Output a space if no MEM_EXPR.
+
 2013-11-22  Richard Sandiford  <rdsandiford@googlemail.com>
 
 	* config/m32c/cond.md (stzx_16): Use register_operand for operand 0.
diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c
index 833bee92f71..a15ab5e972c 100644
--- a/gcc/print-rtl.c
+++ b/gcc/print-rtl.c
@@ -585,6 +585,8 @@ print_rtx (const_rtx in_rtx)
 
       if (MEM_EXPR (in_rtx))
 	print_mem_expr (outfile, MEM_EXPR (in_rtx));
+      else
+	fputc (' ', outfile);
 
       if (MEM_OFFSET_KNOWN_P (in_rtx))
 	fprintf (outfile, "+" HOST_WIDE_INT_PRINT_DEC, MEM_OFFSET (in_rtx));