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: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- To: Joe Buck <jbuck at synopsys dot COM>
- Cc: Richard Henderson <rth at redhat dot com>, Toon Moene <toon at moene dot indiv dot nluug dot nl>, Diego Novillo <dnovillo at redhat dot com>, <gcc at gcc dot gnu dot org>
- Date: Thu, 3 Jan 2002 00:41:57 +0000 (GMT)
- Subject: Re: SIMPLE: A language-independent tree IR
On Wed, 2 Jan 2002, Joe Buck wrote:
> And then there is a third case, were we have groups of instructions that
> have to be executed as atomic units but we don't care which group is
> first. For example, consider a language in which arguments to a function
> can be computed in any order but the computation of the arguments can't
> be interleaved. This differs from sequence points.
We have this for C. Function calls cannot be interleaved, but may happen
in either order. For C this is specified in DR#087; the C++ standard
makes this requirement explicit, 1.9 [intro.execution] paragraph 8.
Sequence points provide a partial order only.
--
Joseph S. Myers
jsm28@cam.ac.uk