From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B90C7800A5 for ; Wed, 21 Dec 2016 18:43:36 +0100 (CET) Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alain.frisch@lexifi.com) identity=pra; client-ip=185.56.204.35; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alain.frisch@lexifi.com) identity=mailfrom; client-ip=185.56.204.35; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@vrout30.yaziba.net) identity=helo; client-ip=185.56.204.35; receiver=mail2-smtp-roc.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=3AmVzOxxeluREDjPbC/P/4PfTHlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc68YB7h7PlgxGXEQZ/co6odzbGH6OawAydRuN7B6ClEK8McEUddyI?= =?us-ascii?q?0/pE8JPo2sMQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7Mhdp?= =?us-ascii?q?dKyuQtaBx+z+7e25+oXSbgNUn3L9JOoqdFTl5TnW4+wfm4gqEaYwzATEpn8AL+?= =?us-ascii?q?FNxWJuOl+Xmz7+78G954J5/ilM/fkm8pgEGYrzdb45QLgQNz8mPno4/oW/uhDJ?= =?us-ascii?q?VwqC4j0HWWUbiBdSKwfA5RD+GJz2t32pmPB63XyzOcT3S/gaQzW55KcjHBbsgS?= =?us-ascii?q?YBcTAj8XrciuR0gbJarhPnrBt6ld2HKLqJPeZzK/uONegRQnBMC4MID3RM?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AkAACIvlpYhyPMOLldGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBgwoBAQEBAYEqjxyVXg6XD4YiAoIhEAEBAQE?= =?us-ascii?q?BAQEBAQEBEgEBAQoLCQkdMIIzBAEVAQSCFwEFIxVBEAsOCgICJgICVwYBDAgBA?= =?us-ascii?q?YhsAag/giiLCAEBAQEBBQEBAQEBAQEBIIELhSuBfQiCVIdEgl0BBJp3gXqPP4o?= =?us-ascii?q?ihi+KP4NlhA0CNoEnUYN2gWmHeoFPAQEB?= X-IPAS-Result: =?us-ascii?q?A0AkAACIvlpYhyPMOLldGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBgwoBAQEBAYEqjxyVXg6XD4YiAoIhEAEBAQEBAQEBAQEBEgEBA?= =?us-ascii?q?QoLCQkdMIIzBAEVAQSCFwEFIxVBEAsOCgICJgICVwYBDAgBAYhsAag/giiLCAE?= =?us-ascii?q?BAQEBBQEBAQEBAQEBIIELhSuBfQiCVIdEgl0BBJp3gXqPP4oihi+KP4NlhA0CN?= =?us-ascii?q?oEnUYN2gWmHeoFPAQEB?= X-IronPort-AV: E=Sophos;i="5.33,384,1477954800"; d="scan'208";a="251073000" Received: from vrout30-bl.yaziba.net (HELO vrout30.yaziba.net) ([185.56.204.35]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 21 Dec 2016 18:43:20 +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 8178F520B0; Wed, 21 Dec 2016 18:43:20 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mtaout20.int.yaziba.net (Postfix) with ESMTP id 71B0E160279; Wed, 21 Dec 2016 18:43:20 +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 5G-zfna-vPYL; Wed, 21 Dec 2016 18:43:20 +0100 (CET) Received: from [10.0.210.201] (unknown [185.23.92.144]) by mtaout20.int.yaziba.net (Postfix) with ESMTPSA id 4388916062C; Wed, 21 Dec 2016 18:43:20 +0100 (CET) To: Mark Shinwell , Gabriel Scherer 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> <1506c421-618a-28d4-9a7b-7ba49baf47fa@lexifi.com> <45f9251b-c362-ac9f-fa71-07ab42087c90@lexifi.com> <1482337872.4629.108.camel@gerd-stolpmann.de> Cc: Yotam Barnoy , Gerd Stolpmann , =?UTF-8?B?RnLDqWTDqXJpYyBCb3Vy?= , "Soegtrop, Michael" , =?UTF-8?Q?Christoph_H=c3=b6ger?= , "caml-list@inria.fr" From: Alain Frisch Message-ID: Date: Wed, 21 Dec 2016 18:43:18 +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: gggruggvucftvghtrhhoucdtuddrfeelfedrkedvgdelfecutefuodetggdotefrucfrrhhofhhilhgvmecuggftfghnshhusghstghrihgsvgenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmnecujfgurhepuffvfhfhkffffgggjggtgfesthejredttdefjeenucfhrhhomheptehlrghinhcuhfhrihhstghhuceorghlrghinhdrfhhrihhstghhsehlvgigihhfihdrtghomheqnecukfhppedukeehrddvfedrledvrddugeegnecurfgrrhgrmhepmhhouggvpehsmhhtphhouhht X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht Subject: Re: [Caml-list] Closing the performance gap to C On 21/12/2016 17:56, Mark Shinwell wrote: > I agree with Gabriel, but, we are planning substantial work within > Flambda during the coming year to implement unboxing transformations > therein. I do think we should spend a little time, before diving into > this particular issue, convincing ourselves that these two tracks of > work are going to be complementary rather than conflicting. Dealing with boxing/unboxing in flambda rather than keeping it at the cmm level certainly seems the way to go in the context of the flambda pipeline. This will probably need to touch the definition of clambda (to bring it closer to cmm) and thus cmmgen. Do you believe this is compatible with continuing sharing clambda and cmmgen between the flambda and non-flambda pipeline? At some point, it might be more natural, or just required, to compile flambda directly to cmm without going through clambda. What do you think? If the flambda pipeline targets cmm directly without going through clambda/cmmgen, the approach discussed here (for the non-flambda case) should not interact too much with the flambda version. As far as I can tell, they would mostly share the plumbing required to pass more info from typedtree to lambda. Alain