Skip to content

Commit

Permalink
[cat] Remove outdated comment in aarch64fences.cat
Browse files Browse the repository at this point in the history
Signed-off-by: Nikos Nikoleris <[email protected]>
  • Loading branch information
relokin committed Dec 30, 2024
1 parent ec2ae19 commit a06491c
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions herd/libdir/aarch64fences.cat
Original file line number Diff line number Diff line change
Expand Up @@ -53,9 +53,9 @@ let dsb.ld = DSB.ISHLD | DSB.OSHLD | DSB.LD
let dsb.st = DSB.ISHST | DSB.OSHST | DSB.ST

(*
* A further restriction is that standard litmus tests are unable to
* distinguish between DMB and DSB instructions, so the model treats
* them as equivalent to each other.
* A DSB acts as a stronger barrier than a DMB and all ordering that is
* created by a DMB with specific options is also generated by a DSB with
* the same options.
*)
let dmb.full = DMB.ISH | DMB.OSH | DMB.SY | dsb.full
let dmb.ld = DMB.ISHLD | DMB.OSHLD | DMB.LD | dsb.ld
Expand Down

0 comments on commit a06491c

Please sign in to comment.