This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Tree-SSA self checking infrastructure
> On Wed, Nov 19, 2003 at 08:01:52PM +0100, Jan Hubicka wrote:
> > I am almost done with verify_stmts except for tree sharing, as I am
> > still not clear about the tree sharing rules. (Did I mentioned it in
> > original email?)
>
> Yes. I don't know anything about tree sharing rules. I expect we
> can't share much.
I think we do pretty heavy shaing via CCP that does move around the
constant PLUS_EXPRs and friends. I am not even aware of way to copy
tree expressions.
I wrote the code for testing and will run it once my other bootstrap
finish and come back with results.
>
> > How complex may the symbolic references look like now?
>
> The only valid argument to an INDIRECT_REF is a gimple_reg.
>
> Symbolic references like &ssaname->a.b.c.d[4].y.z[5][6] is valid.
> The string of COMPONENT_REF and ARRAY_REFs all reduce to a single
> constant addition.
THis is nice, however
I am mostly concerned about constants like &a+8 and so.
We are allowing them as gimple operands, or did you changed this?
Honza
>
>
>
> r~