[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / 85 / c43f6342319dd4eb04be9d9f3de9ee08ee8904
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Wed, 13 May 2020 02:22:07 +0100
4 Received: from localhost ([::1] helo=libre-riscv.org)
5 by libre-soc.org with esmtp (Exim 4.89)
6 (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
7 id 1jYg62-0006ky-V4; Wed, 13 May 2020 02:22:06 +0100
8 Received: from ozlabs.org ([203.11.71.1])
9 by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
10 (Exim 4.89) (envelope-from <hugh@blemings.org>) id 1jYg60-0006kl-Q7
11 for libre-riscv-dev@lists.libre-riscv.org; Wed, 13 May 2020 02:22:05 +0100
12 Received: from authenticated.ozlabs.org (localhost [127.0.0.1])
13 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
14 key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
15 (No client certificate requested)
16 by mail.ozlabs.org (Postfix) with ESMTPSA id 49MH2f14Q6z9sSf;
17 Wed, 13 May 2020 11:22:02 +1000 (AEST)
18 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=blemings.org;
19 s=201708; t=1589332922;
20 bh=xI64juMaH75z/pNXkHQ+8bk8BmFTkMuF7im92lCuP5Y=;
21 h=Subject:To:Cc:References:From:Date:In-Reply-To:From;
22 b=Y5uqQWTtismTN/+Q+BGfYpukMIsHi27F8zagMsMxrItNLz3gts/5RQWgXI0T2jSCq
23 k+5OgkzJXaZgeU4+nzeTaxqzSbEtZ2nuobpBbTyojI+4veVWwNd63YtIF+rNQi7IaA
24 UcI89zLILqCEbxg1B0pzXsNEBbgO6TYdX3uN7fARzGtLppXg7KOI/N60YrfGBxlMhV
25 95chiFtWg8//S9jcpnJ+WQwNJ4nXla86Czw1jFOuCXkYafi3XJKxYIpUKLXd3kuY1U
26 KyNhCGoxVgY/p0Rnq2hc+HAZ6TPFcdFSKjao6EF/aeYul8ptzKEDgHsmUUYOh4s6tO
27 KfZylSXyxEGDA==
28 To: Jacob Lifshay <programmerjake@gmail.com>,
29 openpower-hdl-cores@mailinglist.openpowerfoundation.org
30 References: <CAC2bXD6LVtrMh7RT=11ZVypujcJRaMokG7XuBwF87veBiMMDLQ@mail.gmail.com>
31 From: Hugh Blemings <hugh@blemings.org>
32 Message-ID: <ec667579-06e2-ff44-4604-b160149feaa3@blemings.org>
33 Date: Wed, 13 May 2020 11:22:01 +1000
34 User-Agent: Mozilla/5.0 (X11; Linux ppc64le; rv:68.0) Gecko/20100101
35 Firefox/68.0 Thunderbird/68.7.0
36 MIME-Version: 1.0
37 In-Reply-To: <CAC2bXD6LVtrMh7RT=11ZVypujcJRaMokG7XuBwF87veBiMMDLQ@mail.gmail.com>
38 Content-Language: en-AU
39 X-Content-Filtered-By: Mailman/MimeDel 2.1.23
40 Subject: Re: [libre-riscv-dev] [OpenPOWER-HDL-Cores] little-endian only
41 power cores and spec compliance
42 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
43 X-Mailman-Version: 2.1.23
44 Precedence: list
45 List-Id: Libre-RISCV General Development
46 <libre-riscv-dev.lists.libre-riscv.org>
47 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
48 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
49 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
50 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
51 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
52 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
53 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
54 Reply-To: Libre-RISCV General Development
55 <libre-riscv-dev@lists.libre-riscv.org>
56 Cc: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
57 Content-Transfer-Encoding: base64
58 Content-Type: text/plain; charset="utf-8"; Format="flowed"
59 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
60 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
61
62 SGkgQWxsLAoKSSdtIGJhcmVseSBxdWFsaWZpZWQgdG8gYWRkIG11Y2ggbW9yZSB0aGFuICQwLjIw
63 IHRvIHRoaXMgdGhyZWFkLCBidXQgCndpbGwgZ2l2ZSBpdCBhIHdoaXJsLi4uCgpJJ3ZlIG5vdCBo
64 YWQgYSBjaGFuY2UgdG8gZGlnIGludG8gdGhlIHYzLjEgc3BlYyBhcyB5ZXQgYnV0IGNhbiBvZmZl
65 ciB0aGUgCm9ic2VydmF0aW9uIHRoYXQgdGhlIGludGVudCAoYXMgZGVtb25zdHJhdGVkIGluIHRo
66 ZSBNaWNyb3dhdHQgCmltcGxlbWVudGF0aW9uIGZvciBleGFtcGxlKSB3YXMgdGhhdCB0aGUgc2lt
67 cGxlci9zaW1wbGVzdCAKaW1wbGVtZW50YXRpb25zIHdvdWxkIGJlIExFIHdpdGggQkUgb3B0aW9u
68 YWwuIFNJTUQgYWxzbyBvcHRpb25hbCBpbiAKdGhlc2UgYXMgd2VsbC4KClNvIGlmIHRoZSBkb2Nz
69 IGRvbid0IHJlcHJlc2VudCB0aGlzIHdlJ2xsIG5lZWQgdG8gdGFrZSBhIGNsb3NlciBsb29rIDop
70 CgpXZSdyZSBnZXR0aW5nIG1vcmUgb2YgdGhlIGtleSBmb2xrIGZyb20gb3VyIG1lbWJlciBjb21w
71 YW5pZXMgKG1vc3RseSAKSUJNKSBpbnRvIHRoZSBsb29wIHRocm91Z2ggdGhpcyBsaXN0IGJ1dCBh
72 cyBMdWtlIHJpZ2h0bHkgcG9pbnRlZCBvdXQgCm92ZXIgb24gbGlicmUtcmlzY3YtZGV2IHRoZXkn
73 cmUgYSBidXN5IGNyZXcgYXQgdGhlIG1vbWVudCB3aXRoIGEgbmV3IApjaGlwIGR1ZSBvdXQgc29v
74 biA6KQoKVGhhdCBzYWlkIEkgaW1hZ2luZSBzb21lb25lIHdpbGwgY2hpbWUgaW4gc29vbiB3aG8g
75 LWFjdHVhbGx5LSBrbm93cyB0aGlzIApzdHVmZiEKCkNoZWVycywKSHVnaAoKKFNwZWFraW5nIGZv
76 ciBteXNlbGYgb25seSBpbiB0aGlzIGNhc2UsIHRob3VnaCBJIGJlbGlldmUgd2VhcmluZyBteSBF
77 RCAKaGF0IEknZCBiZSBzYXlpbmcgbXVjaCB0aGUgc2FtZSA6KQoKCk9uIDEyLzUvMjAgNToyNCBw
78 bSwgSmFjb2IgTGlmc2hheSB3cm90ZToKPiBPdmVyIG9uIExpYnJlLVNPQydzIG1haWxpbmcgbGlz
79 dCAoQ0NlZCksIHdlJ3ZlIGJlZW4gaGF2aW5nIGEgCj4gY29udmVyc2F0aW9uIGFib3V0IHRoZSBu
80 ZXdseS1yZWxlYXNlZCBzcGVjIHYzLjEgYW5kIHRoZSBjb21wbGlhbmNlIAo+IGxldmVsczoKPiBo
81 dHRwOi8vbGlzdHMubGlicmUtcmlzY3Yub3JnL3BpcGVybWFpbC9saWJyZS1yaXNjdi1kZXYvMjAy
82 MC1NYXkvMDA2NTAyLmh0bWwKPgo+IHdlIGFyZSBidWlsZGluZyBhIGNwdSB0aGF0IGlzIGludGVu
83 ZGVkIHRvIGJlIExpbnV4IGNhcGFibGUsIGhvd2V2ZXIgCj4gZG9lc24ndCBzdXBwb3J0IFBvd2Vy
84 J3MgU0lNRCBpbnN0cnVjdGlvbnMgYW5kIGlzIExFIG9ubHkuIFdlJ3ZlIGJlZW4gCj4gcnVubmlu
85 ZyBpbnRvIGFuIGlzc3VlIHdpdGggdGhlIHNwZWMncyBjb21wbGlhbmNlIGxldmVsczoKPiB0aGUg
86 bGludXggY29tcGxpYW5jZSBsZXZlbCByZXF1aXJlcyBTSU1EIGFuZCBCRSBpcyBvcHRpb25hbCBi
87 dXQgdGhlIAo+IGxvd2VyIGNvbXBsaWFuY2UgbGV2ZWxzIHJlcXVpcmUgQkUgYnV0IFNJTUQgaXMg
88 b3B0aW9uYWwuCj4KPiBXb3VsZCBpdCBiZSBwb3NzaWJsZSB0byBnZXQgYSBMRSB2ZXJzaW9uIG9m
89 IHRoZSBpbnQgYW5kIGludCtmbG9hdCAKPiBjb21wbGlhbmNlIGxldmVscyBhZGRlZCB0byB0aGUg
90 c3BlYz8KPgo+IE90aGVyIGlkZWFzIGFsc28gd2VsY29tZQo+Cj4gSmFjb2IgTGlmc2hheQo+Cj4g
91 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KPiBPcGVuUE9X
92 RVItSERMLUNvcmVzIG1haWxpbmcgbGlzdAo+IE9wZW5QT1dFUi1IREwtQ29yZXNAbWFpbGluZ2xp
93 c3Qub3BlbnBvd2VyZm91bmRhdGlvbi5vcmcKPiBodHRwOi8vbGlzdHMubWFpbGluZ2xpc3Qub3Bl
94 bnBvd2VyZm91bmRhdGlvbi5vcmcvbWFpbG1hbi9saXN0aW5mby9vcGVucG93ZXItaGRsLWNvcmVz
95 Cl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCmxpYnJlLXJp
96 c2N2LWRldiBtYWlsaW5nIGxpc3QKbGlicmUtcmlzY3YtZGV2QGxpc3RzLmxpYnJlLXJpc2N2Lm9y
97 ZwpodHRwOi8vbGlzdHMubGlicmUtcmlzY3Yub3JnL21haWxtYW4vbGlzdGluZm8vbGlicmUtcmlz
98 Y3YtZGV2Cg==
99