seal5.backends.riscv_register_info.writer

Generate Patches for RISCVRegisterInfo.td.

Functions

gen_riscv_register_info_str(set_def)	Generate full code for RISCVRegisterInfo.td patch for a set.
main()	Main app entrypoint.
write_riscv_register_info(reg)	Generate code for RISCVRegisterInfo.td LLVM patch.