search

riscvarchive / riscv-zicond

The ISA specification for the ZiCondOps extension.
https://jira.riscv.org/browse/RVG-122
Creative Commons Attribution 4.0 International
19 stars 7 forks source link

Are the syntactic dependencies only for RVWMO? #17

Closed kdockser closed 11 months ago

kdockser commented 11 months ago

The latest version of the spec says: For the purposes of RVWMO, _rd_ syntactically depends on both _rs1_ and _rs2_. Do we want to limit this to RVWMO? It seems like this should say: For the purposes of the memory model, _rd_ syntactically depends on both _rs1_ and _rs2_.

ptomsich commented 11 months ago

@aswaterman Should we extend this to generically cover "the memory model"?

aswaterman commented 11 months ago

Technically, I think mentioning RVWMO is more correct: the term "syntactic dependency" only makes sense in the context of RVWMO (since that's where it's defined). And Ztso implementations are RVWMO-compliant, so this statement necessarily applies to Ztso, too.

To avoid confusion without creating a different ambiguity, I'll just delete the dependent clause.