diff options
Diffstat (limited to 'gcc/print-rtl.c')
| -rw-r--r-- | gcc/print-rtl.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c index cb3f7dae31f..bc2854d9179 100644 --- a/gcc/print-rtl.c +++ b/gcc/print-rtl.c @@ -562,6 +562,9 @@ print_rtx (const_rtx in_rtx) if (MEM_ALIGN (in_rtx) != 1) fprintf (outfile, " A%u", MEM_ALIGN (in_rtx)); + if (!ADDR_SPACE_GENERIC_P (MEM_ADDR_SPACE (in_rtx))) + fprintf (outfile, " AS%u", MEM_ADDR_SPACE (in_rtx)); + fputc (']', outfile); break; |