search

CTSRD-CHERI / qemu

QEMU with support for CHERI
Other
54 stars 28 forks source link

Update cheri-compressed-cap to fix Morello HW divergences #219

Closed arichardson closed 1 year ago

arichardson commented 1 year ago

Fixes both the Morello regression and using setbounds on untagged capabilities for RISC-V when tag-clearing is enabled.

arichardson commented 1 year ago

Updated (no longer includes fast rep check changes). Will commit once CI is happy.

Fixes a RISC-V assertion for

.4byte 0x007a285b # csetboundsimmediate x16, x20, 7
.4byte 0x01082a5b # csetboundsimmediate x20, x16, 16

with tag-clearing enabled.