Skip to content

Commit

Permalink
Fix RV32 Zcherilevels ACPERM (#440)
Browse files Browse the repository at this point in the history
This version has been verified by a python script which checks all
possible combinations of removing permissions from maximum permissions

additional fix for #428
  • Loading branch information
tariqkurd-repo authored Nov 6, 2024
1 parent fcce4a9 commit b7c9d7e
Showing 1 changed file with 8 additions and 5 deletions.
13 changes: 8 additions & 5 deletions src/insns/acperm_32bit.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -53,12 +53,15 @@ The rules from <<acperm_rules>> must be followed when removing permissions.
| 5 (RV32 only) | <<w_perm>> | not(<<c_perm>>) or <<lm_perm>>
| 6 (RV32 only) | <<x_perm>> | <<w_perm>> or <<c_perm>>
| 7 | <<el_perm>> | <<c_perm>> and <<r_perm>>
| 8 | <<lm_perm>> | <<c_perm>> and <<r_perm>>
| 9 | <<sl_perm>> | <<c_perm>>
| 10 (RV32 only) | <<x_perm>> | (<<c_perm>> and <<lm_perm>> and <<el_perm>> and (<<sl_perm>> == ∞)) or +
| 8 (RV32 only) | <<el_perm>> | <<lm_perm>>
| 9 | <<lm_perm>> | <<c_perm>> and <<r_perm>>
| 10 (RV32 only) | <<lm_perm>> | (<<w_perm>> or <<el_perm>>)
| 11 | <<sl_perm>> | <<c_perm>>
| 12 (RV32 only) | <<sl_perm>> | (<<lm_perm>> and (<<x_perm>> or <<w_perm>>))
| 13 (RV32 only) | <<x_perm>> | (<<c_perm>> and <<lm_perm>> and <<el_perm>> and (<<sl_perm>> == ∞)) or +
(not(<<c_perm>> and not(<<lm_perm>>) and not(<<el_perm>>) and (<<sl_perm>>==0)))^1^
| 11 | <<asr_perm>> | <<x_perm>>
| 12 | <<m_bit>> | <<x_perm>>
| 14 | <<asr_perm>> | <<x_perm>>
| 15 | <<m_bit>> | <<x_perm>>
|===

^1^ All the listed permissions in the set are either minimum or maximum.
Expand Down

0 comments on commit b7c9d7e

Please sign in to comment.