diff --git a/litmus/PTX/Memalloy/WRW+WR1.litmus b/litmus/PTX/Memalloy/WRW+WR1.litmus index 62f3b820f5..1821ef94e7 100644 --- a/litmus/PTX/Memalloy/WRW+WR1.litmus +++ b/litmus/PTX/Memalloy/WRW+WR1.litmus @@ -12,8 +12,8 @@ y=0; } P0@cta 0,gpu 0 | P1@cta 1,gpu 0 | P2@cta 1,gpu 0 ; ld r0, 1 | ld.weak r0, x | ld r0, 2 ; - st.weak x, r0 | fence.sc.cta | ld.weak r0, x ; + st.weak x, r0 | fence.sc.cta | st.weak x, r0 ; | ld r2, 1 | fence.sc.gpu ; - | st.weak y, r2 | st.weak y, r2 ; + | st.weak y, r2 | ld.weak r2, y ; exists (y == 2 /\ P1:r0 == 1 /\ P2:r2 == 0) \ No newline at end of file