fix WRW+WR1

hernanponcedeleon · Jan 29, 2024 · 848e9d0 · 848e9d0
1 parent ce95a62
commit 848e9d0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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)