[Bug tree-optimization/21712] missed optimization due with const function and pulling out of loops

[rakdver at atrey dot karlin dot mff dot cuni dot cz]

------- Additional Comments From rakdver at atrey dot karlin dot mff dot cuni dot cz  2005-05-22 20:01 -------
Subject: Re:  missed optimization due with const function and pulling out of loops

> <quote>const
>     Many functions do not examine any values except their arguments, and have no
> effects except the return value. Basically this is just slightly more strict
> class than the pure attribute below, since function is not allowed to read
> global memory.</quote>
> 
> So get_type2() should not use any global table. Right ?

this depends on interpretation of this definition.  Some people want
this to read "behaves as if" and thus allow for example caching of the
results of such function.  For more discussion see PR19828.

Nevertheless, even if we are very strict with the definition, moving
get_type2 out of the loop is not a good idea, since get_type2 might
potentially be very expensive (and we have no way how to determine
that this is not the case), thus we would lose in case get_type2
should be never executed.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21712