From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 002B6BBC4 for ; Fri, 3 Apr 2009 23:45:28 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkwGAIUg1knZSMDqZGdsb2JhbACBUpREGgsDBwcPBbgghA8G X-IronPort-AV: E=Sophos;i="4.39,321,1235948400"; d="scan'208";a="25600124" Received: from fmmailgate03.web.de ([217.72.192.234]) by mail3-smtp-sop.national.inria.fr with ESMTP; 03 Apr 2009 23:45:28 +0200 Received: from smtp06.web.de (fmsmtp06.dlan.cinetic.de [172.20.5.172]) by fmmailgate03.web.de (Postfix) with ESMTP id CAC4CF9EDC1F; Fri, 3 Apr 2009 23:45:15 +0200 (CEST) Received: from [78.43.226.218] (helo=frosties.localdomain) by smtp06.web.de with asmtp (TLSv1:AES256-SHA:256) (WEB.DE 4.110 #277) id 1LprCN-0000LE-00; Fri, 03 Apr 2009 23:45:15 +0200 Received: from mrvn by frosties.localdomain with local (Exim 4.69) (envelope-from ) id 1LprCL-0006Lr-O9; Fri, 03 Apr 2009 23:45:13 +0200 From: Goswin von Brederlow To: Jean Guyader Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] 64 bits ocamlopt to generate 32 bits code References: Date: Fri, 03 Apr 2009 23:45:13 +0200 In-Reply-To: (Jean Guyader's message of "Fri, 3 Apr 2009 18:31:02 +0200") Message-ID: <87ljqhif86.fsf@frosties.localdomain> User-Agent: Gnus/5.110006 (No Gnus v0.6) XEmacs/21.4.21 (linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: goswin-v-b@web.de X-Sender: goswin-v-b@web.de X-Provags-ID: V01U2FsdGVkX1+c7ibao98s3jkHXJjxgog5DDjODgTWKQcDF9gD oIz6OLF4mUuc5Iw3dMfqhsUzb6k6YAFKqJG9uHS/rFexh9aNso 6bZJuGO8w= X-Spam: no; 0.00; ocamlopt:01 guyader:01 guyader:01 ocamlopt:01 afaik:01 mfg:98 caml-list:01 writes:01 bits:05 bits:05 jean:14 jean:14 von:84 assembly:16 code:17 Jean Guyader writes: > Hello, > > Is it possible to generate 32 bits assembly code with a 64 bits ocamlopt? > > Thanks, > -- > Jean Guyader Afaik no. MfG Goswin