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

diff --git a/8e/bc76953f48d936835cfc7295a47473b6b758c5 b/8e/bc76953f48d936835cfc7295a47473b6b758c5
new file mode 100644 (file)
index 0000000..0d5ddb7
--- /dev/null
+++ b/8e/bc76953f48d936835cfc7295a47473b6b758c5
@@ -0,0 +1,133 @@
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Fri, 10 Jul 2020 23:27:24 +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 1ju1UJ-0002Gm-7D; Fri, 10 Jul 2020 23:27:23 +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 1ju1UH-0002Gg-Mg
+ for libre-riscv-dev@lists.libre-riscv.org; Fri, 10 Jul 2020 23:27:21 +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=f35BFzOIzm/MDaWWZnxEhGzYskF3OLyRylpXe9u03VY=; 
+ b=j0woar485G/9+bpKXEFnZmj7ZHQo8FCbY1gugyB9+lq+OP0B3lyStH5NcB7kOnuzQ20bvUMAeH6+sCVpc7U06eDH5zE+mmc09e7ivE0EbaeKXAv3oPJG8C5uDHn1RmxHkRUDb/cdJ75jOtkhZnq+GA7dEE777/L3ZD17L1IK4qU=;
+Received: from mail-lj1-f169.google.com ([209.85.208.169])
+ by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1ju1UH-0002Ct-EX
+ for libre-riscv-dev@lists.libre-riscv.org; Fri, 10 Jul 2020 22:27:21 +0000
+Received: by mail-lj1-f169.google.com with SMTP id 9so8097846ljv.5
+ for <libre-riscv-dev@lists.libre-riscv.org>;
+ Fri, 10 Jul 2020 15:27:05 -0700 (PDT)
+X-Gm-Message-State: AOAM531/qkoH2ZbcwXvp7+xFeGjT0agWZnyBlfDD7cyYTDXh0QjNFYTc
+ ePuBAXsqI9yCBGCYn0Chg4Q0eIL4xIjRv6z8OLA=
+X-Google-Smtp-Source: ABdhPJzcpiDd/1XbfxozGEq4ikmadv4yTVYBR9hpQls7aRBGHZa/H2ZQdfxKn2f6D0xUnVSU4qn1Zzj6yMZ1urdcxkM=
+X-Received: by 2002:a2e:544c:: with SMTP id y12mr39298300ljd.132.1594420020244; 
+ Fri, 10 Jul 2020 15:27:00 -0700 (PDT)
+MIME-Version: 1.0
+Received: by 2002:a05:6504:702:0:0:0:0 with HTTP; Fri, 10 Jul 2020 15:26:59
+ -0700 (PDT)
+In-Reply-To: <CAPweEDwaJqeEOn8=VnwKxM34AL32DFXErFdVjME395QTdvBDpg@mail.gmail.com>
+References: <CAPweEDz_cPmfKbqCsAjJOamM5vMGJNzd9f2O0T8y0h-vFOb1=Q@mail.gmail.com>
+ <CAC2bXD4D9ToTMKwn3mkx-irMfSc3j8V4mj0LB7VL0NJq_kunvg@mail.gmail.com>
+ <CAPweEDwzjjgFmwXFFznY5D_NaqY-K1gSfagRb-rPPNaM4rSTNg@mail.gmail.com>
+ <CAPweEDwaJqeEOn8=VnwKxM34AL32DFXErFdVjME395QTdvBDpg@mail.gmail.com>
+From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
+Date: Fri, 10 Jul 2020 23:26:59 +0100
+X-Gmail-Original-Message-ID: <CAPweEDzfVsVLLTjxZBau05HSOSBgWuA9=cbhQXhjwmaO_P6Hrw@mail.gmail.com>
+Message-ID: <CAPweEDzfVsVLLTjxZBau05HSOSBgWuA9=cbhQXhjwmaO_P6Hrw@mail.gmail.com>
+To: 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>
+
+aHR0cHM6Ly9idWdzLmxpYnJlLXNvYy5vcmcvc2hvd19idWcuY2dpP2lkPTMyMyNjNgoKYXBvbG9n
+aWVzLCBhbm90aGVyIGZvbGxvdy11cDogcmVnYXJkaW5nIHRoZSB1c2Ugb2YgInVuZGVmaW5lZCIg
+aW4gdGhlIDMuMEIKc3BlYy4KCmFzIHdhcyBzaG93biBoaXN0b3JpY2FsbHkgd2l0aCB0aGUgQW1k
+YWhsIDM3MCBjbG9uZSwgZnVsbCBpbnRlcm9wZXJhYmlsaXR5CmV2ZW4gd2l0aCBvc3RlbnNpYmxl
+ICJ1bmRlZmluZWQiIGJlaGF2aW91ciBpcyBvZnRlbiBjcml0aWNhbCB0byBhCmJ1c2luZXNzJ3Mg
+ZGVjaXNpb24tbWFraW5nIG9uIHdoZXRoZXIgdG8gcHVyY2hhc2UgYSBwcm9kdWN0LgoKaW4gdGhl
+IGNhc2Ugb2YgdGhlIEFtZGFobCAzNzAgdGhleSBoYWQgdG8gcHJvdmlkZSBhIHNvZnR3YXJlIHBh
+dGNoIHRvCmVtdWxhdGUgKmluY29ycmVjdCogSUVFRTc1NCBiZWhhdmlvdXIgb2YgdGhlIDM3MCBi
+ZWNhdXNlIGN1c3RvbWVycyBoYWQKYWxyZWFkeSB3cml0dGVuIHNvZnR3YXJlIHRoYXQgd29ya2Vk
+IGFyb3VuZCBvciBvdGhlcndpc2UgY3JpdGljYWxseSByZWxpZWQKb24gdGhlIElCTSAzNzAgaGFy
+ZHdhcmUsIGFuZCB0aG9zZSBjdXN0b21lcnMgd2VyZSBpbiBubyB3YXkgcHJlcGFyZWQgdG8gZ28K
+dG8gZnVydGhlciBleHBlbnNlIHRvIG1vZGlmeSB0aGF0IHNvZnR3YXJlLgoKYmFzZWQgb24gdGhp
+cyBoaXN0b3JpY2FsIGxlc3NvbiBpdCBpcyBvZiBzb21lIGNvbmNlcm4gdG8gdXMgdGhhdCB3ZSBu
+b3QKbWFrZSB0aGUgc2FtZSBtaXN0YWtlLCBhbmQgdGhlcmVmb3JlIHJlZmluZSB0aGUgYW5zd2Vy
+cyBnaXZlbiB0byBwcmVjaXNlbHkKbWF0Y2ggdGhlIGJlaGF2aW91ciBvZiBJQk0gUE9XRVI5LCAq
+bm90KiBtYXRjaCAic3RyaWN0IG1pbmltYWxpc3QgMy4wQgpzcGVjaWZpY2F0aW9uIHJlcXVpcmVt
+ZW50cyIuCgppdCB0dXJucyBvdXQgdGhhdCBtaWNyb3dhdHQgaXMgbGlrZXdpc2UgZm9sbG93aW5n
+IHRoaXMgc3RyYXRlZ3ksCnBhcnRpY3VsYXJseSBmb3IgbXVsIGFuZCBkaXYuICBtdWxod3UgZm9y
+IGV4YW1wbGUgcmV0dXJucyB0aGUgMzIgTFNCcwpkdXBsaWNhdGVkICp0d2ljZSogYmVjYXVzZSB0
+aGF0IGlzIGV4YWN0bHkgd2hhdCBJQk0gUE9XRVI5IGRvZXMuCgppbiBvdXIgY2FzZSBob3dldmVy
+IHRoZSBzb2Z0d2FyZSBzaW11bGF0b3IgaXMgYmFzZWQgb24gdGhlIHNwZWMgcHNldWRvY29kZSwK
+YW5kIHRoZXJlZm9yZSB0byBtYXRjaCB0aGF0IGV4YWN0IHNhbWUgYmVoYXZpb3VyICp3ZSBuZWVk
+IHRvIG1vZGlmeSB0aGUKcHNldWRvY29kZSoKCmh0dHBzOi8vbGlicmUtc29jLm9yZy9vcGVucG93
+ZXIvaXNhL2ZpeGVkYXJpdGgvCgpYTy1Gb3JtCgogICAtIG11bGh3IFJULFJBLFJCIChSYz0wKQog
+ICAtIG11bGh3LiBSVCxSQSxSQiAoUmM9MSkKClBzZXVkby1jb2RlOgoKcHJvZFswOjYzXSA8LSBN
+VUxTKChSQSlbMzI6NjNdLCAoUkIpWzMyOjYzXSkKUlRbMzI6NjNdIDwtIHByb2RbMDozMV0KUlRb
+MDozMV0gPC0gcHJvZFswOjMxXSAgd2FzIHVuZGVmaW5lZAoKdGhpcyBkaXZlcmdlbmNlIHRoZXJl
+Zm9yZSBoYXMgbWUgc2xpZ2h0bHkgY29uY2VybmVkLiAgb3JpZ2luYWxseSB0aGUKaW50ZW50aW9u
+IHdhcyB0byBzdGljayBleGFjdGx5IHRvIHRoZSAzLjBCIHNwZWMgbWFuZGF0ZWQgcHNldWRvY29k
+ZSBob3dldmVyCndlIGtub3cgdGhlIGNvbnNlcXVlbmNlcyBvZiB0aGF0IFtBbWRhaGwgZXhhbXBs
+ZV0uCgpteSBjb25jZXJuIGlzIHRoYXQgYnkgbW9kaWZ5aW5nIGFuZCBwdWJsaXNoaW5nIHRoZXNl
+IGNoYW5nZXMsIHdoZW4gb3RoZXIKaW1wbGVtZW50b3JzIGluIGZ1dHVyZSBsZWFybiBvZiB0aGVz
+ZSBtb2RpZmljYXRpb25zLCBhbmQgZGVjaWRlIHRoYXQgdGhleQphbHNvIHdhbnQgZnVsbCBiaW5h
+cnkgaW50ZXJvcGVyYWJpbGl0eSB3aXRoIFBPV0VSOSBmb3IgdGhlIGV4YWN0IHNhbWUKcmVhc29u
+cywgYW5kIGFsc28gd2FudCB0byBzYXZlIHRpbWUgYW5kIGRldmVsb3BtZW50IGNvc3RzIGp1c3Qg
+bGlrZSB3ZSBkaWQsCnRoZW4gaW5zdGVhZCBvZiB1c2luZyBJQk0ncyAqb2ZmaWNpYWwqIHNwZWNp
+ZmljYXRpb24gcHNldWRvY29kZSAod2hpY2gsCnJlbWVtYmVyLCBkb2VzICpub3QqIG1hdGNoIHRo
+ZSBleGFjdCBiZWhhdmlvdXIgb2YgUE9XRVI5LCB0aGUgZGUtZmFjdG8KbGVhZGluZyBpbXBsZW1l
+bnRhdGlvbiksIHRoZXkgdXNlIHRoZSAqdW5vZmZpY2lhbCogdmVyc2lvbiBmcm9tICpvdXIqCndl
+YnNpdGUsIGluc3RlYWQuCgpub3csIGlmIHdlIGhhZCBub3QgY3JlYXRlZCBhbiBhdXRvZ2VuZXJh
+dG9yIChhIHBhcnNlciBhbmQgY29kZWdlbmVyYXRvcikKdGh1cyBtYWtpbmcgdGhlIHVub2ZmaWNp
+YWwgcHNldWRvY29kZSBoYXJkIHRvIHVzZSAoaS5lLiB1c2VsZXNzIHRvIGFsbAppbnRlbnRzIGFu
+ZCBwdXJwb3NlcykgdGhpcyB3b3VsZCBub3QgcmVhbGx5IGJlIGFuIGlzc3VlLgoKaG93ZXZlciB0
+aGUgdGltZSB0aGF0IGhhcyBiZWVuIHNhdmVkIGJ5IGRvaW5nIHNvIGlzIHZhc3QsIGFuZCBpdCBo
+YXMgYmVlbgpleHRyZW1lbHkgc3VjY2Vzc2Z1bCwgc28gaXQgaXMgbm90IGFuIG9wdGlvbiB0byBn
+byBiYWNrd2FyZHMgYnkKaGFuZC1lZGl0aW5nIGFuZCBoYW5kLW1haW50YWluaW5nIHRoZSBhdXRv
+Z2VuZXJhdGVkIG91dHB1dC4KCm5vciBlaXRoZXIgd291bGQgaXQgYmUgcmVhc29uYWJsZSB0byBy
+ZXF1ZXN0IChvciBleHBlY3Qgdm9sdW50YXJpbHkpIHRoYXQgYQpjaGFyaXRhYmx5IGZ1bmRlZCBz
+b2Z0d2FyZSBsaWJyZSBwcm9qZWN0IHRha2UgZG93biBjb2RlIG9yIGRvY3VtZW50YXRpb24KcHVi
+bGlzaGVkIHVuZGVyIGZ1bGwgYXVkaXQgYW5kIHRyYW5zcGFyZW5jeSByZXF1aXJlbWVudHMgb2Yg
+dGhlaXIgZnVuZGluZwpib2R5IChOTE5ldCkgYXMgcGFydCBvZiBOTE5ldCdzICJQcml2YWN5IGFu
+ZCBFbmhhbmNlZCBUcnVzdCIgUHJvZ3JhbW1lICgKaHR0cHM6Ly9ubG5ldC5ubC9QRVQpCgppIHJl
+YWxseSBoYXZlIG5vIGlkZWEgd2hhdCB0byBzdWdnZXN0IGhlcmUuICBpIGFtIHNpbXBseSBsYXlp
+bmcgb3V0IHRoZQpjb25zZXF1ZW5jZXMgb2YgdGhlIGRlY2lzaW9uIHRvIHVzZSAidW5kZWZpbmVk
+IiwgYW5kIGV4cGxhaW5pbmcgd2h5IHdlIGhhdmUKdG8gbWFrZSBtb2RpZmljYXRpb25zLgoKcGVy
+c29uYWxseSBpbiAzMCB5ZWFycyBleHBlcmllbmNlIGkgaGF2ZSBmb3VuZCAidW5kZWZpbmVkIiB0
+byBiZSBhbiBpc3N1ZQppbiBhbnkgc3BlYyAoZ2VuZXJhbGx5KSB3aGVyZSBpdCBpcyB1c2VkIGFu
+ZCB3aGVyZSBpbnRlcm9wZXJhYmlsaXR5IGlzCmV4cGVjdGVkLCBob3dldmVyIHRoYXQgaXMgbXkg
+cGVyc29uYWwgZXhwZXJpZW5jZSwgYW5kIHRoZXJlIG1heSBiZQpleHRyZW1lbHkgZ29vZCBoaXN0
+b3JpY2FsIHJlYXNvbnMgd2h5IGl0IGlzIHVzZWQsIGluIHRoaXMgY2FzZSwgdGhhdCBpIGFtCm5v
+dCBhd2FyZSBvZi4KCmFwb2xvZ2llcyB0aGF0IHRoaXMgaXMgcXVpdGUgbG9uZy4KCmkgbGVhdmUg
+aXQgd2l0aCB5b3UgZm9yIGNvbnNpZGVyYXRpb24gd2hlbiB0aW1lIHBlcm1pdHMsIHBlbmRpbmcg
+dGhlClBPV0VSMTAgcmVsZWFzZS4KCmwuCgoKCgotLSAKLS0tCmNyb3dkLWZ1bmRlZCBlY28tY29u
+c2Npb3VzIGhhcmR3YXJlOiBodHRwczovL3d3dy5jcm93ZHN1cHBseS5jb20vZW9tYTY4Cl9fX19f
+X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCmxpYnJlLXJpc2N2LWRl
+diBtYWlsaW5nIGxpc3QKbGlicmUtcmlzY3YtZGV2QGxpc3RzLmxpYnJlLXJpc2N2Lm9yZwpodHRw
+Oi8vbGlzdHMubGlicmUtcmlzY3Yub3JnL21haWxtYW4vbGlzdGluZm8vbGlicmUtcmlzY3YtZGV2
+Cg==
+