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