More litmus tests

hernanponcedeleon · Jun 26, 2019 · 52c4ffa · 52c4ffa
1 parent a61e7d9
commit 52c4ffa
Show file tree

Hide file tree

Showing 3 changed files with 28 additions and 0 deletions.
diff --git a/dartagnan/src/test/resources/dartagnan-expected.csv b/dartagnan/src/test/resources/dartagnan-expected.csv
@@ -11869,6 +11869,7 @@ litmus/PPC/SB+lwsync+sync.litmus,1
 litmus/PPC/SB+lwsyncs.litmus,1
 litmus/PPC/SB+sync+isync.litmus,1
 litmus/PPC/SB+sync+po.litmus,1
+litmus/PPC/SB+syncs.litmus,0
 litmus/PPC/SB.litmus,1
 litmus/PPC/STFW-PPC.litmus,1
 litmus/PPC/W+RWC+lwsync+lwsync+po.litmus,1
@@ -12018,6 +12019,7 @@ litmus/PPC/Z6.0+sync+sync+lwsync.litmus,1
 litmus/PPC/Z6.0+sync+sync+po.litmus,1
 litmus/PPC/Z6.0+syncs.litmus,0
 litmus/PPC/Z6.0.litmus,1
+litmus/PPC/Z6.1+lwsync+lwsync+data.litmus,0
 litmus/PPC/Z6.1+lwsync+lwsync+po.litmus,1
 litmus/PPC/Z6.1+lwsync+lwsync+sync.litmus,0
 litmus/PPC/Z6.1+lwsync+po+lwsync.litmus,1

diff --git a/litmus/PPC/SB+syncs.litmus b/litmus/PPC/SB+syncs.litmus
@@ -0,0 +1,12 @@
+PPC SB+syncs
+{
+0:r2=x; 0:r4=y;
+1:r2=y; 1:r4=x;
+}
+ P0           | P1           ;
+ li r1,1      | li r1,1      ;
+ stw r1,0(r2) | stw r1,0(r2) ;
+ sync         | sync         ;
+ lwz r3,0(r4) | lwz r3,0(r4) ;
+exists
+(0:r3=0 /\ 1:r3=0)
diff --git a/litmus/PPC/Z6.1+lwsync+lwsync+data.litmus b/litmus/PPC/Z6.1+lwsync+lwsync+data.litmus
@@ -0,0 +1,14 @@
+PPC Z6.1+lwsync+lwsync+data
+{
+0:r2=x; 0:r4=y;
+1:r2=y; 1:r4=z;
+2:r2=z; 2:r4=x;
+}
+ P0           | P1           | P2           ;
+ li r1,2      | li r1,2      | lwz r1,0(r2) ;
+ stw r1,0(r2) | stw r1,0(r2) | xor r3,r1,r1 ;
+ lwsync       | lwsync       | addi r3,r3,1 ;
+ li r3,1      | li r3,1      | stw r3,0(r4) ;
+ stw r3,0(r4) | stw r3,0(r4) |              ;
+exists
+(x=2 /\ y=2 /\ 2:r1=1)