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 62A26801CD for ; Sun, 27 Aug 2017 15:25:07 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=alex.only.d@gmail.com; spf=Pass smtp.mailfrom=alex.only.d@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f44.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alex.only.d@gmail.com) identity=pra; client-ip=209.85.214.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alex.only.d@gmail.com"; x-sender="alex.only.d@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of alex.only.d@gmail.com designates 209.85.214.44 as permitted sender) identity=mailfrom; client-ip=209.85.214.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alex.only.d@gmail.com"; x-sender="alex.only.d@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f44.google.com) identity=helo; client-ip=209.85.214.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alex.only.d@gmail.com"; x-sender="postmaster@mail-it0-f44.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ApZRPCxwEIuFjc8bXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0u0fIJqq85mqBkHD//Il1AaPBtqLra8cw8Pt8IneGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2NBXupSie5CATFl3WMQ5u?= =?us-ascii?q?IfztUtrelc3y0e2t4LXWbhlBnya0arA0JxKz+1b/rM4T1KJmJ7Y821PkrXxSfP?= =?us-ascii?q?oekWpsKELVmBD494G81JFm+iVU/fkm8pgTAu3BY60kQOkAX3wdOGcv6ZizuA?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C1BABMx6JZhizWVdFCGhoBAQEBAgEBA?= =?us-ascii?q?QEIAQEBARYBAQEDAQEBCQEBAYNUAT6BFQeDcJoyLmdYBIkpjw8hC4UbAoNcB0M?= =?us-ascii?q?UAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMigkQBAQEDASIdARsdAQMMBgULAwoCA?= =?us-ascii?q?iYCAiIBEQEFARwGExqJfgEDCA0QMqYcQIwLggUFARyDCQWDVAoZJw1Xg0QBAQE?= =?us-ascii?q?BAQEBAwEBAQEBGwIGEnuCHYICNFOFUoMmhGKCYQWSL441h1aMcIISWoUMinCUd?= =?us-ascii?q?BUfgRU2gS4yISReGoRvEA8MgW45NgGLBAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0C1BABMx6JZhizWVdFCGhoBAQEBAgEBAQEIAQEBARYBAQE?= =?us-ascii?q?DAQEBCQEBAYNUAT6BFQeDcJoyLmdYBIkpjw8hC4UbAoNcB0MUAQEBAQEBAQEBA?= =?us-ascii?q?QESAQEBCAsLCCgvgjMigkQBAQEDASIdARsdAQMMBgULAwoCAiYCAiIBEQEFARw?= =?us-ascii?q?GExqJfgEDCA0QMqYcQIwLggUFARyDCQWDVAoZJw1Xg0QBAQEBAQEBAwEBAQEBG?= =?us-ascii?q?wIGEnuCHYICNFOFUoMmhGKCYQWSL441h1aMcIISWoUMinCUdBUfgRU2gS4yISR?= =?us-ascii?q?eGoRvEA8MgW45NgGLBAEBAQ?= X-IronPort-AV: E=Sophos;i="5.41,436,1498514400"; d="scan'208";a="235441534" Received: from mail-it0-f44.google.com ([209.85.214.44]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 27 Aug 2017 15:25:02 +0200 Received: by mail-it0-f44.google.com with SMTP id 77so16092777itj.0 for ; Sun, 27 Aug 2017 06:25:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=8LN9XKnAeeMrKXJ/wff6haGII23fqxFUpB+T2rDaYXc=; b=Mr6jOH1RFFsKaUmsMEipFNLKhbXoXYxZATZRLzXEHfOc3fG0nkzmYbRnb7IR2+YbeV SKbkDyxuApSwryY8dUI0wkPgvn76o7nw2q8oqjvakqJi5DiiJMh0cDd2rpq3XFw/gsbM YkzAQgRirZEZOUeCg2acMbYf45OQNVnBd12dCbzU6dgmO67k0espH9sBbhwvlKvc8A46 8/FpTeisZ7DTzkYS5L14wHxsdb5LAVvJVdj2YS0aCvOfYD1eLGsFyo+DG6OT+D+XQmjs N2eRBo65mZ6mnfFc1zRNwVpS6/3arsWlcPIkA2mrv1p618FY56g/mRhUffdxM2lpqxgr rkxA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=8LN9XKnAeeMrKXJ/wff6haGII23fqxFUpB+T2rDaYXc=; b=Rj+1v4C1/ztJfn9UjI+nLK3ffkB/OQBjo/RxGjTH8z/vNRYhpl83WtmMj7LBNnnMf3 tu1CPW5gTR1kR6Iltsf79+PKA+SrQrnryc1HtCoQzMEk8xjVCUr7ofXoQdSo1Bp/Jq9N ji/bu9qjkw5mGKdkcRIxPdHbMCmJ2m5rF+bd4i+kMgnFoIVmUmE9pqfW8BqbW36XYk6x jfp3+rkF943jADi7l6yEbJafY4m4elZD03cTO+GppMm4/ELiJImWikp5FUm+ssEXqPpH /UMGMhQokALWDfLfv+IvXkC1xapD/h7dKusrj1dEcpbNYXrm8OqLrA/h5oxbwvFHv0n/ 48Jg== X-Gm-Message-State: AHYfb5g87hV4qzu90/4RLM72xxm4cmo44KPG+NiRLLvcLMYtn1AWJnnL 0e7yHfponrL0v9RaL1zjyE1SZNtc2y6C X-Received: by 10.36.63.139 with SMTP id d133mr3251663ita.175.1503840301052; Sun, 27 Aug 2017 06:25:01 -0700 (PDT) MIME-Version: 1.0 Received: by 10.2.77.84 with HTTP; Sun, 27 Aug 2017 06:25:00 -0700 (PDT) In-Reply-To: References: From: Alexey Egorov Date: Sun, 27 Aug 2017 18:25:00 +0500 Message-ID: To: David Allsopp Cc: caml users Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] flambda optimizations depends on unrelated things Sure https://caml.inria.fr/mantis/view.php?id=7614 2017-08-27 13:33 GMT+05:00 David Allsopp : > Alexey Egorov wrote: >> Hello, >> >> I'm trying hard to make efficient pure functional streams >> implementation - and while playing with flambda, I'm discovered that >> optimizations is VERY fragile and sometimes depends on completely >> unrelated things. >> >> Sometimes flambda goes mad if you change filename or just add some >> empty lines to your source. >> >> Here is example, where renaming source file increases code size by a >> factor of 2 because of some unfortunate inliner decisions: >> >> $ ls >> fragile.ml >> $ cp fragile.ml fragile2.ml >> $ md5sum * >> 6a13d560736c81b3e5b5dfe7f13c2f56 fragile2.ml >> 6a13d560736c81b3e5b5dfe7f13c2f56 fragile.ml >> $ ocamlopt -version >> 4.05.0 >> $ ocamlopt -O3 fragile.ml -dflambda 2>&1 | wc -l >> 1774 >> $ ocamlopt -O3 fragile2.ml -dflambda 2>&1 | wc -l >> 3835 >> >> Here is the code - https://pastebin.com/Y1DDidyN > > Please could you file a report on Mantis? https://caml.inria.fr/mantis > > > David > >