public inbox for gcc@gcc.gnu.org
 help / color / mirror / Atom feed
From: Richard Henderson <rth@redhat.com>
To: Jan Hubicka <hubicka@ucw.cz>
Cc: Jan Hubicka <jh@suse.cz>, gcc@gcc.gnu.org
Subject: Re: Tree-SSA self checking infrastructure
Date: Wed, 19 Nov 2003 21:36:00 -0000	[thread overview]
Message-ID: <20031119212620.GD31811@redhat.com> (raw)
In-Reply-To: <20031119190152.GP16923@atrey.karlin.mff.cuni.cz>

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.

> 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.



r~

  reply	other threads:[~2003-11-19 21:26 UTC|newest]

Thread overview: 80+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-11-19 18:38 Jan Hubicka
2003-11-19 18:43 ` law
2003-11-19 18:48   ` Andrew MacLeod
2003-11-19 18:56     ` Jan Hubicka
2003-11-19 19:04       ` Andrew MacLeod
2003-11-19 19:39         ` law
2003-11-19 19:01     ` law
2003-11-19 19:12       ` Andrew MacLeod
2003-11-19 20:16         ` law
2003-11-19 18:51   ` Jan Hubicka
2003-11-19 19:09     ` law
2003-11-19 19:14       ` Jan Hubicka
2003-11-19 19:47         ` law
2003-11-19 20:23           ` Andrew MacLeod
2003-11-19 20:29             ` Andrew MacLeod
2003-11-19 20:36             ` Andrew MacLeod
2003-11-19 20:40               ` Andrew MacLeod
2003-11-19 22:12                 ` Andrew MacLeod
2003-11-19 22:46                   ` law
2003-11-19 22:59                 ` law
2003-11-19 20:47           ` Jan Hubicka
2003-11-19 21:13             ` law
2003-11-19 21:18               ` Jan Hubicka
2003-11-19 21:45                 ` law
2003-11-19 21:49                   ` Andrew MacLeod
2003-11-19 21:23           ` Richard Henderson
2003-11-19 21:34             ` Jan Hubicka
2003-11-19 21:44             ` law
2003-11-19 21:45               ` Jan Hubicka
2003-11-19 21:51                 ` law
2003-11-19 22:13                   ` Andrew MacLeod
2003-11-20  0:14                     ` Diego Novillo
2003-11-19 22:15                   ` Jan Hubicka
2003-11-19 22:56                     ` law
2003-11-19 21:58               ` Richard Henderson
2003-11-19 19:34       ` Jan Hubicka
2003-11-19 20:02         ` law
2003-11-19 20:49           ` Jan Hubicka
2003-11-19 21:01             ` law
2003-11-19 21:22               ` Jan Hubicka
2003-11-19 21:28             ` Richard Henderson
2003-11-21  6:35   ` Jan Hubicka
2003-11-21  8:10     ` law
2003-11-21 12:31       ` Jan Hubicka
2003-11-19 19:06 ` Richard Henderson
2003-11-19 19:09   ` Jan Hubicka
2003-11-19 21:36     ` Richard Henderson [this message]
2003-11-19 21:45       ` Jan Hubicka
2003-11-19 21:47         ` Richard Henderson
2003-11-19 22:23         ` Tree sharing issues Jan Hubicka
2003-11-19 22:27           ` law
2003-11-19 22:31             ` Jan Hubicka
2003-11-19 22:50               ` law
2003-11-19 23:02                 ` Jan Hubicka
2003-11-19 23:02                   ` law
2003-11-19 23:08                     ` Jan Hubicka
2003-11-19 23:12                       ` law
2003-11-19 23:20                         ` Jan Hubicka
2003-11-19 23:23                           ` law
2003-11-19 23:27                             ` Jan Hubicka
2003-11-19 23:30                               ` Richard Henderson
2003-11-20  0:33                                 ` Diego Novillo
2003-11-20  0:34                                   ` Jan Hubicka
2003-11-20  0:46                                     ` Diego Novillo
2003-11-20  4:22                                       ` law
2003-11-20  6:17                                         ` Diego Novillo
2003-11-19 23:33                               ` law
2003-11-19 23:34                                 ` Richard Henderson
2003-11-20  0:02                                   ` Jan Hubicka
2003-11-19 23:46                                 ` Jan Hubicka
2003-11-20 18:38                                   ` law
2003-11-20  0:37                               ` Diego Novillo
2003-11-20  0:41                                 ` Jan Hubicka
2003-11-20  1:26                                 ` Jan Hubicka
2003-11-20  0:20                   ` Diego Novillo
2003-11-20  0:29                     ` Jan Hubicka
2003-11-20  0:55                       ` Diego Novillo
2003-11-20  0:15         ` Tree-SSA self checking infrastructure Diego Novillo
2003-11-20  0:21           ` Jan Hubicka
2003-11-20  9:31             ` Jan Hubicka

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20031119212620.GD31811@redhat.com \
    --to=rth@redhat.com \
    --cc=gcc@gcc.gnu.org \
    --cc=hubicka@ucw.cz \
    --cc=jh@suse.cz \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).