[Libre-soc-bugs] [Bug 838] sync or at least statically check fields.text, power_decoder, trans/svp64, CSVs between each other

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Thu May 19 11:18:30 BST 2022


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

--- Comment #1 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
svp64.py basically should be updated to use PowerFields() to autogenerate
the binary opcode. but, it's not quite that straightforward: there is
still information in power_decoder.py which is manual.

here:

https://git.libre-soc.org/?p=openpower-isa.git;a=blob;f=src/openpower/decoder/power_decoder.py;h=39ba5f22a46c35ed3824faacb9bad8c96d43f396;hb=HEAD#l737

 737         Subdecoder(pattern=22, opcodes=get_csv("minor_22.csv"),
 738                    opint=True, bitsel=(1, 5), suffix=None,
subdecoders=[]),

this is *manually* specified unfortunately, with bitsel=(1,5) matching
the size of the CSV entries:

https://git.libre-soc.org/?p=openpower-isa.git;a=blob;f=openpower/isatables/minor_22.csv;h=9fc38e024d34b62e4a715dc4299ea9436fdbc4fa;hb=318e981331df094fe1b46e796656993ccef38a1c

   5 0b00011,VL,OP_SVSTEP,....

this is going to be a pain so probably a static checker is best

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


More information about the libre-soc-bugs mailing list