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
32 bit integers
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1999-10-25 (15:31)
From: John Prevost <prevost@m...>
Subject: Re: 32 bit integers
Xavier Leroy <Xavier.Leroy@inria.fr> writes:

> See for instance J.-C. Filliatre's "Int32" library,
> http://www.lri.fr/~filliatr/ftp/ocaml/int32/
> (although I object to the name of that library -- on an Alpha, it
> implements 64-bit integers...)

I found this implementation to be terribly slow (even slower than the
bignum stuff in many cases.)  Any idea why this is?  Is it just
because of the extra dereference, or is it because the compiler uses
better code for "primitive" type operations like int addition than it
does for other types?  (This second was my guess.)  Is there any way
to make this kind of extension work better?