From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id EC2117F778 for ; Thu, 12 May 2016 21:55:58 +0200 (CEST) IronPort-PHdr: 9a23:9hrSRxGLDHu3LQYwO3UWRZ1GYnF86YWxBRYc798ds5kLTJ74p8+wAkXT6L1XgUPTWs2DsrQf27uQ6vGrADBZqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7H0osyYOlkRzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IeezAcq85Vb1VCig9eyBwvZWz9EqLcQzayXIWSGQbllJzCAjI9hzgFsP+uyHgt+d5njKRPcDsQKocVjGr7qMtQxjt3nQpLTk8pUfWjtc4pq9Qox+770h5worPJouYP/lzZIvXfNQDWGNHQoBMUS0EAo69Y4YLBecbMqBUot+u9BM1sRKiCFz0V6vUwThSiyqzhPVi3g== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nils.becker@bioquant.uni-heidelberg.de; spf=None smtp.mailfrom=nils.becker@bioquant.uni-heidelberg.de; spf=None smtp.helo=postmaster@relay.uni-heidelberg.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of nils.becker@bioquant.uni-heidelberg.de) identity=pra; client-ip=129.206.100.212; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nils.becker@bioquant.uni-heidelberg.de"; x-sender="nils.becker@bioquant.uni-heidelberg.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of nils.becker@bioquant.uni-heidelberg.de) identity=mailfrom; client-ip=129.206.100.212; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nils.becker@bioquant.uni-heidelberg.de"; x-sender="nils.becker@bioquant.uni-heidelberg.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@relay.uni-heidelberg.de) identity=helo; client-ip=129.206.100.212; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nils.becker@bioquant.uni-heidelberg.de"; x-sender="postmaster@relay.uni-heidelberg.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CDAAAj3zRXkNRkzoFewGSGFAKBOTwQAQEBAQEBAQERAQEBAQcNCQkhL4ItghYBAQMBI0kMAQULCyEWCwICCQMCAQIBRQYNCAEBiCMIBKxRkHsBAQEHAQEBARUOhiWDSYEDhz+CWQWYJ4FWgVOBaIpgh2iFXo9BN4JBgVeJHQEBAQ X-IPAS-Result: A0CDAAAj3zRXkNRkzoFewGSGFAKBOTwQAQEBAQEBAQERAQEBAQcNCQkhL4ItghYBAQMBI0kMAQULCyEWCwICCQMCAQIBRQYNCAEBiCMIBKxRkHsBAQEHAQEBARUOhiWDSYEDhz+CWQWYJ4FWgVOBaIpgh2iFXo9BN4JBgVeJHQEBAQ X-IronPort-AV: E=Sophos;i="5.24,610,1454972400"; d="asc'?scan'208";a="177642504" Received: from relay.uni-heidelberg.de ([129.206.100.212]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 12 May 2016 21:55:47 +0200 Received: from ix.urz.uni-heidelberg.de (cyrus-portal01.urz.uni-heidelberg.de [129.206.100.176]) by relay.uni-heidelberg.de (8.14.1/8.14.1) with ESMTP id u4CJtjVK030193; Thu, 12 May 2016 21:55:46 +0200 Received: from extmail.urz.uni-heidelberg.de (extmail.urz.uni-heidelberg.de [129.206.100.140]) by ix.urz.uni-heidelberg.de (Postfix) with ESMTPS id 93CAC2237CC9; Thu, 12 May 2016 21:55:45 +0200 (CEST) Received: from MacBook-Pro.local (HSI-KBW-46-223-209-255.hsi.kabel-badenwuerttemberg.de [46.223.209.255]) (authenticated bits=0) by extmail.urz.uni-heidelberg.de (8.13.4/8.13.1) with ESMTP id u4CJti94001567 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NO); Thu, 12 May 2016 21:55:45 +0200 To: Gabriel Scherer References: Cc: caml users From: Nils Becker Openpgp: id=27B50CBB3D956B48DA70CD65E5F7B8C9F0A5C638 Message-ID: <5734DFBF.8070202@bioquant.uni-heidelberg.de> Date: Thu, 12 May 2016 21:55:43 +0200 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:38.0) Gecko/20100101 Thunderbird/38.7.2 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/mixed; boundary="------------010301090409090000030106" X-Validation-by: nils.becker@bioquant.uni-heidelberg.de Subject: Re: [Caml-list] flambda optimization settings This is a multi-part message in MIME format. --------------010301090409090000030106 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit > Thus, it would be interesting and important to also compare with the > code produced by a 4.03 switch compiled without flambda. coming right up (different parameters, different machine, best of 5 -- it varies quite a lot) time (ocamlbuild -clean; ocamlbuild facs_run.native) 4.03.0 1.36s 4.03.0+flambda Oclassic 1.68s O2 2.1s O3 2.80s the actual run: time ./facs_run.native 4.03.0 23.3s 4.03.0+flambda Oclassic 24.2s O2 22.7s O3 20.1s so it seems compilation on flambda classic is still a bit slower than non-flambda; as is the run time. the gains of O3 over non-flambda are still significant, as is the difference O2 vs O3. n --------------010301090409090000030106 Content-Type: application/pgp-keys; name="0xF0A5C638.asc" Content-Transfer-Encoding: quoted-printable Content-Disposition: attachment; filename="0xF0A5C638.asc" -----BEGIN PGP PUBLIC KEY BLOCK-----=0A= Comment: GPGTools - http://gpgtools.org=0A= =0A= mQENBFF1P80BCADdAuC23pvzGxUk7QlPdnT2yicvWGrQgI6pw3lhZ+aGdKa2lw67=0A= 0+DQLDl47h0VlrAIw7oSMf0GEV30ZyNYNyHODxxXsaq+AXmMy5XYqdNHXvaGxZ7w=0A= Tqyde5Cuk1KIUVwht2OfZNsL8kl2x2s6Ybe6jClIa5Dgwpg9pkfEys0AOVJBM0Q+=0A= +3vaP6CNQS95DzRLlx5VDHL6oBGxoFv1D3vBjG39mK4vr/kq2srVDP5kY/e9u+/f=0A= Q9SB53jwYA19pC1d9eQ0HVYaHOsQvo9bLxqj5LGpF8zFqS2u6vSrRqbblTYUPqEL=0A= UMahTiKi3UuJWzFePGtPM/VILBr2gXgrLI33ABEBAAG0IU5pbHMgQmVja2VyIDxi=0A= ZWNrZXIubmlsc0BnbXgubmV0PokBPQQTAQoAJwUCUXU/zQIbLwUJB4YfgAULCQgH=0A= AwUVCgkICwUWAgMBAAIeAQIXgAAKCRDl97jJ8KXGOPguB/4/1X6sCQq+EkS4aoS6=0A= u8b46ywdE8yvZQC2ozr/ni4o+ZmFH9z72/4NMVHKVcQcNl+trximLVXmXnHvLtxY=0A= Cb0sI6Z7ndxpepmv2m31wbtgg1PCDR4tdELaNEj0ZWCfUzG3QYCqqpoXeuOLhBv+=0A= 8g+2Fan5PRkjetG5bP05mwCj3dBH48CrKR03fc3xQO5hacw+bccLRm5Uh/r2ZPjV=0A= XIN+GHHEY7/EUJLc8M0BBSvpfpLHVJH55xReBwbZmIVihHmrYVl39CLp5jvfuF2d=0A= IzaBPdLRGA1yDQTSNtDXMWWmYebHV6DQSbY/zbM+ZziTEdnJfQbc5XqvhSysv19k=0A= tZuctDROaWxzIEJlY2tlciA8bmlscy5iZWNrZXJAYmlvcXVhbnQudW5pLWhlaWRl=0A= bGJlcmcuZGU+iQE+BBMBAgAoBQJRzb80AhsvBQkHhh+ABgsJCAcDAgYVCAIJCgsE=0A= FgIDAQIeAQIXgAAKCRDl97jJ8KXGOGxxB/42zW8lFnN95cMNSbekDF1AqC2X7tXB=0A= k3p3xMe2SreoB2z6u1zTfcqDlic8nXw7hJ1znkX/boQV5XaneILHsX4MctYjv69b=0A= duleNDUCmSeKam6ALoWalVwzkm+tqZNoiArLVHzJKwNttUyNe6/QCb7YtndhXUf5=0A= RKVdvfH+vr3NdzyD4kqLEpDdxMqjYRtj2nw+gdhx0/aN9UuM7FOnsbsxPqyt5YnX=0A= JIRb4Nlrl73TDJvaiNcaTc8ovpJBTFPTPBbLrkvAtaFgRDP0+2mOq/85u0Z9qCZj=0A= mSD7wvA8AFQdzAR8WyRNSe1n5hMOcV8RBTP/Ak2BzgVeNICNdCnrG2RbuQENBFF1=0A= P80BCADAT9/nHIAOShwcUa74tgRhHTmm+wGfCZN7PVXe6/KXVUy+Dk/GHrJWAufM=0A= BJ0t2C4djUtwYuqO4hBujkPTp6vnH8XCnDDpKFBb437tZKAafZTSMUay13LWxt/F=0A= WJwIk8vjVPY47iQjx6DpJZB1l7jKKsNoYZs6QBQuS4cQTbRbk4QKvlbZSsxVh5mZ=0A= nawRHdRmKhHQ+vDy6QZbh+Tgwhc2w2Dwl3D9I6FiXEKDDLLD4hI5e6r9vuAMRj/M=0A= 5vk6KRBYsncAfY/o3djmqi78b7ITRYeAjrmeE5xppliONw9B4ziknFjcGoMu96RP=0A= mkzCgNuT+uqvigeKux+ns1fQRENNABEBAAGJAkQEGAEKAA8FAlF1P80CGy4FCQeG=0A= H4ABKQkQ5fe4yfClxjjAXSAEGQEKAAYFAlF1P80ACgkQg+nyNi16oR6RdQf9Env3=0A= 0mUHfVO0/J4UqMSHehSEqyDvb6TUqwrY4Aa3CgVA+pM8P1moZugANmKrfG6u6okj=0A= pu8oQQP/IRBGjOhxmRXxQKnWokyP4185kzFIw+OvvZDi8/MrTV5IuiTcTjARPMnu=0A= mJ2OEz6lmNZ2SUyPYzzcefmSQJDQqradt/6xHuqsOzxxCscPpNejJQ3d0uncZkun=0A= GXgathRxfGDHP2Ys36mtJm/O9e04jUrI02kiaaLtFQj0ju+1WLtQ4gq5e87cDqZX=0A= 0um5hix+FNFDWqxcShj6gNWUjTnuHF3dr49zA9sM9x7LdsGQLksXde/FO1iCm36Y=0A= tyx1+SXj7iD3YZpaLtUCCACdVAKmcZc6qZ7/fT/w0R+WsiTBQVBVgA4bzUYpGITS=0A= CXk1Dq0dMCO36o6ug4ic3Oc0E/0UnpZ6QaWo8etSrwlhKJZvNp1hPzhDyR+ilQA9=0A= 0488vsTxVXlufnbvcS1u1K68rbn2xi9JiOAaHva1MoJuSl7hTcvTcLpVwirXXO8x=0A= MEWgVh6LBV3yZQTvmJS6CJWTNQ1y3CH0Zjb9T5AofQHF9cFo7BZikQfmtzNOdvol=0A= wl6JDP1kkHTvkAwlnCRWcoFLHnTwPO3bgSZLOX17yLMOQltXTEw8BMq/NwP2tDp0=0A= NwYoQhjeKVYFcDWs7veJBvcBnSTydhtsRdbUiAJE1GmK=0A= =3DH6Tn=0A= -----END PGP PUBLIC KEY BLOCK-----=0A= --------------010301090409090000030106--