Skip to content
This repository has been archived by the owner on Mar 21, 2024. It is now read-only.

Are the syntactic dependencies only for RVWMO? #17

Closed
kdockser opened this issue Oct 12, 2023 · 2 comments
Closed

Are the syntactic dependencies only for RVWMO? #17

kdockser opened this issue Oct 12, 2023 · 2 comments
Assignees

Comments

@kdockser
Copy link

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
Copy link
Collaborator

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

@aswaterman
Copy link
Contributor

aswaterman commented Oct 12, 2023

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.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants