You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I propose to add a note that the Zpn extension depends on the Zicsr extension.
Background
All legal combinations of RV32P/RV64P contain the Zpn extension, which contains RDOV and CLROV pseudoinstructions. They access vxsat CSR (URW, 0x9) and require the Zicsr extension.
Although that OV flag is updated by some instructions in Zpsfoperand, I'm not sure whether Zpsfoperand should depend on the Zicsr (I think that Zpsfoperand → Zicsr is not necessary) because:
Such access to OV flag is write-only
Zpsfoperand does not contain instructions/pseudoinstructions that access OV flag via CSR.
The text was updated successfully, but these errors were encountered:
a4lg
changed the title
Add dependency to Zicsr
Proposal: Add dependency to ZicsrSep 28, 2022
Proposal
I propose to add a note that the
Zpn
extension depends on theZicsr
extension.Background
All legal combinations of RV32P/RV64P contain the
Zpn
extension, which containsRDOV
andCLROV
pseudoinstructions. They accessvxsat
CSR (URW,0x9
) and require theZicsr
extension.This is basically the same issue report as riscvarchive/riscv-code-size-reduction#179 that is resolved by adding an extension dependency (
Zcmt
→Zicsr
).Notes
Although that
OV
flag is updated by some instructions inZpsfoperand
, I'm not sure whetherZpsfoperand
should depend on theZicsr
(I think thatZpsfoperand
→Zicsr
is not necessary) because:OV
flag is write-onlyZpsfoperand
does not contain instructions/pseudoinstructions that accessOV
flag via CSR.The text was updated successfully, but these errors were encountered: