How to go from encdec mapping to JSON docs

[Timmmm]

I have a simple disassembler based on the RISC-V model:

❯ rvutil/rvutil dis rv64 0x1234
c.addi4spn a3, 0x128

Works fine, but I was thinking it would be really cool if I can also show the Sail code and wavedrom diagram for the decoded instruction. That information is in the JSON docs output, but I'm not sure how to figure out which clause matched.

I guess I would need some generated function like encdec_match_index which would return an integer corresponding to the clause that matched which can be used to look up the clause in the JSON file? Does that seem like a good idea?