Skip to content

Isacov: Tweak sampling conditions (based on multi-bit rvfi_trap)

Created by: silabs-robin

This PR changes the conditions for when isacov samples instructions that are flagged with "rvfi_trap".

Previously, ebreak was not sampled at all, because we excluded sampling of all trapped instructions. Then a stepping-stone fix was added which allowed ebreak/ecall to be sampled despite of trap. Now this PR makes the condition more specific, so we don't sample ebreaks/ecalls which are invalid (e.g. that come from a bus error, etc).

RTL hash is also updated, because the sampling conditions relies on the latest extensions to rvfi_trap.

Passes ci_check.

Merge request reports

Loading