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=3.4 required=5.0 tests=DNS_FROM_SECURITYSAGE, 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 055F4BB84 for ; Fri, 31 Oct 2008 23:56:13 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApwBAKQpC0lA6ba+imdsb2JhbACBdk+RDD4BAQEKCQwHDwWvCIovAQQ X-IronPort-AV: E=Sophos;i="4.33,524,1220220000"; d="scan'208";a="30993647" Received: from nf-out-0910.google.com ([64.233.182.190]) by mail4-smtp-sop.national.inria.fr with ESMTP; 31 Oct 2008 23:56:13 +0100 Received: by nf-out-0910.google.com with SMTP id b11so713398nfh.13 for ; Fri, 31 Oct 2008 15:56:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:received:received:organization:to:subject:date :user-agent:references:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:message-id:from; bh=23qDdEnJtToaCRhsBlmrVYbSNIhJ8oCLxTwcOrHKTdw=; b=XCC72uNZMgAESjIUenWCldOSfo1o4+hd23bqQVBLycV+JILZgk3NZs8sWamh8PATAc 2jpsSbTCY/B5pX5lUpWHEaxdNV+LTwLAfLXit6hg5SpSjW+d1dYXfn9tB93CmH6eQV+K mLiW8S53HJHt8caS3ZMMBD24plFcvk4O5RWpg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=organization:to:subject:date:user-agent:references:in-reply-to :mime-version:content-type:content-transfer-encoding :content-disposition:message-id:from; b=NuS/i7eMxJHq2fcZGSna2T9P1U7f35PCi36iNyC7ZYRl8d0mA98h0b7mP/X7+3O0Mp eD8GexN1z4AoFC2x8O4GCLTrj12ImLmdBTYaFPk9irsczaO6i8+CnsP4B7PiGtyeHZ5A 7R4FanwEuQ5gy0HVSKL0+tsGtJY6uAb+H8yGM= Received: by 10.210.58.13 with SMTP id g13mr14054540eba.183.1225493773011; Fri, 31 Oct 2008 15:56:13 -0700 (PDT) Received: from leper.local (87.112.11.235.plusnet.ptn-ag1.dyn.plus.net [87.112.11.235]) by mx.google.com with ESMTPS id g11sm7074063gve.8.2008.10.31.15.56.11 (version=TLSv1/SSLv3 cipher=RC4-MD5); Fri, 31 Oct 2008 15:56:12 -0700 (PDT) Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] ocamlopt performance in 3.11 Date: Fri, 31 Oct 2008 23:58:03 +0000 User-Agent: KMail/1.9.9 References: <57EBE30ABB324436B98173D41A9473CA@countertenor> <30A4D55DA6F848278426563E47BE9A43@countertenor> <48FC3E20.2090206@gmail.com> In-Reply-To: <48FC3E20.2090206@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200810312358.03757.jon@ffconsultancy.com> From: Jon Harrop X-Spam: no; 0.00; ocamlopt:01 ocamlopt:01 makefiles:01 frog:98 wrote:01 wrote:01 compilers:01 caml-list:01 alain:01 binary:02 simplify:05 comparison:05 spotted:07 exe:09 resulting:11 On Monday 20 October 2008 09:15:28 Alain wrote: > David Allsopp wrote: > > OK, so I've tried using the -nodynlink option with all calls to ocamlopt > > and spotted *no* timing difference. A quick binary comparison of the EXE > > produced reveals that ocamlopt -nodynlink is making ABSOLUTELY NO > > difference in the resulting code. > > -nodynlink only makes a difference for the AMD64 backend. It is accepted > by ocamlopt for all ports in order to simplify Makefiles. Would be good if all command line options to the compilers (e.g. -ffast-math) were accepted by ocamlopt on all ports for the same reason. -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e