[CHERI-RISC-V] Update for tag clearing

CTSRD-CHERI / qemu

QEMU with support for CHERI

Other

52 stars 28 forks source link

[CHERI-RISC-V] Update for tag clearing #210

Closed arichardson closed 1 year ago

arichardson commented 1 year ago

Catches up with https://github.com/CTSRD-CHERI/sail-cheri-riscv/pull/56

Verified by running TestRIG against sail. While fuzzing against sail I also found some additional divergences that I'll upload fixes for in separate PRs.

arichardson commented 1 year ago

Should be ready for review now.

arichardson commented 1 year ago

Includes #219 to ensure the CI can pass.

arichardson commented 1 year ago

Rebased.

arichardson commented 1 year ago

Looks Good to me. My only question is whether we should propagate the "became-unrepresentable" information in incoffset when the source cap is invalid. I don't have a specific case for which it is wrong though.

Ah that is a good point - probably not too useful if it's already untagged.

arichardson commented 1 year ago

Test failures are timeouts on the ASAN builds. Merging.