Eliminate some of more expensive gcc_asserts
Richard Guenther
rguenther@suse.de
Sun Jun 13 14:32:00 GMT 2010
On Sun, 13 Jun 2010, Jan Hubicka wrote:
> > Hi,
> > this patch change most of asserts that collect over 500 samples in my
> > oprofile to gcc_checking_assert. I tried to double check that they
> > are not terribly important.
> > In bitmap.c they are all bitmap internal checks, I kept those checking
> > that things are used correctly.
> >
> > Bootstrapped/regtested x86_64-linux, OK?
> >
> > * bitmap.c (bitmap_and, bitmap_and_into, bitmap_and_compl,
> > bitmap_and_compl_into, bitmap_compl_and_into, bitmap_ior,
> > bitmap_ior_into, bitmap_xor, bitmap_xor_into,
> > bitmap_ior_and_compl, bitmap_ior_and_compl): Turn internal datastructure
> > checks into checking asserts.
> > * rtlanal.c (find_reg_note): Use gcc_checking_assert.
> > * tree-ssa-sccvn.c (VN_INFO): Likewise.
> > * df-scan.c (df_reorganize_refs_by_reg_by_reg, df_install_ref,
> > df_ref_create_structure): Likewise.
> > * alloc-pool.c (create_alloc_pool, empty_alloc_pool, pool_alloc,
> > pool_free): Use gcc_checking_assert.
> > * alias.c (get_alias_set): Likewise.
> > * var-tracking.c (variable_htab_free, shared_hash_copy,
> > canonicalize_values_mark, variable_merge_over_cur): Likewise.
> > * lto-streamer.c (bp_unpack_value): Likewise.
>
> Ping...
Ok.
Thanks,
Richard.
More information about the Gcc-patches
mailing list