From ed7c1411bd7abb831f2d48fb5c26e15957e7c792 Mon Sep 17 00:00:00 2001 From: Tariq Kurd Date: Wed, 5 Feb 2025 17:10:14 +0000 Subject: [PATCH] FoF clarification (#517) if element zero is masked then don't take a cheri fault --- src/vector-integration.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vector-integration.adoc b/src/vector-integration.adoc index a8cd3e23..88c03376 100644 --- a/src/vector-integration.adoc +++ b/src/vector-integration.adoc @@ -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 <> 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