search

CHERIoT-Platform / cheriot-sail

Sail code model of the CHERIoT ISA
Other
34 stars 9 forks source link

Tweak cincaddr so that it can replace cmove instruction #88

Open rmn30 opened 1 week ago

rmn30 commented 1 week ago

The proposed CHERI-RISCV standard replaces cmove cd, cs1 instruction with a special case for cincaddr cd, cs1, zr that prevents it from clearing the tag on sealed capabilities. We should align with the standard on this.

davidchisnall commented 1 week ago

I don't really want to do with for v1. We can easily provide a cmove pseudo / macro that expands to cincaddr in v2.