[Libre-soc-bugs] [Bug 671] convert spec pseudocode to use XLEN width

[bugzilla-daemon at libre-soc.org]

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

--- Comment #67 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Jacob Lifshay from comment #65)

> If we did just decide to skip some instructions just because we'd have to
> modify the spec text, I think the people on the ISA WG reviewing how SV
> works would take that as evidence of SV being inconsistently applied and
> half-baked, increasing our chances of rejection.

hmm, good points

(In reply to dmitry.selyutin from comment #66)

> A short summary: if we intend to ever touch these, the current wording from
> the spec does not leave us much room. These instructions _must_ be updated
> both in specs and pseudo-code. You only consider the simplest one, addg6s,
> but even that one needs changes. If we're OK with changing the specs and the
> original semantics -- let's do it.

yes. there's no such restriction. every piece of pseudocode must be
accompanied by associated wording in english.

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