This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PING] Loop-optimizer patches


Hello,

> All these older patches are by Zdenek, but if approved I could take care 
> of redoing bootstraps and regtests, and applying them:
> 
> http://gcc.gnu.org/ml/gcc-patches/2005-03/msg01611.html
> merging of equivalent invariants in rtl level invariant motion

there is a minor bug in this version that I found during later tests,
I will try to prepare the fixed version soon.

> http://gcc.gnu.org/ml/gcc-patches/2005-03/msg02577.html
> reenables loop header predictor

We have agreed with Honza that a better way is to move loop header
copying after the profiling pass, I will try to do this soon as well
(taking into account that I have about 5 patches I need to work
on in the queue now, "soon" may take some time :-( )  There already is some
profile updating code in tree-ssa-loop-ch, so it only needs to be
checked that it behaves sanely, and to run some benchmark to verify that
the pass reordering does not generate any unexpected regressions.

> http://gcc.gnu.org/ml/gcc/2005-01/msg00059.html
> This is for PR19210.  The patch was missing a changelog, so here it is.
> 
> 	* common.opt (funsafe-loop-optimizations, Wloop-assumptions):
> 	New flag.
> 	* loop-iv.c (iv_number_of_iterations): If
> 	-funsafe-loop-optimizations, assume that no overflows or
> 	infinite loops occurs with a warning if also -Wloop-assumptions;
> 	if not, warn if -Wloop-assumptions and gcc cannot optimize a
> 	loop because of possible overflows or infinite loops.
> 	* tree-ssa-loop-niter.c (number_of_iterations_cond): Ditto.
> 	(number_of_iterations_exit): Add a parameter to control
> 	warnings.
> 	* tree-ssa-dce.c (find_obviously_necessary_stmts): Assume that
> 	loops are not infinite if -funsafe-loop-optimizations.
> 	* doc/invoke.texi (-funsafe-loop-optimizations): Document.
> 	(-Wloop-assumptions): Document.

Assuming that it works (I think I never really tested the patch, the
version I submitted was just to get some feedback), this would be nice
to have.

Zdenek


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]