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
Value types (Was: [Caml-list] ocamlopt LLVM support)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-12-14 (09:43)
From: Goswin von Brederlow <goswin-v-b@w...>
Subject: Re: Value types
John Carr <jfc@MIT.EDU> writes:

>> I don't see the point of optimizing for x86-32
> I'm using 32 bit ocaml because my program uses too much memory in 64
> bit mode.  If there were an ocaml that used 32 bit words in 64 bit
> mode, I would use that instead.
> Early 32 to 64 bit transitions offered 32 bit pointers with 64 bit
> registers, called TSO on Alpha and n32 on MIPS.  AMD and Intel did not.

There is a patch for gcc for this for amd64.

It could be nice to implement this for ocaml too. It would mostly
improve the Int64 module. But the extra registers in 64bit mode should
help performance overall too.