seal5.backends.riscv_gnu.encoding

Translate Seal5 instruction encodings without assuming standard RISC-V fields.

Functions

compile_encoding(instruction)

Compile CoreDSL's MSB-first encoding into bit positions used by GNU.

Classes

Encoding(size, match, mask, operands)	Fixed bits and operand slices, shared by GNU code generators.
Slice(instruction_bit, operand_bit, width)	One contiguous piece of an operand in the instruction word.