From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jeffsco@psellos.com>
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 C61B57ED67
	for <caml-list@sympa.inria.fr>; Fri, 17 Aug 2012 06:26:46 +0200 (CEST)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  jeffsco@psellos.com) identity=pra; client-ip=174.121.218.178;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="jeffsco@psellos.com";
  x-sender="jeffsco@psellos.com"; x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  jeffsco@psellos.com) identity=mailfrom;
  client-ip=174.121.218.178;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="jeffsco@psellos.com";
  x-sender="jeffsco@psellos.com"; x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@pse.psellos.com) identity=helo;
  client-ip=174.121.218.178;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="jeffsco@psellos.com";
  x-sender="postmaster@pse.psellos.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Av0EAPzGLVCuedqy/2dsb2JhbAAqGrozgQeCIAEBBAE6PwULC0ZXBogaBgsquhCLCoYbYAOITo4VhEiKNoJ/
X-IronPort-AV: E=Sophos;i="4.77,783,1336341600"; 
   d="scan'208";a="170076963"
Received: from pse.psellos.com ([174.121.218.178])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 17 Aug 2012 06:26:45 +0200
Received: from [192.168.0.23] (71-212-116-164.tukw.qwest.net [71.212.116.164])
	(authenticated bits=0)
	by pse.psellos.com (8.13.8/8.13.8) with ESMTP id q7H4QZ30030441
	(version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO);
	Thu, 16 Aug 2012 23:26:40 -0500
References: <51E93001-B3AB-4B8D-B46C-7ACA11346C38@psellos.com> <EEE012FC-518B-4F89-9992-69E0958BF8CE@gmail.com> <D851CF6D-4888-4D48-BFAA-DFC00C5AE572@psellos.com> <401723D2-9388-4FFF-8E7A-D741ED111E64@gmail.com>
In-Reply-To: <401723D2-9388-4FFF-8E7A-D741ED111E64@gmail.com>
Mime-Version: 1.0 (Apple Message framework v1280)
Content-Type: text/plain; charset=us-ascii
Message-Id: <D7BF4C88-5097-49D0-8908-52E882180AE4@psellos.com>
Content-Transfer-Encoding: 7bit
Cc: Jeffrey Scofield <jeffsco@psellos.com>, Caml List <caml-list@inria.fr>
From: Jeffrey Scofield <jeffsco@psellos.com>
Date: Thu, 16 Aug 2012 21:26:35 -0700
To: Benedikt Meurer <benedikt.meurer@googlemail.com>
X-Mailer: Apple Mail (2.1280)
X-Validation-by: jeffsco@psellos.com
Subject: [Caml-list] Re: ARM code generator problem

Benedikt and OCamlers,

On Aug 14, 2012, at 12:11 AM, Benedikt Meurer wrote:

> Jep, that's a bug indeed. Somewhow ocamlopt seems to believe that the
> Ifloatofint instruction preserves d7 although it is marked as destroyed
> for this operation.

I created a Mantis issue for this problem, 5731:

    http://caml.inria.fr/mantis/view.php?id=5731

Regards,

Jeffrey