Really fresh register

Signed-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>
hernanponcedeleon · Sep 19, 2023 · 0bc28d4 · 0bc28d4
1 parent 9d18612
commit 0bc28d4
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/litmus/PTX/Manual/Ticketlock-acq2rlx-1.litmus b/litmus/PTX/Manual/Ticketlock-acq2rlx-1.litmus
@@ -13,6 +13,6 @@ x=0;
  LC01:                             | LC01:                            ;
  ld.weak r3, x                     | ld.weak r3, x                    ;
  st.weak x, 1                      | st.weak x, 2                     ;
- atom.release.gpu.plus r3, out, 1  | atom.release.gpu.plus r3, out, 1 ;
+ atom.release.gpu.plus r4, out, 1  | atom.release.gpu.plus r4, out, 1 ;
 exists
 (P0:r1 != P1:r1 /\ P0:r2 != P1:r2 /\ P0:r3 == 0 /\ P1:r3 == 0)
diff --git a/litmus/PTX/Manual/Ticketlock-acq2rlx-2.litmus b/litmus/PTX/Manual/Ticketlock-acq2rlx-2.litmus
@@ -13,6 +13,6 @@ x=0;
  LC01:                             | LC01:                            ;
  ld.weak r3, x                     | ld.weak r3, x                    ;
  st.weak x, 1                      | st.weak x, 2                     ;
- atom.release.gpu.plus r3, out, 1  | atom.release.gpu.plus r3, out, 1 ;
+ atom.release.gpu.plus r4, out, 1  | atom.release.gpu.plus r4, out, 1 ;
 exists
 (P0:r1 != P1:r1 /\ P0:r2 != P1:r2 /\ P0:r3 == 0 /\ P1:r3 == 0)
diff --git a/litmus/PTX/Manual/Ticketlock-diff-gpu.litmus b/litmus/PTX/Manual/Ticketlock-diff-gpu.litmus
@@ -13,6 +13,6 @@ x=0;
  LC01:                             | LC01:                            ;
  ld.weak r3, x                     | ld.weak r3, x                    ;
  st.weak x, 1                      | st.weak x, 2                     ;
- atom.release.gpu.plus r3, out, 1  | atom.release.gpu.plus r3, out, 1 ;
+ atom.release.gpu.plus r4, out, 1  | atom.release.gpu.plus r4, out, 1 ;
 exists
 (P0:r1 != P1:r1 /\ P0:r2 != P1:r2 /\ P0:r3 == 0 /\ P1:r3 == 0)
diff --git a/litmus/PTX/Manual/Ticketlock-rel2rlx.litmus b/litmus/PTX/Manual/Ticketlock-rel2rlx.litmus
@@ -13,6 +13,6 @@ x=0;
  LC01:                             | LC01:                            ;
  ld.weak r3, x                     | ld.weak r3, x                    ;
  st.weak x, 1                      | st.weak x, 2                     ;
- atom.relaxed.gpu.plus r3, out, 1  | atom.release.gpu.plus r3, out, 1 ;
+ atom.relaxed.gpu.plus r4, out, 1  | atom.release.gpu.plus r4, out, 1 ;
 exists
 (P0:r1 != P1:r1 /\ P0:r2 != P1:r2 /\ P0:r3 == 0 /\ P1:r3 == 0)
diff --git a/litmus/PTX/Manual/Ticketlock-same-gpu.litmus b/litmus/PTX/Manual/Ticketlock-same-gpu.litmus
@@ -13,6 +13,6 @@ x=0;
  LC01:                             | LC01:                            ;
  ld.weak r3, x                     | ld.weak r3, x                    ;
  st.weak x, 1                      | st.weak x, 2                     ;
- atom.release.gpu.plus r3, out, 1  | atom.release.gpu.plus r3, out, 1 ;
+ atom.release.gpu.plus r4, out, 1  | atom.release.gpu.plus r4, out, 1 ;
 exists
 (P0:r1 != P1:r1 /\ P0:r2 != P1:r2 /\ P0:r3 == 0 /\ P1:r3 == 0)