diff options
Diffstat (limited to 'gcc/print-rtl.c')
| -rw-r--r-- | gcc/print-rtl.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c index 5bdffb4b9b3..8cd339ab989 100644 --- a/gcc/print-rtl.c +++ b/gcc/print-rtl.c @@ -284,6 +284,15 @@ print_rtx (in_rtx) fprintf (outfile, " \"\""); break; + case NOTE_INSN_PREDICTION: + if (NOTE_PREDICTION (in_rtx)) + fprintf (outfile, " [ %d %d ] ", + (int)NOTE_PREDICTION_ALG (in_rtx), + (int) NOTE_PREDICTION_FLAGS (in_rtx)); + else + fprintf (outfile, " [ ERROR ]"); + break; + default: { const char * const str = X0STR (in_rtx, i); |