As mentioned in the CHERI SIG on 24th august 2023:
Zba has sh1/2/3add which are specifically for address generation
It would be useful if they handled capabilities in capability mode
Presumably call them csh1/2/3add?
The definition would be to use CSetAddr to update the capability with the shifted address
We could also consider [c]sh4add for RISC-V-CHERI-128 to allow fast indexing into structures of capabilities. No idea if that would be useful in practice
As mentioned in the CHERI SIG on 24th august 2023:
Zba has
sh1/2/3addwhich are specifically for address generation It would be useful if they handled capabilities in capability mode Presumably call themcsh1/2/3add?The definition would be to use
CSetAddrto update the capability with the shifted addressWe could also consider
[c]sh4addfor RISC-V-CHERI-128 to allow fast indexing into structures of capabilities. No idea if that would be useful in practice