[Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Sat Jun 20 02:38:03 BST 2020


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

--- Comment #92 from Cole Poirier <colepoirier at gmail.com> ---
Hi Luke,

I added some code to TRAP in decoder.isa.caller but commented out because I
didn't want to break test_caller. I implemented most of the pseudo-code but
felt like I was on very shaky ground as I didn't fully grok the way I should be
implementing the pseudo-code for this function. I think I need some guidance on
how to set the 'TRAP exception type', and review of my commented code to see if
I'm on the write track.

Am I correct in my understanding that once this is done in decoder.isa.caller
it should be added as two tests (twi, tw) in fu.trap.test_pipe_caller?

After this all that remains for the TRAP pipeline is writing the formal proof?

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


More information about the libre-soc-bugs mailing list