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 IAA03871 for caml-redistribution; Wed, 13 Oct 1999 08:56:44 +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 RAA13805 for <caml-list@pauillac.inria.fr>; Tue, 12 Oct 1999 17:42:40 +0200 (MET DST)
Received: from nef.ens.fr (nef.ens.fr [129.199.96.12])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id RAA23661
	for <caml-list@inria.fr>; Tue, 12 Oct 1999 17:42:39 +0200 (MET DST)
Received: from clipper.ens.fr (clipper-gw.ens.fr [129.199.1.22])
          by nef.ens.fr (8.9.3/beig-1.0) with ESMTP id RAA28273
          for <caml-list@inria.fr>; Tue, 12 Oct 1999 17:42:38 +0200 (MET DST)
Received: from localhost (frisch@localhost) by clipper.ens.fr (8.8.7/jb-1.1)
	id RAA23146 ; Tue, 12 Oct 1999 17:42:37 +0200 (MET DST)
Date: Tue, 12 Oct 1999 17:42:36 +0200 (MET DST)
From: Alain Frisch <frisch@clipper.ens.fr>
X-Sender: frisch@clipper
To: David Monniaux <David.Monniaux@ens.fr>
cc: Liste CAML <caml-list@inria.fr>
Subject: Re: Ocaml Machine (was Re: speed versus C)
In-Reply-To: <Pine.GSO.4.03.9910121731350.313-100000@basilic.ens.fr>
Message-ID: <Pine.GSO.4.04.9910121740400.22368-100000@clipper>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: weis

> This is so true that the Sparc architecture already supports tagged
> arithmetic (with two bits of tag per word, if I remember well).

Does the ocaml native compiler use this feature ? (int will be 32 or 64
bits, not 31 or 63).