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

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Tue May 19 15:40:47 BST 2020


--- 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.

More information about the libre-riscv-dev mailing list