From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4J8c3Sl000985 for ; Thu, 19 May 2011 10:38:03 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoICANrV1E1KfVI0kGdsb2JhbACmCAgUAQEBAQkJDQcUBCGIcKJ7jBqCNYR4N4hiAQEDBoYTBJARhC+BEYVFO4M3 X-IronPort-AV: E=Sophos;i="4.65,236,1304287200"; d="scan'208";a="99330404" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 May 2011 10:37:58 +0200 Received: by wwb31 with SMTP id 31so3135160wwb.9 for ; Thu, 19 May 2011 01:37:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:subject:mime-version:content-type:from :in-reply-to:date:cc:content-transfer-encoding:message-id:references :to:x-mailer; bh=lgU9/jfyA25L369dcxKBq3F4Odtdevl4Bjy4g7bZvBY=; b=c8eZwoVmNEDjbjFomPGNPFW9+ANFcKfc8W1HQ3Z28ngRdA8RAZ+KJMAQ1Hb8C4sAjK nbo0idCVDydqy8KiBruwsKx2g4cCq23/V22DRf6LXevT9/Xe/h6fCyZhyoHPLsKEa3AL LNrOw2pRWTA05Qg+ywtvH5W6TR6YwJspWqq0M= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=subject:mime-version:content-type:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to:x-mailer; b=oWqvvFohrEF/vHk6SjLPGrXHosDLYFi3moCy/RoxJE9ew2bsGyYQyVlKcIK6eZ2C6a Lu02tHEcVk/+bK+4v35vPlePRozRi/VQuoihgwtly/Z359/gfBMestb6EcED+q8a2Wf6 1cux61h7laUG0xGgdaQMKqgC2qOgs8e1dlPvA= Received: by 10.216.235.234 with SMTP id u84mr5623472weq.51.1305794278209; Thu, 19 May 2011 01:37:58 -0700 (PDT) Received: from [10.0.1.97] ([87.54.60.37]) by mx.google.com with ESMTPS id o1sm1159891wej.32.2011.05.19.01.37.56 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 19 May 2011 01:37:57 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v1084) Content-Type: text/plain; charset=us-ascii From: Joel Reymont In-Reply-To: <4DD4D3C3.9050603@frisch.fr> Date: Thu, 19 May 2011 10:37:54 +0200 Cc: caml-list Message-Id: <09C897B9-05FC-486C-A126-C644D04BAE94@gmail.com> References: <346B52D2-EE21-43D1-B41E-3AEB3BBF0013@gmail.com> <4DD4150E.6080400@frisch.fr> <4DD4D3C3.9050603@frisch.fr> To: Alain Frisch X-Mailer: Apple Mail (2.1084) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p4J8c3Sl000985 Subject: Re: [Caml-list] optimizing numerical code On May 19, 2011, at 10:24 AM, Alain Frisch wrote: > Actually, even in this branch, acc would not be unboxed. The new heuristic unboxes float variables unless they are both needed in boxed form AND mutated, which is the case for acc in your function. Shouldn't it be unboxed, though? -------------------------------------------------------------------------- - for hire: mac osx device driver ninja, kernel extensions and usb drivers ---------------------+------------+--------------------------------------- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont ---------------------+------------+---------------------------------------