SIMPLE: A language-independent tree IR

[Joseph S. Myers]

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