From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 22413 invoked by alias); 19 Nov 2003 21:34:00 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 22406 invoked from network); 19 Nov 2003 21:33:59 -0000 Received: from unknown (HELO atrey.karlin.mff.cuni.cz) (195.113.31.123) by sources.redhat.com with SMTP; 19 Nov 2003 21:33:59 -0000 Received: by atrey.karlin.mff.cuni.cz (Postfix, from userid 4018) id 6BEA14C02A6; Wed, 19 Nov 2003 22:33:58 +0100 (CET) Date: Wed, 19 Nov 2003 21:45:00 -0000 From: Jan Hubicka To: Richard Henderson , Jan Hubicka , Jan Hubicka , gcc@gcc.gnu.org Subject: Re: Tree-SSA self checking infrastructure Message-ID: <20031119213358.GV16923@atrey.karlin.mff.cuni.cz> References: <20031119174450.GI11681@kam.mff.cuni.cz> <20031119185648.GA31811@redhat.com> <20031119190152.GP16923@atrey.karlin.mff.cuni.cz> <20031119212620.GD31811@redhat.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20031119212620.GD31811@redhat.com> User-Agent: Mutt/1.3.28i X-SW-Source: 2003-11/txt/msg01046.txt.bz2 > 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~