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: Alexandre Oliva <aoliva at redhat dot com>
- To: Florian Weimer <fw at deneb dot enyo dot de>
- Cc: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>, Joe Buck <jbuck at synopsys dot COM>, 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: 06 Jan 2002 19:38:43 -0200
- Subject: Re: SIMPLE: A language-independent tree IR
- Organization: GCC Team, Red Hat
- References: <Pine.LNX.4.33.0201030038030.5222-100000@kern.srcf.societies.cam.ac.uk><873d1n2fy4.fsf@deneb.enyo.de>
On Jan 3, 2002, Florian Weimer <fw@deneb.enyo.de> wrote:
> "Joseph S. Myers" <jsm28@cam.ac.uk> writes:
>> We have this for C. Function calls cannot be interleaved, but may happen
>> in either order.
> I hope that this requirement is applicable only to the externally
> visible efffect. A few days ago, I looked at assembler output from
> GCC 2.8.1, and I think there were some interleaved function calls
> (without externally visible effect, of course).
If there's no externally visible effect, this is allowed by the as-if
rule.
--
Alexandre Oliva Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer aoliva@{cygnus.com, redhat.com}
CS PhD student at IC-Unicamp oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist *Please* write to mailing lists, not to me