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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 595237ED7A for ; Sun, 26 Aug 2012 22:54:12 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=pra; client-ip=192.109.42.8; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=mailfrom; client-ip=192.109.42.8; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@einhorn.in-berlin.de) identity=helo; client-ip=192.109.42.8; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="postmaster@einhorn.in-berlin.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApcCAPKLOlDAbSoIe2dsb2JhbABFhgO0aCIBARYmBCOCIQEFI1YQCwkRAiYCAhQYMYggBKhCkhIUgQ2JZ4V/MmADjXSHYJJ7 X-IronPort-AV: E=Sophos;i="4.80,316,1344204000"; d="scan'208";a="170860822" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 Aug 2012 22:54:11 +0200 X-Envelope-From: oliver@first.in-berlin.de Received: from first (e178029129.adsl.alicedsl.de [85.178.29.129]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id q7QKsALD013383 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Sun, 26 Aug 2012 22:54:10 +0200 Received: by first (Postfix, from userid 1000) id D95CF1540663; Sun, 26 Aug 2012 22:54:09 +0200 (CEST) Date: Sun, 26 Aug 2012 22:54:09 +0200 From: oliver To: Fabrice Le Fessant Cc: caml-list@inria.fr Message-ID: <20120826205409.GB2356@siouxsie> References: <503A30A7.3030707@gmail.com> <503A817E.20109@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <503A817E.20109@gmail.com> User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 Subject: Re: [Caml-list] How to profile compiler's performance 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. [...] Will this become part of the standard installation? Ciao, Oliver