[libre-riscv-dev] [Bug 316] bperm TODO

[bugzilla-daemon at libre-soc.org]

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

--- Comment #48 from Michael Nolan <mtnolan2640 at gmail.com> ---
Cole, since your module passes your formal proof, I think it might be a good
idea to try hooking it up to the logical pipeline, and adding a test for it.

To hook it up, you're going to want to open up logical/main_stage.py and take a
look at what's there for OP_CNTZ. You're going to want to do something similar
to that for OP_BPERM using your Bpermd module.

To add a test for bperm, you'll want to open up
logical/test/test_pipe_caller.py and duplicate the function `test_cmpb`. You'd
then want to modify this copy to have a different name, execute the bpermd
instruction instead of cmpb, and possibly have different data for registers 1
and 2. Again, happy to help if you get stuck

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