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
When the mode field _fm_ is `0001` and both the predecessor and successor sets are 'RW',
9700
-
then the instruction acts as a special-case xref:insts:fence_tso.adoc#udb:doc:inst:fence_tso[fence.tso]. xref:insts:fence_tso.adoc#udb:doc:inst:fence_tso[fence.tso] oxders all load operations
9700
+
then the instruction acts as a special-case xref:insts:fence_tso.adoc#udb:doc:inst:fence_tso[fence.tso]. xref:insts:fence_tso.adoc#udb:doc:inst:fence_tso[fence.tso] orders all load operations
9701
9701
in its predecessor set before all memory operations in its successor set, and all store operations
9702
9702
in its predecessor set before all store operations in its successor set. This leaves non-AMO store
9703
-
operations in the 'fence.tso's predecessor set unoxdered with non-AMO loads in its successor set.
9703
+
operations in the 'fence.tso's predecessor set unordered with non-AMO loads in its successor set.
9704
9704
9705
9705
When mode field _fm_ is not `0001`, or when mode field _fm_ is `0001` but the _pred_ and
9706
9706
_succ_ fields are not both 'RW' (0x3), then the fence acts as a baseline fence (_e.g._, _fm_ is
0 commit comments