rasky
commented
4 years ago Thank you very much! I'm merging this in on the basis that you wrote a lot of tests that I assume it must be correct, but it'll take me some time to actually reverify everything. Moreover, I'll push straight away a local patch I had to add a complete description of packed load/stores that I hand't pushed yet.
I've added descriptions of the vector compare and remaining multiplication instructions to the RSP doc, and filled in some other missing sections based on my understanding of the instruction set. I'm not completely sure what I've described is clear and accurate to the hardware though, so if you'd look over the changes that would be great.
A complete, human-readable doc of the instruction set as it actually exists would be a great resource, and it seems very close.