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 2C338800A3 for ; Wed, 21 Dec 2016 12:25:40 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=alain.frisch@lexifi.com; spf=None smtp.mailfrom=alain.frisch@lexifi.com; spf=None smtp.helo=postmaster@vrout30.yaziba.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alain.frisch@lexifi.com) identity=pra; client-ip=185.56.204.35; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alain.frisch@lexifi.com) identity=mailfrom; client-ip=185.56.204.35; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@vrout30.yaziba.net) identity=helo; client-ip=185.56.204.35; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="postmaster@vrout30.yaziba.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AaInp9BBh8lWWmxJ8hUGdUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPX7o8bcNUDSrc9gkEXOFd2CrakV0KyG6eu5BSQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5b75+Nha7oRveusULjoZpN7o8xAbOrnZUYe?= =?us-ascii?q?pd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQbNXEDopPWY15Nb2tRbY?= =?us-ascii?q?VguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu86FmQwLzhS?= =?us-ascii?q?wZKzA27n3Yis1ojKJavh2hoQB/w5XJa42RLfZyY7/Rcc8fSWdHQ81fVTFOApmk?= =?us-ascii?q?YoUSEeQBM+ZWoYrzqVQAohSxBxWjCuz0xz9UhHL7x7E23/gvHAzE2gErAtIAsG?= =?us-ascii?q?7TrNXwLKofTeS1w7PJzTXFcvhY2S396InTch89ofGHQLV9ftDVyUY1FgPFiE+c?= =?us-ascii?q?qYL/PzOUzeQCr2ib4vFkVe2xhG8nqg9xojm1ysgwjYnJg5sYx1bZ/it3x4Y1IM?= =?us-ascii?q?e3SE99YdO8EZtQsTuaN4psTc84TWFooiA3waAFt56jZCUG1Zcqyh7FZ/GHcoWE?= =?us-ascii?q?+AzvWPqeLDtiin9oeKqziwux/EWg0OHwSMe53ExOoyZbiNXAq38A2hPV58OaUP?= =?us-ascii?q?Vy5F2h1iyK1w3L6uFLP0Q0la3DJp4/2L4wkYcTsVjNEyPqgkn3jLWZd0Ql+uez?= =?us-ascii?q?8evreLPmqYGAN4NsiwH+NLohmtCnDOglMQUDX3KX9OS92bH540H1XLpHguc4n6?= =?us-ascii?q?TZqJzaIN4Upq+9Aw9byIYj7BO/Ai+839Qch3YHLVRFdAiJj4jzOlHOO+z3Dfek?= =?us-ascii?q?jlSojjhqyPHGPrPgApnXMnfDl7Lhca5n60FA0Aoz0cxf55VMB74dOv3zX0vxuM?= =?us-ascii?q?XcDh84KAy03/3qCM5914MbQWKAGLWVMKLUsV+S5+IgOfOAZIEPuDrlLvgl4OPh?= =?us-ascii?q?gmEhlF8GeKmpwYMXaHelHvR6cA2lZi/dhcsIFC8gtxA4S/2i3EyFTTdWbX+oWa?= =?us-ascii?q?Utzj4+AYOiS4zEQ9bpyJKbXSs6BJxdLkpBF0rERXnyeomJQfYHLiiVP9VJljUH?= =?us-ascii?q?XLKoTckn2A345yHgzL8yB+7d+ytQm4jiz9N1r7nakRgz83p6FcWG2GGlS2xkn2?= =?us-ascii?q?0JATQx2fYs8gRG1l6f3P0g0LRjHttJ6qYMC19iOA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AmAAB5ZVpYhyPMOLlDGhoBAQEBAgEBA?= =?us-ascii?q?QEIAQEBARUBAQEBAgEBAQEIAQEBAYMKAQEBAQF5gQaOQ5VgDpcOKoV4AoIzEAE?= =?us-ascii?q?BAQEBAQEBAQEBEgEBAQoLCQkdMIIzGgGCGwEFIxVBEAsYAgImAgJXBgEMCAEBF?= =?us-ascii?q?4hUAQkuqAiCKIsVAQEBAQEFAQEBAQEBARwFgQuFK4F9glyDA4RBgl0BBJp2gXq?= =?us-ascii?q?EWIpmiiGGL4o+g2WEDQI2gSZQg3WBaXEBiFcBAQE?= X-IPAS-Result: =?us-ascii?q?A0AmAAB5ZVpYhyPMOLlDGhoBAQEBAgEBAQEIAQEBARUBAQE?= =?us-ascii?q?BAgEBAQEIAQEBAYMKAQEBAQF5gQaOQ5VgDpcOKoV4AoIzEAEBAQEBAQEBAQEBE?= =?us-ascii?q?gEBAQoLCQkdMIIzGgGCGwEFIxVBEAsYAgImAgJXBgEMCAEBF4hUAQkuqAiCKIs?= =?us-ascii?q?VAQEBAQEFAQEBAQEBARwFgQuFK4F9glyDA4RBgl0BBJp2gXqEWIpmiiGGL4o+g?= =?us-ascii?q?2WEDQI2gSZQg3WBaXEBiFcBAQE?= X-IronPort-AV: E=Sophos;i="5.33,383,1477954800"; d="scan'208";a="205361804" Received: from vrout30-bl.yaziba.net (HELO vrout30.yaziba.net) ([185.56.204.35]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 21 Dec 2016 12:25:39 +0100 Received: from mtaout20.int.yaziba.net (mtaout20.int.yaziba.net [10.4.20.37]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by vrout30.yaziba.net (mx10.yaziba.net) with ESMTPS id B724051F7E; Wed, 21 Dec 2016 12:25:38 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mtaout20.int.yaziba.net (Postfix) with ESMTP id 9DB00160206; Wed, 21 Dec 2016 12:25:38 +0100 (CET) X-Virus-Scanned: amavisd-new at mtaout20.int.yaziba.net Received: from mtaout20.int.yaziba.net ([127.0.0.1]) by localhost (mtaout20.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id aU9x5VV7RNli; Wed, 21 Dec 2016 12:25:38 +0100 (CET) Received: from [10.0.210.201] (unknown [185.23.92.144]) by mtaout20.int.yaziba.net (Postfix) with ESMTPSA id 56E181601CF; Wed, 21 Dec 2016 12:25:38 +0100 (CET) To: Yotam Barnoy , =?UTF-8?B?RnLDqWTDqXJpYyBCb3Vy?= References: <7bc766a2-d460-524b-35ca-89609a34b719@tu-berlin.de> <1482148297.4629.19.camel@gerd-stolpmann.de> <0F7D3B1B3C4B894D824F5B822E3E5A172CFB9581@IRSMSX102.ger.corp.intel.com> <1482165686.4629.28.camel@gerd-stolpmann.de> Cc: Gerd Stolpmann , "Soegtrop, Michael" , =?UTF-8?Q?Christoph_H=c3=b6ger?= , "caml-list@inria.fr" From: Alain Frisch Message-ID: <1506c421-618a-28d4-9a7b-7ba49baf47fa@lexifi.com> Date: Wed, 21 Dec 2016 12:25:36 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.5.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-DRWEB-SCAN: ok X-VRSPAM-SCORE: -100 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrfeelfedrkedvgdduiecutefuodetggdotefrucfrrhhofhhilhgvmecuggftfghnshhusghstghrihgsvgenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmnecujfgurhepuffvfhfhkffffgggjggtgfesthejredttdefjeenucfhrhhomheptehlrghinhcuhfhrihhstghhuceorghlrghinhdrfhhrihhstghhsehlvgigihhfihdrtghomheqnecuffhomhgrihhnpehinhhrihgrrdhfrhenucfkphepudekhedrvdefrdelvddrudeggeenucfrrghrrghmpehmohguvgepshhmthhpohhuth X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht Subject: Re: [Caml-list] Closing the performance gap to C On 19/12/2016 18:19, Yotam Barnoy wrote: > Yes, this is a current weak point of OCaml compilation, which I've > reported here (https://caml.inria.fr/mantis/view.php?id=7289). The > only real solution to this currently is to improve Flambda to the > point that unboxing is done at the Flambda level rather than at > cmmgen. The issue could very well be addressed outside flambda, at the cmmgen level. See https://caml.inria.fr/mantis/view.php?id=5894 . Making flambda aware of boxing can help its inlining decisions, but the notion of having specialized unboxing calling convention is not really tied to flambda. Pushing #5894 forward could have a direct impact on numerical code. I think it would really be useful to work on that, even if flambda also does something along these lines, at some point. -- Alain