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 3253D7EDC2 for ; Tue, 20 Nov 2012 21:43:08 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.136.218.156; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=mailfrom; client-ip=98.136.218.156; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nm11-vm1.bullet.mail.gq1.yahoo.com) identity=helo; client-ip=98.136.218.156; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm11-vm1.bullet.mail.gq1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArIJAIHqq1BiiNqcX2dsb2JhbAA4BAmGIKl0kkcWAxYNCgYTKoIZBQEBBAELGAgVAQIVIQEBAwsGBRoCJgICLwEOAQQCEgYBiAwBAQIJBgSsa08JgWWBCoUJASMDASMDiVcBBgoBAYEWiySDUYETA4hcjSmFZC1QiA9rg28 X-IronPort-AV: E=Sophos;i="4.83,287,1352070000"; d="scan'208";a="182404868" Received: from nm11-vm1.bullet.mail.gq1.yahoo.com ([98.136.218.156]) by mail1-smtp-roc.national.inria.fr with ESMTP; 20 Nov 2012 21:43:07 +0100 Received: from [98.137.12.189] by nm11.bullet.mail.gq1.yahoo.com with NNFMP; 20 Nov 2012 20:43:05 -0000 Received: from [98.137.12.221] by tm10.bullet.mail.gq1.yahoo.com with NNFMP; 20 Nov 2012 20:43:05 -0000 Received: from [127.0.0.1] by omp1029.mail.gq1.yahoo.com with NNFMP; 20 Nov 2012 20:43:05 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 825709.51154.bm@omp1029.mail.gq1.yahoo.com Received: (qmail 10286 invoked by uid 60001); 20 Nov 2012 20:43:05 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1353444185; bh=7DZTv0ZzgMEpVsGfbUt+ldGgd+SezonUjccTbKvW76Q=; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=p+vV21X4KhFnVPJV8mM5r0cxd6XjxTXsCkMNbbQBwRYbkCKB3Du9wB8Z7icYg+LXU3ZWzRQ9qSnYhzcRm9ZAYAoKARapK8a4LkLCcb5auNXpI4IXba0M0+RDpu7D9lcJYEUIPAEairt6HZ7TXuBkq7cSlc7f3RTJim/MJ7Y7OfU= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=ZIVHwFfdTy0hFzHAdB61jCoQ8uxDILlnSBp5hOconlHeLnWM/Cd+b9KLUecDkb/eIa1yuUdmqvpkKaKzC0D8vsb6vEkTbifFnn3B7rjofWyMXP9c2IKWGDyG8KORX/B79K07xeHlmQXh35bGLQYmvTWQKU2dGV7ZiU+k4ajL2j0=; X-YMail-OSG: kiuhOBwVM1kGu_82uiuiPrbdJ0hFoH2sgw3ARx54XrnO6sx yLEHJPKWajMum.NyaeRCRe6o8G66HKXnwmVO482jmS_JsK37amJGoph.d0wa TIUBFTsdinZ8R.Pic.1TXswJfEU9gpMOj6JOZ084RdNEnOyfBwNp_mz_YE_L wMHclrayOi6Yce5GljANTwqtKwzR_N5eiHIrOlEFYaDNcjEXIiBJXt8QJkWE AsojbCZpeVwSGhdlXu1g8JGoruYFXCr_PzTy7GuPME5MRJwelI0X76zqX0Bx Na1fhytnmEHqdZZsFIOuC.qElYT7s881iSfZi_pfLnfrAvXU.G5RR9y9A9Gh xBaJeHYFsYgZ0emo1VEaFHWQ_I.fa30T.azBoKjpxML7GtkBNczTpdmsynOz sUtQ8HxTqGi2GQPAKy.Kf0iD2RmBiRsSvA.Suvq7s.VecJyJ7zRmmh2qgYlY .nUXEN5LyqyPedJ5Z6iI87asaF5d9AEqn3izPidAI32OF7YIvGW_gDiWodTN 1lmCr4g-- Received: from [195.23.39.105] by web111513.mail.gq1.yahoo.com via HTTP; Tue, 20 Nov 2012 12:43:05 PST X-Rocket-MIMEInfo: 001.001,SGksCgpBbmQgdGhhbmsgeW91LCBHYWJyaWVsIGFuZCBQaWVycmUsIGZvciB5b3VyIGluc2lnaHRzLgoKCgo.IEknZCByYXRoZXIgaGF2ZSBwZW9wbGUgc3R1ZHkgdGhlIGJlaGF2aW9yIG9uIHRoZSBjb21waWxlciB0aGUgcmVhbAo.IHBlcmZvcm1hbmNlLWNyaXRpY2FsIGFwcGxpY2F0aW9ucyBhbmQgc3VnZ2VzdCBwb3RlbnRpYWwgc3R5bGUgY2hhbmdlcwo.IGluIHRoZSBwcm9ncmFtIChvciBvcHRpbWl6YXRpb24gY2hhbmdlcyBpbiB0aGUgY29tcGlsZXIpIGluIGNhc2VzCj4gd2hlcmUgdGhpcyByZWFsbHkBMAEBAQE- X-Mailer: YahooMailWebService/0.8.126.470 References: <1353347369.78785.YahooMailNeo@web111510.mail.gq1.yahoo.com> <50AA7427.5080104@etorok.net> <1353349126.4420.YahooMailNeo@web111512.mail.gq1.yahoo.com> <20121120112519.2e155a09@crans.org> Message-ID: <1353444185.86094.YahooMailNeo@web111513.mail.gq1.yahoo.com> Date: Tue, 20 Nov 2012 12:43:05 -0800 (PST) From: Dario Teixeira Reply-To: Dario Teixeira To: Gabriel Scherer , Pierre Chambart Cc: "caml-list@inria.fr" In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] The verdict on "%identity" Hi, And thank you, Gabriel and Pierre, for your insights. > I'd rather have people study the behavior on the compiler the real > performance-critical applications and suggest potential style changes > in the program (or optimization changes in the compiler) in cases > where this really make a performance difference. Writing code in a > certain way because "the generated code is nicer" is usually not worth > the trouble. Mind you, I'm not especially fond of such low-level trickery myself, particularly when the trick can cause a segfault if used carelessly, as is the case of "%identity". On the other hand, it's always good to have these tricks in the back of your mind -- you never know when they might come in handy... Best regards, Dario Teixeira