Skip to content

Commit

Permalink
Regenerate CADP tests guaranteeing ACQ+REL = SEMSC0 + SEMC1
Browse files Browse the repository at this point in the history
  • Loading branch information
@hernan-poncedeleon @hernanponcedeleon
hernan-poncedeleon authored and hernanponcedeleon committed Nov 30, 2023
1 parent dcd0c4d commit 948f7a3
Show file tree
Hide file tree
Showing 483 changed files with 4,732 additions and 4,806 deletions.
12 changes: 6 additions & 6 deletions litmus/VULKAN/CADP/2_threads_2_instructions/0_simple.litmus
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,10 @@ Mem0=0;
P0:r0=0;
P1:r1=0;
}
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0.semsc0 r0, Mem0, 0 | rmw.atom.wg.sc0.semsc0 r1, Mem0, 1 ;
bne r0, 1, LC01 | bne r1, 0, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0 r0, Mem0, 0 | rmw.atom.wg.sc0 r1, Mem0, 1 ;
bne r0, 1, LC01 | bne r1, 0, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
exists 0==0
12 changes: 6 additions & 6 deletions litmus/VULKAN/CADP/2_threads_2_instructions/1_simple.litmus
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,10 @@ Mem0=0;
P0:r0=0;
P1:r1=0;
}
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0.semsc0 r0, Mem0, 1 | rmw.atom.wg.sc0.semsc0 r1, Mem0, 0 ;
bne r0, 0, LC01 | bne r1, 1, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0 r0, Mem0, 1 | rmw.atom.wg.sc0 r1, Mem0, 0 ;
bne r0, 0, LC01 | bne r1, 1, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
exists 0==0
12 changes: 6 additions & 6 deletions litmus/VULKAN/CADP/2_threads_2_instructions/2_simple.litmus
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,10 @@ Mem0=0;
P0:r0=0;
P1:r1=0;
}
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0.semsc0 r0, Mem0, 0 | rmw.atom.wg.sc0.semsc0 r1, Mem0, 1 ;
bne r0, 0, LC01 | bne r1, 0, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0 r0, Mem0, 0 | rmw.atom.wg.sc0 r1, Mem0, 1 ;
bne r0, 0, LC01 | bne r1, 0, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
exists 0==0
12 changes: 6 additions & 6 deletions litmus/VULKAN/CADP/2_threads_2_instructions/3_simple.litmus
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,10 @@ Mem0=0;
P0:r0=0;
P1:r1=0;
}
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0.semsc0 r0, Mem0, 1 | rmw.atom.wg.sc0.semsc0 r1, Mem0, 0 ;
bne r0, 0, LC01 | bne r1, 0, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0 r0, Mem0, 1 | rmw.atom.wg.sc0 r1, Mem0, 0 ;
bne r0, 0, LC01 | bne r1, 0, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
exists 0==0
12 changes: 6 additions & 6 deletions litmus/VULKAN/CADP/2_threads_2_instructions/4_simple.litmus
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,10 +4,10 @@ VULKAN 4_simple
Mem0=0;
P0:r0=0;
}
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
ld.atom.wg.sc0.semsc0 r0, Mem0 | st.atom.wg.sc0 Mem0, 1 ;
bne r0, 0, LC01 | LC11: ;
goto LC00 | ;
LC01: | ;
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
ld.atom.wg.sc0 r0, Mem0 | st.atom.wg.sc0 Mem0, 1 ;
bne r0, 0, LC01 | LC11: ;
goto LC00 | ;
LC01: | ;
exists 0==0
12 changes: 6 additions & 6 deletions litmus/VULKAN/CADP/2_threads_2_instructions/5_simple.litmus
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,10 +4,10 @@ VULKAN 5_simple
Mem0=0;
P1:r0=0;
}
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
st.atom.wg.sc0 Mem0, 1 | ld.atom.wg.sc0.semsc0 r0, Mem0 ;
LC01: | bne r0, 0, LC11 ;
| goto LC10 ;
| LC11: ;
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
st.atom.wg.sc0 Mem0, 1 | ld.atom.wg.sc0 r0, Mem0 ;
LC01: | bne r0, 0, LC11 ;
| goto LC10 ;
| LC11: ;
exists 0==0
12 changes: 6 additions & 6 deletions litmus/VULKAN/CADP/2_threads_2_instructions/6_simple.litmus
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,10 @@ Mem0=0;
P0:r0=0;
P1:r1=0;
}
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0.semsc0 r0, Mem0, 1 | ld.atom.wg.sc0.semsc0 r1, Mem0 ;
bne r0, 0, LC01 | bne r1, 0, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0 r0, Mem0, 1 | ld.atom.wg.sc0 r1, Mem0 ;
bne r0, 0, LC01 | bne r1, 0, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
exists 0==0
12 changes: 6 additions & 6 deletions litmus/VULKAN/CADP/2_threads_2_instructions/7_simple.litmus
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,10 @@ Mem0=0;
P0:r0=0;
P1:r1=0;
}
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
ld.atom.wg.sc0.semsc0 r0, Mem0 | rmw.atom.wg.sc0.semsc0 r1, Mem0, 1 ;
bne r0, 0, LC01 | bne r1, 0, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
ld.atom.wg.sc0 r0, Mem0 | rmw.atom.wg.sc0 r1, Mem0, 1 ;
bne r0, 0, LC01 | bne r1, 0, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
exists 0==0
16 changes: 8 additions & 8 deletions litmus/VULKAN/CADP/2_threads_3_instructions/0_simple.litmus
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,12 +5,12 @@ Mem0=0;
P0:r0=0;
P1:r1=0;
}
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0.semsc0 r0, Mem0, 1 | rmw.atom.wg.sc0.semsc0 r1, Mem0, 0 ;
bne r0, 0, LC01 | bne r1, 1, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
| st.atom.wg.sc0 Mem0, 0 ;
| LC12: ;
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0 r0, Mem0, 1 | rmw.atom.wg.sc0 r1, Mem0, 0 ;
bne r0, 0, LC01 | bne r1, 1, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
| st.atom.wg.sc0 Mem0, 0 ;
| LC12: ;
exists 0==0
16 changes: 8 additions & 8 deletions litmus/VULKAN/CADP/2_threads_3_instructions/100_simple.litmus
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,12 +5,12 @@ Mem0=0;
P0:r0=0;
P1:r1=0;
}
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0.semsc0 r0, Mem0, 0 | st.atom.wg.sc0 Mem0, 0 ;
bne r0, 1, LC01 | LC11: ;
goto LC00 | rmw.atom.wg.sc0.semsc0 r1, Mem0, 1 ;
LC01: | bne r1, 0, LC12 ;
| goto LC11 ;
| LC12: ;
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0 r0, Mem0, 0 | st.atom.wg.sc0 Mem0, 0 ;
bne r0, 1, LC01 | LC11: ;
goto LC00 | rmw.atom.wg.sc0 r1, Mem0, 1 ;
LC01: | bne r1, 0, LC12 ;
| goto LC11 ;
| LC12: ;
exists 0==0
16 changes: 8 additions & 8 deletions litmus/VULKAN/CADP/2_threads_3_instructions/101_simple.litmus
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,12 +5,12 @@ Mem0=0;
P0:r0=0;
P1:r1=0;
}
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
st.atom.wg.sc0 Mem0, 1 | rmw.atom.wg.sc0.semsc0 r1, Mem0, 0 ;
LC01: | bne r1, 0, LC11 ;
rmw.atom.wg.sc0.semsc0 r0, Mem0, 1 | goto LC10 ;
bne r0, 0, LC02 | LC11: ;
goto LC00 | ;
LC02: | ;
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
st.atom.wg.sc0 Mem0, 1 | rmw.atom.wg.sc0 r1, Mem0, 0 ;
LC01: | bne r1, 0, LC11 ;
rmw.atom.wg.sc0 r0, Mem0, 1 | goto LC10 ;
bne r0, 0, LC02 | LC11: ;
goto LC00 | ;
LC02: | ;
exists 0==0
20 changes: 10 additions & 10 deletions litmus/VULKAN/CADP/2_threads_3_instructions/102_simple.litmus
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,14 +6,14 @@ P0:r0=0;
P0:r1=0;
P1:r2=0;
}
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0.semsc0 r0, Mem0, 1 | rmw.atom.wg.sc0.semsc0 r2, Mem0, 0 ;
bne r0, 1, LC01 | bne r2, 1, LC11 ;
goto LC02 | goto LC10 ;
LC01: | LC11: ;
rmw.atom.wg.sc0.semsc0 r1, Mem0, 1 | ;
bne r1, 0, LC02 | ;
goto LC00 | ;
LC02: | ;
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0 r0, Mem0, 1 | rmw.atom.wg.sc0 r2, Mem0, 0 ;
bne r0, 1, LC01 | bne r2, 1, LC11 ;
goto LC02 | goto LC10 ;
LC01: | LC11: ;
rmw.atom.wg.sc0 r1, Mem0, 1 | ;
bne r1, 0, LC02 | ;
goto LC00 | ;
LC02: | ;
exists 0==0
16 changes: 8 additions & 8 deletions litmus/VULKAN/CADP/2_threads_3_instructions/103_simple.litmus
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,12 +5,12 @@ Mem0=0;
P0:r0=0;
P1:r1=0;
}
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0.semsc0 r0, Mem0, 1 | rmw.atom.wg.sc0.semsc0 r1, Mem0, 0 ;
bne r0, 0, LC01 | bne r1, 0, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
| st.atom.wg.sc0 Mem0, 0 ;
| LC12: ;
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0 r0, Mem0, 1 | rmw.atom.wg.sc0 r1, Mem0, 0 ;
bne r0, 0, LC01 | bne r1, 0, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
| st.atom.wg.sc0 Mem0, 0 ;
| LC12: ;
exists 0==0
20 changes: 10 additions & 10 deletions litmus/VULKAN/CADP/2_threads_3_instructions/104_simple.litmus
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,14 +6,14 @@ P0:r0=0;
P1:r1=0;
P1:r2=0;
}
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0.semsc0 r0, Mem0, 1 | rmw.atom.wg.sc0.semsc0 r1, Mem0, 0 ;
bne r0, 0, LC01 | bne r1, 0, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
| rmw.atom.wg.sc0.semsc0 r2, Mem0, 0 ;
| bne r2, 1, LC12 ;
| goto LC11 ;
| LC12: ;
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0 r0, Mem0, 1 | rmw.atom.wg.sc0 r1, Mem0, 0 ;
bne r0, 0, LC01 | bne r1, 0, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
| rmw.atom.wg.sc0 r2, Mem0, 0 ;
| bne r2, 1, LC12 ;
| goto LC11 ;
| LC12: ;
exists 0==0
16 changes: 8 additions & 8 deletions litmus/VULKAN/CADP/2_threads_3_instructions/105_simple.litmus
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,12 +5,12 @@ Mem0=0;
P0:r0=0;
P1:r1=0;
}
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0.semsc0 r0, Mem0, 1 | ld.atom.wg.sc0.semsc0 r1, Mem0 ;
bne r0, 0, LC01 | bne r1, 0, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
| st.atom.wg.sc0 Mem0, 0 ;
| LC12: ;
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0 r0, Mem0, 1 | ld.atom.wg.sc0 r1, Mem0 ;
bne r0, 0, LC01 | bne r1, 0, LC11 ;
goto LC00 | goto LC10 ;
LC01: | LC11: ;
| st.atom.wg.sc0 Mem0, 0 ;
| LC12: ;
exists 0==0
16 changes: 8 additions & 8 deletions litmus/VULKAN/CADP/2_threads_3_instructions/106_simple.litmus
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,12 +5,12 @@ Mem0=0;
P0:r0=0;
P1:r1=0;
}
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0.semsc0 r0, Mem0, 0 | st.atom.wg.sc0 Mem0, 1 ;
bne r0, 0, LC01 | LC11: ;
goto LC00 | rmw.atom.wg.sc0.semsc0 r1, Mem0, 1 ;
LC01: | bne r1, 0, LC12 ;
| goto LC10 ;
| LC12: ;
P0@sg 0,wg 0, qf 0 | P1@sg 0,wg 0, qf 0 ;
LC00: | LC10: ;
rmw.atom.wg.sc0 r0, Mem0, 0 | st.atom.wg.sc0 Mem0, 1 ;
bne r0, 0, LC01 | LC11: ;
goto LC00 | rmw.atom.wg.sc0 r1, Mem0, 1 ;
LC01: | bne r1, 0, LC12 ;
| goto LC10 ;
| LC12: ;
exists 0==0
Loading

0 comments on commit 948f7a3

Please sign in to comment.