This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] Minor improvement to folding
- From: Dan Nicolaescu <dann at ics dot uci dot edu>
- To: law at redhat dot com
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Thu, 26 Feb 2004 11:23:49 -0800
- Subject: Re: [tree-ssa] Minor improvement to folding
- References: <200402261904.i1QJ3xJu014192@speedy.slc.redhat.com>
law@redhat.com writes:
> I had this bootstrapped and tested a few days ago, but was offline and
> thus unable to officially submit the change.
>
> This change basically allows us to determine that the address of two distinct,
> non-weak variables can not be the same. This is something that was in the
> tree-ssa testsuite at one point, but was later dropped.
It is still in the testsuite: ssa-ccp-3.c
It might be good to split the passing and failing tests from that
file into 2 different files, or something of the sort.
See also PR13962 for a more general case of this optimization.