Plans for SAIL code integration?
camel-cdr opened this issue · 2 comments
A recent article raised the issue that the manual would benefit a lot from having the relevant SAIL code included with the definition of instructions: https://alastairreid.github.io/riscv-spec-issues/
This is already the case for part of the latest draft release, e.g. the bitmanip code and zicond have relevant SAIL definitions.
Notably the R32I/RV64I base instruction sets currently don't have SAIL definitions, I would've expected those to be added first, is this still planned in the future?
Additionally, I'd like to point out a naming discrepancy. Chapter 29 (bitmanip) titles the SAIL code "Operation", while Chapter 12 (zicond) titles it "SAIL code".
I personally much prefer the "SAIL code" title, because it's a lot easier to search for.
Are there plans to keep the SAIL code in the manual synchronised with the SAIL model?
This would be best addressed on a branch with a Pull Request. That way the relevant folks can review the change and accept it or not.
And yes, there are plans to synchronize the SAIL code in the spec with the SAIL model. It's a work in progress.
I wonder how to define those undefined behavior in sail for the ISA Manual? SAIL is more like to an implementation to the RISC-V ISA, is there any plan to metaprogramming it to adapt some different uArch?