--- /dev/null
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Mon, 20 Jul 2020 11:31:53 +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 1jxT5M-0000l8-PX; Mon, 20 Jul 2020 11:31:52 +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 1jxT5L-0000l1-Qf
+ for libre-riscv-dev@lists.libre-riscv.org; Mon, 20 Jul 2020 11:31:51 +0100
+DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lkcl.net;
+ s=201607131;
+ h=Content-Type:To:Subject:Message-ID:Date:From:References:In-Reply-To:MIME-Version;
+ bh=ZMBh8DqdTSxSRsSbc+bx3nsVjoMXaVF/kflqfkr/O40=;
+ b=BloTjZuOTN8BS7DeYw+tf7Qi1g5NTDxm0ASXmhwqXWC6iyfJMHuKFsy2rdorIBBhfi1gNPrxPdo6x7nXY5XcEY19gA+JFzy1IPUeEaQxxR0X6hbB3g2TaxfrQVKHP5Pns6zEJBkLlIzNcMroTY3v3ErnEEKk8Nn/aOulwBxgWQc=;
+Received: from mail-lj1-f181.google.com ([209.85.208.181])
+ by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jxT5L-0003Ti-F0
+ for libre-riscv-dev@lists.libre-riscv.org; Mon, 20 Jul 2020 10:31:51 +0000
+Received: by mail-lj1-f181.google.com with SMTP id x9so19652848ljc.5
+ for <libre-riscv-dev@lists.libre-riscv.org>;
+ Mon, 20 Jul 2020 03:31:36 -0700 (PDT)
+X-Gm-Message-State: AOAM530zNR8o6opxg76mST95rXiPphoGSyRbpLyAlk7Ate+sqOgco3da
+ 3Mzk1AK2EMsikZRLlw6IyzbVI62JFQfJhZsxVN8=
+X-Google-Smtp-Source: ABdhPJzpLWthVLQASeWSFW4wUQi3ZROQLrNURFhYUVriAm/QyL3XQWkeKDBcj+InNmLQR9H1rbS2tPGaqMWiWvePUiY=
+X-Received: by 2002:a2e:92d0:: with SMTP id k16mr10563180ljh.48.1595241090671;
+ Mon, 20 Jul 2020 03:31:30 -0700 (PDT)
+MIME-Version: 1.0
+Received: by 2002:a05:6504:702:0:0:0:0 with HTTP; Mon, 20 Jul 2020 03:31:29
+ -0700 (PDT)
+In-Reply-To: <CAC2bXD5YA2_+xH_=zPUV-tcdTjAvF-QJa=cYQPCvYA75BvToEA@mail.gmail.com>
+References: <CAPweEDy_OqUdMEbXJ4TSuYunCTYVyd7pboNuDzNBwt7TzW1Rdg@mail.gmail.com>
+ <CAC2bXD6VgyGeGcKpCG8QXiPWEBt2Ozy=kVMa8OEtBhCS=MGrow@mail.gmail.com>
+ <CAPweEDwp0TWopxrXk_LwP_s2eGLVBniMJ3RturCpwzFNhwv3fw@mail.gmail.com>
+ <CAPweEDwEQOb8_ZfxNsz14HEW+HMEc9-uq-awvuj0rtbnp3by9Q@mail.gmail.com>
+ <CAC2bXD5pGGARmbWbD60B1WObECvRArFGak_prEQJ8p3+5H0jpQ@mail.gmail.com>
+ <CAPweEDz79NiDvrAzFQ9kgMdBu1gX9EgvWY2yLXBR=FAMxU0=Uw@mail.gmail.com>
+ <CAC2bXD4ipWkR=1Z2hX+=HvMbDwtinhvC7CWgG6GFEsu57j1-Eg@mail.gmail.com>
+ <CAPweEDzzY9OXscMQSh1HM26AtM+43PJpCa0RS44y+MmErFr8sw@mail.gmail.com>
+ <CAC2bXD5ODi8di2yqitLQ40MSychRA-2WGg0+zH7U-wKCe5A2WA@mail.gmail.com>
+ <CAPweEDyK8ms7jXbby1=JejzkjcKevb8ueDrs6naMipeR_119_A@mail.gmail.com>
+ <CAC2bXD5YA2_+xH_=zPUV-tcdTjAvF-QJa=cYQPCvYA75BvToEA@mail.gmail.com>
+From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
+Date: Mon, 20 Jul 2020 11:31:29 +0100
+X-Gmail-Original-Message-ID: <CAPweEDzW6hdGSm1-4G=wqaWoHbxVeAh641hnfaqS7VrX763mWQ@mail.gmail.com>
+Message-ID: <CAPweEDzW6hdGSm1-4G=wqaWoHbxVeAh641hnfaqS7VrX763mWQ@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] div pipe
+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>
+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>
+
+T24gTW9uZGF5LCBKdWx5IDIwLCAyMDIwLCBKYWNvYiBMaWZzaGF5IDxwcm9ncmFtbWVyamFrZUBn
+bWFpbC5jb20+IHdyb3RlOgoKPgo+ID4gPiBpZiBGYWxzZSBhbmQgY29yZV9jb25maWcuc3VwcG9y
+dGVkID09IHtEUC5VRGl2UmVtfToKPiA+ID4gICAgIHNlbGYuCj4gPgo+ID4KPiA+Cj4gPiA+IEFz
+IGZhciBhcyBJIGNhbiB0ZWxsLCB0aGF0IHNob3VsZCB3b3JrCj4KPiBQdXNoZWQgYSBmaXguCgoK
+bmljZQoKCj4KPiBGaXhlZCB0aGUgY29tYiB0ZXN0cyBzaW5jZSB0aGUgZ2VuZXJhdGUgcHJvY2Vz
+cyB3YXMgMXVzIGFoZWFkIG9mIHRoZQo+IGNoZWNrIHByb2Nlc3MsIGNhdXNpbmcgdGVzdCBmYWls
+dXJlcy4KCgp3aG9vcHMgOikKCgoKLS0gCi0tLQpjcm93ZC1mdW5kZWQgZWNvLWNvbnNjaW91cyBo
+YXJkd2FyZTogaHR0cHM6Ly93d3cuY3Jvd2RzdXBwbHkuY29tL2VvbWE2OApfX19fX19fX19fX19f
+X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpsaWJyZS1yaXNjdi1kZXYgbWFpbGlu
+ZyBsaXN0CmxpYnJlLXJpc2N2LWRldkBsaXN0cy5saWJyZS1yaXNjdi5vcmcKaHR0cDovL2xpc3Rz
+LmxpYnJlLXJpc2N2Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xpYnJlLXJpc2N2LWRldgo=
+