search

riscv / riscv-isa-manual

RISC-V Instruction Set Manual
https://riscv.org/
Creative Commons Attribution 4.0 International
3.62k stars 629 forks source link

Semantics for srli,sili and add instructions #708

Open nikita890-art opened 3 years ago

nikita890-art commented 3 years ago

I am trying to create a custom instruction by combining the semantics of add,sili and srli but I have no clue where to find the semantics of these RISCV instructions. Can someone please help me out with the semantics for these three instructions ?

allenjbaum commented 3 years ago

Not sure why the unpriv spec isn't good enough. Add just adds. But, for a more formal description, there was a project to annotate the spec with Sail semantics, and an experimental draft version of that is located here: https://github.com/rems-project/riscv-isa-manual/blob/sail/release/riscv-spec-sail-draft.pdf

On Sat, Aug 14, 2021 at 9:20 PM nikita890-art @.***> wrote:

I am trying to create a custom instruction by combining the semantics of add,sili and srli but I have no clue where to find the semantics of these RISCV instructions. Can someone please help me out with the semantics for these three instructions ?

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/riscv/riscv-isa-manual/issues/708, or unsubscribe https://github.com/notifications/unsubscribe-auth/AHPXVJXX5UZ55Q7HQQUVF4DT446CBANCNFSM5CFYPZEA . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&utm_campaign=notification-email .