Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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.