From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jfc@mit.edu>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id E27A0BC57
	for <caml-list@yquem.inria.fr>; Sun, 12 Dec 2010 20:20:42 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Av8AAAyvBE0SCRkNmWdsb2JhbACkCBUBAQEBAQgLCgcRKbZQiGaFSgSEZA
X-IronPort-AV: E=Sophos;i="4.59,333,1288566000"; 
   d="scan'208";a="82477455"
Received: from dmz-mailsec-scanner-2.mit.edu ([18.9.25.13])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 12 Dec 2010 20:20:42 +0100
X-AuditID: 1209190d-b7cacae000000a14-0a-4d052089c7db
Received: from mailhub-auth-3.mit.edu ( [18.9.21.43])
	by dmz-mailsec-scanner-2.mit.edu (Symantec Brightmail Gateway) with SMTP id 2C.71.02580.980250D4; Sun, 12 Dec 2010 14:20:41 -0500 (EST)
Received: from outgoing.mit.edu (OUTGOING-AUTH.MIT.EDU [18.7.22.103])
	by mailhub-auth-3.mit.edu (8.13.8/8.9.2) with ESMTP id oBCJKeNo012169;
	Sun, 12 Dec 2010 14:20:40 -0500
Received: from department-of-alchemy.mit.edu (DEPARTMENT-OF-ALCHEMY.MIT.EDU [18.9.64.20])
	(authenticated bits=56)
        (User authenticated as jfc@ATHENA.MIT.EDU)
	by outgoing.mit.edu (8.13.6/8.12.4) with ESMTP id oBCJKdtH024151
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT);
	Sun, 12 Dec 2010 14:20:40 -0500 (EST)
Received: (from jfc@localhost) by department-of-alchemy.mit.edu (8.12.9.20060308)
	id oBCJKdlV002949; Sun, 12 Dec 2010 14:20:39 -0500 (EST)
Message-Id: <201012121920.oBCJKdlV002949@department-of-alchemy.mit.edu>
To: Benedikt Meurer <benedikt.meurer@googlemail.com>
Cc: caml-list@yquem.inria.fr
Subject: Re: Value types (Was: [Caml-list] ocamlopt LLVM support)
In-Reply-To: Your message of "Sun, 12 Dec 2010 20:09:00 +0100."
             <9264BEE6-DBAE-4523-93AC-4560615D2AC5@googlemail.com> 
Date: Sun, 12 Dec 2010 14:20:39 -0500
From: John Carr <jfc@MIT.EDU>
X-Brightmail-Tracker: AAAAAA==
X-Spam: no; 0.00; ocamlopt:01 ocaml:01 ocaml:01 transitions:01 pointers:01 mips:01 tso:98 caml-list:01 optimizing:03 jfc:04 types:05 uses:07 registers:08 alpha:08 john:08 


> 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.