diff --git a/src/insns/acperm_32bit.adoc b/src/insns/acperm_32bit.adoc index 100646a4..b2e7a98b 100644 --- a/src/insns/acperm_32bit.adoc +++ b/src/insns/acperm_32bit.adoc @@ -62,7 +62,8 @@ The MXLEN=32 additional rules are: . Clear <> unless _all_ other permissions are set . Clear <> and <> if <> is not set . Clear <> if <> _is_ set, but <> _is not_ set. -. Clear <> if <> and <> _are_ set, but <> and <> _are not_ set. +. Clear <> if <> and <> are set, and <> and <> are both clear. +. If removing <> results in unrepresentable permissions, then set <> and <> only. .Capability permissions bit field [#acperm_bit_field]