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=2.8 required=5.0 tests=DNS_FROM_RFC_POST,SPF_NEUTRAL autolearn=disabled version=3.1.3 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 EC9C9BBC4 for ; Fri, 3 Apr 2009 18:31:02 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgwDAPDV1UnRVdq0kGdsb2JhbACVZD8BAQEBCQkMBxEDp1uBCJArAQMBA4QMBg X-IronPort-AV: E=Sophos;i="4.39,320,1235948400"; d="scan'208";a="37815174" Received: from mail-bw0-f180.google.com ([209.85.218.180]) by mail4-smtp-sop.national.inria.fr with ESMTP; 03 Apr 2009 18:31:02 +0200 Received: by bwz28 with SMTP id 28so1173824bwz.27 for ; Fri, 03 Apr 2009 09:31:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:date:message-id:subject :from:to:content-type:content-transfer-encoding; bh=H462CQ1gxi8iirPqCfeOTkBhM1b/F6qeuUvAvlyO8KU=; b=MmfIj6iOYknSsR3T4xmWIHiSpsIaSXj3gJ//pu+cf1Mbq2ZfYu8BBqJD8TAvYolvKp C1w2Vl8U1QJ4MY3FT/2D1JVPKh3BL69F9mjBGNFTIxSI4Rm3VY34OLdKU7mVOq+EguS1 GHACQ2r+YfXJB9qngKhw8BlfvXp2czFT52DD4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type :content-transfer-encoding; b=iHWO+m5cdsBv/J1ChpzFIcg+btkI8stkP7mRlNUalvfLLk3JkcqkWxNokSsxpBIeTO 4wfEOEwpkbfj9tu8qNC85VME1xPeAS+5XhRjR89PAOzUiQXMOazDFLkkWf/NldNo1/xI bzxMdEMb6kUKxPQ7zlNSGybel4EAlxHM1RndE= MIME-Version: 1.0 Received: by 10.223.127.8 with SMTP id e8mr1222074fas.80.1238776262282; Fri, 03 Apr 2009 09:31:02 -0700 (PDT) Date: Fri, 3 Apr 2009 18:31:02 +0200 Message-ID: Subject: 64 bits ocamlopt to generate 32 bits code From: Jean Guyader To: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ocamlopt:01 guyader:01 guyader:01 ocamlopt:01 bits:05 bits:05 jean:14 jean:14 assembly:16 code:17 code:17 thanks:17 hello:17 possible:17 generate:23 Hello, Is it possible to generate 32 bits assembly code with a 64 bits ocamlopt? Thanks, -- Jean Guyader