Implement RISCOF tests - Githubissues

gsmecher / minimax

Minimax: a Compressed-First, Microcoded RISC-V CPU

BSD 3-Clause "New" or "Revised" License

204 stars 13 forks source link

Implement RISCOF tests #8

Closed gsmecher closed 1 year ago

gsmecher commented 1 year ago

Work in progress; addresses #6.

Regression tests don't work, and the toolchain install is a hassle. I am going to play with some automation to see if I can't make this more accessible.

@xobs, you might want to keep an eye on this - it's much more comprehensive than our current test framework. There are a few tests that don't complete successfully, and I haven't yet figured out why.

xobs commented 1 year ago

I'll keep an eye on this, thanks!

gsmecher commented 1 year ago

I finally managed to cross off the last few items on my list prior to merging this work to master:

RV32IC RISCOF tests now pass, except a few privileged tests which are patched out for now.
Github is correctly hooked up to run regression tests as an action

Along the way, I cleared up the lingering JAL bug (it ended up being a microcode one-liner.)

Unless you object, @xobs, I am now ready to merge this branch (and its child, riscof_dockerized) to master.