From 2c40ca4e4bc6b9522033864d79b3379c08e51aab Mon Sep 17 00:00:00 2001 From: Evgeniy Naydanov Date: Fri, 26 Apr 2024 19:51:15 +0300 Subject: [PATCH] Eliminate redundant statement about AMO's stored value availability It is covered by > Whether data store triggers match on AMOs is UNSPECIFIED. --- Sdtrig.adoc | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/Sdtrig.adoc b/Sdtrig.adoc index 6fe91cd7..b05b94d3 100644 --- a/Sdtrig.adoc +++ b/Sdtrig.adoc @@ -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