From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rich@annexia.org>
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 192D88240C
	for <caml-list@sympa.inria.fr>; Sat,  5 May 2018 08:50:30 +0200 (CEST)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rich@annexia.org; spf=Pass smtp.mailfrom=rich@annexia.org; spf=Pass smtp.helo=postmaster@annexia.org
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  rich@annexia.org) identity=pra; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="rich@annexia.org"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  rich@annexia.org designates 80.68.91.176 as permitted sender)
  identity=mailfrom; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="rich@annexia.org"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  postmaster@annexia.org designates 80.68.91.176 as permitted
  sender) identity=helo; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="postmaster@annexia.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
IronPort-PHdr: =?us-ascii?q?9a23=3AOhLbyh2PZKGGKfXfsmDT+DRfVm0co7zxezQtwd8Z?=
 =?us-ascii?q?se0fI/ad9pjvdHbS+e9qxAeQG9mDsLQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?=
 =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?=
 =?us-ascii?q?JuTyB4Xek9m72/q99pHPbQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?=
 =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?=
 =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb5Sq06WSm576dzVhDnlD?=
 =?us-ascii?q?sHOTA+8GHSkMNwjaRbqw+lqxFwx4PYZYeYP+d8cKzAZ9MXXWRPUMZPWSJcAY2z?=
 =?us-ascii?q?YJcAAPcPMutDs4nxu0EDoQeiCQS2Gu/izCJDiH/s3a091uQsCQ/K0hAhH90SsH?=
 =?us-ascii?q?Tbts/1O7oPWu+11qXGyi/PZO5S1zf67ojHbAshrf+RVr93a8rRyFUgFwPeg1qK?=
 =?us-ascii?q?r4zlOS2a1+sMs2eB9eZgUvivi2E+pgx3vzOhyMAsiozTiYIUzFDJ7Sp5wIEyJd?=
 =?us-ascii?q?23TE50f8SoH4dXtyGfMYZ9X8AsQ3lwtSs51rEKo5+2cSsQxJkj2hLTceGLfoqJ?=
 =?us-ascii?q?7x/lSe2fOy13hGh/d7K6nxuy8Vavyun7VsSsyllKqCxFncfDt3AMzRPf8M+HSu?=
 =?us-ascii?q?Fy/ku52DaP0R7c6v1cLE03iabXMZ8sz70qmpcXrEjPBDL6lUf3gaOOc0Ur4Omo?=
 =?us-ascii?q?6+DpYrX8oZ+cMpd5ihv/MqsymsyyGv43Mg4IX2eF9uW81afs8Vf+QLVQgf06ir?=
 =?us-ascii?q?PZv4zCJcQHuq65BBdY3Zo55Ba6CzeqydAYnXgcLFJZYx+HlIjoO1TWIP/iF/u/?=
 =?us-ascii?q?glKskC1qx//cJLHhDI/NfTD/l+LqdLN5rkpd0xYbzNZF5psSBKtFaNTyUUj1Pc?=
 =?us-ascii?q?fvKR00PwWD6Wr9QIF714gZXWuURKibPa/b91WB/MorLvmNao5TszH4fasL/fnr?=
 =?us-ascii?q?2DUDmFQddLOllaRRTTbwPPNgLl7TKS72g9wBOW4MuAcuTeWsj0eNB20AL02uVr?=
 =?us-ascii?q?4xs2loQLmtCp3OE9z82e3T7GKABpRTI1t+JBWJGHbseZ+DXq5XOiuUJMJxkzVC?=
 =?us-ascii?q?UqKuGdZ4iUOe8TTiwr8iFdL6vzUCvMu4htFz4eDDlBh08iZ7XZzEjjO9Clpsl2?=
 =?us-ascii?q?ZNfAcYmaBypUskkQWK1651k/1RU9tJ6KEQXw=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DKCQACVO1a/7BbRFBcHgEGDINEYXoom?=
 =?us-ascii?q?GNLBoI3lEIDUwslBgGGehoGAQQzFQECAQEBAQEBAQEBaxwMQhABgWIMgyh7EyE?=
 =?us-ascii?q?tIQGFGRELqn+EWINvgjMFiCURez5JgQ4Bgl2DPwIChzICmB4IAoE3hCyIXYEyA?=
 =?us-ascii?q?Ys1iUKHBoElMiIzgR99CIJ/hXuKUz4xAXYBhVaJYgEB?=
X-IPAS-Result: =?us-ascii?q?A0DKCQACVO1a/7BbRFBcHgEGDINEYXoomGNLBoI3lEIDUws?=
 =?us-ascii?q?lBgGGehoGAQQzFQECAQEBAQEBAQEBaxwMQhABgWIMgyh7EyEtIQGFGRELqn+EW?=
 =?us-ascii?q?INvgjMFiCURez5JgQ4Bgl2DPwIChzICmB4IAoE3hCyIXYEyAYs1iUKHBoElMiI?=
 =?us-ascii?q?zgR99CIJ/hXuKUz4xAXYBhVaJYgEB?=
X-IronPort-AV: E=Sophos;i="5.49,365,1520895600"; 
   d="scan'208";a="264406917"
Received: from annexia.org ([80.68.91.176])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 05 May 2018 08:50:29 +0200
Received: from rich by annexia.org with local (Exim 4.89)
	(envelope-from <rich@annexia.org>)
	id 1fEr1W-0004VQ-K4; Sat, 05 May 2018 07:50:26 +0100
Date: Sat, 5 May 2018 07:50:26 +0100
From: "Richard W.M. Jones" <rich@annexia.org>
To: caml-list@inria.fr,
	=?iso-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= <nicolas.ojeda.bar@lexifi.com>
Message-ID: <20180505065026.y7uf3pypmbht6bsc@annexia.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: NeoMutt/20170113 (1.7.2)
Subject: [Caml-list] Instruction sequences, compressed instructions in the
 RISC-V port


This thread may be of interest:

https://groups.google.com/a/groups.riscv.org/forum/#!topic/isa-dev/tbHF-lvV-oU

Rich.