[Bug 265974] SMR has several missing barriers

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=265974

--- Comment #1 from Pierre Habouzit <pierre@habouzit.net> ---
whoops the `smr_enter-bad.litmus` has a dmb sy that isn't there today, it
should be:


```
AArch64 MP
{
    global = 0;
    wr_seq = 123;
    p1_rd_seq = 0;

    0:x0 = global; 0:x1 = wr_seq; 0:x2 = p1_rd_seq;
    1:x0 = global; 1:x1 = wr_seq; 1:x2 = p1_rd_seq;
}
 P0                     | P1                         ;
 MOV      X8, #2        | LDR        X8, [X1]        ;
 STR      X8, [X0]      |                            ;
 LDADDL   X8, X9, [X1]  | LDADDA     X8, X9, [X2]    ;
                        | LDR        X10, [X0]       ;
 LDR      X10, [X2]     |                            ;
exists (0:X10 = 0 /\ 1:X8 = 123 /\ 1:X10 = 0)
```

I'll update the tarball

-- 
You are receiving this mail because:
You are the assignee for the bug.