[libre-riscv-dev] discrepancy in v3.0B spec immediate shift operations regarding...

diff --git a/12/0c2af82b9cae81ff42b444a243079b72599226 b/12/0c2af82b9cae81ff42b444a243079b72599226
new file mode 100644 (file)
index 0000000..cb6c323
--- /dev/null
+++ b/12/0c2af82b9cae81ff42b444a243079b72599226
@@ -0,0 +1,94 @@
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Mon, 13 Jul 2020 14:09:20 +0100
+Received: from localhost ([::1] helo=libre-riscv.org)
+       by libre-soc.org with esmtp (Exim 4.92)
+       (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
+       id 1juyCt-0006se-5G; Mon, 13 Jul 2020 14:09:19 +0100
+Received: from lkcl.net ([217.147.94.29])
+ by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.92) (envelope-from <lkcl@lkcl.net>) id 1juyCr-0006sX-LX
+ for libre-riscv-dev@lists.libre-riscv.org; Mon, 13 Jul 2020 14:09:17 +0100
+DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lkcl.net;
+ s=201607131; 
+ h=Content-Type:Cc:To:Subject:Message-ID:Date:From:MIME-Version;
+ bh=zwqgqVyihkzeUgUa56em5LEItBjDWwGAQjiGji3z0XE=; 
+ b=bjcrYrYOW6/rkfeVs3aN9dP+N8hHQXylH100pstjWJLubjbPkYZRIQm45vURFvGZUhhPk518Dp8gwVNxLSVu80hXwy4f4DRUrrl10QB/oQJIE8kS0gEMQQcEvei0uSVfbgulbBFD1fZD/OLO+NjfVmIZcdrXI7qDcQWowxg3C04=;
+Received: from mail-lf1-f53.google.com ([209.85.167.53])
+ by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1juyCr-0005VL-5E
+ for libre-riscv-dev@lists.libre-riscv.org; Mon, 13 Jul 2020 13:09:17 +0000
+Received: by mail-lf1-f53.google.com with SMTP id s16so8958201lfp.12
+ for <libre-riscv-dev@lists.libre-riscv.org>;
+ Mon, 13 Jul 2020 06:09:01 -0700 (PDT)
+X-Gm-Message-State: AOAM530QDLyc99FDPmfu0hvQ4SdS7Y/PHgLanUlWhebHUs912VbQgk7K
+ mhe0j8XpDZEeENyTiN8KZ3TRMLA4SWDJp53a2Ow=
+X-Google-Smtp-Source: ABdhPJz/Z2G/GFBC9fBVmEJO65kjHDPG2loWwnYmDJ03NEecPzjF31zQElvBuuwYfwCM9C/4ghJa3Z1XfYt4sk2Y210=
+X-Received: by 2002:a05:6512:74f:: with SMTP id
+ c15mr42570833lfs.26.1594645736247; 
+ Mon, 13 Jul 2020 06:08:56 -0700 (PDT)
+MIME-Version: 1.0
+From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
+Date: Mon, 13 Jul 2020 14:08:45 +0100
+X-Gmail-Original-Message-ID: <CAPweEDzPcjfZzDk2s=EjzQFLP9i9zarggCi6XWZ7r6yMGZFxnw@mail.gmail.com>
+Message-ID: <CAPweEDzPcjfZzDk2s=EjzQFLP9i9zarggCi6XWZ7r6yMGZFxnw@mail.gmail.com>
+To: openpower-hdl-cores@mailinglist.openpowerfoundation.org
+Subject: [libre-riscv-dev] discrepancy in v3.0B spec immediate shift
+ operations regarding sh field, XS-form
+X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
+X-Mailman-Version: 2.1.23
+Precedence: list
+List-Id: Libre-RISCV General Development
+ <libre-riscv-dev.lists.libre-riscv.org>
+List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>, 
+ <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
+List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
+List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
+List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
+List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>, 
+ <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
+Reply-To: Libre-RISCV General Development
+ <libre-riscv-dev@lists.libre-riscv.org>
+Cc: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
+Content-Type: text/plain; charset="utf-8"
+Content-Transfer-Encoding: base64
+Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
+Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
+
+YXBvbG9naWVzIGFnYWluLCBrZWVubHkgYXdhcmUgdGhhdCB0aGUgdGVhbSBpcyBleHRyZW1lbHkg
+YnVzeSB3aXRoIFBPV0VSMTAuCgphbm90aGVyIGRpc2NyZXBhbmN5IGhhcyBiZWVuIGRldGVjdGVk
+IGluIHRoZSBWMy4wQiBzcGVjaWZpY2F0aW9uCnJlZ2FyZGluZyBhbGwgWFMgKGFuZCBNRCkgRm9y
+bSBmaWVsZHMgZm9yICJzaCIuICBWMy4wQiBwMjAgQm9vayBJClNlY3Rpb24gMS43LCBzaCBpcyBk
+ZWZpbmVkIC0gKmRlZmluZWQqIC0gYXM6CgpzaCAoMzAsMTY6MjApCiAgICBGaWVsZHMgdGhhdCBh
+cmUgY29uY2F0ZW5hdGVkIHRvIHNwZWNpZnkgYSBzaGlmdAogICAgYW1vdW50LgogICAgRm9ybWF0
+czogTUQsIFhTCgp0aGlzIGFzIGJlc3QgaSBjYW4gdGVsbCBwbGFjZXMgdGhlIGJpdHMgb2Ygc2gg
+aW50byB0aGUgY29ycmVjdCBvcmRlciAtCiphcyBkZWZpbmVkIGJ5IHRoaXMgc2VjdGlvbiouCgpu
+b3cgbGV0IHVzIG1vdmUgdG8gYSBkZWZpbml0aW9uIG9mIGFuIFhTLUZvcm0gaW5zdHJ1Y3Rpb24s
+IGZvciBleGFtcGxlCmV4dHN3c2xpLiAgIHRoZSBiaXRzIGFyZSBpZGVudGlmaWVkIGFzOgoKMzEg
+ICBSUyAgICBSQSAgICBzaCAgICA0NDUgc2ggUmMKMCAgICA2ICAgIDExICAgIDE2ICAgIDIxICAg
+ICAzMCAzMQoKKmhvd2V2ZXIqIC0gYW5kIGhlcmUgaXMgd2hlcmUgdGhlIGRpc2NyZXBhbmN5IGV4
+aXN0cyAtIHRoZSBwc2V1ZG8tY29kZQp0aGVuIGdvZXMgb24gdG8gcGxhY2Ugc2hbNV0gaW50byBh
+ICpkaWZmZXJlbnQqIHBvc2l0aW9uOgoKICAgbiA8LSBzaFs1XSB8fCBzaFswOjRdCgp0aGlzIGFz
+IGJlc3QgaSBjYW4gdGVsbCBkb2VzIGVmZmVjdGl2ZWx5IGV4YWN0bHkgdGhlIHNhbWUKYml0LXJl
+b3JkZXJpbmcgYXMgdGhlIGRlZmluaXRpb24gY292ZXJlZCBpbiBTZWN0aW9uIDEuNyBhbmQKY29u
+c2VxdWVudGx5ICpkb2VzIGl0IHR3aWNlKi4KCml0IGNvdWxkIGJlIGFyZ3VlZCB0aGF0IHRoZSBw
+c2V1ZG8tY29kZSBpcyAiY2xlYXIiIGJlY2F1c2UgaXQgaXMKdGFraW5nIHRoZSBiaXRzIGZyb20g
+dGhlIGluc3RydWN0aW9uIGZpZWxkIGFuZCAicmUtb3JkZXJpbmciIHRoZW0sCmhvd2V2ZXIgcmVt
+ZW1iZXIgdGhhdCAqYnkgZGVmaW5pdGlvbiogaW4gU2VjdGlvbiAxLjcgKnRob3NlIGJpdHMgaGF2
+ZQphbHJlYWR5IGJlZW4gcmUtb3JkZXJlZCouICBiaXQgMzAgaXMsIGJ5IGRlZmluaXRpb24gaW4g
+U2VjdGlvbiAxLjcsCiphbHJlYWR5KiBzaFs1XS4KCmNvbnNlcXVlbnRseSB3ZSBsb2dpY2FsbHkg
+Y29uY2x1ZGUgdGhhdCB0aGUgcHNldWRvLWNvZGUgaXMgaW5jb3JyZWN0LAppbiBhbGwgY2FzZXMg
+KHNyYWRpLCBleHRzd3NsaSwgcmxkaW1pLCBybGRpYywgcmxkaWNsLCBybGRpY3IpIGFuZApzaG91
+bGQgc2ltcGx5IGJlOgoKICAgIG4gPC0gc2gKCnRoaXMgY2hhbmdlIGhhcyBiZWVuIHRlc3RlZCBh
+bmQgZm91bmQgdG8gYmUgY29ycmVjdC4KCnVuZm9ydHVuYXRlbHksIGFnYWluLCBpIG11c3QgYXBv
+bG9naXNlOiBhcyB3ZSBhcmUgY3JpdGljYWxseSBkZXBlbmRlbnQKb24gdGhlIGFjdHVhbCBwc2V1
+ZG8tY29kZSBmb3IgY29ycmVjdCBmdW5jdGlvbmFsaXR5IG9mIHRoZQpweXRob24tYmFzZWQgY3lj
+bGUtYWNjdXJhdGUgc2ltdWxhdG9yLCB3ZSBoYXZlIHRvIGNvbW1pdCB0aGVzZSBjaGFuZ2VzCnRv
+IHRoZSBwdWJsaXNoZWQgcHNldWRvLWNvZGUgb24gdGhlIGxpYnJlLXNvYy5vcmcgd2Vic2l0ZSwg
+d2l0aG91dApkZWxheSwgYXMgcGFydCBvZiB0aGUgZnVuZGluZyByZW1pdCBmcm9tIE5MTmV0LCB1
+bmRlciB0aGUgUEVUClByb2dyYW1tZS4KCmwuCgotLS0KY3Jvd2QtZnVuZGVkIGVjby1jb25zY2lv
+dXMgaGFyZHdhcmU6IGh0dHBzOi8vd3d3LmNyb3dkc3VwcGx5LmNvbS9lb21hNjgKCl9fX19fX19f
+X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCmxpYnJlLXJpc2N2LWRldiBt
+YWlsaW5nIGxpc3QKbGlicmUtcmlzY3YtZGV2QGxpc3RzLmxpYnJlLXJpc2N2Lm9yZwpodHRwOi8v
+bGlzdHMubGlicmUtcmlzY3Yub3JnL21haWxtYW4vbGlzdGluZm8vbGlicmUtcmlzY3YtZGV2Cg==
+