Skip to content

Commit

Permalink
FoF clarification (riscv#517)
Browse files Browse the repository at this point in the history
if element zero is masked then don't take a cheri fault
  • Loading branch information
tariqkurd-repo committed Feb 10, 2025
1 parent 09fe69c commit 7418714
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/vector-integration.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ on _active_ elements.

In the case of fault-only-first loads, a CHERI bounds violation is only taken if any bytes of element 0 are out of bounds, or if the CHERI bounds are <<section_cap_malformed,malformed>> and there are any _active_ elements.
If another _active_ element causes a CHERI bounds violation then it is treated the same way as other exceptions, the trap is not taken and instead vl is reduced.
All other CHERI fault types, such as tag violations, are taken if there are any _active_ elements.
All other CHERI fault types, such as tag violations, are only taken if element zero is _active_.

NOTE: Indexed loads in {cheri_cap_mode_name} check the bounds of every access against
the authority capability in `cs1`. Therefore the approach of having a zero base
Expand Down

0 comments on commit 7418714

Please sign in to comment.