View | Details | Return to bug 38774 | Differences between
and this patch

Collapse All | Expand All

(-)df-scan.c (+3 lines)
Lines 4512-4517 df_scan_verify (void) Link Here
4512
  if (!df)
4512
  if (!df)
4513
    return;
4513
    return;
4514
4514
4515
  if (dump_file)
4516
    fprintf (dump_file, "Starting df verify\n");
4517
4515
  /* Verification is a 4 step process. */
4518
  /* Verification is a 4 step process. */
4516
4519
4517
  /* (1) All of the refs are marked by going thru the reg chains.  */
4520
  /* (1) All of the refs are marked by going thru the reg chains.  */
(-)df-core.c (-4 / +9 lines)
Lines 2113-2118 df_regno_debug (unsigned int regno, FILE Link Here
2113
  fprintf (file, "\n");
2113
  fprintf (file, "\n");
2114
}
2114
}
2115
2115
2116
/* Names.  */
2117
2118
static const char * class_names[] = {"base", "artificial", "regular", "extract"};
2119
static const char * type_names[] = {"def", "use", "mem_load", "mem_store"};
2120
2116
2121
2117
void
2122
void
2118
df_ref_debug (df_ref ref, FILE *file)
2123
df_ref_debug (df_ref ref, FILE *file)
Lines 2120-2135 df_ref_debug (df_ref ref, FILE *file) Link Here
2120
  fprintf (file, "%c%d ",
2125
  fprintf (file, "%c%d ",
2121
	   DF_REF_REG_DEF_P (ref) ? 'd' : 'u',
2126
	   DF_REF_REG_DEF_P (ref) ? 'd' : 'u',
2122
	   DF_REF_ID (ref));
2127
	   DF_REF_ID (ref));
2123
  fprintf (file, "reg %d bb %d insn %d flag 0x%x type 0x%x ",
2128
  fprintf (file, "reg %d bb=%d insn=%d flag=0x%x type=%s class=%s ",
2124
	   DF_REF_REGNO (ref),
2129
	   DF_REF_REGNO (ref),
2125
	   DF_REF_BBNO (ref),
2130
	   DF_REF_BBNO (ref),
2126
	   DF_REF_IS_ARTIFICIAL (ref) ? -1 : DF_REF_INSN_UID (ref),
2131
	   DF_REF_IS_ARTIFICIAL (ref) ? -1 : DF_REF_INSN_UID (ref),
2127
	   DF_REF_FLAGS (ref),
2132
	   DF_REF_FLAGS (ref),
2128
	   DF_REF_TYPE (ref));
2133
	   type_names[DF_REF_TYPE (ref)], class_names[DF_REF_CLASS (ref)]);
2129
  if (DF_REF_LOC (ref))
2134
  if (DF_REF_LOC (ref))
2130
    fprintf (file, "loc %p(%p) chain ", (void *)DF_REF_LOC (ref), (void *)*DF_REF_LOC (ref));
2135
    fprintf (file, "loc=%p(%p) chain=", (void *)DF_REF_LOC (ref), (void *)*DF_REF_LOC (ref));
2131
  else
2136
  else
2132
    fprintf (file, "chain ");
2137
    fprintf (file, "chain=");
2133
  df_chain_dump (DF_REF_CHAIN (ref), file);
2138
  df_chain_dump (DF_REF_CHAIN (ref), file);
2134
  fprintf (file, "\n");
2139
  fprintf (file, "\n");
2135
}
2140
}
(-)passes.c (-1 / +2 lines)
Lines 1049-1055 execute_todo (unsigned int flags) Link Here
1049
  /* Now that the dumping has been done, we can get rid of the optional 
1049
  /* Now that the dumping has been done, we can get rid of the optional 
1050
     df problems.  */
1050
     df problems.  */
1051
  if (flags & TODO_df_finish)
1051
  if (flags & TODO_df_finish)
1052
    df_finish_pass ((flags & TODO_df_verify) != 0);
1052
    /*    df_finish_pass ((flags & TODO_df_verify) != 0); */
1053
    df_finish_pass (true);
1053
}
1054
}
1054
1055
1055
/* Verify invariants that should hold between passes.  This is a place
1056
/* Verify invariants that should hold between passes.  This is a place

Return to bug 38774