From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alain@frisch.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 8D3597ED5C
	for <caml-list@sympa.inria.fr>; Wed,  8 Aug 2012 20:03:43 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=pra; client-ip=193.252.23.210;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=mailfrom; client-ip=193.252.23.210;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@msa.smtpout.orange.fr) identity=helo;
  client-ip=193.252.23.210;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr";
  x-sender="postmaster@msa.smtpout.orange.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnMCAFWpIlDB/BfSlGdsb2JhbABFtjODTAEBAQEJCxIUAySCIAEBBThAARALGAkWDwkDAgECAUUGDQEHAQGIDbtcixKGYAOVSYVcjRQ
X-IronPort-AV: E=Sophos;i="4.77,734,1336341600"; 
   d="scan'208";a="152708363"
Received: from msa01.smtpout.orange.fr (HELO msa.smtpout.orange.fr) ([193.252.23.210])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 08 Aug 2012 20:03:43 +0200
Received: from [192.168.1.105] ([86.195.0.204])
	by mwinf5d36 with ME
	id kJ3h1j00A4Q5Nnq03J3iCD; Wed, 08 Aug 2012 20:03:42 +0200
Message-ID: <5022A9FE.4050006@frisch.fr>
Date: Wed, 08 Aug 2012 20:03:42 +0200
From: Alain Frisch <alain@frisch.fr>
User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:14.0) Gecko/20120713 Thunderbird/14.0
MIME-Version: 1.0
To: Dmitry Bely <dmitry.bely@gmail.com>
CC: caml-list@inria.fr
References: <CAMT7qiTJD4hFd4Jr0tKCzhmR=ngN0yV9Pw6CCgEfRPP6a6DYvg@mail.gmail.com> <501F9855.6080709@frisch.fr> <CAMT7qiTCnxbAwbPSiXxxm3EBFVyTad98YqxxxveoPkhepKbCkA@mail.gmail.com> <501F9DB9.2050805@frisch.fr> <CAMT7qiR=7LS3211gkA2HOVwB+BQj81cs1efjy3eBESgqW03s5g@mail.gmail.com> <501FAB4A.107@frisch.fr> <CAMT7qiTNb651mvo3+iOX5fvGbWXv5yotMUBM2bvXkEURB=--bg@mail.gmail.com>
In-Reply-To: <CAMT7qiTNb651mvo3+iOX5fvGbWXv5yotMUBM2bvXkEURB=--bg@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Compiler bug?

On 08/08/2012 06:03 PM, Dmitry Bely wrote:
> One more question if you don't mind. Why FPU registers are not saved
> before caml_garbage_collection? What guarantees that they are not
> destroyed inside?

I'm not sure, someone else would have to reply!  I guess that these 
registers are supposed to be preserved by the callee in the x64 ABI (and 
obviously, they don't hold pointers to OCaml values, so they don't have 
to be tracked by the GC).

-- Alain