[Libre-soc-bugs] [Bug 838] sync or at least statically check fields.text, power_decoder, trans/svp64, CSVs between each other

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Mon Aug 8 22:22:45 BST 2022


https://bugs.libre-soc.org/show_bug.cgi?id=838

--- Comment #34 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Dmitry Selyutin from comment #33)
> The table parsing is complex enough, so I decided to re-use (or, well,
> rather wrap) DecodeFields and postpone the cleanup in this part. 

i'd greatly prefer it wasn't touched at all.  any time spent will
apart from anything be a waste of time as when the latex version
of the Power ISA spec is available we need to convert autoreading
of that.

that's assuming it has what is needed, Paul assures me he did his
best to make it machine-parseable.

> It's doable
> and should be done, too, at least for validation's sake (also for real
> unmarshalling, better typing system, etc.). However, I suggest to postpone
> it to the later stage.

i really prefer it not to be touched at all, it is quite critical
and requires a full re-run of every single unit test we have.
not just in the Simulator but in the HDL as well.

> Even the minor validation I'm doing now raises the questions. I suspect I
> found an issue, or perhaps an undocumented feature. The operands RA, RT and
> XO mention DQE form, which is not present in our known forms. Moreover, it's
> not even known to ISA 3.1b; it's only mentioned as part of the operands'
> description. Ideas?

examine v3.0B.  that is what fields.txt was originally taken from.
v3.1 was not available.

-- 
You are receiving this mail because:
You are on the CC list for the bug.


More information about the libre-soc-bugs mailing list