[Libre-soc-bugs] [Bug 895] openpower-isa should not require soc to run tests

[bugzilla-daemon at libre-soc.org]

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

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

> imho we need some kind of tests in openpower-isa.git for all the
> instructions in openpower-isa.git, so either we should keep them and make
> them independent of soc, or create new tests that run the simulator and
> check outputs.

anyone following the discussion on IRC last year will know that that's
exactly what the test API is and always has been planned to be. also
from the discussions we have weekly, you will know that there is a plan
to incorporate the OPF Compliance Test Suites. this was discussed appx
6 months ago. it is held up simply because machine-readable versions of
the Compliance Suite are not available yet and i am not wasting time doing
PDF parsing. once was enough.

you'll also have seen yesterday and read the
proposal https://libre-soc.org/nlnet_2022_opf_isa_wg/ which includes
a budget for tidy-up and continuation of the Test API.

i also mention the Test API in one of the OpenPOWER Conferences, last year.

it was just inexperience that led kyle to add an incorrect dependency /
insufficient abstraction and i haven't had time to fix it.

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