From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <vkni@yandex.ru>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 3F0887FD6C
	for <caml-list@sympa.inria.fr>; Sun, 22 Jan 2017 17:56:04 +0100 (CET)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=vkni@yandex.ru; spf=Pass smtp.mailfrom=vkni@yandex.ru; spf=None smtp.helo=postmaster@forward16h.cmail.yandex.net
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  vkni@yandex.ru) identity=pra; client-ip=87.250.230.158;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="vkni@yandex.ru"; x-sender="vkni@yandex.ru";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  vkni@yandex.ru designates 87.250.230.158 as permitted sender)
  identity=mailfrom; client-ip=87.250.230.158;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="vkni@yandex.ru"; x-sender="vkni@yandex.ru";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@forward16h.cmail.yandex.net) identity=helo;
  client-ip=87.250.230.158;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="vkni@yandex.ru";
  x-sender="postmaster@forward16h.cmail.yandex.net";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3Aw8diehEIysNh24LUB3AuZp1GYnF86YWxBRYc798d?=
 =?us-ascii?q?s5kLTJ76ocSwAkXT6L1XgUPTWs2DsrQf2raQ7/+rCDdIoc7Y9itdINoUD15NoP?=
 =?us-ascii?q?5VtjJjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?=
 =?us-ascii?q?fbytScaBx/iwguu7/pmWZwRTmBK8Z6lzJVO4t1b/rM4T1KJiw748I1Pjr2Ohfu?=
 =?us-ascii?q?1WjTd2JlSStwf14Mu97Nh57nID6Loa68dcXPCiLOwDRrtCAWF+Pg=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AfDgBG44RYh57m+ldeHAEBBAEBCgEBF?=
 =?us-ascii?q?wEBBAEBCgEBgmUtAQEBAQEcY4EJg1Olb41WKoMOgmAKghdDFAEBAQEBAQEBAQE?=
 =?us-ascii?q?BEgEBAQoLCQodMIIzGYIiJQ8BDQEBODQCJgKJYgEDGQMKrCBogiWDCAEBBYNJA?=
 =?us-ascii?q?UoDgx4eCIELjw43ggAMLoJeiQyHH4UUhhGBTIFCg1SLCIJJgQeNHpJ2NoF3BoR?=
 =?us-ascii?q?kDxELgWRwAYgXAQEB?=
X-IPAS-Result: =?us-ascii?q?A0AfDgBG44RYh57m+ldeHAEBBAEBCgEBFwEBBAEBCgEBgmU?=
 =?us-ascii?q?tAQEBAQEcY4EJg1Olb41WKoMOgmAKghdDFAEBAQEBAQEBAQEBEgEBAQoLCQodM?=
 =?us-ascii?q?IIzGYIiJQ8BDQEBODQCJgKJYgEDGQMKrCBogiWDCAEBBYNJAUoDgx4eCIELjw4?=
 =?us-ascii?q?3ggAMLoJeiQyHH4UUhhGBTIFCg1SLCIJJgQeNHpJ2NoF3BoRkDxELgWRwAYgXA?=
 =?us-ascii?q?QEB?=
X-IronPort-AV: E=Sophos;i="5.33,269,1477954800"; 
   d="scan'208";a="256766252"
Received: from forward16h.cmail.yandex.net ([87.250.230.158])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 22 Jan 2017 17:56:03 +0100
Received: from mxback6j.mail.yandex.net (mxback6j.mail.yandex.net [IPv6:2a02:6b8:0:1619::10f])
	by forward16h.cmail.yandex.net (Yandex) with ESMTP id 4835121BE2
	for <caml-list@inria.fr>; Sun, 22 Jan 2017 19:56:01 +0300 (MSK)
Received: from web7j.yandex.ru (web7j.yandex.ru [5.45.198.48])
	by mxback6j.mail.yandex.net (nwsmtp/Yandex) with ESMTP id TM1d4zhxb9-u0Z4sVQ4;
	Sun, 22 Jan 2017 19:56:00 +0300
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yandex.ru; s=mail; t=1485104160;
	bh=/Vlh6OzEzwzfyy2k4pWc/KA7R81OmqqiFsrwaGm3Mmg=;
	h=From:To:Subject:Message-Id:Date;
	b=eqdDdvPgxwDZlsgykyNQ3TFX9pgPK1AVg3k4CRIQf67w99uq9Ocn7TpyLhg3W3AgW
	 C01rBbqvFXUhSRLxc5aJEvH0eCxwAV18f5kMno0HzmrY+Tq9I2qZTkTKZFCOaPqlFY
	 K9n+fcPGgyD7Rv/JCg2gzhF73IGxINzQhk/brlhA=
Received: by web7j.yandex.ru with HTTP;
	Sun, 22 Jan 2017 19:56:00 +0300
From: =?utf-8?B?0JDQvdC00YDQtdC5INCR0LXRgNCz0LzQsNC9?= <vkni@yandex.ru>
To: caml-list@inria.fr
MIME-Version: 1.0
Message-Id: <4653711485104160@web7j.yandex.ru>
X-Mailer: Yamail [ http://yandex.ru ] 5.0
Date: Sun, 22 Jan 2017 19:56:00 +0300
Content-Transfer-Encoding: 8bit
Content-Type: text/plain; charset=utf-8
X-Validation-by: vkni@yandex.ru
Subject: [Caml-list] How floats are handled in bytecode interpreter? And
 other questions.

Hello!

1. Is "Caml Virtual Machine — Instruction set, v1.4" by Xavier Clerc - http://cadmium.x9c.fr/distrib/caml-instructions.pdf up to date? He describes virtual machine of 3.12, while current version is 4.04. According to GitHub logs there were some changes in the VM. Did they touch instruction set?

2. How are handled operations on floats in bytecode? In MosML, which uses bytecode machine of CamlLight, they added set of instructions FLOATOFINT, SMLNEGFLOAT, SMLADDFLOAT, SMLSUBFLOAT, SMLMULFLOAT, SMLDIVFLOAT, INTOFFLOAT and etc.

Thanks,
Andrey.

P.S.
For Hendrik Boom - a bit altered very old version of Caml Virtual Machine is used in MoscowML - implementation of SML language, based on CamlLight.