https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=265974
--- Comment #1 from Pierre Habouzit <[email protected]> --- 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.
