search

project-starch / capstone-spec

Capstone-RISC-V ISA Reference
https://capstone.kisp-lab.org/
2 stars 0 forks source link

Specify the handling of unrepresentable bounds #40

Open jasonyu1996 opened 1 year ago

Mingkai-Li commented 1 year ago

See also: issue 5 from another repo, which contains some previous discussion about the capability compression problem.

Mingkai-Li commented 1 year ago

Also, is it better to have uncompressed capabilities in the register file, and only compress them in store operations?

Doing this would significantly reduce the number of exceptions caused by unrepresentable bounds, since most of the instructions, which only manipulate capabilities in the register, won't have any problem of unrepresentable bounds. And the problem is delayed until the store operations only, i.e., when calling STC.