caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: John Skaller <skaller@users.sourceforge.net>
To: Xavier Leroy <Xavier.Leroy@inria.fr>
Cc: Jon Harrop <jon@ffconsultancy.com>, caml-list@yquem.inria.fr
Subject: Re: [Caml-list] AMD64 ocamlopt bug
Date: Tue, 14 Jun 2005 05:32:11 +1000	[thread overview]
Message-ID: <1118691131.7142.9.camel@rosella.wigram> (raw)
In-Reply-To: <20050613191900.GA4326@yquem.inria.fr>

On Mon, 2005-06-13 at 21:19 +0200, Xavier Leroy wrote:
> > > > Whilst I personally prefer the ocaml native code compiler,
> > > > at present I can't use it on my AMD64 as there appears
> > 
> > > Do you think I shouldn't release for AMD64? 
> > 
> > See PR#3640 (in Incoming in the Bug Tracker) first:
> > 
> > My guess is if you code works it works... the bug
> > is fairly rare and only triggered in unusual
> > circumstances .. but that is just a guess.
> 
> Yes, PR#3640 is an AMD64-specific code generation bug.  It occurs in
> the uncommon case where a leaf function (a function that doesn't call
> other functions except as a tail-call) accesses a parameter passed on
> the stack (not in registers).  As a rule of thumb, if your tail
> functions have fewer than 9 arguments, you're safe.
> 
> The bug is fixed in the CVS repository, 3.08 bug-fix branch.

Thanks! Nice work finding it! And dumb question: does that mean
the main CVS branch is also fixed? (or will the bug fixed branch
be merged in when 3.09 is released?)

-- 
John Skaller, skaller at users.sf.net
PO Box 401 Glebe, NSW 2037, Australia Ph:61-2-96600850 
Download Felix here: http://felix.sf.net


  reply	other threads:[~2005-06-13 19:32 UTC|newest]

Thread overview: 24+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-06-09  5:33 Caml on intel-OSX John Skaller
2005-06-09  8:23 ` [Caml-list] " Agustín Valverde
2005-06-09 14:00 ` james woodyatt
2005-06-09 15:27   ` John Skaller
2005-06-09 16:20     ` padiolea
2005-06-09 22:51       ` John Skaller
2005-06-10  0:02         ` Jonathan Bryant
2005-06-10  2:55           ` John Skaller
2005-06-10  7:10             ` Florian Hars
2005-06-10  0:41         ` Jacques Garrigue
2005-06-10  1:57           ` John Skaller
2005-06-14  0:28           ` Sven Luther
2005-06-10  6:35         ` Stefano Zacchiroli
2005-06-10  9:07           ` John Skaller
2005-06-10 23:39         ` Jon Harrop
2005-06-11 18:39           ` John Skaller
2005-06-11 19:03             ` Jon Harrop
2005-06-12  6:58               ` John Skaller
2005-06-13 19:19             ` [Caml-list] AMD64 ocamlopt bug Xavier Leroy
2005-06-13 19:32               ` John Skaller [this message]
2005-06-13 20:18                 ` Damien Doligez
2005-06-13 20:27                 ` John Skaller
2005-06-13 21:01                   ` Anil Madhavapeddy
2005-06-09 23:44       ` [Caml-list] Caml on intel-OSX Jonathan Bryant

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=1118691131.7142.9.camel@rosella.wigram \
    --to=skaller@users.sourceforge.net \
    --cc=Xavier.Leroy@inria.fr \
    --cc=caml-list@yquem.inria.fr \
    --cc=jon@ffconsultancy.com \
    /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 NNTP newsgroup(s).