Skip to content

Commit

Permalink
Eliminate redundant statement about AMO's stored value availability
Browse files Browse the repository at this point in the history
It is covered by
> Whether data store triggers match on AMOs is UNSPECIFIED.
  • Loading branch information
en-sc committed Apr 26, 2024
1 parent e056579 commit 2c40ca4
Showing 1 changed file with 3 additions and 6 deletions.
9 changes: 3 additions & 6 deletions Sdtrig.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -228,12 +228,9 @@ them as follows:
The address is always available to trigger on, although the value loaded
might not be, depending on the hardware implementation.
. Each AMO instruction is a store for the write portion of the operation.
The address is always available to trigger on, although the value stored
might not be, depending on the hardware implementation.

If the destination register of any load or AMO is `zero` then it is UNSPECIFIED whether a
data load trigger will match. Whether data store triggers match on AMOs
is UNSPECIFIED.
The address is always available to trigger on. Whether data store triggers match on AMOs is UNSPECIFIED.
. If the destination register of any load or AMO is `zero` then it is UNSPECIFIED whether a
data load trigger will match.

==== Combined Accesses

Expand Down

0 comments on commit 2c40ca4

Please sign in to comment.