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 A8B78800A3 for ; Wed, 21 Dec 2016 15:45:52 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yotambarnoy@gmail.com; spf=Pass smtp.mailfrom=yotambarnoy@gmail.com; spf=None smtp.helo=postmaster@mail-yw0-f173.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yotambarnoy@gmail.com) identity=pra; client-ip=209.85.161.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="yotambarnoy@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yotambarnoy@gmail.com designates 209.85.161.173 as permitted sender) identity=mailfrom; client-ip=209.85.161.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="yotambarnoy@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-yw0-f173.google.com) identity=helo; client-ip=209.85.161.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="postmaster@mail-yw0-f173.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AZ+4PlRynDM9xL/TXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+ofIJqq85mqBkHD//Il1AaPBtSAraIewLeK+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFGiTanYr5+Mhq6oAXeu8ILnYZsN6E9xwfTrHBVYe?= =?us-ascii?q?pW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbf?= =?us-ascii?q?VwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8rxmQwH0hi?= =?us-ascii?q?gZKzE58XnXis1ug6JdvBKhvAF0z4rNbI2IKPZyYqbRcNUHTmRDQ8lRTTRMDYGy?= =?us-ascii?q?b4UPAeQPPvtWoZfhqFYVsRuyGROhCP/zxjNUhHL727Ax3eQ7EQHB2QwtB9ABsH?= =?us-ascii?q?PIrNrvMacZTP24w7PSzTXFaPNX2Sr25Y/IcxAmvfGDR7dwftHLxkk1EQPFiVWR?= =?us-ascii?q?pJfqPzOQzOsNsmyb4/B8WuKojm4qsgd8qSWhyMcrj4nGnIMVylbc+CV4xoY1P9?= =?us-ascii?q?y4R1Rhbd6qCptdsTyROYhuQs46XW1kpCI3xqcFtJO7ZiQG1ZUqywPFZ/CacYWF?= =?us-ascii?q?7BTuX/uLLzhinnJqYre/ig6y8Ue+zu38UdG50FNQoSpEltnAr3AM1hLP5sSeRP?= =?us-ascii?q?tx40Ws1DiV2wDc7eFEJk80la7FJJI73rEwkZ8TvVzCHi/whkr2kLebels49uWs?= =?us-ascii?q?8ejqYbXrqoWBO4J1lw3yKLkil86xDOggNwgBRWmb+eCy1L35+k35Ra1Hj/0xkq?= =?us-ascii?q?nFqp/aIN8UqbSjAw9T1YYi6w2yDzij0NsCnHkHKEhJdw6Aj4jsI13OOuz3De+j?= =?us-ascii?q?g1Swlzdm3+zJMafkApXJN3TDlLbhfa1h60NH0woyzdVf54pOBb0bIfLzXFXxtN?= =?us-ascii?q?3CARMjPQy02bWvNNIo/4cXWGTHLLWYK6jS+QuB4usuJa+Cfo4OszbVL/U15vDv?= =?us-ascii?q?y3Q+nAlOU7Ou2M4mb2yxG7xMKl+fZmuk1sYGDW4PtAMkSuv7oFKHWD9XIX21Wv?= =?us-ascii?q?RvtXkAFIu6ANKbFciWi7ub0XL+R8UOaw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AoAACXlFpYhq2hVdFDGhoBAQEBAgEBA?= =?us-ascii?q?QEIAQEBARUBAQEBAgEBAQEIAQEBAYMKAQEBAQF5gQcHjUmWU4hmjC2CCiqFeAK?= =?us-ascii?q?BVQc/FAEBAQEBAQEBAQEBEgEBAQgLCwkdMIIzGgGCGwEEASMdARsdAQMBCwYFC?= =?us-ascii?q?w8CJgICIgERAQUBHAaIYwEDDwgOLptYP4wCggQFAR6DDQWDZgoZJw1Ugm8BAQE?= =?us-ascii?q?BBgEBAQEBGwIBBRJ5hSuDUYEIgwOEQYJdBZABinaGUopnkFGQbRQegRQfgT5RE?= =?us-ascii?q?oNEDxELgXsgNAGIVwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AoAACXlFpYhq2hVdFDGhoBAQEBAgEBAQEIAQEBARUBAQE?= =?us-ascii?q?BAgEBAQEIAQEBAYMKAQEBAQF5gQcHjUmWU4hmjC2CCiqFeAKBVQc/FAEBAQEBA?= =?us-ascii?q?QEBAQEBEgEBAQgLCwkdMIIzGgGCGwEEASMdARsdAQMBCwYFCw8CJgICIgERAQU?= =?us-ascii?q?BHAaIYwEDDwgOLptYP4wCggQFAR6DDQWDZgoZJw1Ugm8BAQEBBgEBAQEBGwIBB?= =?us-ascii?q?RJ5hSuDUYEIgwOEQYJdBZABinaGUopnkFGQbRQegRQfgT5REoNEDxELgXsgNAG?= =?us-ascii?q?IVwEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,383,1477954800"; d="scan'208";a="205387106" Received: from mail-yw0-f173.google.com ([209.85.161.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 21 Dec 2016 15:45:51 +0100 Received: by mail-yw0-f173.google.com with SMTP id a10so100312388ywa.3 for ; Wed, 21 Dec 2016 06:45:51 -0800 (PST) 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=mnVdgNthQzUi6pYLvt02sKFqRyQlYgaZaOuK8JS1llM=; b=GMr6o+UQpx3luKRHwodXUPa88MCKazJpDZoeHec/wBoaM/5PxFkd4GaeDGnhItpoXM Ujh5qmeGVyFjfhrcmdELmeGbyTBvAaVv/yqEeCwNK8Ah4PhKCVCzovwMXHIduOdVXvJA /cuC7UWsCus2y9A95Zb9pJ492qLRXCrUgAfrrXPIA9x5Qj2ioWlMU3x/t5MsCAFOixWC T82v1bfb6plgwLWa5mMzTMNogqvc4rhHlXvF/Hn57IzcySbVLD5qnlQaFEePOklyWk9Q QiP7mcMic/YjQKW+9ODVE2gBxGkf0rh2+yPHEPsBmnjtF20UvGjSKg5rNOA5BYk4CNZO XCKA== 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=mnVdgNthQzUi6pYLvt02sKFqRyQlYgaZaOuK8JS1llM=; b=lSP/X7ScPPVNfX37G6EiCmp73PuJYEsB+gnnSFGTNqxV8YPdYkRxaxJYuKw30WM3Qc tnvk49VzDDEwX9RrSRxyLRBO0jIHOAHBcMWYaBIfLz2NdpGwgrh+DcMituJMX+JSRFQE SVpDrQt0rAEUZF1nGkARLptPbyR718eiyIdea+RDmc7/f1bb40GELbpBJ+sLo7hfRkzH 6JvKI55xmullHxjtf3zshB1O9L41yd9DYZ5DdVcRB1cJlT8mWqPw8k19AzQWVNRDfg08 WAZqkmse7LkPR8XZsubib7JURMwXXeIKjAhCszt3j+2huob7J/g25DhZvLE/8x6kh7RJ GEOA== X-Gm-Message-State: AIkVDXInO0UcfXb/7rIQixHEYNPdTXSmInYlWpw6ciFuoJldsmz+6J0tB8Xrw4jdbF5FgEHe7ku8dxi/5STpUg== X-Received: by 10.129.159.85 with SMTP id w82mr3722527ywg.29.1482331549891; Wed, 21 Dec 2016 06:45:49 -0800 (PST) MIME-Version: 1.0 Received: by 10.37.18.86 with HTTP; Wed, 21 Dec 2016 06:45:29 -0800 (PST) In-Reply-To: <1506c421-618a-28d4-9a7b-7ba49baf47fa@lexifi.com> 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> From: Yotam Barnoy Date: Wed, 21 Dec 2016 09:45:29 -0500 Message-ID: To: Alain Frisch Cc: =?UTF-8?B?RnLDqWTDqXJpYyBCb3Vy?= , Gerd Stolpmann , "Soegtrop, Michael" , =?UTF-8?Q?Christoph_H=C3=B6ger?= , "caml-list@inria.fr" Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Closing the performance gap to C > 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 I think it's not worth the effort. You need to examine all the code dealing with a parameter (ie. its flow) to see if any generic function is called on that parameter. This is work best left to Flambda. Even if a generic function is called on said parameter, you can still express a cost-based approximation to determine whether unboxing is worthwhile. This is all large-scale optimization rather than peephole optimization, and fits better under Flambda's umbrella IMO. -Yotam