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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 2DF6A7ED7A for ; Mon, 27 Aug 2012 10:00:31 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of benedikt.meurer@googlemail.com) identity=pra; client-ip=74.125.82.52; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="benedikt.meurer@googlemail.com"; x-sender="benedikt.meurer@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of benedikt.meurer@googlemail.com designates 74.125.82.52 as permitted sender) identity=mailfrom; client-ip=74.125.82.52; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="benedikt.meurer@googlemail.com"; x-sender="benedikt.meurer@googlemail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f52.google.com) identity=helo; client-ip=74.125.82.52; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="benedikt.meurer@googlemail.com"; x-sender="postmaster@mail-wg0-f52.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmIDALYoO1BKfVI0jWdsb2JhbABFhTyxNYN5CCIBAQEBCQkLCRIGI4IgAQEBAwESAiYGAQE3AQQLCwsNHBI0AQUBHAY1h1sBAwYGBJtjCQOKZYQwAQWEVQpADYlIBosIhjFglViONz6EBQ X-IronPort-AV: E=Sophos;i="4.80,318,1344204000"; d="scan'208";a="153892443" Received: from mail-wg0-f52.google.com ([74.125.82.52]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Aug 2012 10:00:30 +0200 Received: by wgbfg15 with SMTP id fg15so3045468wgb.9 for ; Mon, 27 Aug 2012 01:00:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=subject:mime-version:content-type:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to:x-mailer; bh=YiRHeWhPZj4oe32qZXex/fxe9JBuBEHqg1O3M8DGTu4=; b=Avw90yPoK4ZAwcgd9a6jMp3xp48dsWMqcgOwCsVf2izcV7UbJ9cmJsueQ/tRpRkQqt gHKJevNcBtqg3Dh4lmuNKs+hY3GJQIQ18/+wyejhHFncTEdTIthz3dE7KKSskosOA2cj HdMVv7OpmJrXL/eDKCvBBZSOB3F0ZSZjlikbZckgOwW85u7XRaP1UGYXL8JafRN+mAir FHFmkeKb6vD2JwKScuTt38oT4t/hm4D9wznce3qKUDygVrW70BfU1yuTDIk4VzonobH7 8UvYjYc3r/z3NPZEteYufNsd3aDfk5yy9w3HnjTO713+fnHIZH2ntDcd8yHINGr8QEuw Asbw== Received: by 10.180.103.4 with SMTP id fs4mr10713552wib.16.1346054430133; Mon, 27 Aug 2012 01:00:30 -0700 (PDT) Received: from bm2012nb.os.de (ip-178-203-0-221.unitymediagroup.de. [178.203.0.221]) by mx.google.com with ESMTPS id l6sm13912798wiz.4.2012.08.27.01.00.28 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 27 Aug 2012 01:00:29 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v1278) Content-Type: text/plain; charset=us-ascii From: Benedikt Meurer In-Reply-To: <20120826205409.GB2356@siouxsie> Date: Mon, 27 Aug 2012 10:00:30 +0200 Cc: Fabrice Le Fessant , caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: <6DA23856-2F2F-47FD-82CB-1F1B25264148@gmail.com> References: <503A30A7.3030707@gmail.com> <503A817E.20109@gmail.com> <20120826205409.GB2356@siouxsie> To: oliver X-Mailer: Apple Mail (2.1278) Subject: Re: [Caml-list] How to profile compiler's performance On Aug 26, 2012, at 22:54 , oliver wrote: > On Sun, Aug 26, 2012 at 10:05:18PM +0200, Fabrice Le Fessant wrote: > [...] >> Benedikt Meurer submitted a linear scan allocator at some point, you >> might want to try to compile your file with his compiler to see if >> it goes faster. > [...] To be exact, it was submitted by Marcell Fischbach who did this as part of = his diploma thesis, supervised by me. > Will this become part of the standard installation? Probably not, Xavier suggested to improve the existing graph coloring alloc= ator instead. > Ciao, > Oliver greets, Benedikt=