Skip to content

Commit

Permalink
ACPERM clears tag if reserved bits are set (#328)
Browse files Browse the repository at this point in the history
fixes #323
tariqkurd-repo authored Jul 16, 2024
1 parent ffd9d11 commit a9f25ae
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/insns/acperm_32bit.adoc
Original file line number Diff line number Diff line change
@@ -36,7 +36,7 @@ clear all AP permissions and the <<m_bit>>, and skip the next step
. Clear AP permissions as required to meet the rules below.
. Encode the AP permissions for MXLEN=32 according to <<cap_perms_encoding32>>.
. Copy `cs1` to `cd`, and update the AP and SDP fields with the newly calculated versions.
. Set `cd.tag=0` if `cs1` is sealed.
. Set `cd.tag=0` if `cs1` is sealed or if any reserved fields of `cs1` are set.
+
Some combinations of permissions cannot be encoded for MXLEN=32, and are not useful when MXLEN=64.
These cases are defined to return useful minimal sets of permissions, which may be no permissions.

0 comments on commit a9f25ae

Please sign in to comment.