From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p7M7JQC0024061
	for <caml-list@sympa-roc.inria.fr>; Mon, 22 Aug 2011 09:19:29 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AsgBAMkCUk7RVdivkGdsb2JhbABBqAoIFAEBAQEJCQ0HFAQhgVkCLAEbHgMSEF0BEQEFASIbGp04glgKjDmCVYQOO4htAgMGhkIEh1qLOoxZPINm
X-IronPort-AV: E=Sophos;i="4.68,261,1312149600"; 
   d="scan'208";a="116484267"
Received: from mail-qy0-f175.google.com ([209.85.216.175])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Aug 2011 09:19:28 +0200
Received: by qyk4 with SMTP id 4so1448533qyk.6
        for <caml-list@inria.fr>; Mon, 22 Aug 2011 00:19:27 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=mime-version:date:message-id:subject:from:to:content-type;
        bh=8uyF1Lq2NYybbKcvLyqSX1y2L1PEQ+5z9n/JEbkeJPo=;
        b=jn2MBR5y5SbO1Jhxw85U/Twonly07Z3OILACLIbb+NNV9Z4wtDNar7r94UnmI23ie1
         kUrjrpt8ru2aIU5x7YcBxfyczdLrP0T+FjVzElW/MwYqq131V+KUSMT8wU9zrfaAKHm3
         DVh8W/B+46rZSa83zEwQDLaYS8g+aNImhxb2c=
MIME-Version: 1.0
Received: by 10.229.37.149 with SMTP id x21mr1099195qcd.126.1313997567875;
 Mon, 22 Aug 2011 00:19:27 -0700 (PDT)
Received: by 10.229.76.229 with HTTP; Mon, 22 Aug 2011 00:19:27 -0700 (PDT)
Date: Mon, 22 Aug 2011 11:19:27 +0400
Message-ID: <CAMT7qiSc+KHupf2RzwmWV_WRwNt91wTsyJ0gtYE00krqBA8WZQ@mail.gmail.com>
From: Dmitry Bely <dmitry.bely@gmail.com>
To: Caml List <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Subject: [Caml-list] Int32 vs float unboxing

In the code below "s" reference is unboxed in sum_float loop, but not
in sum_in32. Why?

let sum_int32 v =
  let s = ref 0l in
  for i=0 to (Array.length v)-1 do
    s := Int32.add !s (Array.unsafe_get v i)
  done;
  Int32.add !s Int32.zero

let sum_float v =
  let s = ref 0. in
  for i=0 to (Array.length v)-1 do
    s := !s +. (Array.unsafe_get v i)
  done;
  !s +. 0.

- Dmitry Bely