Re: [libre-riscv-dev] spec ambiguity divwe - divwue v3.0B / v3.1B

diff --git a/5e/a102c03bc8fd6717516545ecdb35a4f27d6698 b/5e/a102c03bc8fd6717516545ecdb35a4f27d6698
new file mode 100644 (file)
index 0000000..27d86d2
--- /dev/null
+++ b/5e/a102c03bc8fd6717516545ecdb35a4f27d6698
@@ -0,0 +1,99 @@
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Fri, 10 Jul 2020 18:07:08 +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 1jtwUM-0003mJ-TP; Fri, 10 Jul 2020 18:07:06 +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 1jtwUM-0003mD-4U
+ for libre-riscv-dev@lists.libre-riscv.org; Fri, 10 Jul 2020 18:07:06 +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:References:In-Reply-To:MIME-Version;
+ bh=BiURQZ/zprE1Tc7FeBU2lqYqbV9tsJmxrdUsNaQkPh8=; 
+ b=QvRPWfBLKcm2EP1QoXejY02kDGn1uYltP9SYFu18RuIxIuo+NGqnrhnK0FjXyefiH8vnTC3vfBlAiHzmrzHFlp/hOVonlMAJL7VdIL57XV/r8btMVX/XcYHdA79PpQjkvhljNU+iI/YqaUrAkI8Si/fHE8SxFRqUb1Wfk6fCTCg=;
+Received: from mail-lj1-f175.google.com ([209.85.208.175])
+ by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jtwUL-0001qn-Qe
+ for libre-riscv-dev@lists.libre-riscv.org; Fri, 10 Jul 2020 17:07:05 +0000
+Received: by mail-lj1-f175.google.com with SMTP id j11so7270279ljo.7
+ for <libre-riscv-dev@lists.libre-riscv.org>;
+ Fri, 10 Jul 2020 10:06:50 -0700 (PDT)
+X-Gm-Message-State: AOAM530bRReANXVKdfsIKDv9wQshR7ExCT3SgdQ8ZqEGTYv73gYfUbyn
+ Knsrk5HGXmM9dJ5nsKwQc/bcEQlYJlaO07erbrA=
+X-Google-Smtp-Source: ABdhPJwDfPXxixxJD1+9YCHzZkHDW2cIHJ54XNJ/pG2bKXrYE0zDWSWCtbDlytDupDkCRJeyJ4WY1csaom0lrOmTw4s=
+X-Received: by 2002:a2e:92d7:: with SMTP id k23mr7163984ljh.117.1594400804913; 
+ Fri, 10 Jul 2020 10:06:44 -0700 (PDT)
+MIME-Version: 1.0
+Received: by 2002:a05:6504:702:0:0:0:0 with HTTP; Fri, 10 Jul 2020 10:06:43
+ -0700 (PDT)
+In-Reply-To: <CAPweEDwzjjgFmwXFFznY5D_NaqY-K1gSfagRb-rPPNaM4rSTNg@mail.gmail.com>
+References: <CAPweEDz_cPmfKbqCsAjJOamM5vMGJNzd9f2O0T8y0h-vFOb1=Q@mail.gmail.com>
+ <CAC2bXD4D9ToTMKwn3mkx-irMfSc3j8V4mj0LB7VL0NJq_kunvg@mail.gmail.com>
+ <CAPweEDwzjjgFmwXFFznY5D_NaqY-K1gSfagRb-rPPNaM4rSTNg@mail.gmail.com>
+From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
+Date: Fri, 10 Jul 2020 18:06:43 +0100
+X-Gmail-Original-Message-ID: <CAPweEDwaJqeEOn8=VnwKxM34AL32DFXErFdVjME395QTdvBDpg@mail.gmail.com>
+Message-ID: <CAPweEDwaJqeEOn8=VnwKxM34AL32DFXErFdVjME395QTdvBDpg@mail.gmail.com>
+To: Jacob Lifshay <programmerjake@gmail.com>, 
+ Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
+X-Content-Filtered-By: Mailman/MimeDel 2.1.23
+Subject: Re: [libre-riscv-dev] spec ambiguity divwe - divwue v3.0B / v3.1B
+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: "openpower-hdl-cores@mailinglist.openpowerfoundation.org"
+ <openpower-hdl-cores@mailinglist.openpowerfoundation.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>
+
+Y29udGludWluZyBvbiB0aGlzIHNhbWUgc3ViamVjdCwgd2UgaGF2ZSBwcm9ncmVzcyBvbiBwYXJ0
+LXJlc29sdmluZyB0aGUKb3ZlcmZsb3cgb24gZGl2dyogYW5kIGhhdmUgbW92ZWQgb24gdG8gZGl2
+dXcqCgp0aGlzIGlzIHdoZXJlIGFub3RoZXIgc3Bhbm5lciBpbiB0aGUgcHNldWRvY29kZSB3b3Jr
+cyB3YXMgZGlzY292ZXJlZC4KCmRpdncqIHRleHQgKGluY2x1ZGluZyBkaXZ3ZSkgc2F5cyB0aGF0
+IHRoZSBpbnRlZ2VycyBzaGFsbCBiZSB0cmVhdGVkIGFzCnNpZ25lZC4KCmRpdnV3KiB0ZXh0IHNh
+eXMgdW5zaWduZWQuCgp1bmZvcnR1bmF0ZWx5IHRoZSBhY3R1YWwgYmVoYXZpb3VyIG9mIHRoZSBk
+aXZpZGUgb3BlcmF0b3IgIi8iIGlzCipkaWZmZXJlbnQqIGZvciBjZXJ0YWluIGlkZW50aWNhbCB2
+YWx1ZXMuCgpoZXJlIGlzIHRoZSBpbXBsZW1lbnRhdGlvbiBvZiBhIHNpZ25lZCB0cnVuYyBkaXY6
+Cgp4ID0gYWJzKG4pCnkgPSBhYnMoZCkKcmVzdWx0ID0geSBGTE9PUkRJViB4CmlmIHNpZ24obikg
+PT0gc2lnbihkKSByZXR1cm4gcmVzdWx0CnJldHVybiAtcmVzdWx0Cgp3aGljaCB3b3JrcyBwZXJm
+ZWN0bHkgd2VsbCBmb3IgdW5zaWduZWQgaW5wdXQgYXMgbG9uZyBhcyB0aGUgdG9wIGJpdCBvZgpl
+aXRoZXIgbiBvciBkIGlzIHplcm8uCgp0aGUgYm90dG9tIGxpbmUgaXMgdGhhdCB0byBwcm9wZXJs
+eSByZXByZXNlbnQgdGhlIG9wZXJhdGlvbnMgaW4gdGhlCnBzZXVkb2NvZGUsIGEgc2lnbmVkIGRp
+diBvcGVyYXRvciBuZWVkcyB0byBiZSBpbnRyb2R1Y2VkLgoKKGxpa2V3aXNlIGZvciBtb2QgKmFu
+ZCBtdWwqKQoKd2l0aG91dCB0aGVzZSBvcGVyYXRvcnMgdGhlIGltcGxlbWVudG9yIC0gZXZlcnkg
+aW1wbGVtZW50b3IgLSBpcyBmb3JjZWQgdG8KcmVhZCB0aGUgd29yZHMgcmF0aGVyIHRoYW4gcmVs
+eSBvbiB0aGUgYWNjdXJhY3kgb2YgdGhlIHBzZXVkb2NvZGUuCgphcyB3ZSBoYXZlIHNlZW4gaW4g
+YXQgbGVhc3Qgb25lIGluc3RhbmNlICh0aGUgc2FpbCBwb3dlciBpbXBsZW1lbnRhdGlvbgp3aGlj
+aCB3YXMgZGVyaXZlZCBkaXJlY3RseSBmcm9tIHRoZSBJQk0gWE1MIHZhcmlhbnQgb2YgdGhlIHNw
+ZWMgdXNpbmcgYQpjb2RlIGdlbmVyYXRvcikgdGhhdCBzaW1wbHkgZG9lcyBub3QgaGFwcGVuIGJl
+Y2F1c2UgcGVvcGxlIHRydXN0IHRoZQpwc2V1ZG9jb2RlIHRvIGJlIHVuYW1iaWd1b3VzLgoKdW5m
+b3J0dW5hdGVseSB3aXRoIHRoZXJlIGJlaW5nIG5vIGRpc2Nlcm5tZW50IGJldHdlZW4gZGl2LXNp
+Z25lZCBvcGVyYXRvcgpvciBkaXYtdW5zaWduZWQsIG1pc3Rha2VzIGFyZSBiZWluZyBtYWRlLgoK
+dGhlcmUgaXMgYWN0dWFsbHkgcHJlY2VkZW50IGZvciBwb3N0Zml4aW5nICJ1IiBvbiBvcGVyYXRv
+cnMgaW4gdGhlIHNwZWMsCmFuZCBhZnRlciBzb21lIHRob3VnaHQgdGhhdCBpcyB3aGF0IGkgd291
+bGQgYWR2b2NhdGUgaW4gdGhpcyBjYXNlOgoKKiAvdSB0byBkaXNjZXJuIGRpdi11bnNpZ25lZCBm
+cm9tIC8gZm9yIGRpdi1zaWduZWQKKiBsaWtld2lzZSBmb3IgbXVsdGlwbHkKKiBsaWtld2lzZSBm
+b3IgbW9kLgoKbW9yZSB3aGVuIGkgYW0gaGFwcHkgd2l0aCB0aGUgcXVhbnRpdHkgb2YgdW5pdCB0
+ZXN0cyBjb3ZlcmluZyBhIGxhcmdlCmVub3VnaCByYW5nZSBvZiB2YWx1ZXMgb24gYWxsIG9wZXJh
+dGlvbnMuCgpsLgoKCgotLSAKLS0tCmNyb3dkLWZ1bmRlZCBlY28tY29uc2Npb3VzIGhhcmR3YXJl
+OiBodHRwczovL3d3dy5jcm93ZHN1cHBseS5jb20vZW9tYTY4Cl9fX19fX19fX19fX19fX19fX19f
+X19fX19fX19fX19fX19fX19fX19fX19fX19fCmxpYnJlLXJpc2N2LWRldiBtYWlsaW5nIGxpc3QK
+bGlicmUtcmlzY3YtZGV2QGxpc3RzLmxpYnJlLXJpc2N2Lm9yZwpodHRwOi8vbGlzdHMubGlicmUt
+cmlzY3Yub3JnL21haWxtYW4vbGlzdGluZm8vbGlicmUtcmlzY3YtZGV2Cg==
+