fence.acq_rel to fence.sc

hernanponcedeleon · Jan 9, 2024 · 22938fa · 22938fa
1 parent e7abe0e
commit 22938fa
Show file tree

Hide file tree

Showing 6 changed files with 9 additions and 9 deletions.
diff --git a/litmus/PTX/Memalloy/IRIW_gl_cta.litmus b/litmus/PTX/Memalloy/IRIW_gl_cta.litmus
@@ -12,7 +12,7 @@ x=0;
 }
  P0@cta 0,gpu 0           | P1@cta 1,gpu 0           | P2@cta 1,gpu 0           | P3@cta 1,gpu 0           ;
  ld.weak r0, 1            | ld.weak r0, x            | ld.weak r0, 2            | ld.weak r0, x            ;
- st.weak x, r0            | fence.acq_rel.gpu        | st.weak x, r0            | fence.acq_rel.cta        ;
+ st.weak x, r0            | fence.sc.gpu             | st.weak x, r0            | fence.sc.cta             ;
                           | ld.weak r2, x            |                          | ld.weak r2, x            ;
 exists
 (P1:r0 == 1 /\ P1:r2 == 0 /\ P3:r0 == 1 /\ P3:r2 == 0)
diff --git a/litmus/PTX/Memalloy/IRIW_uniproc.litmus b/litmus/PTX/Memalloy/IRIW_uniproc.litmus
@@ -12,7 +12,7 @@ x=0;
 }
  P0@cta 0,gpu 0           | P1@cta 1,gpu 0           | P2@cta 1,gpu 0           | P3@cta 1,gpu 0           ;
  ld.weak r0, 1            | ld.weak r0, x            | ld.weak r0, 2            | ld.weak r0, x            ;
- st.weak x, r0            | fence.acq_rel.cta        | st.weak x, r0            | fence.acq_rel.gpu        ;
+ st.weak x, r0            | fence.sc.cta             | st.weak x, r0            | fence.sc.gpu             ;
                           | ld.weak r2, x            |                          | ld.weak r2, x            ;
 exists
 (P1:r0 == 1 /\ P1:r2 == 0 /\ P3:r0 == 2 /\ P3:r2 == 2 /\ x == 1)
diff --git a/litmus/PTX/Memalloy/IRRWIW_uniproc.litmus b/litmus/PTX/Memalloy/IRRWIW_uniproc.litmus
@@ -12,8 +12,8 @@ x=0;
 }
  P0@cta 0,gpu 0           | P1@cta 1,gpu 0           | P2@cta 1,gpu 0           | P3@cta 1,gpu 0           ;
  ld.weak r0, 1            | ld.weak r0, x            | ld.weak r0, 2            | ld.weak r2, 3            ;
- st.weak x, r0            | fence.acq_rel.cta        | st.weak x, r0            | ld.weak r0, x            ;
-                          | ld.weak r2, x            |                          | fence.acq_rel.gpu        ;
+ st.weak x, r0            | fence.sc.cta             | st.weak x, r0            | ld.weak r0, x            ;
+                          | ld.weak r2, x            |                          | fence.sc.gpu             ;
                           |                          |                          | st.weak x, r2            ;
 exists
 (P1:r0 == 1 /\ P1:r2 == 0 /\ P3:r0 == 2 /\ x == 1)
diff --git a/litmus/PTX/Memalloy/IRWIW_gl_cta.litmus b/litmus/PTX/Memalloy/IRWIW_gl_cta.litmus
@@ -14,7 +14,7 @@ y=0;
  P0@cta 0,gpu 0           | P1@cta 1,gpu 0           | P2@cta 1,gpu 0           | P3@cta 1,gpu 0           ;
  ld.weak r0, 2            | ld.weak r2, 1            | ld.weak r0, 2            | ld.weak r2, 2            ;
  st.weak x, r0            | ld.weak r0, x            | st.weak y, r0            | ld.weak r0, y            ;
-                          | fence.acq_rel.gpu        |                          | fence.acq_rel.cta        ;
+                          | fence.sc.gpu             |                          | fence.sc.cta             ;
                           | st.weak y, r2            |                          | st.weak x, r2            ;
 exists
 (P1:r0 == 2 /\ P3:r0 == 2 /\ x == 2 /\ y == 2)
diff --git a/litmus/PTX/Memalloy/RWC_uniproc.litmus b/litmus/PTX/Memalloy/RWC_uniproc.litmus
@@ -11,8 +11,8 @@ x=0;
 }
  P0@cta 0,gpu 0           | P1@cta 1,gpu 0           | P2@cta 1,gpu 0           ;
  ld.weak r0, 1            | ld.weak r0, x            | ld.weak r0, 2            ;
- st.weak x, r0            | fence.acq_rel.cta        | st.weak x, r0            ;
-                          | ld.weak r2, x            | fence.acq_rel.gpu        ;
+ st.weak x, r0            | fence.sc.cta             | st.weak x, r0            ;
+                          | ld.weak r2, x            | fence.sc.gpu             ;
                           |                          | ld.weak r2, x            ;
 exists
 (P1:r0 == 1 /\ P1:r2 == 0 /\ P2:r2 == 2 /\ x == 1)
diff --git a/litmus/PTX/Memalloy/WRR+2W.litmus b/litmus/PTX/Memalloy/WRR+2W.litmus
@@ -11,9 +11,9 @@ x=0;
 }
  P0@cta 0,gpu 0           | P1@cta 1,gpu 0           | P2@cta 1,gpu 0           ;
  ld.weak r0, 1            | ld.weak r0, x            | ld.weak r0, 2            ;
- st.weak x, r0            | fence.acq_rel.cta        | ld.weak r2, 3            ;
+ st.weak x, r0            | fence.sc.cta             | ld.weak r2, 3            ;
                           | ld.weak r2, x            | st.weak x, r0            ;
-                          |                          | fence.acq_rel.gpu        ;
+                          |                          | fence.sc.gpu             ;
                           |                          | st.weak x, r2            ;
 exists
 (P1:r0 == 1 /\ P1:r2 == 0 /\ x == 1)