[Libre-soc-dev] qemu cosimulation

[Luke Kenneth Casson Leighton]

SINGLE-conversion faulty, fixed and got only a couple of differences now:

lkcl at fizzy:~/src/libresoc/openpower-isa/media$ diff -u /tmp/o.txt
/tmp/samp.txt --- /tmp/o.txt  2021-06-02 14:30:58.750345506 +0100
+++ /tmp/samp.txt       2021-06-02 14:31:16.878419527 +0100
@@ -1,9 +1,9 @@
 00000000  00 00 00 00 88 5a 05 2a  e0 50 af aa b8 4e a7 2a
 |.....Z.*.P...N.*|
 00000010  91 38 c2 aa b0 65 00 2a  ec 4d ea 2a c6 99 f3 ab
 |.8...e.*.M.*....|
 00000020  5e 86 5c 2b c7 79 ce aa  05 b1 30 ab c2 b7 35 2c
 |^.\+.y....0...5,|
-00000030  b1 48 35 ab 00 d8 91 2b  26 7e 6c 2b 52 c9 ac ac
 |.H5....+&~l+R...|
+00000030  b2 48 35 ab 00 d8 91 2b  26 7e 6c 2b 52 c9 ac ac
 |.H5....+&~l+R...|
 00000040  00 00 00 00 fc 57 cf 2c  61 ee ce ab 00 3a ff ab
 |.....W.,a....:..|
-00000050  42 b6 f1 2b d1 49 08 ad  46 dd 5c 2c b8 f3 0d 2c
 |B..+.I..F.\,...,|
+00000050  42 b6 f1 2b d2 49 08 ad  46 dd 5c 2c b9 f3 0d 2c
 |B..+.I..F.\,...,|
 00000060  2c 2d b3 ac 8d 26 55 2d  ec 4d ea ac 0b 6c 08 ac
 |,-...&U-.M...l..|
-00000070  2c a3 e6 2c 51 97 db ac  a8 7c 03 2d 1d b3 58 ac
 |,..,Q....|.-..X.|
+00000070  2c a3 e6 2c 52 97 db ac  a8 7c 03 2d 1d b3 58 ac
 |,..,R....|.-..X.|
 00000080


---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68


On Wed, Jun 2, 2021 at 1:37 PM Luke Kenneth Casson Leighton <lkcl at lkcl.net>
wrote:

> first actual discrepancy found: FP operations have to take place
> at the 64 bit precision... then be truncated to IEEE754 FP32,
> then be *re-expanded* to fit into IEEE754 FP64.
>
> l.
>
>