seal5.backends.riscv_gisel_legalizer.writer

Clean M2-ISA-R/Seal5 metamodel to .core_desc file.

Functions

gen_riscv_gisel_legalizer_str(legalizer_settings)	Generate GISel legalizer code.
main()	Main app entrypoint.
type_helper(ty)	Converts seal5-specific types into LLVMs LLT/VTs.