Skip to content

Commit b7c9d7e

Browse files
Fix RV32 Zcherilevels ACPERM (#440)
This version has been verified by a python script which checks all possible combinations of removing permissions from maximum permissions additional fix for #428
1 parent fcce4a9 commit b7c9d7e

File tree

1 file changed

+8
-5
lines changed

1 file changed

+8
-5
lines changed

src/insns/acperm_32bit.adoc

+8-5
Original file line numberDiff line numberDiff line change
@@ -53,12 +53,15 @@ The rules from <<acperm_rules>> must be followed when removing permissions.
5353
| 5 (RV32 only) | <<w_perm>> | not(<<c_perm>>) or <<lm_perm>>
5454
| 6 (RV32 only) | <<x_perm>> | <<w_perm>> or <<c_perm>>
5555
| 7 | <<el_perm>> | <<c_perm>> and <<r_perm>>
56-
| 8 | <<lm_perm>> | <<c_perm>> and <<r_perm>>
57-
| 9 | <<sl_perm>> | <<c_perm>>
58-
| 10 (RV32 only) | <<x_perm>> | (<<c_perm>> and <<lm_perm>> and <<el_perm>> and (<<sl_perm>> == ∞)) or +
56+
| 8 (RV32 only) | <<el_perm>> | <<lm_perm>>
57+
| 9 | <<lm_perm>> | <<c_perm>> and <<r_perm>>
58+
| 10 (RV32 only) | <<lm_perm>> | (<<w_perm>> or <<el_perm>>)
59+
| 11 | <<sl_perm>> | <<c_perm>>
60+
| 12 (RV32 only) | <<sl_perm>> | (<<lm_perm>> and (<<x_perm>> or <<w_perm>>))
61+
| 13 (RV32 only) | <<x_perm>> | (<<c_perm>> and <<lm_perm>> and <<el_perm>> and (<<sl_perm>> == ∞)) or +
5962
(not(<<c_perm>> and not(<<lm_perm>>) and not(<<el_perm>>) and (<<sl_perm>>==0)))^1^
60-
| 11 | <<asr_perm>> | <<x_perm>>
61-
| 12 | <<m_bit>> | <<x_perm>>
63+
| 14 | <<asr_perm>> | <<x_perm>>
64+
| 15 | <<m_bit>> | <<x_perm>>
6265
|===
6366

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

0 commit comments

Comments
 (0)