English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Bug] Different behavior bytecode/nativecode
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-02-27 (11:09)
From: Jon Harrop <jon@j...>
Subject: Re: [Caml-list] [Bug] Different behavior bytecode/nativecode
On Sunday 27 February 2005 10:13, Christophe TROESTLER wrote:
> > ocamlopt is generating x86 code which is partly performed in 80-bit
> > registers and partly stored in 64-bit memory locations
> Are there general rules about this: does a "let" necessarily put the
> result into 64-bit memory (as an assignment in C does) or is it more
> complicated (e.g. due to inlining)?

My guess is that your guess is roughly right. I don't think ocamlopt does much 
inlining so you're probably fairly safe. For a detailed and accurate answer 
you'd better ask Xavier. You'd better be quick though, or skaller will reply 
and poison your mind. ;-)

> Thanks for quickly finding my mistake!

Any excuse for a free advert. :-)

Dr Jon D Harrop, Flying Frog Consultancy Ltd.