This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: SIMPLE: A language-independent tree IR
- From: Joe Buck <jbuck at synopsys dot COM>
- To: jbuck at synopsys dot COM (Joe Buck)
- Cc: geoffk at redhat dot com, dalej at apple dot com, pkoning at equallogic dot com,toon at moene dot indiv dot nluug dot nl, gcc at gcc dot gnu dot org
- Date: Thu, 3 Jan 2002 12:44:09 -0800 (PST)
- Subject: Re: SIMPLE: A language-independent tree IR
I wrote:
> Since we have the as-if rule, that's not quite the answer; we can only
> say that the visible side effects (accesses to volatile variables,
> calls to other functions that may have side effects) cannot be
> interleaved. If f, g, and h are inlined, we could have considerable
> freedom to do reordering despite the C99 rules.
I don't bring this up just to nitpick. If we're going to have a common
low-level tree representation, we need some way to represent which
reorderings are permitted and which aren't, in a language-independent way.