This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Not pulling out obvious non-aliasing global from the loop
- From: Daniel Berlin <dberlin at dberlin dot org>
- To: Andrew Pinski <pinskia at physics dot uc dot edu>
- Cc: "gcc at gcc dot gnu dot org List" <gcc at gcc dot gnu dot org>
- Date: Wed, 25 Aug 2004 23:41:03 -0400
- Subject: Re: Not pulling out obvious non-aliasing global from the loop
- References: <A4945A7C-F710-11D8-A009-00039351ED8A@physics.uc.edu>
On Aug 25, 2004, at 11:33 PM, Andrew Pinski wrote:
While working on a loop pass, I noticed that we were not pulling out
the load
from a global variable from a loop where it obviously cannot alias
anything in
the loop.
If you want to do the analysis necessary to prove that the global can't
alias anything (no parameters are pointers, function calls that aren't
pure/const, no parameters that are casted to pointers and then
dereferenced, etc), feel free, and then registerize it.