12/0c2af82b9cae81ff42b444a243079b72599226

   1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
   2 Envelope-to: publicinbox@libre-riscv.org
   3 Delivery-date: Mon, 13 Jul 2020 14:09:20 +0100
   4 Received: from localhost ([::1] helo=libre-riscv.org)
   5         by libre-soc.org with esmtp (Exim 4.92)
   6         (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
   7         id 1juyCt-0006se-5G; Mon, 13 Jul 2020 14:09:19 +0100
   8 Received: from lkcl.net ([217.147.94.29])
   9  by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
  10  (Exim 4.92) (envelope-from <lkcl@lkcl.net>) id 1juyCr-0006sX-LX
  11  for libre-riscv-dev@lists.libre-riscv.org; Mon, 13 Jul 2020 14:09:17 +0100
  12 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lkcl.net;
  13  s=201607131;
  14  h=Content-Type:Cc:To:Subject:Message-ID:Date:From:MIME-Version;
  15  bh=zwqgqVyihkzeUgUa56em5LEItBjDWwGAQjiGji3z0XE=;
  16  b=bjcrYrYOW6/rkfeVs3aN9dP+N8hHQXylH100pstjWJLubjbPkYZRIQm45vURFvGZUhhPk518Dp8gwVNxLSVu80hXwy4f4DRUrrl10QB/oQJIE8kS0gEMQQcEvei0uSVfbgulbBFD1fZD/OLO+NjfVmIZcdrXI7qDcQWowxg3C04=;
  17 Received: from mail-lf1-f53.google.com ([209.85.167.53])
  18  by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
  19  (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1juyCr-0005VL-5E
  20  for libre-riscv-dev@lists.libre-riscv.org; Mon, 13 Jul 2020 13:09:17 +0000
  21 Received: by mail-lf1-f53.google.com with SMTP id s16so8958201lfp.12
  22  for <libre-riscv-dev@lists.libre-riscv.org>;
  23  Mon, 13 Jul 2020 06:09:01 -0700 (PDT)
  24 X-Gm-Message-State: AOAM530QDLyc99FDPmfu0hvQ4SdS7Y/PHgLanUlWhebHUs912VbQgk7K
  25  mhe0j8XpDZEeENyTiN8KZ3TRMLA4SWDJp53a2Ow=
  26 X-Google-Smtp-Source: ABdhPJz/Z2G/GFBC9fBVmEJO65kjHDPG2loWwnYmDJ03NEecPzjF31zQElvBuuwYfwCM9C/4ghJa3Z1XfYt4sk2Y210=
  27 X-Received: by 2002:a05:6512:74f:: with SMTP id
  28  c15mr42570833lfs.26.1594645736247;
  29  Mon, 13 Jul 2020 06:08:56 -0700 (PDT)
  30 MIME-Version: 1.0
  31 From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
  32 Date: Mon, 13 Jul 2020 14:08:45 +0100
  33 X-Gmail-Original-Message-ID: <CAPweEDzPcjfZzDk2s=EjzQFLP9i9zarggCi6XWZ7r6yMGZFxnw@mail.gmail.com>
  34 Message-ID: <CAPweEDzPcjfZzDk2s=EjzQFLP9i9zarggCi6XWZ7r6yMGZFxnw@mail.gmail.com>
  35 To: openpower-hdl-cores@mailinglist.openpowerfoundation.org
  36 Subject: [libre-riscv-dev] discrepancy in v3.0B spec immediate shift
  37  operations regarding sh field, XS-form
  38 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
  39 X-Mailman-Version: 2.1.23
  40 Precedence: list
  41 List-Id: Libre-RISCV General Development
  42  <libre-riscv-dev.lists.libre-riscv.org>
  43 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
  44  <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
  45 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
  46 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
  47 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
  48 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
  49  <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
  50 Reply-To: Libre-RISCV General Development
  51  <libre-riscv-dev@lists.libre-riscv.org>
  52 Cc: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
  53 Content-Type: text/plain; charset="utf-8"
  54 Content-Transfer-Encoding: base64
  55 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
  56 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
  57
  58 YXBvbG9naWVzIGFnYWluLCBrZWVubHkgYXdhcmUgdGhhdCB0aGUgdGVhbSBpcyBleHRyZW1lbHkg
  59 YnVzeSB3aXRoIFBPV0VSMTAuCgphbm90aGVyIGRpc2NyZXBhbmN5IGhhcyBiZWVuIGRldGVjdGVk
  60 IGluIHRoZSBWMy4wQiBzcGVjaWZpY2F0aW9uCnJlZ2FyZGluZyBhbGwgWFMgKGFuZCBNRCkgRm9y
  61 bSBmaWVsZHMgZm9yICJzaCIuICBWMy4wQiBwMjAgQm9vayBJClNlY3Rpb24gMS43LCBzaCBpcyBk
  62 ZWZpbmVkIC0gKmRlZmluZWQqIC0gYXM6CgpzaCAoMzAsMTY6MjApCiAgICBGaWVsZHMgdGhhdCBh
  63 cmUgY29uY2F0ZW5hdGVkIHRvIHNwZWNpZnkgYSBzaGlmdAogICAgYW1vdW50LgogICAgRm9ybWF0
  64 czogTUQsIFhTCgp0aGlzIGFzIGJlc3QgaSBjYW4gdGVsbCBwbGFjZXMgdGhlIGJpdHMgb2Ygc2gg
  65 aW50byB0aGUgY29ycmVjdCBvcmRlciAtCiphcyBkZWZpbmVkIGJ5IHRoaXMgc2VjdGlvbiouCgpu
  66 b3cgbGV0IHVzIG1vdmUgdG8gYSBkZWZpbml0aW9uIG9mIGFuIFhTLUZvcm0gaW5zdHJ1Y3Rpb24s
  67 IGZvciBleGFtcGxlCmV4dHN3c2xpLiAgIHRoZSBiaXRzIGFyZSBpZGVudGlmaWVkIGFzOgoKMzEg
  68 ICBSUyAgICBSQSAgICBzaCAgICA0NDUgc2ggUmMKMCAgICA2ICAgIDExICAgIDE2ICAgIDIxICAg
  69 ICAzMCAzMQoKKmhvd2V2ZXIqIC0gYW5kIGhlcmUgaXMgd2hlcmUgdGhlIGRpc2NyZXBhbmN5IGV4
  70 aXN0cyAtIHRoZSBwc2V1ZG8tY29kZQp0aGVuIGdvZXMgb24gdG8gcGxhY2Ugc2hbNV0gaW50byBh
  71 ICpkaWZmZXJlbnQqIHBvc2l0aW9uOgoKICAgbiA8LSBzaFs1XSB8fCBzaFswOjRdCgp0aGlzIGFz
  72 IGJlc3QgaSBjYW4gdGVsbCBkb2VzIGVmZmVjdGl2ZWx5IGV4YWN0bHkgdGhlIHNhbWUKYml0LXJl
  73 b3JkZXJpbmcgYXMgdGhlIGRlZmluaXRpb24gY292ZXJlZCBpbiBTZWN0aW9uIDEuNyBhbmQKY29u
  74 c2VxdWVudGx5ICpkb2VzIGl0IHR3aWNlKi4KCml0IGNvdWxkIGJlIGFyZ3VlZCB0aGF0IHRoZSBw
  75 c2V1ZG8tY29kZSBpcyAiY2xlYXIiIGJlY2F1c2UgaXQgaXMKdGFraW5nIHRoZSBiaXRzIGZyb20g
  76 dGhlIGluc3RydWN0aW9uIGZpZWxkIGFuZCAicmUtb3JkZXJpbmciIHRoZW0sCmhvd2V2ZXIgcmVt
  77 ZW1iZXIgdGhhdCAqYnkgZGVmaW5pdGlvbiogaW4gU2VjdGlvbiAxLjcgKnRob3NlIGJpdHMgaGF2
  78 ZQphbHJlYWR5IGJlZW4gcmUtb3JkZXJlZCouICBiaXQgMzAgaXMsIGJ5IGRlZmluaXRpb24gaW4g
  79 U2VjdGlvbiAxLjcsCiphbHJlYWR5KiBzaFs1XS4KCmNvbnNlcXVlbnRseSB3ZSBsb2dpY2FsbHkg
  80 Y29uY2x1ZGUgdGhhdCB0aGUgcHNldWRvLWNvZGUgaXMgaW5jb3JyZWN0LAppbiBhbGwgY2FzZXMg
  81 KHNyYWRpLCBleHRzd3NsaSwgcmxkaW1pLCBybGRpYywgcmxkaWNsLCBybGRpY3IpIGFuZApzaG91
  82 bGQgc2ltcGx5IGJlOgoKICAgIG4gPC0gc2gKCnRoaXMgY2hhbmdlIGhhcyBiZWVuIHRlc3RlZCBh
  83 bmQgZm91bmQgdG8gYmUgY29ycmVjdC4KCnVuZm9ydHVuYXRlbHksIGFnYWluLCBpIG11c3QgYXBv
  84 bG9naXNlOiBhcyB3ZSBhcmUgY3JpdGljYWxseSBkZXBlbmRlbnQKb24gdGhlIGFjdHVhbCBwc2V1
  85 ZG8tY29kZSBmb3IgY29ycmVjdCBmdW5jdGlvbmFsaXR5IG9mIHRoZQpweXRob24tYmFzZWQgY3lj
  86 bGUtYWNjdXJhdGUgc2ltdWxhdG9yLCB3ZSBoYXZlIHRvIGNvbW1pdCB0aGVzZSBjaGFuZ2VzCnRv
  87 IHRoZSBwdWJsaXNoZWQgcHNldWRvLWNvZGUgb24gdGhlIGxpYnJlLXNvYy5vcmcgd2Vic2l0ZSwg
  88 d2l0aG91dApkZWxheSwgYXMgcGFydCBvZiB0aGUgZnVuZGluZyByZW1pdCBmcm9tIE5MTmV0LCB1
  89 bmRlciB0aGUgUEVUClByb2dyYW1tZS4KCmwuCgotLS0KY3Jvd2QtZnVuZGVkIGVjby1jb25zY2lv
  90 dXMgaGFyZHdhcmU6IGh0dHBzOi8vd3d3LmNyb3dkc3VwcGx5LmNvbS9lb21hNjgKCl9fX19fX19f
  91 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCmxpYnJlLXJpc2N2LWRldiBt
  92 YWlsaW5nIGxpc3QKbGlicmUtcmlzY3YtZGV2QGxpc3RzLmxpYnJlLXJpc2N2Lm9yZwpodHRwOi8v
  93 bGlzdHMubGlicmUtcmlzY3Yub3JnL21haWxtYW4vbGlzdGluZm8vbGlicmUtcmlzY3YtZGV2Cg==
  94