Skip to content

Commit 82d0893

Browse files
author
Shale Xiong
committed
[gen] Update CI since weakening the insert edge.
1 parent 5ff26ae commit 82d0893

11 files changed

+943
-0
lines changed

‎gen/tests/AArch64/RR+RW+ctrl-[isb]+amo.cas-po.litmus.expected‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
Test RR+RW+ctrl-[isb]+amo.cas-po Allowed
2+
States 4
3+
0:X1=0; 0:X3=0; 1:X1=0;
4+
0:X1=0; 0:X3=1; 1:X1=0;
5+
0:X1=1; 0:X3=0; 1:X1=0;
6+
0:X1=1; 0:X3=1; 1:X1=0;
7+
Ok
8+
Witnesses
9+
Positive: 2 Negative: 6
10+
Condition exists (0:X1=1 /\ 0:X3=0 /\ 1:X1=0)
11+
Observation RR+RW+ctrl-[isb]+amo.cas-po Sometimes 2 6
12+
Hash=d0d2d3f73c71578091cc7e349e382cc1
13+

‎gen/tests/AArch64/RR+RW+ctrl-[isb]+amo.casap-po.litmus.expected‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
Test RR+RW+ctrl-[isb]+amo.casap-po Allowed
2+
States 4
3+
0:X1=0; 0:X3=0; 1:X1=0;
4+
0:X1=0; 0:X3=1; 1:X1=0;
5+
0:X1=1; 0:X3=0; 1:X1=0;
6+
0:X1=1; 0:X3=1; 1:X1=0;
7+
Ok
8+
Witnesses
9+
Positive: 2 Negative: 6
10+
Condition exists (0:X1=1 /\ 0:X3=0 /\ 1:X1=0)
11+
Observation RR+RW+ctrl-[isb]+amo.casap-po Sometimes 2 6
12+
Hash=4f09cd61fca7d2a114ec56ff62bd8cb4
13+

‎gen/tests/AArch64/RR+RW+ctrl-[isb]+amo.stadd-po.litmus.expected‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
Test RR+RW+ctrl-[isb]+amo.stadd-po Allowed
2+
States 4
3+
0:X1=0; 0:X3=0;
4+
0:X1=0; 0:X3=1;
5+
0:X1=1; 0:X3=0;
6+
0:X1=1; 0:X3=1;
7+
Ok
8+
Witnesses
9+
Positive: 1 Negative: 3
10+
Condition exists (0:X1=1 /\ 0:X3=0)
11+
Observation RR+RW+ctrl-[isb]+amo.stadd-po Sometimes 1 3
12+
Hash=c3d1e1e7f3c65ac36cfa23768118f582
13+

‎gen/tests/AArch64/RR+RW+ctrl-[isb]+amo.swp-po.litmus.expected‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
Test RR+RW+ctrl-[isb]+amo.swp-po Allowed
2+
States 4
3+
0:X1=0; 0:X3=0; 1:X1=0;
4+
0:X1=0; 0:X3=1; 1:X1=0;
5+
0:X1=1; 0:X3=0; 1:X1=0;
6+
0:X1=1; 0:X3=1; 1:X1=0;
7+
Ok
8+
Witnesses
9+
Positive: 1 Negative: 3
10+
Condition exists (0:X1=1 /\ 0:X3=0 /\ 1:X1=0)
11+
Observation RR+RW+ctrl-[isb]+amo.swp-po Sometimes 1 3
12+
Hash=96e8c4056af6c3e374129f510dae1ee4
13+

‎gen/tests/AArch64/RR+RW+ctrl-[isb]+amo.swpap-po.litmus.expected‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
Test RR+RW+ctrl-[isb]+amo.swpap-po Allowed
2+
States 4
3+
0:X1=0; 0:X3=0; 1:X1=0;
4+
0:X1=0; 0:X3=1; 1:X1=0;
5+
0:X1=1; 0:X3=0; 1:X1=0;
6+
0:X1=1; 0:X3=1; 1:X1=0;
7+
Ok
8+
Witnesses
9+
Positive: 1 Negative: 3
10+
Condition exists (0:X1=1 /\ 0:X3=0 /\ 1:X1=0)
11+
Observation RR+RW+ctrl-[isb]+amo.swpap-po Sometimes 1 3
12+
Hash=37b4b4d028cd03e03a575d3f902723f2
13+

‎gen/tests/AArch64/RR+RW+ctrl-[isb]+rmw-po.litmus.expected‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
Test RR+RW+ctrl-[isb]+rmw-po Allowed
2+
States 4
3+
0:X1=0; 0:X3=0; 1:X1=0;
4+
0:X1=0; 0:X3=1; 1:X1=0;
5+
0:X1=1; 0:X3=0; 1:X1=0;
6+
0:X1=1; 0:X3=1; 1:X1=0;
7+
Loop Ok
8+
Witnesses
9+
Positive: 3 Negative: 9
10+
Condition exists (0:X1=1 /\ 0:X3=0 /\ 1:X1=0)
11+
Observation RR+RW+ctrl-[isb]+rmw-po Sometimes 3 9
12+
Hash=284f54dcc5611963126ca77d79c846ad
13+

‎gen/tests/AArch64/RR+RW+ctrl-[isb]+rmw-po.litmus.expected-warn‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Warning: File "/var/folders/ys/4k4qj5qs0ns030sn0kptsmgr0000gn/T/tmp.b1hSMIuz59/RR+RW+ctrl-[isb]+rmw-po.litmus": unrolling limit exceeded at Loop01, legal outcomes may be missing.

‎gen/tests/AArch64/RR+RW+ctrl-[isb]+rmwap-po.litmus.expected‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
Test RR+RW+ctrl-[isb]+rmwap-po Allowed
2+
States 4
3+
0:X1=0; 0:X3=0; 1:X1=0;
4+
0:X1=0; 0:X3=1; 1:X1=0;
5+
0:X1=1; 0:X3=0; 1:X1=0;
6+
0:X1=1; 0:X3=1; 1:X1=0;
7+
Loop Ok
8+
Witnesses
9+
Positive: 3 Negative: 9
10+
Condition exists (0:X1=1 /\ 0:X3=0 /\ 1:X1=0)
11+
Observation RR+RW+ctrl-[isb]+rmwap-po Sometimes 3 9
12+
Hash=0b62775ee6462aa6f776b02c4e4e99cf
13+

‎gen/tests/AArch64/RR+RW+ctrl-[isb]+rmwap-po.litmus.expected-warn‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Warning: File "/var/folders/ys/4k4qj5qs0ns030sn0kptsmgr0000gn/T/tmp.b1hSMIuz59/RR+RW+ctrl-[isb]+rmwap-po.litmus": unrolling limit exceeded at Loop01, legal outcomes may be missing.

‎gen/tests/baseline-size-4.cycle.expected‎

Lines changed: 66 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7888,6 +7888,30 @@ DpAddrsW PodWWPL PosWRLA HatAP DpAddrdW Rfe
78887888
DpAddrsW PodWWPL PosWRLA HatAP DpCtrldW Rfe
78897889
DpAddrsW PodWWPL PosWRLA HatAP DpDatadW Rfe
78907890
DpAddrsW PodWWPL PosWRLA HatAQ PodRWQP Rfe
7891+
DpCtrlCseldR ISB Hat Amo.Cas DMB.STdWW Rfe
7892+
DpCtrlCseldR ISB Hat Amo.Cas DMB.SYdWW Rfe
7893+
DpCtrlCseldR ISB Hat Amo.Cas DSB.STdWW Rfe
7894+
DpCtrlCseldR ISB Hat Amo.Cas DSB.SYdWW Rfe
7895+
DpCtrlCseldR ISB Hat Amo.Cas PodWR Amo.CasPL RfeLP
7896+
DpCtrlCseldR ISB Hat Amo.Cas PodWR Amo.SwpPL RfeLP
7897+
DpCtrlCseldR ISB Hat Amo.Cas PodWR LxSxPL RfeLP
7898+
DpCtrlCseldR ISB Hat Amo.Cas PodWWPL RfeLP
7899+
DpCtrlCseldR ISB Hat Amo.Swp DMB.STdWW Rfe
7900+
DpCtrlCseldR ISB Hat Amo.Swp DMB.SYdWW Rfe
7901+
DpCtrlCseldR ISB Hat Amo.Swp DSB.STdWW Rfe
7902+
DpCtrlCseldR ISB Hat Amo.Swp DSB.SYdWW Rfe
7903+
DpCtrlCseldR ISB Hat Amo.Swp PodWR Amo.CasPL RfeLP
7904+
DpCtrlCseldR ISB Hat Amo.Swp PodWR Amo.SwpPL RfeLP
7905+
DpCtrlCseldR ISB Hat Amo.Swp PodWR LxSxPL RfeLP
7906+
DpCtrlCseldR ISB Hat Amo.Swp PodWWPL RfeLP
7907+
DpCtrlCseldR ISB Hat LxSx DMB.STdWW Rfe
7908+
DpCtrlCseldR ISB Hat LxSx DMB.SYdWW Rfe
7909+
DpCtrlCseldR ISB Hat LxSx DSB.STdWW Rfe
7910+
DpCtrlCseldR ISB Hat LxSx DSB.SYdWW Rfe
7911+
DpCtrlCseldR ISB Hat LxSx PodWR Amo.CasPL RfeLP
7912+
DpCtrlCseldR ISB Hat LxSx PodWR Amo.SwpPL RfeLP
7913+
DpCtrlCseldR ISB Hat LxSx PodWR LxSxPL RfeLP
7914+
DpCtrlCseldR ISB Hat LxSx PodWWPL RfeLP
78917915
DpCtrlCseldW ISB Rfe DpCtrlCseldW ISB Rfe
78927916
DpCtrlCseldW ISB Rfe DpCtrldW ISB Rfe
78937917
DpCtrlCseldW ISB Rfe PodRR Amo.CasPL RfeLP
@@ -7936,6 +7960,15 @@ DpCtrlCseldW RfePA LxSxAL PodWWLP Rfe
79367960
DpCtrlCseldW RfePA LxSxAP PodWW Rfe
79377961
DpCtrlCseldW RfePA PodRWAP Rfe
79387962
DpCtrlCseldW RfePQ PodRWQP Rfe
7963+
DpCtrlCseldWPL ISB PosWRLA HatAA PodRWAP Rfe
7964+
DpCtrlCseldWPL ISB PosWRLA HatAP DMB.LDdRW Rfe
7965+
DpCtrlCseldWPL ISB PosWRLA HatAP DMB.SYdRW Rfe
7966+
DpCtrlCseldWPL ISB PosWRLA HatAP DSB.LDdRW Rfe
7967+
DpCtrlCseldWPL ISB PosWRLA HatAP DSB.SYdRW Rfe
7968+
DpCtrlCseldWPL ISB PosWRLA HatAP DpAddrdW Rfe
7969+
DpCtrlCseldWPL ISB PosWRLA HatAP DpCtrldW Rfe
7970+
DpCtrlCseldWPL ISB PosWRLA HatAP DpDatadW Rfe
7971+
DpCtrlCseldWPL ISB PosWRLA HatAQ PodRWQP Rfe
79397972
DpCtrlCseldWPL PosWRLA HatAA PodRWAP Rfe
79407973
DpCtrlCseldWPL PosWRLA HatAP DMB.LDdRW Rfe
79417974
DpCtrlCseldWPL PosWRLA HatAP DMB.SYdRW Rfe
@@ -7945,6 +7978,30 @@ DpCtrlCseldWPL PosWRLA HatAP DpAddrdW Rfe
79457978
DpCtrlCseldWPL PosWRLA HatAP DpCtrldW Rfe
79467979
DpCtrlCseldWPL PosWRLA HatAP DpDatadW Rfe
79477980
DpCtrlCseldWPL PosWRLA HatAQ PodRWQP Rfe
7981+
DpCtrldR ISB Hat Amo.Cas DMB.STdWW Rfe
7982+
DpCtrldR ISB Hat Amo.Cas DMB.SYdWW Rfe
7983+
DpCtrldR ISB Hat Amo.Cas DSB.STdWW Rfe
7984+
DpCtrldR ISB Hat Amo.Cas DSB.SYdWW Rfe
7985+
DpCtrldR ISB Hat Amo.Cas PodWR Amo.CasPL RfeLP
7986+
DpCtrldR ISB Hat Amo.Cas PodWR Amo.SwpPL RfeLP
7987+
DpCtrldR ISB Hat Amo.Cas PodWR LxSxPL RfeLP
7988+
DpCtrldR ISB Hat Amo.Cas PodWWPL RfeLP
7989+
DpCtrldR ISB Hat Amo.Swp DMB.STdWW Rfe
7990+
DpCtrldR ISB Hat Amo.Swp DMB.SYdWW Rfe
7991+
DpCtrldR ISB Hat Amo.Swp DSB.STdWW Rfe
7992+
DpCtrldR ISB Hat Amo.Swp DSB.SYdWW Rfe
7993+
DpCtrldR ISB Hat Amo.Swp PodWR Amo.CasPL RfeLP
7994+
DpCtrldR ISB Hat Amo.Swp PodWR Amo.SwpPL RfeLP
7995+
DpCtrldR ISB Hat Amo.Swp PodWR LxSxPL RfeLP
7996+
DpCtrldR ISB Hat Amo.Swp PodWWPL RfeLP
7997+
DpCtrldR ISB Hat LxSx DMB.STdWW Rfe
7998+
DpCtrldR ISB Hat LxSx DMB.SYdWW Rfe
7999+
DpCtrldR ISB Hat LxSx DSB.STdWW Rfe
8000+
DpCtrldR ISB Hat LxSx DSB.SYdWW Rfe
8001+
DpCtrldR ISB Hat LxSx PodWR Amo.CasPL RfeLP
8002+
DpCtrldR ISB Hat LxSx PodWR Amo.SwpPL RfeLP
8003+
DpCtrldR ISB Hat LxSx PodWR LxSxPL RfeLP
8004+
DpCtrldR ISB Hat LxSx PodWWPL RfeLP
79488005
DpCtrldW Coe DMB.STdWWPL PosWRLA HatAP
79498006
DpCtrldW Coe DMB.SYdWR Amo.Cas PosWRPA HatAP
79508007
DpCtrldW Coe DMB.SYdWR Amo.Cas PosWRPQ HatQP
@@ -8068,6 +8125,15 @@ DpCtrldW RfePA LxSxAL PodWWLP Rfe
80688125
DpCtrldW RfePA LxSxAP PodWW Rfe
80698126
DpCtrldW RfePA PodRWAP Rfe
80708127
DpCtrldW RfePQ PodRWQP Rfe
8128+
DpCtrldWPL ISB PosWRLA HatAA PodRWAP Rfe
8129+
DpCtrldWPL ISB PosWRLA HatAP DMB.LDdRW Rfe
8130+
DpCtrldWPL ISB PosWRLA HatAP DMB.SYdRW Rfe
8131+
DpCtrldWPL ISB PosWRLA HatAP DSB.LDdRW Rfe
8132+
DpCtrldWPL ISB PosWRLA HatAP DSB.SYdRW Rfe
8133+
DpCtrldWPL ISB PosWRLA HatAP DpAddrdW Rfe
8134+
DpCtrldWPL ISB PosWRLA HatAP DpCtrldW Rfe
8135+
DpCtrldWPL ISB PosWRLA HatAP DpDatadW Rfe
8136+
DpCtrldWPL ISB PosWRLA HatAQ PodRWQP Rfe
80718137
DpCtrldWPL PodWRLA FreAP PodWRPA Amo.CasAL PosWRLP Hat
80728138
DpCtrldWPL PodWRLA FreAP PodWRPA Amo.SwpAL PosWRLP Hat
80738139
DpCtrldWPL PodWRLA PosRRAP Fre PodWRPA Amo.CasAL PosWRLP Hat

0 commit comments

Comments
 (0)