From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA28492 for caml-redistribution; Mon, 25 Oct 1999 17:31:26 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id BAA10470 for <caml-list@pauillac.inria.fr>; Fri, 22 Oct 1999 01:54:11 +0200 (MET DST)
Received: from isil.maya.com (isil.maya.com [192.70.254.5])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id BAA09259;
	Fri, 22 Oct 1999 01:54:07 +0200 (MET DST)
Received: (from prevost@localhost)
	by isil.maya.com (8.9.3/8.9.3) id UAA23729;
	Thu, 21 Oct 1999 20:00:12 -0400
Sender: weis
To: Xavier Leroy <Xavier.Leroy@inria.fr>
Cc: Edwin Young <edwiny@entropic.co.uk>,
        "'caml-list@inria.fr'" <caml-list@inria.fr>
Subject: Re: 32 bit integers
References: <B1A05F46097FD211AD2300A0C9E6E8904E1B77@callisto.entropic.co.uk> <19991021162400.01237@pauillac.inria.fr>
From: John Prevost <prevost@maya.com>
Date: 21 Oct 1999 20:00:12 -0400
In-Reply-To: Xavier Leroy's message of "Thu, 21 Oct 1999 16:24:00 +0200"
Message-ID: <m33dv4tgc3.fsf@isil.maya.com>
User-Agent: Gnus/5.070096 (Pterodactyl Gnus v0.96) Emacs/20.4
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii

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?

John.