separate out RV32 rules

riscv · Nov 6, 2024 · fab7968 · fab7968
1 parent 814c8f3
commit fab7968
Showing 1 changed file with 9 additions and 6 deletions.
diff --git a/src/insns/acperm_32bit.adoc b/src/insns/acperm_32bit.adoc
@@ -52,13 +52,16 @@ The rules from <<acperm_rules>> must be followed when removing permissions.
 |  4  (RV32 only) | <<x_perm>>   | <<r_perm>>
 |  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>> and <<lm_perm>>
-|  8              | <<lm_perm>>  | <<c_perm>> and <<r_perm>> and (<<w_perm>> or <<el_perm>>)
-|  9              | <<sl_perm>>  | (<<c_perm>> and <<lm_perm>> and (<<x_perm>> or <<w_perm>>)
-| 10  (RV32 only) | <<x_perm>>   | (<<c_perm>> and <<lm_perm>> and <<el_perm>> and (<<sl_perm>> == ∞)) or +
+|  7              | <<el_perm>>  | <<c_perm>> and <<r_perm>>
+|  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.