This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: How to check that two ssa registers have the same symbolic value
- From: Victor Kaplansky <VICTORK at il dot ibm dot com>
- To: "Daniel Berlin" <dberlin at dberlin dot org>
- Cc: gcc-patches at gcc dot gnu dot org, law at redhat dot com
- Date: Tue, 29 May 2007 21:39:26 +0300
- Subject: Re: How to check that two ssa registers have the same symbolic value
"Daniel Berlin" <dberlin@dberlin.org> wrote on 29.05.2007 20:05:34:
>
> tree level PRE knows it could hoist these things (and they are marked
> as such), but we simply don't do it because it's not a partial
> redundancy.
> IE they are all marked antic at the beginning of the block.
>
> I've never bothered to teach it there are other times it might be
> profitable to move calculations anyway.
It may be worth to do when PRE is called in its FRE flavor.
Looks like it always should be helpful for decreasing code size without
increasing runtime.
-- Victor