From 8d0d6286c33718ce3c646020b53b776050a017f3 Mon Sep 17 00:00:00 2001 From: haining Date: Wed, 25 Oct 2023 09:31:58 +0300 Subject: [PATCH] Clean ptx/vulkan tests (#540) --- .../litmus/LitmusVulkanRacesTest.java | 2 +- .../src/test/resources/PTXv6_0-expected.csv | 115 ++++++------ .../src/test/resources/PTXv7_5-expected.csv | 176 ++++++++++++------ .../src/test/resources/VULKAN-CK-expected.csv | 1 + .../src/test/resources/VULKAN-DR-expected.csv | 27 +-- .../src/test/resources/VULKAN-expected.csv | 1 + .../Atom-minus-location_.litmus | 0 .../Atom-plus-location-weak_.litmus | 0 .../Atom-plus-location_.litmus | 0 .../Atom-plus-register.litmus | 0 .../Cause-base-strong.litmus | 0 .../{Nvidia => Manual}/Cause-base-weak.litmus | 0 .../Co-Total-3-threads-scope-same.litmus | 0 .../Co-Total-4-threads.litmus | 0 .../CoRR-acquire-weak.litmus | 0 .../CoRR-relaxed-acquire-weak.litmus | 0 .../CoRR-weak-acquire-weak.litmus | 0 .../CoRR-weak-acquire.litmus | 0 .../{Nvidia => Manual}/CoRR-weak-weak.litmus | 0 litmus/PTX/{Nvidia => Manual}/CoRW-R.litmus | 0 litmus/PTX/{Nvidia => Manual}/CoRW-WW.litmus | 0 litmus/PTX/{Nvidia => Manual}/CoRW_.litmus | 0 litmus/PTX/{Nvidia => Manual}/CoWR-R.litmus | 0 litmus/PTX/{Nvidia => Manual}/CoWR_.litmus | 0 litmus/PTX/{Nvidia => Manual}/CoWW-R.litmus | 0 litmus/PTX/{Nvidia => Manual}/CoWW_.litmus | 0 .../LB+NoThinAir-location_.litmus | 0 .../LB+NoThinAir-register.litmus | 0 litmus/PTX/{Nvidia => Manual}/MP-cta.litmus | 0 litmus/PTX/{Nvidia => Manual}/MP-gpu.litmus | 0 .../PTX/{Nvidia => Manual}/MP-relaxed.litmus | 0 litmus/PTX/{Nvidia => Manual}/MP-sys.litmus | 0 .../Proxy-Alias-AliasFence.litmus | 0 .../Proxy-Const-ConstFence.litmus | 0 .../Proxy-Const-MP-cause-different-cta.litmus | 0 .../Proxy-Const-MP-cause1.litmus | 0 .../Proxy-Const-MP-cause2.litmus | 0 ...SingleThread-rf-surW-surF-conF-conR.litmus | 1 + ...roxy-SingleThread-rf-surW-surF-genR.litmus | 1 + .../Red-minus-location_.litmus | 0 .../Red-plus-location_.litmus | 0 .../{Nvidia => Manual}/SB+acq_rel-cta.litmus | 0 .../SB+bar-const-diff.litmus | 0 .../SB+bar-const-equal.litmus | 0 .../{Nvidia => Manual}/SB+bar-diff-cta.litmus | 0 .../SB+bar-dyn-reg-const.litmus | 0 .../SB+bar-reg-const-diff.litmus | 0 .../SB+bar-reg-const-equal.litmus | 0 .../{Nvidia => Manual}/SB+bar-reg-diff.litmus | 0 .../SB+bar-reg-equal.litmus | 0 .../SB+bar-sta-reg-const.litmus | 0 .../SB+sc-cta-outScope.litmus | 0 .../PTX/{Nvidia => Manual}/SB+sc-cta.litmus | 0 .../SB+sc-gpu-multiFence-TotalOrder.litmus | 0 .../SB+sc-gpu-multiFence.litmus | 0 .../PTX/{Nvidia => Manual}/SB+sc-gpu.litmus | 0 .../PTX/{Nvidia => Manual}/SB+sc-sys.litmus | 0 litmus/PTX/{Nvidia => Manual}/SB-weak.litmus | 0 ...{SL-cas+plus.litmus => SL-cas-plus.litmus} | 0 litmus/PTX/Nvidia/Atom-SB-ld.litmus | 1 + litmus/PTX/Nvidia/Atom-SB.litmus | 1 + .../Co-Total-3-threads-scope-diff.litmus | 1 + ...-aliasFence+proxyFence-correctOrder.litmus | 1 + ...aliasFence+proxyFence-correctOrder1.litmus | 1 + ...aliasFence+proxyFence-correctOrder2.litmus | 1 + ...aliasFence+proxyFence-correctOrder3.litmus | 1 + ...aliasFence+proxyFence-correctThread.litmus | 1 + ...liasFence+proxyFence-correctThread1.litmus | 1 + ...xy-aliasFence+proxyFence-wrongOrder.litmus | 1 + ...y-aliasFence+proxyFence-wrongOrder1.litmus | 1 + ...y-aliasFence+proxyFence-wrongOrder2.litmus | 1 + ...y-aliasFence+proxyFence-wrongOrder3.litmus | 1 + .../Proxy-MP-Alias+diffProxy-noFence.litmus | 1 + .../Proxy-MP-Alias+diffProxy-noFence1.litmus | 1 + ...Proxy-MP-Alias+diffProxy-proxyFence.litmus | 1 + ...roxy-MP-Alias+diffProxy-proxyFence1.litmus | 1 + ...oxy-MP-Alias+diffProxy-proxyFence10.litmus | 1 + ...oxy-MP-Alias+diffProxy-proxyFence11.litmus | 1 + ...oxy-MP-Alias+diffProxy-proxyFence12.litmus | 1 + ...oxy-MP-Alias+diffProxy-proxyFence13.litmus | 1 + ...roxy-MP-Alias+diffProxy-proxyFence2.litmus | 1 + ...roxy-MP-Alias+diffProxy-proxyFence3.litmus | 1 + ...roxy-MP-Alias+diffProxy-proxyFence4.litmus | 1 + ...roxy-MP-Alias+diffProxy-proxyFence5.litmus | 1 + ...roxy-MP-Alias+diffProxy-proxyFence6.litmus | 1 + ...roxy-MP-Alias+diffProxy-proxyFence7.litmus | 1 + ...roxy-MP-Alias+diffProxy-proxyFence8.litmus | 1 + ...roxy-MP-Alias+diffProxy-proxyFence9.litmus | 1 + ...Proxy-MP-Alias+sameProxy-aliasFence.litmus | 1 + ...roxy-MP-Alias+sameProxy-aliasFence1.litmus | 1 + .../Proxy-MP-Alias+sameProxy-noFence.litmus | 1 + .../Proxy-MP-Alias+sameProxy-noFence1.litmus | 1 + .../PTX/Nvidia/Proxy-MP-cta-synonym1.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym10.litmus | 19 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym11.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym12.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym13.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym14.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym15.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym16.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym17.litmus | 19 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym18.litmus | 19 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym19.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym2.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym20.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym21.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym22.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym23.litmus | 19 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym24.litmus | 19 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym25.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym26.litmus | 19 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym27.litmus | 19 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym28.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym29.litmus | 20 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym3.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym30.litmus | 20 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym31.litmus | 20 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym32.litmus | 19 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym33.litmus | 19 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym34.litmus | 19 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym35.litmus | 19 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym36.litmus | 19 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym37.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym38.litmus | 19 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym39.litmus | 19 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym4.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym40.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym41.litmus | 19 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym42.litmus | 19 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym43.litmus | 19 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym44.litmus | 20 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym45.litmus | 20 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym46.litmus | 20 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym5.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym6.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym7.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym8.litmus | 18 ++ .../PTX/Nvidia/Proxy-MP-cta-synonym9.litmus | 19 ++ .../Proxy-MP-gen-sur-no-proxyFence.litmus | 1 + .../Proxy-MP-gen-sur-surfaceFence.litmus | 1 + .../Proxy-MP-gen-sur-surfaceFence1.litmus | 1 + litmus/PTX/Nvidia/Proxy-MP-gen.litmus | 1 + litmus/PTX/Nvidia/Proxy-MP-gpu1.litmus | 16 ++ litmus/PTX/Nvidia/Proxy-MP-gpu10.litmus | 17 ++ litmus/PTX/Nvidia/Proxy-MP-gpu11.litmus | 16 ++ litmus/PTX/Nvidia/Proxy-MP-gpu12.litmus | 16 ++ litmus/PTX/Nvidia/Proxy-MP-gpu13.litmus | 16 ++ litmus/PTX/Nvidia/Proxy-MP-gpu14.litmus | 16 ++ litmus/PTX/Nvidia/Proxy-MP-gpu15.litmus | 16 ++ litmus/PTX/Nvidia/Proxy-MP-gpu16.litmus | 16 ++ litmus/PTX/Nvidia/Proxy-MP-gpu17.litmus | 17 ++ litmus/PTX/Nvidia/Proxy-MP-gpu18.litmus | 17 ++ litmus/PTX/Nvidia/Proxy-MP-gpu2.litmus | 16 ++ litmus/PTX/Nvidia/Proxy-MP-gpu3.litmus | 16 ++ litmus/PTX/Nvidia/Proxy-MP-gpu4.litmus | 16 ++ litmus/PTX/Nvidia/Proxy-MP-gpu5.litmus | 16 ++ litmus/PTX/Nvidia/Proxy-MP-gpu6.litmus | 16 ++ litmus/PTX/Nvidia/Proxy-MP-gpu7.litmus | 16 ++ litmus/PTX/Nvidia/Proxy-MP-gpu8.litmus | 16 ++ litmus/PTX/Nvidia/Proxy-MP-gpu9.litmus | 17 ++ .../Proxy-MP-sur-gen-no-proxyFence.litmus | 1 + .../Proxy-MP-sur-gen-surfaceFence.litmus | 1 + .../Proxy-MP-sur-gen-surfaceFence1.litmus | 1 + .../Proxy-MP-sur-sur-no-proxyFence.litmus | 1 + .../Proxy-MP-sur-tex-fenceCorrectOrder.litmus | 1 + ...Proxy-MP-sur-tex-fenceCorrectThread.litmus | 1 + .../Proxy-MP-sur-tex-fenceWrongOrder.litmus | 1 + .../Proxy-MP-sur-tex-fenceWrongOrder1.litmus | 1 + .../Proxy-MP-sur-tex-fenceWrongThread.litmus | 1 + ...-MP-sur-tex-surF-texF-correctOrder1.litmus | 1 + .../Proxy-MP-sur-tex-surfaceFence.litmus | 1 + .../Proxy-MP-sur-tex-surfaceFence1.litmus | 1 + .../Proxy-MP-sur-tex-textureFence.litmus | 1 + .../Proxy-MP-sur-tex-textureFence1.litmus | 18 ++ .../Proxy-SingleThread-rf-genW-genR.litmus | 1 + ...roxy-SingleThread-rf-genW-surF-surR.litmus | 1 + .../Proxy-SingleThread-rf-genW-surR.litmus | 1 + .../Proxy-SingleThread-rf-surW-genR.litmus | 1 + ...roxy-SingleThread-rf-surW-surF-texR.litmus | 1 + .../Proxy-SingleThread-rf-surW-surR.litmus | 1 + ...ingleThread-rf-surW-surxF-texF-texR.litmus | 1 + ...SingleThread-rf-surW-texF-surF-texR.litmus | 1 + ...roxy-SingleThread-rf-surW-texF-texR.litmus | 1 + ...roxy-SingleThread-rf-surW-texR-genR.litmus | 1 + .../Proxy-SingleThread-rf-surW-texR.litmus | 14 -- litmus/PTX/Nvidia/README.md | 1 + .../PTX/Nvidia/Release-acquire-pattern.litmus | 14 ++ litmus/PTX/Nvidia/SB-cta.litmus | 14 ++ .../VULKAN/Data-Race/atomicsc-filter.litmus | 1 + .../Data-Race/atomwrongsc-filter.litmus | 1 + .../VULKAN/Data-Race/cbarinst-filter.litmus | 1 + .../VULKAN/Data-Race/fencefence-filter.litmus | 1 + .../Data-Race/fencefence2-filter.litmus | 1 + .../Data-Race/fencefence3-filter.litmus | 1 + .../Data-Race/fencefencebroken-filter.litmus | 1 + litmus/VULKAN/Data-Race/mp-filter.litmus | 1 + litmus/VULKAN/Data-Race/mp3-filter.litmus | 1 + .../VULKAN/Data-Race/mp3acqrel-filter.litmus | 1 + .../Data-Race/mp3transitive-filter.litmus | 1 + .../Data-Race/mp3transitive2-filter.litmus | 1 + .../Data-Race/mp3transitive3-filter.litmus | 1 + .../Data-Race/mp3transitive4-filter.litmus | 1 + .../Data-Race/mp3transitivefail-filter.litmus | 1 + .../mp3transitivefail2-filter.litmus | 1 + litmus/VULKAN/Data-Race/mpsc1-filter.litmus | 1 + .../Data-Race/noncohandatom-filter.litmus | 1 + .../VULKAN/Data-Race/noncohmp-filter.litmus | 1 + .../VULKAN/Data-Race/noncohmp2-filter.litmus | 1 + .../VULKAN/Data-Race/noncohmp3-filter.litmus | 1 + .../Data-Race/noncohmpbar-filter.litmus | 1 + .../Data-Race/noncohmpbarsg-filter.litmus | 1 + .../Data-Race/noncohmpfail-filter.litmus | 1 + .../Data-Race/noncohmpfail2-filter.litmus | 1 + .../VULKAN/Data-Race/noncohwar-filter.litmus | 1 + litmus/VULKAN/Data-Race/privmp-filter.litmus | 1 + litmus/VULKAN/Data-Race/privpo-filter.litmus | 1 + litmus/VULKAN/Data-Race/privwar-filter.litmus | 1 + litmus/VULKAN/Data-Race/qfmp-filter.litmus | 1 + .../VULKAN/Data-Race/qfmpfail-filter.litmus | 1 + .../Data-Race/qfmpscopedev-filter.litmus | 1 + .../Data-Race/releaseseq1-filter.litmus | 1 + .../Data-Race/releaseseq2-filter.litmus | 1 + .../Data-Race/releaseseq3-filter.litmus | 1 + .../Data-Race/releaseseq4-filter.litmus | 1 + .../VULKAN/Data-Race/samethread-filter.litmus | 1 + .../Data-Race/samethread2-filter.litmus | 1 + .../Data-Race/scnottransitive-filter.litmus | 1 + .../VULKAN/Data-Race/scopeaccum-filter.litmus | 1 + litmus/VULKAN/Data-Race/ssw0-filter.litmus | 1 + litmus/VULKAN/Data-Race/ssw1-filter.litmus | 1 + litmus/VULKAN/Data-Race/ssw2-filter.litmus | 1 + litmus/VULKAN/Data-Race/ssw3-filter.litmus | 1 + litmus/VULKAN/Data-Race/ssw4-filter.litmus | 1 + litmus/VULKAN/Data-Race/ssw5-filter.litmus | 1 + litmus/VULKAN/Data-Race/ssw6-filter.litmus | 1 + litmus/VULKAN/Data-Race/ssw7-filter.litmus | 1 + litmus/VULKAN/Data-Race/ssw8-filter.litmus | 1 + litmus/VULKAN/Data-Race/test0-filter.litmus | 1 + litmus/VULKAN/Data-Race/test1-filter.litmus | 1 + litmus/VULKAN/Data-Race/test10-filter.litmus | 1 + litmus/VULKAN/Data-Race/test11-filter.litmus | 1 + litmus/VULKAN/Data-Race/test12-filter.litmus | 1 + litmus/VULKAN/Data-Race/test13-filter.litmus | 1 + litmus/VULKAN/Data-Race/test14-filter.litmus | 1 + litmus/VULKAN/Data-Race/test16-filter.litmus | 1 + litmus/VULKAN/Data-Race/test17-filter.litmus | 1 + litmus/VULKAN/Data-Race/test18-filter.litmus | 1 + litmus/VULKAN/Data-Race/test19-filter.litmus | 1 + litmus/VULKAN/Data-Race/test2-filter.litmus | 1 + litmus/VULKAN/Data-Race/test20-filter.litmus | 1 + litmus/VULKAN/Data-Race/test21-filter.litmus | 1 + litmus/VULKAN/Data-Race/test3-filter.litmus | 1 + litmus/VULKAN/Data-Race/test4-filter.litmus | 1 + litmus/VULKAN/Data-Race/test5-filter.litmus | 1 + litmus/VULKAN/Data-Race/test6-filter.litmus | 1 + litmus/VULKAN/Data-Race/test7-filter.litmus | 1 + litmus/VULKAN/Data-Race/test9-filter.litmus | 1 + litmus/VULKAN/Data-Race/waw-filter.litmus | 1 + litmus/VULKAN/Kronos-Group/asmo.litmus | 1 + litmus/VULKAN/Kronos-Group/atomicsc.litmus | 1 + litmus/VULKAN/Kronos-Group/atomwrongsc.litmus | 1 + litmus/VULKAN/Kronos-Group/cbarinst.litmus | 1 + litmus/VULKAN/Kronos-Group/corr.litmus | 1 + litmus/VULKAN/Kronos-Group/corw.litmus | 1 + litmus/VULKAN/Kronos-Group/cowr.litmus | 1 + litmus/VULKAN/Kronos-Group/coww.litmus | 1 + litmus/VULKAN/Kronos-Group/fencefence.litmus | 1 + litmus/VULKAN/Kronos-Group/fencefence2.litmus | 1 + litmus/VULKAN/Kronos-Group/fencefence3.litmus | 1 + .../Kronos-Group/fencefencebroken.litmus | 1 + litmus/VULKAN/Kronos-Group/mp.litmus | 1 + litmus/VULKAN/Kronos-Group/mp3.litmus | 1 + litmus/VULKAN/Kronos-Group/mp3acqrel.litmus | 1 + .../VULKAN/Kronos-Group/mp3transitive.litmus | 1 + .../VULKAN/Kronos-Group/mp3transitive2.litmus | 1 + .../VULKAN/Kronos-Group/mp3transitive3.litmus | 1 + .../VULKAN/Kronos-Group/mp3transitive4.litmus | 1 + .../Kronos-Group/mp3transitivefail.litmus | 1 + .../Kronos-Group/mp3transitivefail2.litmus | 1 + litmus/VULKAN/Kronos-Group/mpsc1.litmus | 1 + .../VULKAN/Kronos-Group/noncohandatom.litmus | 1 + litmus/VULKAN/Kronos-Group/noncohmp.litmus | 1 + litmus/VULKAN/Kronos-Group/noncohmp2.litmus | 1 + litmus/VULKAN/Kronos-Group/noncohmp3.litmus | 1 + litmus/VULKAN/Kronos-Group/noncohmpbar.litmus | 1 + .../VULKAN/Kronos-Group/noncohmpbarsg.litmus | 1 + .../VULKAN/Kronos-Group/noncohmpfail.litmus | 1 + .../VULKAN/Kronos-Group/noncohmpfail2.litmus | 1 + litmus/VULKAN/Kronos-Group/noncohwar.litmus | 1 + litmus/VULKAN/Kronos-Group/privmp.litmus | 1 + litmus/VULKAN/Kronos-Group/privpo.litmus | 1 + litmus/VULKAN/Kronos-Group/privwar.litmus | 1 + litmus/VULKAN/Kronos-Group/qfmp.litmus | 1 + litmus/VULKAN/Kronos-Group/qfmpfail.litmus | 1 + .../VULKAN/Kronos-Group/qfmpscopedev.litmus | 1 + litmus/VULKAN/Kronos-Group/releaseseq1.litmus | 1 + litmus/VULKAN/Kronos-Group/releaseseq2.litmus | 1 + litmus/VULKAN/Kronos-Group/releaseseq3.litmus | 1 + litmus/VULKAN/Kronos-Group/releaseseq4.litmus | 1 + litmus/VULKAN/Kronos-Group/samethread.litmus | 1 + litmus/VULKAN/Kronos-Group/samethread2.litmus | 1 + .../Kronos-Group/scnottransitive.litmus | 16 ++ litmus/VULKAN/Kronos-Group/scopeaccum.litmus | 1 + litmus/VULKAN/Kronos-Group/ssw0.litmus | 1 + litmus/VULKAN/Kronos-Group/ssw1.litmus | 1 + litmus/VULKAN/Kronos-Group/ssw2.litmus | 1 + litmus/VULKAN/Kronos-Group/ssw3.litmus | 1 + litmus/VULKAN/Kronos-Group/ssw4.litmus | 1 + litmus/VULKAN/Kronos-Group/ssw5.litmus | 1 + litmus/VULKAN/Kronos-Group/ssw6.litmus | 1 + litmus/VULKAN/Kronos-Group/ssw7.litmus | 1 + litmus/VULKAN/Kronos-Group/ssw8.litmus | 1 + litmus/VULKAN/Kronos-Group/test0.litmus | 1 + litmus/VULKAN/Kronos-Group/test1.litmus | 1 + litmus/VULKAN/Kronos-Group/test10.litmus | 1 + litmus/VULKAN/Kronos-Group/test11.litmus | 1 + litmus/VULKAN/Kronos-Group/test12.litmus | 1 + litmus/VULKAN/Kronos-Group/test13.litmus | 1 + litmus/VULKAN/Kronos-Group/test14.litmus | 1 + litmus/VULKAN/Kronos-Group/test16.litmus | 1 + litmus/VULKAN/Kronos-Group/test17.litmus | 1 + litmus/VULKAN/Kronos-Group/test18.litmus | 1 + litmus/VULKAN/Kronos-Group/test19.litmus | 1 + litmus/VULKAN/Kronos-Group/test2.litmus | 1 + litmus/VULKAN/Kronos-Group/test20.litmus | 1 + litmus/VULKAN/Kronos-Group/test21.litmus | 1 + litmus/VULKAN/Kronos-Group/test3.litmus | 1 + litmus/VULKAN/Kronos-Group/test4.litmus | 1 + litmus/VULKAN/Kronos-Group/test5.litmus | 1 + litmus/VULKAN/Kronos-Group/test6.litmus | 1 + litmus/VULKAN/Kronos-Group/test7.litmus | 1 + litmus/VULKAN/Kronos-Group/test9.litmus | 1 + litmus/VULKAN/Kronos-Group/waw.litmus | 1 + litmus/VULKAN/Manual/MP-avvis.litmus | 2 +- 334 files changed, 1621 insertions(+), 136 deletions(-) rename litmus/PTX/{Nvidia => Manual}/Atom-minus-location_.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/Atom-plus-location-weak_.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/Atom-plus-location_.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/Atom-plus-register.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/Cause-base-strong.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/Cause-base-weak.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/Co-Total-3-threads-scope-same.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/Co-Total-4-threads.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/CoRR-acquire-weak.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/CoRR-relaxed-acquire-weak.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/CoRR-weak-acquire-weak.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/CoRR-weak-acquire.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/CoRR-weak-weak.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/CoRW-R.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/CoRW-WW.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/CoRW_.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/CoWR-R.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/CoWR_.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/CoWW-R.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/CoWW_.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/LB+NoThinAir-location_.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/LB+NoThinAir-register.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/MP-cta.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/MP-gpu.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/MP-relaxed.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/MP-sys.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/Proxy-Alias-AliasFence.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/Proxy-Const-ConstFence.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/Proxy-Const-MP-cause-different-cta.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/Proxy-Const-MP-cause1.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/Proxy-Const-MP-cause2.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/Proxy-SingleThread-rf-surW-surF-conF-conR.litmus (90%) rename litmus/PTX/{Nvidia => Manual}/Proxy-SingleThread-rf-surW-surF-genR.litmus (84%) rename litmus/PTX/{Nvidia => Manual}/Red-minus-location_.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/Red-plus-location_.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/SB+acq_rel-cta.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/SB+bar-const-diff.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/SB+bar-const-equal.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/SB+bar-diff-cta.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/SB+bar-dyn-reg-const.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/SB+bar-reg-const-diff.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/SB+bar-reg-const-equal.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/SB+bar-reg-diff.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/SB+bar-reg-equal.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/SB+bar-sta-reg-const.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/SB+sc-cta-outScope.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/SB+sc-cta.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/SB+sc-gpu-multiFence-TotalOrder.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/SB+sc-gpu-multiFence.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/SB+sc-gpu.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/SB+sc-sys.litmus (100%) rename litmus/PTX/{Nvidia => Manual}/SB-weak.litmus (100%) rename litmus/PTX/Manual/{SL-cas+plus.litmus => SL-cas-plus.litmus} (100%) create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym1.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym10.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym11.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym12.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym13.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym14.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym15.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym16.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym17.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym18.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym19.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym2.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym20.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym21.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym22.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym23.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym24.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym25.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym26.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym27.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym28.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym29.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym3.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym30.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym31.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym32.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym33.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym34.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym35.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym36.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym37.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym38.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym39.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym4.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym40.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym41.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym42.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym43.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym44.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym45.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym46.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym5.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym6.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym7.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym8.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-cta-synonym9.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu1.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu10.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu11.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu12.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu13.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu14.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu15.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu16.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu17.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu18.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu2.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu3.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu4.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu5.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu6.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu7.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu8.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-gpu9.litmus create mode 100644 litmus/PTX/Nvidia/Proxy-MP-sur-tex-textureFence1.litmus delete mode 100644 litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texR.litmus create mode 100644 litmus/PTX/Nvidia/README.md create mode 100644 litmus/PTX/Nvidia/Release-acquire-pattern.litmus create mode 100644 litmus/PTX/Nvidia/SB-cta.litmus create mode 100644 litmus/VULKAN/Kronos-Group/scnottransitive.litmus diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/litmus/LitmusVulkanRacesTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/litmus/LitmusVulkanRacesTest.java index a4811907f6..67635cf823 100644 --- a/dartagnan/src/test/java/com/dat3m/dartagnan/litmus/LitmusVulkanRacesTest.java +++ b/dartagnan/src/test/java/com/dat3m/dartagnan/litmus/LitmusVulkanRacesTest.java @@ -15,7 +15,7 @@ public class LitmusVulkanRacesTest extends AbstractLitmusTest { @Parameterized.Parameters(name = "{index}: {0}, {1}") public static Iterable data() throws IOException { - return buildLitmusTests("litmus/VULKAN/Data-Race/", "VULKAN", "-DR"); + return buildLitmusTests("litmus/VULKAN/", "VULKAN", "-DR"); } @Override diff --git a/dartagnan/src/test/resources/PTXv6_0-expected.csv b/dartagnan/src/test/resources/PTXv6_0-expected.csv index 57ef51854e..fda4da4f5a 100644 --- a/dartagnan/src/test/resources/PTXv6_0-expected.csv +++ b/dartagnan/src/test/resources/PTXv6_0-expected.csv @@ -1,67 +1,76 @@ litmus/PTX/Nvidia/Atom-SB-ld.litmus,1 litmus/PTX/Nvidia/Atom-SB.litmus,1 -litmus/PTX/Nvidia/Atom-minus-location_.litmus,1 -litmus/PTX/Nvidia/Atom-plus-location-weak_.litmus,1 -litmus/PTX/Nvidia/Atom-plus-location_.litmus,1 -litmus/PTX/Nvidia/Atom-plus-register.litmus,1 -litmus/PTX/Nvidia/Cause-base-strong.litmus,1 -litmus/PTX/Nvidia/Cause-base-weak.litmus,1 litmus/PTX/Nvidia/Co-Total-3-threads-scope-diff.litmus,1 -litmus/PTX/Nvidia/Co-Total-3-threads-scope-same.litmus,1 -litmus/PTX/Nvidia/Co-Total-4-threads.litmus,1 -litmus/PTX/Nvidia/CoRR-acquire-weak.litmus,1 -litmus/PTX/Nvidia/CoRR-relaxed-acquire-weak.litmus,1 -litmus/PTX/Nvidia/CoRR-weak-acquire-weak.litmus,1 -litmus/PTX/Nvidia/CoRR-weak-acquire.litmus,1 -litmus/PTX/Nvidia/CoRR-weak-weak.litmus,1 -litmus/PTX/Nvidia/CoRW-R.litmus,1 -litmus/PTX/Nvidia/CoRW-WW.litmus,1 -litmus/PTX/Nvidia/CoRW_.litmus,1 -litmus/PTX/Nvidia/CoWR-R.litmus,1 -litmus/PTX/Nvidia/CoWR_.litmus,1 -litmus/PTX/Nvidia/CoWW-R.litmus,1 -litmus/PTX/Nvidia/CoWW_.litmus,1 -litmus/PTX/Nvidia/LB+NoThinAir-location_.litmus,1 -litmus/PTX/Nvidia/LB+NoThinAir-register.litmus,1 -litmus/PTX/Nvidia/MP-cta.litmus,1 -litmus/PTX/Nvidia/MP-gpu.litmus,1 -litmus/PTX/Nvidia/MP-relaxed.litmus,1 -litmus/PTX/Nvidia/MP-sys.litmus,1 -litmus/PTX/Nvidia/Red-minus-location_.litmus,1 -litmus/PTX/Nvidia/Red-plus-location_.litmus,1 -litmus/PTX/Nvidia/SB+acq_rel-cta.litmus,1 -litmus/PTX/Nvidia/SB+bar-const-diff.litmus,0 -litmus/PTX/Nvidia/SB+bar-const-equal.litmus,1 -litmus/PTX/Nvidia/SB+bar-diff-cta.litmus,0 -litmus/PTX/Nvidia/SB+bar-reg-const-diff.litmus,0 -litmus/PTX/Nvidia/SB+bar-reg-const-equal.litmus,1 -litmus/PTX/Nvidia/SB+bar-reg-diff.litmus,0 -litmus/PTX/Nvidia/SB+bar-reg-equal.litmus,1 -litmus/PTX/Nvidia/SB+sc-cta.litmus,1 -litmus/PTX/Nvidia/SB+sc-cta-outScope.litmus,1 -litmus/PTX/Nvidia/SB+sc-gpu.litmus,1 -litmus/PTX/Nvidia/SB+sc-gpu-multiFence.litmus,1 -litmus/PTX/Nvidia/SB+sc-gpu-multiFence-TotalOrder.litmus,1 -litmus/PTX/Nvidia/SB+sc-sys.litmus,1 -litmus/PTX/Nvidia/SB-weak.litmus,1 +litmus/PTX/Nvidia/SB-cta.litmus,1 +litmus/PTX/Manual/SB+bar-dyn-reg-const.litmus,0 +litmus/PTX/Manual/SB+bar-sta-reg-const.litmus,1 +litmus/PTX/Manual/Atom-minus-location_.litmus,1 +litmus/PTX/Manual/Atom-plus-location-weak_.litmus,1 +litmus/PTX/Manual/Atom-plus-location_.litmus,1 +litmus/PTX/Manual/Atom-plus-register.litmus,1 +litmus/PTX/Manual/Cause-base-strong.litmus,1 +litmus/PTX/Manual/Cause-base-weak.litmus,1 +litmus/PTX/Manual/Co-Total-3-threads-scope-same.litmus,1 +litmus/PTX/Manual/Co-Total-4-threads.litmus,1 +litmus/PTX/Manual/CoRR-acquire-weak.litmus,1 +litmus/PTX/Manual/CoRR-relaxed-acquire-weak.litmus,1 +litmus/PTX/Manual/CoRR-weak-acquire.litmus,1 +litmus/PTX/Manual/CoRR-weak-acquire-weak.litmus,1 +litmus/PTX/Manual/CoRR-weak-weak.litmus,1 +litmus/PTX/Manual/CoRW-R.litmus,1 +litmus/PTX/Manual/CoRW-WW.litmus,1 +litmus/PTX/Manual/CoRW_.litmus,1 +litmus/PTX/Manual/CoWR-R.litmus,1 +litmus/PTX/Manual/CoWR_.litmus,1 +litmus/PTX/Manual/CoWW-R.litmus,1 +litmus/PTX/Manual/CoWW-RR.litmus,1 +litmus/PTX/Manual/CoWW_.litmus,1 +litmus/PTX/Manual/LB+NoThinAir-location_.litmus,1 +litmus/PTX/Manual/LB+NoThinAir-register.litmus,1 +litmus/PTX/Manual/MP-cta.litmus,1 +litmus/PTX/Manual/MP-gpu.litmus,1 +litmus/PTX/Manual/MP-relaxed.litmus,1 +litmus/PTX/Manual/MP-sys.litmus,1 +litmus/PTX/Manual/Proxy-Alias-AliasFence.litmus,1 +litmus/PTX/Manual/Proxy-Const-ConstFence.litmus,1 +litmus/PTX/Manual/Proxy-Const-MP-cause-different-cta.litmus,1 +litmus/PTX/Manual/Proxy-Const-MP-cause1.litmus,1 +litmus/PTX/Manual/Proxy-Const-MP-cause2.litmus,1 +litmus/PTX/Manual/Proxy-SingleThread-rf-surW-surF-conF-conR.litmus,1 +litmus/PTX/Manual/Proxy-SingleThread-rf-surW-surF-genR.litmus,1 +litmus/PTX/Manual/Red-minus-location_.litmus,1 +litmus/PTX/Manual/Red-plus-location_.litmus,1 +litmus/PTX/Nvidia/Release-acquire-pattern.litmus,0 +litmus/PTX/Manual/SB+acq_rel-cta.litmus,1 +litmus/PTX/Manual/SB+bar-const-diff.litmus,0 +litmus/PTX/Manual/SB+bar-const-equal.litmus,1 +litmus/PTX/Manual/SB+bar-diff-cta.litmus,0 +litmus/PTX/Manual/SB+bar-reg-const-diff.litmus,0 +litmus/PTX/Manual/SB+bar-reg-const-equal.litmus,1 +litmus/PTX/Manual/SB+bar-reg-diff.litmus,0 +litmus/PTX/Manual/SB+bar-reg-equal.litmus,1 +litmus/PTX/Manual/SB+sc-cta.litmus,1 +litmus/PTX/Manual/SB+sc-cta-outScope.litmus,1 +litmus/PTX/Manual/SB+sc-gpu.litmus,1 +litmus/PTX/Manual/SB+sc-gpu-multiFence.litmus,1 +litmus/PTX/Manual/SB+sc-gpu-multiFence-TotalOrder.litmus,1 +litmus/PTX/Manual/SB+sc-sys.litmus,1 +litmus/PTX/Manual/SB-weak.litmus,1 litmus/PTX/Manual/Ticketlock-same-gpu.litmus,0 litmus/PTX/Manual/Ticketlock-diff-gpu.litmus,1 litmus/PTX/Manual/Ticketlock-acq2rlx-1.litmus,0 litmus/PTX/Manual/Ticketlock-acq2rlx-2.litmus,1 litmus/PTX/Manual/Ticketlock-rel2rlx.litmus,1 -litmus/PTX/Manual/MP-dlb,0 -litmus/PTX/Manual/MP-dlb-no-fence-1,1 -litmus/PTX/Manual/MP-dlb-no-fence-2,1 -litmus/PTX/Manual/LB-dlb,0 -litmus/PTX/Manual/LB-dlb-no-fence-1,1 -litmus/PTX/Manual/LB-dlb-no-fence-2,1 -litmus/PTX/Nvidia/SB+bar-dyn-reg-const,0 -litmus/PTX/Nvidia/SB+bar-sta-reg-const,1 -litmus/PTX/Manual/CoWW-weak.litmus,1 +litmus/PTX/Manual/MP-dlb.litmus,0 +litmus/PTX/Manual/MP-dlb-no-fence-1.litmus,1 +litmus/PTX/Manual/MP-dlb-no-fence-2.litmus,1 +litmus/PTX/Manual/LB-dlb.litmus,0 +litmus/PTX/Manual/LB-dlb-no-fence-1.litmus,1 +litmus/PTX/Manual/LB-dlb-no-fence-2.litmus,1 litmus/PTX/Manual/XF-Barrier-relacq.litmus,0 litmus/PTX/Manual/XF-Barrier-rlx.litmus,1 litmus/PTX/Manual/XF-Barrier-weak.litmus,1 litmus/PTX/Manual/SL-cas-plus.litmus,0 litmus/PTX/Manual/SL-cas-minus.litmus,1 litmus/PTX/Manual/SL-future-plus.litmus,0 -litmus/PTX/Manual/SL-future-minus.litmus,1 \ No newline at end of file +litmus/PTX/Manual/SL-future-minus.litmus,1 diff --git a/dartagnan/src/test/resources/PTXv7_5-expected.csv b/dartagnan/src/test/resources/PTXv7_5-expected.csv index d4fa277477..39af399ce6 100644 --- a/dartagnan/src/test/resources/PTXv7_5-expected.csv +++ b/dartagnan/src/test/resources/PTXv7_5-expected.csv @@ -1,37 +1,6 @@ litmus/PTX/Nvidia/Atom-SB-ld.litmus,1 litmus/PTX/Nvidia/Atom-SB.litmus,1 -litmus/PTX/Nvidia/Atom-minus-location_.litmus,1 -litmus/PTX/Nvidia/Atom-plus-location-weak_.litmus,1 -litmus/PTX/Nvidia/Atom-plus-location_.litmus,1 -litmus/PTX/Nvidia/Atom-plus-register.litmus,1 -litmus/PTX/Nvidia/Cause-base-strong.litmus,1 -litmus/PTX/Nvidia/Cause-base-weak.litmus,1 litmus/PTX/Nvidia/Co-Total-3-threads-scope-diff.litmus,1 -litmus/PTX/Nvidia/Co-Total-3-threads-scope-same.litmus,1 -litmus/PTX/Nvidia/Co-Total-4-threads.litmus,1 -litmus/PTX/Nvidia/CoRR-acquire-weak.litmus,1 -litmus/PTX/Nvidia/CoRR-relaxed-acquire-weak.litmus,1 -litmus/PTX/Nvidia/CoRR-weak-acquire-weak.litmus,1 -litmus/PTX/Nvidia/CoRR-weak-acquire.litmus,1 -litmus/PTX/Nvidia/CoRR-weak-weak.litmus,1 -litmus/PTX/Nvidia/CoRW-R.litmus,1 -litmus/PTX/Nvidia/CoRW-WW.litmus,1 -litmus/PTX/Nvidia/CoRW_.litmus,1 -litmus/PTX/Nvidia/CoWR-R.litmus,1 -litmus/PTX/Nvidia/CoWR_.litmus,1 -litmus/PTX/Nvidia/CoWW-R.litmus,1 -litmus/PTX/Nvidia/CoWW_.litmus,1 -litmus/PTX/Nvidia/LB+NoThinAir-location_.litmus,1 -litmus/PTX/Nvidia/LB+NoThinAir-register.litmus,1 -litmus/PTX/Nvidia/MP-cta.litmus,1 -litmus/PTX/Nvidia/MP-gpu.litmus,1 -litmus/PTX/Nvidia/MP-relaxed.litmus,1 -litmus/PTX/Nvidia/MP-sys.litmus,1 -litmus/PTX/Nvidia/Proxy-Alias-AliasFence.litmus,1 -litmus/PTX/Nvidia/Proxy-Const-ConstFence.litmus,1 -litmus/PTX/Nvidia/Proxy-Const-MP-cause-different-cta.litmus,1 -litmus/PTX/Nvidia/Proxy-Const-MP-cause1.litmus,1 -litmus/PTX/Nvidia/Proxy-Const-MP-cause2.litmus,1 litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder.litmus,1 litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder1.litmus,1 litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder2.litmus,1 @@ -65,6 +34,70 @@ litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-noFence1.litmus,1 litmus/PTX/Nvidia/Proxy-MP-gen-sur-no-proxyFence.litmus,1 litmus/PTX/Nvidia/Proxy-MP-gen-sur-surfaceFence.litmus,1 litmus/PTX/Nvidia/Proxy-MP-gen-sur-surfaceFence1.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym1.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym2.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym3.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym4.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym5.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym6.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym7.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym8.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym9.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym10.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym11.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym12.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym13.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym14.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym15.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym16.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym17.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym18.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym19.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym20.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym21.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym22.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym23.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym24.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym25.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym26.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym27.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym28.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym29.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym30.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym31.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym32.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym33.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym34.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym35.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym36.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym37.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym38.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym39.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym40.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym41.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym42.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym43.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym44.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym45.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-cta-synonym46.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu1.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu2.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu3.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu4.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu5.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu6.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu7.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu8.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu9.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu10.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu11.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu12.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu13.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu14.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu15.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu16.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu17.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-gpu18.litmus,1 litmus/PTX/Nvidia/Proxy-MP-gen.litmus,1 litmus/PTX/Nvidia/Proxy-MP-sur-gen-no-proxyFence.litmus,1 litmus/PTX/Nvidia/Proxy-MP-sur-gen-surfaceFence.litmus,1 @@ -79,36 +112,72 @@ litmus/PTX/Nvidia/Proxy-MP-sur-tex-surF-texF-correctOrder1.litmus,1 litmus/PTX/Nvidia/Proxy-MP-sur-tex-surfaceFence.litmus,1 litmus/PTX/Nvidia/Proxy-MP-sur-tex-surfaceFence1.litmus,1 litmus/PTX/Nvidia/Proxy-MP-sur-tex-textureFence.litmus,1 +litmus/PTX/Nvidia/Proxy-MP-sur-tex-textureFence1.litmus,1 litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-genR.litmus,1 litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-surF-surR.litmus,1 litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-surR.litmus,1 litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-genR.litmus,1 -litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surF-conF-conR.litmus,1 -litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surF-genR.litmus,1 litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surF-texR.litmus,1 litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surR.litmus,1 litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surxF-texF-texR.litmus,1 litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texF-surF-texR.litmus,1 litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texF-texR.litmus,1 litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texR-genR.litmus,1 -litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texR.litmus,1 -litmus/PTX/Nvidia/Red-minus-location_.litmus,1 -litmus/PTX/Nvidia/Red-plus-location_.litmus,1 -litmus/PTX/Nvidia/SB+acq_rel-cta.litmus,1 -litmus/PTX/Nvidia/SB+bar-const-diff.litmus,0 -litmus/PTX/Nvidia/SB+bar-const-equal.litmus,1 -litmus/PTX/Nvidia/SB+bar-diff-cta.litmus,0 -litmus/PTX/Nvidia/SB+bar-reg-const-diff.litmus,0 -litmus/PTX/Nvidia/SB+bar-reg-const-equal.litmus,1 -litmus/PTX/Nvidia/SB+bar-reg-diff.litmus,0 -litmus/PTX/Nvidia/SB+bar-reg-equal.litmus,1 -litmus/PTX/Nvidia/SB+sc-cta.litmus,1 -litmus/PTX/Nvidia/SB+sc-cta-outScope.litmus,1 -litmus/PTX/Nvidia/SB+sc-gpu.litmus,1 -litmus/PTX/Nvidia/SB+sc-gpu-multiFence.litmus,1 -litmus/PTX/Nvidia/SB+sc-gpu-multiFence-TotalOrder.litmus,1 -litmus/PTX/Nvidia/SB+sc-sys.litmus,1 -litmus/PTX/Nvidia/SB-weak.litmus,1 +litmus/PTX/Nvidia/Release-acquire-pattern.litmus,1 +litmus/PTX/Nvidia/SB-cta.litmus,1 +litmus/PTX/Manual/SB+bar-dyn-reg-const.litmus,0 +litmus/PTX/Manual/SB+bar-sta-reg-const.litmus,1 +litmus/PTX/Manual/Atom-minus-location_.litmus,1 +litmus/PTX/Manual/Atom-plus-location-weak_.litmus,1 +litmus/PTX/Manual/Atom-plus-location_.litmus,1 +litmus/PTX/Manual/Atom-plus-register.litmus,1 +litmus/PTX/Manual/Cause-base-strong.litmus,1 +litmus/PTX/Manual/Cause-base-weak.litmus,1 +litmus/PTX/Manual/Co-Total-3-threads-scope-same.litmus,1 +litmus/PTX/Manual/Co-Total-4-threads.litmus,1 +litmus/PTX/Manual/CoRR-acquire-weak.litmus,1 +litmus/PTX/Manual/CoRR-relaxed-acquire-weak.litmus,1 +litmus/PTX/Manual/CoRR-weak-acquire.litmus,1 +litmus/PTX/Manual/CoRR-weak-acquire-weak.litmus,1 +litmus/PTX/Manual/CoRR-weak-weak.litmus,1 +litmus/PTX/Manual/CoRW-R.litmus,1 +litmus/PTX/Manual/CoRW-WW.litmus,1 +litmus/PTX/Manual/CoRW_.litmus,1 +litmus/PTX/Manual/CoWR-R.litmus,1 +litmus/PTX/Manual/CoWR_.litmus,1 +litmus/PTX/Manual/CoWW-R.litmus,1 +litmus/PTX/Manual/CoWW-RR.litmus,1 +litmus/PTX/Manual/CoWW_.litmus,1 +litmus/PTX/Manual/LB+NoThinAir-location_.litmus,1 +litmus/PTX/Manual/LB+NoThinAir-register.litmus,1 +litmus/PTX/Manual/MP-cta.litmus,1 +litmus/PTX/Manual/MP-gpu.litmus,1 +litmus/PTX/Manual/MP-relaxed.litmus,1 +litmus/PTX/Manual/MP-sys.litmus,1 +litmus/PTX/Manual/Proxy-Alias-AliasFence.litmus,1 +litmus/PTX/Manual/Proxy-Const-ConstFence.litmus,1 +litmus/PTX/Manual/Proxy-Const-MP-cause-different-cta.litmus,1 +litmus/PTX/Manual/Proxy-Const-MP-cause1.litmus,1 +litmus/PTX/Manual/Proxy-Const-MP-cause2.litmus,1 +litmus/PTX/Manual/Proxy-SingleThread-rf-surW-surF-conF-conR.litmus,1 +litmus/PTX/Manual/Proxy-SingleThread-rf-surW-surF-genR.litmus,1 +litmus/PTX/Manual/Red-minus-location_.litmus,1 +litmus/PTX/Manual/Red-plus-location_.litmus,1 +litmus/PTX/Manual/SB+acq_rel-cta.litmus,1 +litmus/PTX/Manual/SB+bar-const-diff.litmus,0 +litmus/PTX/Manual/SB+bar-const-equal.litmus,1 +litmus/PTX/Manual/SB+bar-diff-cta.litmus,0 +litmus/PTX/Manual/SB+bar-reg-const-diff.litmus,0 +litmus/PTX/Manual/SB+bar-reg-const-equal.litmus,1 +litmus/PTX/Manual/SB+bar-reg-diff.litmus,0 +litmus/PTX/Manual/SB+bar-reg-equal.litmus,1 +litmus/PTX/Manual/SB+sc-cta.litmus,1 +litmus/PTX/Manual/SB+sc-cta-outScope.litmus,1 +litmus/PTX/Manual/SB+sc-gpu.litmus,1 +litmus/PTX/Manual/SB+sc-gpu-multiFence.litmus,1 +litmus/PTX/Manual/SB+sc-gpu-multiFence-TotalOrder.litmus,1 +litmus/PTX/Manual/SB+sc-sys.litmus,1 +litmus/PTX/Manual/SB-weak.litmus,1 litmus/PTX/Manual/Ticketlock-same-gpu.litmus,0 litmus/PTX/Manual/Ticketlock-diff-gpu.litmus,1 litmus/PTX/Manual/Ticketlock-acq2rlx-1.litmus,0 @@ -124,9 +193,6 @@ litmus/PTX/Manual/SL-cas-plus.litmus,0 litmus/PTX/Manual/SL-cas-minus.litmus,1 litmus/PTX/Manual/SL-future-plus.litmus,0 litmus/PTX/Manual/SL-future-minus.litmus,1 -litmus/PTX/Nvidia/SB+bar-dyn-reg-const.litmus,0 -litmus/PTX/Nvidia/SB+bar-sta-reg-const.litmus,1 -litmus/PTX/Manual/CoWW-weak.litmus,1 litmus/PTX/Manual/XF-Barrier-relacq.litmus,0 litmus/PTX/Manual/XF-Barrier-rlx.litmus,1 -litmus/PTX/Manual/XF-Barrier-weak.litmus,1 \ No newline at end of file +litmus/PTX/Manual/XF-Barrier-weak.litmus,1 diff --git a/dartagnan/src/test/resources/VULKAN-CK-expected.csv b/dartagnan/src/test/resources/VULKAN-CK-expected.csv index e4fe253796..45c73ea7fc 100644 --- a/dartagnan/src/test/resources/VULKAN-CK-expected.csv +++ b/dartagnan/src/test/resources/VULKAN-CK-expected.csv @@ -103,6 +103,7 @@ litmus/VULKAN/Kronos-Group/releaseseq3.litmus,1 litmus/VULKAN/Kronos-Group/releaseseq4.litmus,1 litmus/VULKAN/Kronos-Group/samethread.litmus,1 litmus/VULKAN/Kronos-Group/samethread2.litmus,1 +litmus/VULKAN/Kronos-Group/scnottransitive.litmus,1 litmus/VULKAN/Kronos-Group/scopeaccum.litmus,1 litmus/VULKAN/Kronos-Group/ssw0.litmus,1 litmus/VULKAN/Kronos-Group/ssw1.litmus,1 diff --git a/dartagnan/src/test/resources/VULKAN-DR-expected.csv b/dartagnan/src/test/resources/VULKAN-DR-expected.csv index a4cebf1eec..db2dec1556 100644 --- a/dartagnan/src/test/resources/VULKAN-DR-expected.csv +++ b/dartagnan/src/test/resources/VULKAN-DR-expected.csv @@ -68,15 +68,18 @@ litmus/VULKAN/Data-Race/test6-filter.litmus,1 litmus/VULKAN/Data-Race/test7-filter.litmus,0 litmus/VULKAN/Data-Race/test9-filter.litmus,1 litmus/VULKAN/Data-Race/waw-filter.litmus,1 -litmus/VULKAN/Manual/ticketlock-same-wg.litmus,0 -litmus/VULKAN/Manual/ticketlock-diff-wg.litmus,1 -litmus/VULKAN/Manual/ticketlock-acq2rlx-1.litmus,0 -litmus/VULKAN/Manual/ticketlock-acq2rlx-2.litmus,1 -litmus/VULKAN/Manual/ticketlock-rel2rlx.litmus,1 -litmus/VULKAN/Manual/MP-mesa.litmus,0 -litmus/VULKAN/Manual/MP-mesa-load-acq.litmus,0 -litmus/VULKAN/Manual/MP-mesa-fence-loop.litmus,0 -litmus/VULKAN/Manual/MP-mesa-optimized.litmus,0 -litmus/VULKAN/Manual/XF-Barrier-relacq.litmus,0 -litmus/VULKAN/Manual/XF-Barrier-rlx.litmus,1 -litmus/VULKAN/Manual/XF-Barrier-weak.litmus,1 \ No newline at end of file +litmus/VULKAN/Manual/MP-avvis.litmus,0 +litmus/VULKAN/Manual/MP-no-avvis.litmus,0 +litmus/VULKAN/Manual/CoWW-RR.litmus,0 +litmus/VULKAN/Manual/ticketlock-same-wg.litmus,1 +litmus/VULKAN/Manual/ticketlock-diff-wg.litmus,0 +litmus/VULKAN/Manual/ticketlock-acq2rlx-1.litmus,1 +litmus/VULKAN/Manual/ticketlock-acq2rlx-2.litmus,0 +litmus/VULKAN/Manual/ticketlock-rel2rlx.litmus,0 +litmus/VULKAN/Manual/MP-mesa.litmus,1 +litmus/VULKAN/Manual/MP-mesa-load-acq.litmus,1 +litmus/VULKAN/Manual/MP-mesa-fence-loop.litmus,1 +litmus/VULKAN/Manual/MP-mesa-optimized.litmus,1 +litmus/VULKAN/Manual/XF-Barrier-relacq.litmus,1 +litmus/VULKAN/Manual/XF-Barrier-rlx.litmus,0 +litmus/VULKAN/Manual/XF-Barrier-weak.litmus,0 diff --git a/dartagnan/src/test/resources/VULKAN-expected.csv b/dartagnan/src/test/resources/VULKAN-expected.csv index c566f47645..838fd964cd 100644 --- a/dartagnan/src/test/resources/VULKAN-expected.csv +++ b/dartagnan/src/test/resources/VULKAN-expected.csv @@ -41,6 +41,7 @@ litmus/VULKAN/Kronos-Group/releaseseq3.litmus,1 litmus/VULKAN/Kronos-Group/releaseseq4.litmus,1 litmus/VULKAN/Kronos-Group/samethread.litmus,1 litmus/VULKAN/Kronos-Group/samethread2.litmus,1 +litmus/VULKAN/Kronos-Group/scnottransitive.litmus,1 litmus/VULKAN/Kronos-Group/scopeaccum.litmus,1 litmus/VULKAN/Kronos-Group/ssw0.litmus,1 litmus/VULKAN/Kronos-Group/ssw1.litmus,1 diff --git a/litmus/PTX/Nvidia/Atom-minus-location_.litmus b/litmus/PTX/Manual/Atom-minus-location_.litmus similarity index 100% rename from litmus/PTX/Nvidia/Atom-minus-location_.litmus rename to litmus/PTX/Manual/Atom-minus-location_.litmus diff --git a/litmus/PTX/Nvidia/Atom-plus-location-weak_.litmus b/litmus/PTX/Manual/Atom-plus-location-weak_.litmus similarity index 100% rename from litmus/PTX/Nvidia/Atom-plus-location-weak_.litmus rename to litmus/PTX/Manual/Atom-plus-location-weak_.litmus diff --git a/litmus/PTX/Nvidia/Atom-plus-location_.litmus b/litmus/PTX/Manual/Atom-plus-location_.litmus similarity index 100% rename from litmus/PTX/Nvidia/Atom-plus-location_.litmus rename to litmus/PTX/Manual/Atom-plus-location_.litmus diff --git a/litmus/PTX/Nvidia/Atom-plus-register.litmus b/litmus/PTX/Manual/Atom-plus-register.litmus similarity index 100% rename from litmus/PTX/Nvidia/Atom-plus-register.litmus rename to litmus/PTX/Manual/Atom-plus-register.litmus diff --git a/litmus/PTX/Nvidia/Cause-base-strong.litmus b/litmus/PTX/Manual/Cause-base-strong.litmus similarity index 100% rename from litmus/PTX/Nvidia/Cause-base-strong.litmus rename to litmus/PTX/Manual/Cause-base-strong.litmus diff --git a/litmus/PTX/Nvidia/Cause-base-weak.litmus b/litmus/PTX/Manual/Cause-base-weak.litmus similarity index 100% rename from litmus/PTX/Nvidia/Cause-base-weak.litmus rename to litmus/PTX/Manual/Cause-base-weak.litmus diff --git a/litmus/PTX/Nvidia/Co-Total-3-threads-scope-same.litmus b/litmus/PTX/Manual/Co-Total-3-threads-scope-same.litmus similarity index 100% rename from litmus/PTX/Nvidia/Co-Total-3-threads-scope-same.litmus rename to litmus/PTX/Manual/Co-Total-3-threads-scope-same.litmus diff --git a/litmus/PTX/Nvidia/Co-Total-4-threads.litmus b/litmus/PTX/Manual/Co-Total-4-threads.litmus similarity index 100% rename from litmus/PTX/Nvidia/Co-Total-4-threads.litmus rename to litmus/PTX/Manual/Co-Total-4-threads.litmus diff --git a/litmus/PTX/Nvidia/CoRR-acquire-weak.litmus b/litmus/PTX/Manual/CoRR-acquire-weak.litmus similarity index 100% rename from litmus/PTX/Nvidia/CoRR-acquire-weak.litmus rename to litmus/PTX/Manual/CoRR-acquire-weak.litmus diff --git a/litmus/PTX/Nvidia/CoRR-relaxed-acquire-weak.litmus b/litmus/PTX/Manual/CoRR-relaxed-acquire-weak.litmus similarity index 100% rename from litmus/PTX/Nvidia/CoRR-relaxed-acquire-weak.litmus rename to litmus/PTX/Manual/CoRR-relaxed-acquire-weak.litmus diff --git a/litmus/PTX/Nvidia/CoRR-weak-acquire-weak.litmus b/litmus/PTX/Manual/CoRR-weak-acquire-weak.litmus similarity index 100% rename from litmus/PTX/Nvidia/CoRR-weak-acquire-weak.litmus rename to litmus/PTX/Manual/CoRR-weak-acquire-weak.litmus diff --git a/litmus/PTX/Nvidia/CoRR-weak-acquire.litmus b/litmus/PTX/Manual/CoRR-weak-acquire.litmus similarity index 100% rename from litmus/PTX/Nvidia/CoRR-weak-acquire.litmus rename to litmus/PTX/Manual/CoRR-weak-acquire.litmus diff --git a/litmus/PTX/Nvidia/CoRR-weak-weak.litmus b/litmus/PTX/Manual/CoRR-weak-weak.litmus similarity index 100% rename from litmus/PTX/Nvidia/CoRR-weak-weak.litmus rename to litmus/PTX/Manual/CoRR-weak-weak.litmus diff --git a/litmus/PTX/Nvidia/CoRW-R.litmus b/litmus/PTX/Manual/CoRW-R.litmus similarity index 100% rename from litmus/PTX/Nvidia/CoRW-R.litmus rename to litmus/PTX/Manual/CoRW-R.litmus diff --git a/litmus/PTX/Nvidia/CoRW-WW.litmus b/litmus/PTX/Manual/CoRW-WW.litmus similarity index 100% rename from litmus/PTX/Nvidia/CoRW-WW.litmus rename to litmus/PTX/Manual/CoRW-WW.litmus diff --git a/litmus/PTX/Nvidia/CoRW_.litmus b/litmus/PTX/Manual/CoRW_.litmus similarity index 100% rename from litmus/PTX/Nvidia/CoRW_.litmus rename to litmus/PTX/Manual/CoRW_.litmus diff --git a/litmus/PTX/Nvidia/CoWR-R.litmus b/litmus/PTX/Manual/CoWR-R.litmus similarity index 100% rename from litmus/PTX/Nvidia/CoWR-R.litmus rename to litmus/PTX/Manual/CoWR-R.litmus diff --git a/litmus/PTX/Nvidia/CoWR_.litmus b/litmus/PTX/Manual/CoWR_.litmus similarity index 100% rename from litmus/PTX/Nvidia/CoWR_.litmus rename to litmus/PTX/Manual/CoWR_.litmus diff --git a/litmus/PTX/Nvidia/CoWW-R.litmus b/litmus/PTX/Manual/CoWW-R.litmus similarity index 100% rename from litmus/PTX/Nvidia/CoWW-R.litmus rename to litmus/PTX/Manual/CoWW-R.litmus diff --git a/litmus/PTX/Nvidia/CoWW_.litmus b/litmus/PTX/Manual/CoWW_.litmus similarity index 100% rename from litmus/PTX/Nvidia/CoWW_.litmus rename to litmus/PTX/Manual/CoWW_.litmus diff --git a/litmus/PTX/Nvidia/LB+NoThinAir-location_.litmus b/litmus/PTX/Manual/LB+NoThinAir-location_.litmus similarity index 100% rename from litmus/PTX/Nvidia/LB+NoThinAir-location_.litmus rename to litmus/PTX/Manual/LB+NoThinAir-location_.litmus diff --git a/litmus/PTX/Nvidia/LB+NoThinAir-register.litmus b/litmus/PTX/Manual/LB+NoThinAir-register.litmus similarity index 100% rename from litmus/PTX/Nvidia/LB+NoThinAir-register.litmus rename to litmus/PTX/Manual/LB+NoThinAir-register.litmus diff --git a/litmus/PTX/Nvidia/MP-cta.litmus b/litmus/PTX/Manual/MP-cta.litmus similarity index 100% rename from litmus/PTX/Nvidia/MP-cta.litmus rename to litmus/PTX/Manual/MP-cta.litmus diff --git a/litmus/PTX/Nvidia/MP-gpu.litmus b/litmus/PTX/Manual/MP-gpu.litmus similarity index 100% rename from litmus/PTX/Nvidia/MP-gpu.litmus rename to litmus/PTX/Manual/MP-gpu.litmus diff --git a/litmus/PTX/Nvidia/MP-relaxed.litmus b/litmus/PTX/Manual/MP-relaxed.litmus similarity index 100% rename from litmus/PTX/Nvidia/MP-relaxed.litmus rename to litmus/PTX/Manual/MP-relaxed.litmus diff --git a/litmus/PTX/Nvidia/MP-sys.litmus b/litmus/PTX/Manual/MP-sys.litmus similarity index 100% rename from litmus/PTX/Nvidia/MP-sys.litmus rename to litmus/PTX/Manual/MP-sys.litmus diff --git a/litmus/PTX/Nvidia/Proxy-Alias-AliasFence.litmus b/litmus/PTX/Manual/Proxy-Alias-AliasFence.litmus similarity index 100% rename from litmus/PTX/Nvidia/Proxy-Alias-AliasFence.litmus rename to litmus/PTX/Manual/Proxy-Alias-AliasFence.litmus diff --git a/litmus/PTX/Nvidia/Proxy-Const-ConstFence.litmus b/litmus/PTX/Manual/Proxy-Const-ConstFence.litmus similarity index 100% rename from litmus/PTX/Nvidia/Proxy-Const-ConstFence.litmus rename to litmus/PTX/Manual/Proxy-Const-ConstFence.litmus diff --git a/litmus/PTX/Nvidia/Proxy-Const-MP-cause-different-cta.litmus b/litmus/PTX/Manual/Proxy-Const-MP-cause-different-cta.litmus similarity index 100% rename from litmus/PTX/Nvidia/Proxy-Const-MP-cause-different-cta.litmus rename to litmus/PTX/Manual/Proxy-Const-MP-cause-different-cta.litmus diff --git a/litmus/PTX/Nvidia/Proxy-Const-MP-cause1.litmus b/litmus/PTX/Manual/Proxy-Const-MP-cause1.litmus similarity index 100% rename from litmus/PTX/Nvidia/Proxy-Const-MP-cause1.litmus rename to litmus/PTX/Manual/Proxy-Const-MP-cause1.litmus diff --git a/litmus/PTX/Nvidia/Proxy-Const-MP-cause2.litmus b/litmus/PTX/Manual/Proxy-Const-MP-cause2.litmus similarity index 100% rename from litmus/PTX/Nvidia/Proxy-Const-MP-cause2.litmus rename to litmus/PTX/Manual/Proxy-Const-MP-cause2.litmus diff --git a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surF-conF-conR.litmus b/litmus/PTX/Manual/Proxy-SingleThread-rf-surW-surF-conF-conR.litmus similarity index 90% rename from litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surF-conF-conR.litmus rename to litmus/PTX/Manual/Proxy-SingleThread-rf-surW-surF-conF-conR.litmus index 80d05480df..e698dc795c 100644 --- a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surF-conF-conR.litmus +++ b/litmus/PTX/Manual/Proxy-SingleThread-rf-surW-surF-conF-conR.litmus @@ -1,6 +1,7 @@ PTX Proxy-SingleThread-rf-surW-surF-conF-conR "The rf over different non-generic proxies with both proxy fences in correct order are enough, the result will be guaranteed" "The generic memory is synchronize with surface cache by surface fence, then constant fence synchronize the data from generic memory to constant cache. Hence the cold is guaranteed to rf sust" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/CoWR.test" { rd1 = 0; rd2 @ constant aliases rd1; diff --git a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surF-genR.litmus b/litmus/PTX/Manual/Proxy-SingleThread-rf-surW-surF-genR.litmus similarity index 84% rename from litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surF-genR.litmus rename to litmus/PTX/Manual/Proxy-SingleThread-rf-surW-surF-genR.litmus index 26078d9589..ef015f9658 100644 --- a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surF-genR.litmus +++ b/litmus/PTX/Manual/Proxy-SingleThread-rf-surW-surF-genR.litmus @@ -1,5 +1,6 @@ PTX Proxy-SingleThread-rf-surW-surF-genR "The rf over different proxies with corresponding proxy fence, the result will be guaranteed" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/CoWR.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Red-minus-location_.litmus b/litmus/PTX/Manual/Red-minus-location_.litmus similarity index 100% rename from litmus/PTX/Nvidia/Red-minus-location_.litmus rename to litmus/PTX/Manual/Red-minus-location_.litmus diff --git a/litmus/PTX/Nvidia/Red-plus-location_.litmus b/litmus/PTX/Manual/Red-plus-location_.litmus similarity index 100% rename from litmus/PTX/Nvidia/Red-plus-location_.litmus rename to litmus/PTX/Manual/Red-plus-location_.litmus diff --git a/litmus/PTX/Nvidia/SB+acq_rel-cta.litmus b/litmus/PTX/Manual/SB+acq_rel-cta.litmus similarity index 100% rename from litmus/PTX/Nvidia/SB+acq_rel-cta.litmus rename to litmus/PTX/Manual/SB+acq_rel-cta.litmus diff --git a/litmus/PTX/Nvidia/SB+bar-const-diff.litmus b/litmus/PTX/Manual/SB+bar-const-diff.litmus similarity index 100% rename from litmus/PTX/Nvidia/SB+bar-const-diff.litmus rename to litmus/PTX/Manual/SB+bar-const-diff.litmus diff --git a/litmus/PTX/Nvidia/SB+bar-const-equal.litmus b/litmus/PTX/Manual/SB+bar-const-equal.litmus similarity index 100% rename from litmus/PTX/Nvidia/SB+bar-const-equal.litmus rename to litmus/PTX/Manual/SB+bar-const-equal.litmus diff --git a/litmus/PTX/Nvidia/SB+bar-diff-cta.litmus b/litmus/PTX/Manual/SB+bar-diff-cta.litmus similarity index 100% rename from litmus/PTX/Nvidia/SB+bar-diff-cta.litmus rename to litmus/PTX/Manual/SB+bar-diff-cta.litmus diff --git a/litmus/PTX/Nvidia/SB+bar-dyn-reg-const.litmus b/litmus/PTX/Manual/SB+bar-dyn-reg-const.litmus similarity index 100% rename from litmus/PTX/Nvidia/SB+bar-dyn-reg-const.litmus rename to litmus/PTX/Manual/SB+bar-dyn-reg-const.litmus diff --git a/litmus/PTX/Nvidia/SB+bar-reg-const-diff.litmus b/litmus/PTX/Manual/SB+bar-reg-const-diff.litmus similarity index 100% rename from litmus/PTX/Nvidia/SB+bar-reg-const-diff.litmus rename to litmus/PTX/Manual/SB+bar-reg-const-diff.litmus diff --git a/litmus/PTX/Nvidia/SB+bar-reg-const-equal.litmus b/litmus/PTX/Manual/SB+bar-reg-const-equal.litmus similarity index 100% rename from litmus/PTX/Nvidia/SB+bar-reg-const-equal.litmus rename to litmus/PTX/Manual/SB+bar-reg-const-equal.litmus diff --git a/litmus/PTX/Nvidia/SB+bar-reg-diff.litmus b/litmus/PTX/Manual/SB+bar-reg-diff.litmus similarity index 100% rename from litmus/PTX/Nvidia/SB+bar-reg-diff.litmus rename to litmus/PTX/Manual/SB+bar-reg-diff.litmus diff --git a/litmus/PTX/Nvidia/SB+bar-reg-equal.litmus b/litmus/PTX/Manual/SB+bar-reg-equal.litmus similarity index 100% rename from litmus/PTX/Nvidia/SB+bar-reg-equal.litmus rename to litmus/PTX/Manual/SB+bar-reg-equal.litmus diff --git a/litmus/PTX/Nvidia/SB+bar-sta-reg-const.litmus b/litmus/PTX/Manual/SB+bar-sta-reg-const.litmus similarity index 100% rename from litmus/PTX/Nvidia/SB+bar-sta-reg-const.litmus rename to litmus/PTX/Manual/SB+bar-sta-reg-const.litmus diff --git a/litmus/PTX/Nvidia/SB+sc-cta-outScope.litmus b/litmus/PTX/Manual/SB+sc-cta-outScope.litmus similarity index 100% rename from litmus/PTX/Nvidia/SB+sc-cta-outScope.litmus rename to litmus/PTX/Manual/SB+sc-cta-outScope.litmus diff --git a/litmus/PTX/Nvidia/SB+sc-cta.litmus b/litmus/PTX/Manual/SB+sc-cta.litmus similarity index 100% rename from litmus/PTX/Nvidia/SB+sc-cta.litmus rename to litmus/PTX/Manual/SB+sc-cta.litmus diff --git a/litmus/PTX/Nvidia/SB+sc-gpu-multiFence-TotalOrder.litmus b/litmus/PTX/Manual/SB+sc-gpu-multiFence-TotalOrder.litmus similarity index 100% rename from litmus/PTX/Nvidia/SB+sc-gpu-multiFence-TotalOrder.litmus rename to litmus/PTX/Manual/SB+sc-gpu-multiFence-TotalOrder.litmus diff --git a/litmus/PTX/Nvidia/SB+sc-gpu-multiFence.litmus b/litmus/PTX/Manual/SB+sc-gpu-multiFence.litmus similarity index 100% rename from litmus/PTX/Nvidia/SB+sc-gpu-multiFence.litmus rename to litmus/PTX/Manual/SB+sc-gpu-multiFence.litmus diff --git a/litmus/PTX/Nvidia/SB+sc-gpu.litmus b/litmus/PTX/Manual/SB+sc-gpu.litmus similarity index 100% rename from litmus/PTX/Nvidia/SB+sc-gpu.litmus rename to litmus/PTX/Manual/SB+sc-gpu.litmus diff --git a/litmus/PTX/Nvidia/SB+sc-sys.litmus b/litmus/PTX/Manual/SB+sc-sys.litmus similarity index 100% rename from litmus/PTX/Nvidia/SB+sc-sys.litmus rename to litmus/PTX/Manual/SB+sc-sys.litmus diff --git a/litmus/PTX/Nvidia/SB-weak.litmus b/litmus/PTX/Manual/SB-weak.litmus similarity index 100% rename from litmus/PTX/Nvidia/SB-weak.litmus rename to litmus/PTX/Manual/SB-weak.litmus diff --git a/litmus/PTX/Manual/SL-cas+plus.litmus b/litmus/PTX/Manual/SL-cas-plus.litmus similarity index 100% rename from litmus/PTX/Manual/SL-cas+plus.litmus rename to litmus/PTX/Manual/SL-cas-plus.litmus diff --git a/litmus/PTX/Nvidia/Atom-SB-ld.litmus b/litmus/PTX/Nvidia/Atom-SB-ld.litmus index 8c9ea41464..593143c4d2 100644 --- a/litmus/PTX/Nvidia/Atom-SB-ld.litmus +++ b/litmus/PTX/Nvidia/Atom-SB-ld.litmus @@ -1,5 +1,6 @@ PTX Atom-SB-ld "RMW store buffering load by non-RMW" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/SB_rmw_2.test" { P0:r1=0; P0:r2=0; diff --git a/litmus/PTX/Nvidia/Atom-SB.litmus b/litmus/PTX/Nvidia/Atom-SB.litmus index 8b6d97de04..ed89d45364 100644 --- a/litmus/PTX/Nvidia/Atom-SB.litmus +++ b/litmus/PTX/Nvidia/Atom-SB.litmus @@ -1,5 +1,6 @@ PTX Atom-SB "RMW store buffering" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/SB_rmw.test" { P0:r0=0; P1:r1=0; diff --git a/litmus/PTX/Nvidia/Co-Total-3-threads-scope-diff.litmus b/litmus/PTX/Nvidia/Co-Total-3-threads-scope-diff.litmus index bfdd8d80ef..4a4032a520 100644 --- a/litmus/PTX/Nvidia/Co-Total-3-threads-scope-diff.litmus +++ b/litmus/PTX/Nvidia/Co-Total-3-threads-scope-diff.litmus @@ -1,5 +1,6 @@ PTX Co-Total-3-threads-scope-diff "Release consistency of three locations" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/ISA2.test" { x = 0; flag1 = 0; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder.litmus index 6be45aa628..2be177b3d7 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder "MP is guaranteed because the aliasFence and proxyFence are in the correct order" "The surface fence synchronize c to x, then the alias-fence synchronize x to y, so y is guaranteed to rf c (when the acquire-release pattern sync)" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder1.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder1.litmus index 33b4cc6fc2..76e2d34563 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder1.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder1.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder1 "MP is guaranteed because the aliasFence and proxyFence are in the correct order" "The surface fence synchronize c to x, then the alias-fence synchronize x to y, then texture fence synchronize y to t, so t is guaranteed to rf c (when the acquire-release pattern sync)" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder2.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder2.litmus index 9625e1952e..00b8004c15 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder2.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder2.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder2 "MP is guaranteed because the aliasFence and proxyFence are in the correct order" "The surface fence synchronize c to x, then the alias-fence synchronize x to y, then texture fence synchronize y to t, so t is guaranteed to rf c (when the acquire-release pattern sync)" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder3.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder3.litmus index e5e523ed73..c80ded9158 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder3.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder3.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder3 "MP is guaranteed because the aliasFence and proxyFence are in the correct order" "The alias fence synchronize x to y, then the surface-fence synchronize y to s, so s is guaranteed to rf x (when the acquire-release pattern sync)" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctThread.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctThread.litmus index 8029a00ba6..905eca6ea8 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctThread.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctThread.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctThread "MP is guaranteed because the aliasFence and proxyFence are in the correct thread" "The surface fence synchronize c to x, then the alias-fence synchronize x to y, so y is guaranteed to rf c (when the acquire-release pattern sync)" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctThread1.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctThread1.litmus index 95815235b0..451052eccc 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctThread1.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctThread1.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctThread1 "MP is guaranteed because the aliasFence and proxyFence are in the correct thread" "The alias fence synchronize x to y, then the surface-fence synchronize y to s, so s is guaranteed to rf x (when the acquire-release pattern sync)" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder.litmus index 700321da61..eaa604c7b6 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder "MP is not guaranteed because the aliasFence and proxyFence are not in the correct order" "The surface cache is synchronized to generic memory after the alias-fence, so the y will not guaranteed to get the write from c (when the acquire-release pattern sync)" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder1.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder1.litmus index 95f2374bb9..86ea854468 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder1.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder1.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder1 "MP is not guaranteed because the aliasFence and proxyFence are in the wrong order" "The surface fence synchronize c to x after the alias-fence, so the y will not rf from c, hence t cannot guaranteed to rf from c (when the acquire-release pattern sync)" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder2.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder2.litmus index 37bc56a6ed..82928e607d 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder2.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder2.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder2 "MP is not guaranteed because the aliasFence and proxyFence are not in the correct order" "The surface cache is synchronized to generic memory, then texture cache is synchronize to generic memory before the alias fence, so the y will not guaranteed to get the write from x (when the acquire-release pattern sync)" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder3.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder3.litmus index ceb4fbfbe4..2a1cde9c92 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder3.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder3.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-wrongOrder3 "MP is not guaranteed because the aliasFence and proxyFence are not in the correct order" "The surface cache is synchronized to generic memory, then alias fence synchronize x to y, so the s cannot guaranteed to rf x (when the acquire-release pattern sync)" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-noFence.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-noFence.litmus index bd001f26df..a09d924835 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-noFence.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-noFence.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+diffProxy-noFence "MP is not guaranteed because alias + different-proxy locations is not guaranteed to synchronized by default" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-noFence1.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-noFence1.litmus index ecbc89698b..d6dc224600 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-noFence1.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-noFence1.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+diffProxy-noFence1 "MP is not guaranteed because alias + different-proxy locations is not guaranteed to synchronized by default" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence.litmus index 084d7a8258..3d109c1ede 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+diffProxy-proxyFence "MP is not guaranteed because x and y are not synchronized, so the surface fence could only synchronize between x and c, y and s" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence1.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence1.litmus index 9282de7046..d9c372d300 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence1.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence1.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+diffProxy-proxyFence1 "MP is not guaranteed because x and y are not synchronized, so the surface fence could only synchronize between x and c, y and s" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence10.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence10.litmus index b3c15ad628..de9a60fd33 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence10.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence10.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+diffProxy-proxyFence10 "MP is not guaranteed because x and y are not synchronized, so the surface-fence could only synchronize between x and c, y and s" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence11.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence11.litmus index d615f1e745..380ed991fb 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence11.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence11.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+diffProxy-proxyFence11 "MP is not guaranteed because x and y are not synchronized, so the texture-fence could only synchronize between y and t" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence12.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence12.litmus index 8642e46067..e85e91bf4c 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence12.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence12.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+diffProxy-proxyFence12 "MP is not guaranteed because x and y are not synchronized, so the texture-fence + surface-fence could only synchronize between x and c, y and s and t" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence13.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence13.litmus index 1af0e513c2..09f880f5c6 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence13.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence13.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+diffProxy-proxyFence13 "MP is not guaranteed because x and y are not synchronized, so the texture-fence + surface-fence could only synchronize between x and c, y and s and t" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence2.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence2.litmus index e0f107e433..ad1fa82eda 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence2.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence2.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+diffProxy-proxyFence2 "MP is not guaranteed because x and y are not synchronized, so the surface fence could only synchronize between x and c, y and s" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence3.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence3.litmus index 69fc0e3bc9..bd6a489359 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence3.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence3.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+diffProxy-proxyFence3 "MP is not guaranteed because x and y are not synchronized, so the surface fence could only synchronize between x and c, y and s" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence4.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence4.litmus index 0fa8468e0b..72443422b7 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence4.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence4.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+diffProxy-proxyFence4 "MP is not guaranteed because x and y are not synchronized, so the texture-fence + surface-fence could only synchronize between x and c, y and t and s" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence5.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence5.litmus index 9a59ed6da0..d003ee69f8 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence5.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence5.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+diffProxy-proxyFence5 "MP is not guaranteed because x and y are not synchronized, so the texture-fence + surface-fence could only synchronize between x and c, y and s and t" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence6.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence6.litmus index b59e7b845c..59fd41ff6a 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence6.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence6.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+diffProxy-proxyFence6 "MP is not guaranteed because x and y are not synchronized, so the texture-fence + surface-fence could only synchronize between x and c, y and s and t" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence7.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence7.litmus index b21d9e8856..fb6363bc5c 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence7.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence7.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+diffProxy-proxyFence7 "MP is not guaranteed because x and y are not synchronized, so the texture-fence + surface-fence could only synchronize between x and c, y and s and t" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence8.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence8.litmus index 6b37969c53..1e09ac7fed 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence8.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence8.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+diffProxy-proxyFence8 "MP is not guaranteed because x and y are not synchronized, so the surface-fence could only synchronize between x and c, y and s" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence9.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence9.litmus index 460e8448e2..df61d94ede 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence9.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-proxyFence9.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+diffProxy-proxyFence9 "MP is not guaranteed because x and y are not synchronized, so the surface-fence could only synchronize between x and c, y and s" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-aliasFence.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-aliasFence.litmus index 98c36bdf7c..7e61bc46c6 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-aliasFence.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-aliasFence.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-Alias+sameProxy-aliasFence "MP is guaranteed because there is a aliasFence along the causality path from x to y " "Alias fence could be in either thread" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-aliasFence1.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-aliasFence1.litmus index 05b6632e88..86cd659602 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-aliasFence1.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-aliasFence1.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-Alias+sameProxy-aliasFence1 "MP is guaranteed because there is a aliasFence along the causality path from x to y" "Alias fence could be in either thread" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-noFence.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-noFence.litmus index b275985e2a..d25cf22ec9 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-noFence.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-noFence.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+sameProxy-noFence "MP is not guaranteed because alias locations is not guaranteed to synchronized by default" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-noFence1.litmus b/litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-noFence1.litmus index 38eafffba9..9fb5d1fe4b 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-noFence1.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-noFence1.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-Alias+sameProxy-noFence1 "MP is not guaranteed although they are with the same proxy because x and y are not synchrnoized" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" { x = 0; y @ generic aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym1.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym1.litmus new file mode 100644 index 0000000000..db2dd3593e --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym1.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym1 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + st.weak x, 2 |ld.acquire.cta r0, flag ; + | ; + st.release.cta flag, 1 |ld.weak r1, y ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym10.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym10.litmus new file mode 100644 index 0000000000..2be79f1a32 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym10.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym10 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.surface | ; + fence.proxy.texture | ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym11.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym11.litmus new file mode 100644 index 0000000000..b6f40d27ba --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym11.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym11 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.texture |fence.proxy.surface ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym12.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym12.litmus new file mode 100644 index 0000000000..a7b82cd4b5 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym12.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym12 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.surface |fence.proxy.texture ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym13.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym13.litmus new file mode 100644 index 0000000000..745dbb03d1 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym13.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym13 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + st.weak x, 2 |ld.acquire.cta r0, flag ; + |fence.proxy.surface ; + st.release.cta flag, 1 |suld.weak r1, s2 ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym14.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym14.litmus new file mode 100644 index 0000000000..24bdb7b1ad --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym14.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym14 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + |fence.proxy.surface ; + st.release.cta flag, 1 |ld.weak r1, y ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym15.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym15.litmus new file mode 100644 index 0000000000..157d2d77a8 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym15.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym15 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + |fence.proxy.surface ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym16.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym16.litmus new file mode 100644 index 0000000000..83c80d547e --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym16.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym16 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + |fence.proxy.texture ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym17.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym17.litmus new file mode 100644 index 0000000000..75790ed773 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym17.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym17 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + |fence.proxy.texture ; + |fence.proxy.surface ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym18.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym18.litmus new file mode 100644 index 0000000000..9dc0997e3b --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym18.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym18 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + |fence.proxy.surface ; + |fence.proxy.texture ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym19.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym19.litmus new file mode 100644 index 0000000000..23f7046c23 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym19.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym19 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + st.weak x, 2 |ld.acquire.cta r0, flag ; + fence.proxy.alias | ; + st.release.cta flag, 1 |ld.weak r1, y ; +~exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym2.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym2.litmus new file mode 100644 index 0000000000..e5c796d221 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym2.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym2 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + st.weak x, 2 |ld.acquire.cta r0, flag ; + | ; + st.release.cta flag, 1 |suld.weak r1, s2 ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym20.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym20.litmus new file mode 100644 index 0000000000..eb0504800b --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym20.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym20 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + st.weak x, 2 |ld.acquire.cta r0, flag ; + |fence.proxy.alias ; + st.release.cta flag, 1 |ld.weak r1, y ; +~exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym21.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym21.litmus new file mode 100644 index 0000000000..21eeed1792 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym21.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym21 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.alias | ; + st.release.cta flag, 1 |suld.weak r1, s2 ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym22.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym22.litmus new file mode 100644 index 0000000000..725363dd2f --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym22.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym22 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + |fence.proxy.alias ; + st.release.cta flag, 1 |suld.weak r1, s2 ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym23.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym23.litmus new file mode 100644 index 0000000000..5ed3b753cc --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym23.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym23 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + st.weak x, 2 |ld.acquire.cta r0, flag ; + fence.proxy.alias | ; + fence.proxy.surface | ; + st.release.cta flag, 1 |suld.weak r1, s2 ; +~exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym24.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym24.litmus new file mode 100644 index 0000000000..a0e99c8e6f --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym24.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym24 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + st.weak x, 2 |ld.acquire.cta r0, flag ; + fence.proxy.surface | ; + fence.proxy.alias | ; + st.release.cta flag, 1 |suld.weak r1, s2 ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym25.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym25.litmus new file mode 100644 index 0000000000..e98a5eb206 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym25.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym25 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + st.weak x, 2 |ld.acquire.cta r0, flag ; + fence.proxy.surface |fence.proxy.alias ; + st.release.cta flag, 1 |suld.weak r1, s2 ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym26.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym26.litmus new file mode 100644 index 0000000000..6cc7c6becb --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym26.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym26 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.alias | ; + fence.proxy.surface | ; + st.release.cta flag, 1 |ld.weak r1, y ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym27.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym27.litmus new file mode 100644 index 0000000000..cbdcf2224c --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym27.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym27 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.surface | ; + fence.proxy.alias | ; + st.release.cta flag, 1 |ld.weak r1, y ; +~exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym28.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym28.litmus new file mode 100644 index 0000000000..46b295307b --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym28.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym28 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.surface |fence.proxy.alias ; + st.release.cta flag, 1 |ld.weak r1, y ; +~exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym29.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym29.litmus new file mode 100644 index 0000000000..560d8af499 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym29.litmus @@ -0,0 +1,20 @@ +PTX Proxy-MP-cta-synonym29 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.alias | ; + fence.proxy.surface | ; + fence.proxy.texture | ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym3.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym3.litmus new file mode 100644 index 0000000000..dc537a64c6 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym3.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym3 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + | ; + st.release.cta flag, 1 |ld.weak r1, y ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym30.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym30.litmus new file mode 100644 index 0000000000..0c05d51c95 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym30.litmus @@ -0,0 +1,20 @@ +PTX Proxy-MP-cta-synonym30 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.surface | ; + fence.proxy.alias | ; + fence.proxy.texture | ; + st.release.cta flag, 1 |tld.weak r1, t ; +~exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym31.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym31.litmus new file mode 100644 index 0000000000..b8f6b0b4ca --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym31.litmus @@ -0,0 +1,20 @@ +PTX Proxy-MP-cta-synonym31 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.surface | ; + fence.proxy.texture | ; + fence.proxy.alias | ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym32.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym32.litmus new file mode 100644 index 0000000000..5e4d385197 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym32.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym32 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.surface |fence.proxy.alias ; + fence.proxy.texture | ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym33.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym33.litmus new file mode 100644 index 0000000000..f98f6d556f --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym33.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym33 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.alias |fence.proxy.texture ; + fence.proxy.surface | ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym34.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym34.litmus new file mode 100644 index 0000000000..a3f8a78c03 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym34.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym34 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.surface |fence.proxy.texture ; + fence.proxy.alias | ; + st.release.cta flag, 1 |tld.weak r1, t ; +~exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym35.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym35.litmus new file mode 100644 index 0000000000..abc231c1b7 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym35.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym35 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.surface |fence.proxy.alias ; + |fence.proxy.texture ; + st.release.cta flag, 1 |tld.weak r1, t ; +~exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym36.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym36.litmus new file mode 100644 index 0000000000..e8d4c8c41f --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym36.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym36 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.surface |fence.proxy.texture ; + |fence.proxy.alias ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym37.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym37.litmus new file mode 100644 index 0000000000..c756a36920 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym37.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym37 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + st.weak x, 2 |ld.acquire.cta r0, flag ; + fence.proxy.alias |fence.proxy.surface ; + st.release.cta flag, 1 |suld.weak r1, s2 ; +~exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym38.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym38.litmus new file mode 100644 index 0000000000..1836af5ce9 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym38.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym38 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + st.weak x, 2 |ld.acquire.cta r0, flag ; + |fence.proxy.alias ; + |fence.proxy.surface ; + st.release.cta flag, 1 |suld.weak r1, s2 ; +~exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym39.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym39.litmus new file mode 100644 index 0000000000..f158051721 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym39.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym39 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + st.weak x, 2 |ld.acquire.cta r0, flag ; + |fence.proxy.surface ; + |fence.proxy.alias ; + st.release.cta flag, 1 |suld.weak r1, s2 ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym4.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym4.litmus new file mode 100644 index 0000000000..f738da4d65 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym4.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym4 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + | ; + st.release.cta flag, 1 |suld.weak r1, s2 ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym40.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym40.litmus new file mode 100644 index 0000000000..d5fefa4255 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym40.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym40 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.alias |fence.proxy.surface ; + st.release.cta flag, 1 |ld.weak r1, y ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym41.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym41.litmus new file mode 100644 index 0000000000..58b95b4ca2 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym41.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym41 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + |fence.proxy.alias ; + |fence.proxy.surface ; + st.release.cta flag, 1 |ld.weak r1, y ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym42.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym42.litmus new file mode 100644 index 0000000000..1bcb69aa23 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym42.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym42 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + |fence.proxy.surface ; + |fence.proxy.alias ; + st.release.cta flag, 1 |ld.weak r1, y ; +~exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym43.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym43.litmus new file mode 100644 index 0000000000..3b98711705 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym43.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym43 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.alias |fence.proxy.surface ; + |fence.proxy.texture ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym44.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym44.litmus new file mode 100644 index 0000000000..72ce01b48f --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym44.litmus @@ -0,0 +1,20 @@ +PTX Proxy-MP-cta-synonym44 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + |fence.proxy.alias ; + |fence.proxy.surface ; + |fence.proxy.texture ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym45.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym45.litmus new file mode 100644 index 0000000000..39afbc1167 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym45.litmus @@ -0,0 +1,20 @@ +PTX Proxy-MP-cta-synonym45 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + |fence.proxy.surface ; + |fence.proxy.alias ; + |fence.proxy.texture ; + st.release.cta flag, 1 |tld.weak r1, t ; +~exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym46.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym46.litmus new file mode 100644 index 0000000000..17ca05d7f6 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym46.litmus @@ -0,0 +1,20 @@ +PTX Proxy-MP-cta-synonym46 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + |fence.proxy.surface ; + |fence.proxy.texture ; + |fence.proxy.alias ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym5.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym5.litmus new file mode 100644 index 0000000000..3a78c29196 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym5.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym5 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + st.weak x, 2 |ld.acquire.cta r0, flag ; + fence.proxy.surface | ; + st.release.cta flag, 1 |suld.weak r1, s2 ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym6.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym6.litmus new file mode 100644 index 0000000000..57bf218c20 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym6.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym6 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.surface | ; + st.release.cta flag, 1 |ld.weak r1, y ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym7.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym7.litmus new file mode 100644 index 0000000000..a249609b85 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym7.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym7 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.surface | ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym8.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym8.litmus new file mode 100644 index 0000000000..624bfcc790 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym8.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-cta-synonym7 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.texture | ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-cta-synonym9.litmus b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym9.litmus new file mode 100644 index 0000000000..c0b1299c65 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-cta-synonym9.litmus @@ -0,0 +1,19 @@ +PTX Proxy-MP-cta-synonym9 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu_synonym.test" +{ +x = 0; +y @ generic aliases x; +s1 @ surface aliases x; +s2 @ surface aliases y; +t @ texture aliases y; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s1, 2 |ld.acquire.cta r0, flag ; + fence.proxy.texture | ; + fence.proxy.surface | ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gen-sur-no-proxyFence.litmus b/litmus/PTX/Nvidia/Proxy-MP-gen-sur-no-proxyFence.litmus index 902c248d13..1fba2dbfa2 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-gen-sur-no-proxyFence.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-gen-sur-no-proxyFence.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-gen-sur-no-proxyFence "MP among generic and surface operations, MP is not guaranteed because no surface fence" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-gen-sur-surfaceFence.litmus b/litmus/PTX/Nvidia/Proxy-MP-gen-sur-surfaceFence.litmus index aa8654b2d9..4aa146f869 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-gen-sur-surfaceFence.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-gen-sur-surfaceFence.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-gen-sur-surfaceFence "MP among generic and surface operations, MP is guaranteed because surface fence is along the base causality path from weak st to suld." "Surface fence could be in either of the threads" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-gen-sur-surfaceFence1.litmus b/litmus/PTX/Nvidia/Proxy-MP-gen-sur-surfaceFence1.litmus index d6418610af..5d873f4155 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-gen-sur-surfaceFence1.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-gen-sur-surfaceFence1.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-gen-sur-surfaceFence1 "MP among generic and surface operations, MP is guaranteed because surface fence is along the base causality path from weak st to suld." "Surface fence could be in either of the threads" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-gen.litmus b/litmus/PTX/Nvidia/Proxy-MP-gen.litmus index 519d278796..cfc42d49ba 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-gen.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-gen.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-gen "MP with generic operations" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu1.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu1.litmus new file mode 100644 index 0000000000..6f8519f93f --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu1.litmus @@ -0,0 +1,16 @@ +PTX Proxy-MP-gpu1 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + st.weak x, 2 |ld.acquire.gpu r0, flag ; + | ; + st.release.gpu flag, 1 |ld.weak r1, x ; +~exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu10.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu10.litmus new file mode 100644 index 0000000000..17b167e23f --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu10.litmus @@ -0,0 +1,17 @@ +PTX Proxy-MP-gpu10 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + sust.weak s, 2 |ld.acquire.gpu r0, flag ; + fence.proxy.surface | ; + fence.proxy.texture | ; + st.release.gpu flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu11.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu11.litmus new file mode 100644 index 0000000000..85e6e8bcde --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu11.litmus @@ -0,0 +1,16 @@ +PTX Proxy-MP-gpu11 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + sust.weak s, 2 |ld.acquire.gpu r0, flag ; + fence.proxy.texture |fence.proxy.surface ; + st.release.gpu flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu12.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu12.litmus new file mode 100644 index 0000000000..e61153a2f0 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu12.litmus @@ -0,0 +1,16 @@ +PTX Proxy-MP-gpu12 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + sust.weak s, 2 |ld.acquire.gpu r0, flag ; + fence.proxy.surface |fence.proxy.texture ; + st.release.gpu flag, 1 |tld.weak r1, t ; +~exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu13.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu13.litmus new file mode 100644 index 0000000000..7c3f78b760 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu13.litmus @@ -0,0 +1,16 @@ +PTX Proxy-MP-gpu13 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + st.weak x, 2 |ld.acquire.gpu r0, flag ; + |fence.proxy.surface ; + st.release.gpu flag, 1 |suld.weak r1, s ; +~exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu14.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu14.litmus new file mode 100644 index 0000000000..5d238a6aee --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu14.litmus @@ -0,0 +1,16 @@ +PTX Proxy-MP-gpu14 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + sust.weak s, 2 |ld.acquire.gpu r0, flag ; + |fence.proxy.surface ; + st.release.gpu flag, 1 |ld.weak r1, x ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu15.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu15.litmus new file mode 100644 index 0000000000..0559999148 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu15.litmus @@ -0,0 +1,16 @@ +PTX Proxy-MP-gpu15 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + sust.weak s, 2 |ld.acquire.gpu r0, flag ; + |fence.proxy.surface ; + st.release.gpu flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu16.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu16.litmus new file mode 100644 index 0000000000..1112e0bcb5 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu16.litmus @@ -0,0 +1,16 @@ +PTX Proxy-MP-gpu16 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + sust.weak s, 2 |ld.acquire.gpu r0, flag ; + |fence.proxy.texture ; + st.release.gpu flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu17.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu17.litmus new file mode 100644 index 0000000000..d8fb3d2eda --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu17.litmus @@ -0,0 +1,17 @@ +PTX Proxy-MP-gpu17 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + sust.weak s, 2 |ld.acquire.gpu r0, flag ; + |fence.proxy.texture ; + |fence.proxy.surface ; + st.release.gpu flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu18.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu18.litmus new file mode 100644 index 0000000000..a380fabb5d --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu18.litmus @@ -0,0 +1,17 @@ +PTX Proxy-MP-gpu18 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + sust.weak s, 2 |ld.acquire.gpu r0, flag ; + |fence.proxy.surface ; + |fence.proxy.texture ; + st.release.gpu flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu2.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu2.litmus new file mode 100644 index 0000000000..d9b1b76bfc --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu2.litmus @@ -0,0 +1,16 @@ +PTX Proxy-MP-gpu2 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + st.weak x, 2 |ld.acquire.gpu r0, flag ; + | ; + st.release.gpu flag, 1 |suld.weak r1, s ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu3.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu3.litmus new file mode 100644 index 0000000000..d5f4ca592d --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu3.litmus @@ -0,0 +1,16 @@ +PTX Proxy-MP-gpu3 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + sust.weak s, 2 |ld.acquire.gpu r0, flag ; + | ; + st.release.gpu flag, 1 |ld.weak r1, x ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu4.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu4.litmus new file mode 100644 index 0000000000..924d0d6893 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu4.litmus @@ -0,0 +1,16 @@ +PTX Proxy-MP-gpu4 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + sust.weak s, 2 |ld.acquire.gpu r0, flag ; + | ; + st.release.gpu flag, 1 |suld.weak r1, s ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu5.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu5.litmus new file mode 100644 index 0000000000..2df968fe15 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu5.litmus @@ -0,0 +1,16 @@ +PTX Proxy-MP-gpu5 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + st.weak x, 2 |ld.acquire.gpu r0, flag ; + fence.proxy.surface | ; + st.release.gpu flag, 1 |suld.weak r1, s ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu6.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu6.litmus new file mode 100644 index 0000000000..a9f1ae8059 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu6.litmus @@ -0,0 +1,16 @@ +PTX Proxy-MP-gpu6 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + sust.weak s, 2 |ld.acquire.gpu r0, flag ; + fence.proxy.surface | ; + st.release.gpu flag, 1 |ld.weak r1, x ; +~exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu7.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu7.litmus new file mode 100644 index 0000000000..94ffad978a --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu7.litmus @@ -0,0 +1,16 @@ +PTX Proxy-MP-gpu7 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + sust.weak s, 2 |ld.acquire.gpu r0, flag ; + fence.proxy.surface | ; + st.release.gpu flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu8.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu8.litmus new file mode 100644 index 0000000000..2ade10d7e1 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu8.litmus @@ -0,0 +1,16 @@ +PTX Proxy-MP-gpu8 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + sust.weak s, 2 |ld.acquire.gpu r0, flag ; + fence.proxy.texture | ; + st.release.gpu flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-gpu9.litmus b/litmus/PTX/Nvidia/Proxy-MP-gpu9.litmus new file mode 100644 index 0000000000..b40a5e4eb5 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-gpu9.litmus @@ -0,0 +1,17 @@ +PTX Proxy-MP-gpu9 +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_gpu.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 1,gpu 0 ; + sust.weak s, 2 |ld.acquire.gpu r0, flag ; + fence.proxy.texture | ; + fence.proxy.surface | ; + st.release.gpu flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-MP-sur-gen-no-proxyFence.litmus b/litmus/PTX/Nvidia/Proxy-MP-sur-gen-no-proxyFence.litmus index 26dc697dfe..df8a3abee4 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-sur-gen-no-proxyFence.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-sur-gen-no-proxyFence.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-sur-gen-no-proxyFence "MP among generic and surface operations, MP is not guaranteed because no surface fence" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-sur-gen-surfaceFence.litmus b/litmus/PTX/Nvidia/Proxy-MP-sur-gen-surfaceFence.litmus index e54a55d043..86962944b7 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-sur-gen-surfaceFence.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-sur-gen-surfaceFence.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-sur-gen-surfaceFence "MP among generic and surface operations, MP is guaranteed because surface fence is along the base causality path from sust to weak ld." "Surface fence could be in either of the threads" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-sur-gen-surfaceFence1.litmus b/litmus/PTX/Nvidia/Proxy-MP-sur-gen-surfaceFence1.litmus index b20a6abd62..b6d1d38270 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-sur-gen-surfaceFence1.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-sur-gen-surfaceFence1.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-sur-gen-surfaceFence1 "MP among generic and surface operations, MP is guaranteed because surface fence is along the base causality path from sust to weak ld." "Surface fence could be in either of the threads" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-sur-sur-no-proxyFence.litmus b/litmus/PTX/Nvidia/Proxy-MP-sur-sur-no-proxyFence.litmus index 3176b52816..bc0e995f8e 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-sur-sur-no-proxyFence.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-sur-sur-no-proxyFence.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-sur-sur-no-proxyFence "MP is guaranteed because both rf are inside same proxy, so no surface fence needed" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceCorrectOrder.litmus b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceCorrectOrder.litmus index 41efbeab99..28ed1fd970 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceCorrectOrder.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceCorrectOrder.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-sur-tex-surF-texF-correctOrder "The generic memory is synchronize with surface cache by surface fence, then texture fence synchronize the data from generic memory to texture cache. Hence the tld is guaranteed to rf sust" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceCorrectThread.litmus b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceCorrectThread.litmus index e6e3390655..6e537f9b4e 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceCorrectThread.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceCorrectThread.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-sur-tex-fenceCorrectThread "MP is guaranteed because proxyFences are in correct Threads" "Because the proxyFences are in the same thread their same-proxy instructions, the proxyFences' order is guaranteed to be same as their same-proxy r/w, so the MP is guaranteed" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceWrongOrder.litmus b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceWrongOrder.litmus index b748746d2d..ae776c90bd 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceWrongOrder.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceWrongOrder.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-sur-tex-fenceWrongOrder "MP is not guaranteed because proxyFences are not in correct order" "The generic memory is synchronize with texture cache by texture fence at first, then surface fence synchronize the data from surface cache to generic memory. Hence the tld is not guaranteed to rf sust" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceWrongOrder1.litmus b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceWrongOrder1.litmus index fa1a09f570..3fb933737c 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceWrongOrder1.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceWrongOrder1.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-sur-tex-fenceWrongOrder1 "MP is not guaranteed because proxyFences are not in correct order" "The generic memory is synchronize with texture cache by texture fence at first, then surface fence synchronize the data from surface cache to generic memory. Hence the tld is not guaranteed to rf sust" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceWrongThread.litmus b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceWrongThread.litmus index a5c3f6dbb0..5e64e492dc 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceWrongThread.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-fenceWrongThread.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-sur-tex-fenceWrongThread "MP is not guaranteed because proxyFences are not in correct Threads" "Because the proxyFences are in different threads and not same with same-proxy instructions, the proxyFences' order is not guaranteed, so the MP is not guaranteed" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-surF-texF-correctOrder1.litmus b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-surF-texF-correctOrder1.litmus index 591709f4f6..85310a90c1 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-surF-texF-correctOrder1.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-surF-texF-correctOrder1.litmus @@ -1,5 +1,6 @@ PTX Proxy-MP-sur-tex-surF-texF-correctOrder1 "The generic memory is synchronize with surface cache by surface fence, then texture fence synchronize the data from generic memory to texture cache. Hence the tld is guaranteed to rf sust" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-surfaceFence.litmus b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-surfaceFence.litmus index 6959842a49..421243b8d0 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-surfaceFence.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-surfaceFence.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-sur-tex-surfaceFence "MP is not guaranteed because single surface fence is not enough synchronize surface and texture operation" "No matter surface fence is in either side" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-surfaceFence1.litmus b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-surfaceFence1.litmus index fa3f4fc65e..d35697543b 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-surfaceFence1.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-surfaceFence1.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-sur-tex-surfaceFence1 "MP is not guaranteed because single surface fence is not enough synchronize surface and texture operation" "No matter surface fence is in either side" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-textureFence.litmus b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-textureFence.litmus index a62b9559bc..6a1c06c7db 100644 --- a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-textureFence.litmus +++ b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-textureFence.litmus @@ -1,6 +1,7 @@ PTX Proxy-MP-sur-tex-textureFence "MP is not guaranteed because single surface fence is not enough synchronize surface and texture operation" "No matter texture fence is in either side" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-MP-sur-tex-textureFence1.litmus b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-textureFence1.litmus new file mode 100644 index 0000000000..64a57bc5c5 --- /dev/null +++ b/litmus/PTX/Nvidia/Proxy-MP-sur-tex-textureFence1.litmus @@ -0,0 +1,18 @@ +PTX Proxy-MP-sur-tex-textureFence1 +"MP is not guaranteed because single surface fence is not enough synchronize surface and texture operation" +"No matter texture fence is in either side" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/MP_cta.test" +{ +x = 0; +t @ texture aliases x; +s @ surface aliases x; +flag = 0; +P1:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 |P1@cta 0,gpu 0 ; + sust.weak s, 2 |ld.acquire.cta r0, flag ; + fence.proxy.texture | ; + st.release.cta flag, 1 |tld.weak r1, t ; +exists +(P1:r0 == 1 /\ P1:r1 != 2) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-genR.litmus b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-genR.litmus index 893d0b1aaa..81ee5ebdf2 100644 --- a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-genR.litmus +++ b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-genR.litmus @@ -1,5 +1,6 @@ PTX Proxy-SingleThread-rf-genW-genR "The rf from the same proxy should be guaranteed" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/CoWR.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-surF-surR.litmus b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-surF-surR.litmus index 62ebadb262..d3a9d772b6 100644 --- a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-surF-surR.litmus +++ b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-surF-surR.litmus @@ -1,5 +1,6 @@ PTX Proxy-SingleThread-rf-genW-surF-surR "The rf over different proxies with corresponding proxy fence, the result will be guaranteed" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/CoWR.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-surR.litmus b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-surR.litmus index 9b1e56e256..5c19b0e4dc 100644 --- a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-surR.litmus +++ b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-surR.litmus @@ -1,5 +1,6 @@ PTX Proxy-SingleThread-rf-genW-surR "The rf over different proxies without proxy fence, the result will not be guaranteed" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/CoWR.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-genR.litmus b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-genR.litmus index de5a7eaf02..15006cec7a 100644 --- a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-genR.litmus +++ b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-genR.litmus @@ -1,5 +1,6 @@ PTX Proxy-SingleThread-rf-surW-genR "The rf over different proxies without proxy fence, the result will not be guaranteed" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/CoWR.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surF-texR.litmus b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surF-texR.litmus index d3c4061b1a..fafd5a1b9d 100644 --- a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surF-texR.litmus +++ b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surF-texR.litmus @@ -1,5 +1,6 @@ PTX Proxy-SingleThread-rf-surW-surF-texR "The rf over different proxies with other proxy fence, the result will not be guaranteed" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/CoWR.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surR.litmus b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surR.litmus index 1e6d9de45e..0bde8ca783 100644 --- a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surR.litmus +++ b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surR.litmus @@ -1,5 +1,6 @@ PTX Proxy-SingleThread-rf-surW-surR "The rf from the same proxy should be guaranteed" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/CoWR.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surxF-texF-texR.litmus b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surxF-texF-texR.litmus index 9ba45d3a3c..67aa2a1e0b 100644 --- a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surxF-texF-texR.litmus +++ b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surxF-texF-texR.litmus @@ -1,6 +1,7 @@ PTX Proxy-SingleThread-rf-surW-surxF-texF-texR "The rf over different non-generic proxies with both proxy fences in correct order are enough, the result will be guaranteed" "The generic memory is synchronize with surface cache by surface fence, then texture fence synchronize the data from generic memory to texture cache. Hence the tld is guaranteed to rf sust" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/CoWR.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texF-surF-texR.litmus b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texF-surF-texR.litmus index bf9cf9969c..6c29d88996 100644 --- a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texF-surF-texR.litmus +++ b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texF-surF-texR.litmus @@ -1,6 +1,7 @@ PTX Proxy-SingleThread-rf-surW-texF-surF-texR "The rf over different non-generic proxies with both proxy fences but not in correct order are not enough, the result will not be guaranteed" "The generic memory is synchronize with texture cache by texture fence at first, then surface fence synchronize the data from surface cache to generic memory. Hence the tld is not guaranteed to rf sust" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/CoWR.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texF-texR.litmus b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texF-texR.litmus index f5c67ce1a2..4b0a7e536b 100644 --- a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texF-texR.litmus +++ b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texF-texR.litmus @@ -1,5 +1,6 @@ PTX Proxy-SingleThread-rf-surW-texF-texR "The rf over different non-generic proxies with single proxy fence is not enough, the result will not be guaranteed" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/CoWR.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texR-genR.litmus b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texR-genR.litmus index 826053338a..b2ea8c9f3c 100644 --- a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texR-genR.litmus +++ b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texR-genR.litmus @@ -1,5 +1,6 @@ PTX Proxy-SingleThread-rf-surW-texR-genR "The rf from surface cache to generic memory with irrelevant(texture) proxy fence, the result will not be guaranteed" +"https://github.com/NVlabs/mixedproxy/blob/main/tests/CoWR.test" { x = 0; t @ texture aliases x; diff --git a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texR.litmus b/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texR.litmus deleted file mode 100644 index 830d3d0de9..0000000000 --- a/litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texR.litmus +++ /dev/null @@ -1,14 +0,0 @@ -PTX Proxy-SingleThread-rf-surW-texR -"The rf over different proxies without proxy fence, the result will not be guaranteed" -{ -x = 0; -t @ texture aliases x; -s @ surface aliases x; -P0:r0=0; -} - P0@cta 0,gpu 0 ; - sust.weak s, 1 ; - fence.proxy.texture ; - tld.weak r0, t ; -exists -(P0:r0 != 1) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/README.md b/litmus/PTX/Nvidia/README.md new file mode 100644 index 0000000000..694eb92f79 --- /dev/null +++ b/litmus/PTX/Nvidia/README.md @@ -0,0 +1 @@ +The tests in this folder were manually written using the tests from the [mixedproxy](https://github.com/NVlabs/mixedproxy) repository as a guide. \ No newline at end of file diff --git a/litmus/PTX/Nvidia/Release-acquire-pattern.litmus b/litmus/PTX/Nvidia/Release-acquire-pattern.litmus new file mode 100644 index 0000000000..9999590dac --- /dev/null +++ b/litmus/PTX/Nvidia/Release-acquire-pattern.litmus @@ -0,0 +1,14 @@ +PTX Release-acquire-pattern +"https://github.com/NVlabs/mixedproxy/blob/main/tests/Release_acquire_pattern.test" +{ +x = 0; +y = 0; +P1:r1 = 0; +P1:r2 = 0; +} + P0@cta 0,gpu 0 | P1@cta 1,gpu 0 ; + st.weak y, 1 | ld.relaxed.sys r1, x ; + st.release.sys x, 1 | fence.acq_rel.sys ; + st.relaxed.sys x, 2 | ld.weak r2, y ; +exists +(P1:r1 == 2 /\ P1:r2 == 0) \ No newline at end of file diff --git a/litmus/PTX/Nvidia/SB-cta.litmus b/litmus/PTX/Nvidia/SB-cta.litmus new file mode 100644 index 0000000000..4d7fee550b --- /dev/null +++ b/litmus/PTX/Nvidia/SB-cta.litmus @@ -0,0 +1,14 @@ +PTX SB-cta +"https://github.com/NVlabs/mixedproxy/blob/main/tests/SB_cta.test" +{ +x=0; +y=0; +P0:r0=0; +P1:r1=0; +} + P0@cta 0,gpu 0 | P1@cta 0,gpu 0 ; + st.weak x, 1 | st.weak y, 2 ; + fence.sc.cta | fence.sc.cta ; + ld.weak r0, y | ld.weak r1, x ; +forall +(P0:r0 == 2 \/ P1:r1 == 1) \ No newline at end of file diff --git a/litmus/VULKAN/Data-Race/atomicsc-filter.litmus b/litmus/VULKAN/Data-Race/atomicsc-filter.litmus index 42cb51c6ea..282aba73e2 100644 --- a/litmus/VULKAN/Data-Race/atomicsc-filter.litmus +++ b/litmus/VULKAN/Data-Race/atomicsc-filter.litmus @@ -1,4 +1,5 @@ Vulkan atomicsc +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/atomicsc.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/atomwrongsc-filter.litmus b/litmus/VULKAN/Data-Race/atomwrongsc-filter.litmus index a9d94a9749..eb19bab8b8 100644 --- a/litmus/VULKAN/Data-Race/atomwrongsc-filter.litmus +++ b/litmus/VULKAN/Data-Race/atomwrongsc-filter.litmus @@ -2,6 +2,7 @@ Vulkan atomwrongsc "There's a WaR hazard between an atomic load and a non-atomic store." "This test exercises that using only semsc0 is sufficient to synchronize" "them, because the atomic also has semsc0 in its semantics." +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/atomwrongsc.test" { P0:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/cbarinst-filter.litmus b/litmus/VULKAN/Data-Race/cbarinst-filter.litmus index ae7476b0bd..1e2e893108 100644 --- a/litmus/VULKAN/Data-Race/cbarinst-filter.litmus +++ b/litmus/VULKAN/Data-Race/cbarinst-filter.litmus @@ -1,4 +1,5 @@ Vulkan cbarinst +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/cbarinst.test" { x=0; } diff --git a/litmus/VULKAN/Data-Race/fencefence-filter.litmus b/litmus/VULKAN/Data-Race/fencefence-filter.litmus index a69c0fa4f7..d947f1606c 100644 --- a/litmus/VULKAN/Data-Race/fencefence-filter.litmus +++ b/litmus/VULKAN/Data-Race/fencefence-filter.litmus @@ -1,4 +1,5 @@ Vulkan fencefence +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/fencefence.test" { P1:r0=1; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/fencefence2-filter.litmus b/litmus/VULKAN/Data-Race/fencefence2-filter.litmus index fe5bfcde47..3cdcbf03b8 100644 --- a/litmus/VULKAN/Data-Race/fencefence2-filter.litmus +++ b/litmus/VULKAN/Data-Race/fencefence2-filter.litmus @@ -1,4 +1,5 @@ Vulkan fencefence2 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/fencefence2.test" { P1: r0 = 0; P0: r1 = 0; diff --git a/litmus/VULKAN/Data-Race/fencefence3-filter.litmus b/litmus/VULKAN/Data-Race/fencefence3-filter.litmus index 65bd28e0dc..5c58702e47 100644 --- a/litmus/VULKAN/Data-Race/fencefence3-filter.litmus +++ b/litmus/VULKAN/Data-Race/fencefence3-filter.litmus @@ -1,4 +1,5 @@ Vulkan fencefence3 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/fencefence3.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Data-Race/fencefencebroken-filter.litmus b/litmus/VULKAN/Data-Race/fencefencebroken-filter.litmus index 81c3f2efbb..c0fe3da004 100644 --- a/litmus/VULKAN/Data-Race/fencefencebroken-filter.litmus +++ b/litmus/VULKAN/Data-Race/fencefencebroken-filter.litmus @@ -1,4 +1,5 @@ Vulkan fencefencebroken +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/fencefencebroken.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/mp-filter.litmus b/litmus/VULKAN/Data-Race/mp-filter.litmus index 1f46d12fa0..319147094a 100644 --- a/litmus/VULKAN/Data-Race/mp-filter.litmus +++ b/litmus/VULKAN/Data-Race/mp-filter.litmus @@ -1,4 +1,5 @@ Vulkan mp +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/mp3-filter.litmus b/litmus/VULKAN/Data-Race/mp3-filter.litmus index 5b2d6b7306..0fb7a21a3c 100644 --- a/litmus/VULKAN/Data-Race/mp3-filter.litmus +++ b/litmus/VULKAN/Data-Race/mp3-filter.litmus @@ -1,4 +1,5 @@ Vulkan mp3 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp3.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Data-Race/mp3acqrel-filter.litmus b/litmus/VULKAN/Data-Race/mp3acqrel-filter.litmus index 2773dd20a4..ea469a5746 100644 --- a/litmus/VULKAN/Data-Race/mp3acqrel-filter.litmus +++ b/litmus/VULKAN/Data-Race/mp3acqrel-filter.litmus @@ -1,5 +1,6 @@ Vulkan mp3acqrel "Message passing between three threads where the second thread uses AcquireRelease" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp3acqrel.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Data-Race/mp3transitive-filter.litmus b/litmus/VULKAN/Data-Race/mp3transitive-filter.litmus index cf6a198886..16fc8b7183 100644 --- a/litmus/VULKAN/Data-Race/mp3transitive-filter.litmus +++ b/litmus/VULKAN/Data-Race/mp3transitive-filter.litmus @@ -2,6 +2,7 @@ Vulkan mptransitive3 "Invocation 0 makes the write x=1 available to invocation 1." "Invocation 1 then does a bulk av operation with device scope." "This is enough to make x=1 visible to invocation 2." +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp3transitive.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Data-Race/mp3transitive2-filter.litmus b/litmus/VULKAN/Data-Race/mp3transitive2-filter.litmus index 3ad31d0bf1..33ee2dea85 100644 --- a/litmus/VULKAN/Data-Race/mp3transitive2-filter.litmus +++ b/litmus/VULKAN/Data-Race/mp3transitive2-filter.litmus @@ -3,6 +3,7 @@ Vulkan mptransitive2 "Invocation 1 then does a bulk av operation with device scope." "Invocation 2 does a bulk vis op with device scope." "Invocation 3 does a bulk vis op with workgroup scope" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp3transitive2.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Data-Race/mp3transitive3-filter.litmus b/litmus/VULKAN/Data-Race/mp3transitive3-filter.litmus index 5429a462e4..f58eaacf22 100644 --- a/litmus/VULKAN/Data-Race/mp3transitive3-filter.litmus +++ b/litmus/VULKAN/Data-Race/mp3transitive3-filter.litmus @@ -2,6 +2,7 @@ Vulkan mptransitive3 "Invocation 0 makes the write x=1 available to invocation 1." "Invocation 1 then does a bulk av operation with device scope." "Invocation 2 does a bulk vis op with device scope." +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp3transitive3.test" { P2:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Data-Race/mp3transitive4-filter.litmus b/litmus/VULKAN/Data-Race/mp3transitive4-filter.litmus index a3e72e3ce1..3dd4f49f5d 100644 --- a/litmus/VULKAN/Data-Race/mp3transitive4-filter.litmus +++ b/litmus/VULKAN/Data-Race/mp3transitive4-filter.litmus @@ -6,6 +6,7 @@ Vulkan mptransitive4 "Invocation 4 does a bulk vis op with workgroup scope" "The happens-before is sufficient even though it uses different" "storage class semantics." +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp3transitive4.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Data-Race/mp3transitivefail-filter.litmus b/litmus/VULKAN/Data-Race/mp3transitivefail-filter.litmus index 03d956162b..3a8ca75605 100644 --- a/litmus/VULKAN/Data-Race/mp3transitivefail-filter.litmus +++ b/litmus/VULKAN/Data-Race/mp3transitivefail-filter.litmus @@ -1,5 +1,6 @@ Vulkan mptransitivefail "Missing AVWG in invocation 0, so AVDEV in invocation 1 isn't sufficient" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp3transitivefail.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Data-Race/mp3transitivefail2-filter.litmus b/litmus/VULKAN/Data-Race/mp3transitivefail2-filter.litmus index 14bf60bc13..05881ae3b3 100644 --- a/litmus/VULKAN/Data-Race/mp3transitivefail2-filter.litmus +++ b/litmus/VULKAN/Data-Race/mp3transitivefail2-filter.litmus @@ -1,5 +1,6 @@ Vulkan mptransitivefail2 "Missing VISWG in invocation 3, so VISDEV in invocation 2 isn't sufficient" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp3transitivefail2.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Data-Race/mpsc1-filter.litmus b/litmus/VULKAN/Data-Race/mpsc1-filter.litmus index b88acda13b..488e438917 100644 --- a/litmus/VULKAN/Data-Race/mpsc1-filter.litmus +++ b/litmus/VULKAN/Data-Race/mpsc1-filter.litmus @@ -1,4 +1,5 @@ Vulkan mpsc1 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mpsc1.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/noncohandatom-filter.litmus b/litmus/VULKAN/Data-Race/noncohandatom-filter.litmus index c2813b8d20..0895e45168 100644 --- a/litmus/VULKAN/Data-Race/noncohandatom-filter.litmus +++ b/litmus/VULKAN/Data-Race/noncohandatom-filter.litmus @@ -1,5 +1,6 @@ Vulkan noncohandatom "Mixing atomics and noncoherent/private load/store in the same thread" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohandatom.test" { P0:r0=0; P0:r1=0; diff --git a/litmus/VULKAN/Data-Race/noncohmp-filter.litmus b/litmus/VULKAN/Data-Race/noncohmp-filter.litmus index 2fece1e745..2d3da7e591 100644 --- a/litmus/VULKAN/Data-Race/noncohmp-filter.litmus +++ b/litmus/VULKAN/Data-Race/noncohmp-filter.litmus @@ -1,4 +1,5 @@ Vulkan noncohmp +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohmp.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/noncohmp2-filter.litmus b/litmus/VULKAN/Data-Race/noncohmp2-filter.litmus index 021ead3cb7..ea86aed010 100644 --- a/litmus/VULKAN/Data-Race/noncohmp2-filter.litmus +++ b/litmus/VULKAN/Data-Race/noncohmp2-filter.litmus @@ -1,4 +1,5 @@ Vulkan noncohmp2 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohmp2.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/noncohmp3-filter.litmus b/litmus/VULKAN/Data-Race/noncohmp3-filter.litmus index da77cc0ae9..e2fa288ef1 100644 --- a/litmus/VULKAN/Data-Race/noncohmp3-filter.litmus +++ b/litmus/VULKAN/Data-Race/noncohmp3-filter.litmus @@ -1,4 +1,5 @@ Vulkan noncohmp +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohmp3.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/noncohmpbar-filter.litmus b/litmus/VULKAN/Data-Race/noncohmpbar-filter.litmus index b04e370e27..83e90a60e1 100644 --- a/litmus/VULKAN/Data-Race/noncohmpbar-filter.litmus +++ b/litmus/VULKAN/Data-Race/noncohmpbar-filter.litmus @@ -1,4 +1,5 @@ Vulkan noncohmpbar +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohmpbar.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/noncohmpbarsg-filter.litmus b/litmus/VULKAN/Data-Race/noncohmpbarsg-filter.litmus index f0acb5920a..37a5b82f55 100644 --- a/litmus/VULKAN/Data-Race/noncohmpbarsg-filter.litmus +++ b/litmus/VULKAN/Data-Race/noncohmpbarsg-filter.litmus @@ -1,5 +1,6 @@ Vulkan noncohmpbarsg "Tests subgroup-scope control barrier" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohmpbarsg.test" { P1:r0=0; x=0; diff --git a/litmus/VULKAN/Data-Race/noncohmpfail-filter.litmus b/litmus/VULKAN/Data-Race/noncohmpfail-filter.litmus index 66d5d7b4cc..886af3578d 100644 --- a/litmus/VULKAN/Data-Race/noncohmpfail-filter.litmus +++ b/litmus/VULKAN/Data-Race/noncohmpfail-filter.litmus @@ -1,5 +1,6 @@ Vulkan noncohmpbar "coh on y does not make x available" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohmpfail.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/noncohmpfail2-filter.litmus b/litmus/VULKAN/Data-Race/noncohmpfail2-filter.litmus index fc148c8555..2447434732 100644 --- a/litmus/VULKAN/Data-Race/noncohmpfail2-filter.litmus +++ b/litmus/VULKAN/Data-Race/noncohmpfail2-filter.litmus @@ -1,5 +1,6 @@ Vulkan noncohmpbar2 "fails due to wrong semsc on the release" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohmpfail2.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/noncohwar-filter.litmus b/litmus/VULKAN/Data-Race/noncohwar-filter.litmus index e5bd4fc127..890e35b640 100644 --- a/litmus/VULKAN/Data-Race/noncohwar-filter.litmus +++ b/litmus/VULKAN/Data-Race/noncohwar-filter.litmus @@ -1,5 +1,6 @@ Vulkan noncohwar "Pass: write-after-read hazard for noncoherent nonprivate" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohwar.test" { P0:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/privmp-filter.litmus b/litmus/VULKAN/Data-Race/privmp-filter.litmus index 0844a1946a..cc781c3957 100644 --- a/litmus/VULKAN/Data-Race/privmp-filter.litmus +++ b/litmus/VULKAN/Data-Race/privmp-filter.litmus @@ -1,5 +1,6 @@ Vulkan privmp "Fail: private variables can't be used for message passing" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/privmp.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/privpo-filter.litmus b/litmus/VULKAN/Data-Race/privpo-filter.litmus index 6f70a67c40..476f981112 100644 --- a/litmus/VULKAN/Data-Race/privpo-filter.litmus +++ b/litmus/VULKAN/Data-Race/privpo-filter.litmus @@ -1,5 +1,6 @@ Vulkan privpo "Pass: private memory accesses still obey program-order" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/privpo.test" { P0:r0=0; P0:r1=0; diff --git a/litmus/VULKAN/Data-Race/privwar-filter.litmus b/litmus/VULKAN/Data-Race/privwar-filter.litmus index 9055927480..927569d5eb 100644 --- a/litmus/VULKAN/Data-Race/privwar-filter.litmus +++ b/litmus/VULKAN/Data-Race/privwar-filter.litmus @@ -1,5 +1,6 @@ Vulkan privwar "Fail: private variables require SSW for write-after-read hazard" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/privwar.test" { P0:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/qfmp-filter.litmus b/litmus/VULKAN/Data-Race/qfmp-filter.litmus index b084667eca..bd228b8320 100644 --- a/litmus/VULKAN/Data-Race/qfmp-filter.litmus +++ b/litmus/VULKAN/Data-Race/qfmp-filter.litmus @@ -1,4 +1,5 @@ Vulkan qfmp +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/qfmp.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/qfmpfail-filter.litmus b/litmus/VULKAN/Data-Race/qfmpfail-filter.litmus index ac39908915..6bf955b0c1 100644 --- a/litmus/VULKAN/Data-Race/qfmpfail-filter.litmus +++ b/litmus/VULKAN/Data-Race/qfmpfail-filter.litmus @@ -1,5 +1,6 @@ Vulkan qfmpfail "Fails because it uses queuefamily scope but different queue families" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/qfmpfail.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/qfmpscopedev-filter.litmus b/litmus/VULKAN/Data-Race/qfmpscopedev-filter.litmus index 319766de3e..a499e53910 100644 --- a/litmus/VULKAN/Data-Race/qfmpscopedev-filter.litmus +++ b/litmus/VULKAN/Data-Race/qfmpscopedev-filter.litmus @@ -1,4 +1,5 @@ Vulkan qfmpscopedev +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/qfmpscopedev.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/releaseseq1-filter.litmus b/litmus/VULKAN/Data-Race/releaseseq1-filter.litmus index 4c1b0a2d3a..83209d1281 100644 --- a/litmus/VULKAN/Data-Race/releaseseq1-filter.litmus +++ b/litmus/VULKAN/Data-Race/releaseseq1-filter.litmus @@ -1,5 +1,6 @@ Vulkan releaseseq1 "Exercise release sequence. Store in the same thread writes before the RMW in another thread. TODO: rs>1" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/releaseseq1.test" { P1:r0=0; x=0; diff --git a/litmus/VULKAN/Data-Race/releaseseq2-filter.litmus b/litmus/VULKAN/Data-Race/releaseseq2-filter.litmus index 6d67ad49e2..2bea8f64c7 100644 --- a/litmus/VULKAN/Data-Race/releaseseq2-filter.litmus +++ b/litmus/VULKAN/Data-Race/releaseseq2-filter.litmus @@ -1,5 +1,6 @@ Vulkan releaseseq2 "Exercise release sequence. RMW in another thread reads the atomic before store in the same thread TODO: rs>1" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/releaseseq2.test" { P1:r0=0; x=0; diff --git a/litmus/VULKAN/Data-Race/releaseseq3-filter.litmus b/litmus/VULKAN/Data-Race/releaseseq3-filter.litmus index 0eb54cea12..74e59303f4 100644 --- a/litmus/VULKAN/Data-Race/releaseseq3-filter.litmus +++ b/litmus/VULKAN/Data-Race/releaseseq3-filter.litmus @@ -1,5 +1,6 @@ Vulkan releaseseq3 "Exercise release sequence. The RMW in the second thread is in the release sequence of the atomic release TODO: rs>1" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/releaseseq3.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Data-Race/releaseseq4-filter.litmus b/litmus/VULKAN/Data-Race/releaseseq4-filter.litmus index 652353e430..59c37b763b 100644 --- a/litmus/VULKAN/Data-Race/releaseseq4-filter.litmus +++ b/litmus/VULKAN/Data-Race/releaseseq4-filter.litmus @@ -1,5 +1,6 @@ Vulkan releaseseq4 "Exercise release sequence. The RMW in the second thread is in the hypothetical release sequence of the relaxed atomic TODO: rs>1" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/releaseseq4.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Data-Race/samethread-filter.litmus b/litmus/VULKAN/Data-Race/samethread-filter.litmus index 9fceb3a9fb..ba1bb965a8 100644 --- a/litmus/VULKAN/Data-Race/samethread-filter.litmus +++ b/litmus/VULKAN/Data-Race/samethread-filter.litmus @@ -1,4 +1,5 @@ Vulkan samethread +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/samethread.test" { P0:r0=0; P0:r1=0; diff --git a/litmus/VULKAN/Data-Race/samethread2-filter.litmus b/litmus/VULKAN/Data-Race/samethread2-filter.litmus index 79e0fb55b6..42a6251264 100644 --- a/litmus/VULKAN/Data-Race/samethread2-filter.litmus +++ b/litmus/VULKAN/Data-Race/samethread2-filter.litmus @@ -1,5 +1,6 @@ Vulkan samethread2 "Stores to x in the first thread can't be coalesced" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/samethread2.test" { P0:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/scnottransitive-filter.litmus b/litmus/VULKAN/Data-Race/scnottransitive-filter.litmus index 46414974c6..611f2b32e2 100644 --- a/litmus/VULKAN/Data-Race/scnottransitive-filter.litmus +++ b/litmus/VULKAN/Data-Race/scnottransitive-filter.litmus @@ -1,5 +1,6 @@ Vulkan scnottransitive "Fails because the membars do not transitively order the store against the sw" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/scnottransitive.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/scopeaccum-filter.litmus b/litmus/VULKAN/Data-Race/scopeaccum-filter.litmus index 72a0e6d205..0273928efa 100644 --- a/litmus/VULKAN/Data-Race/scopeaccum-filter.litmus +++ b/litmus/VULKAN/Data-Race/scopeaccum-filter.litmus @@ -1,4 +1,5 @@ Vulkan scopeaccum +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/scopeaccum.test" { P2:r0=0; x=0; diff --git a/litmus/VULKAN/Data-Race/ssw0-filter.litmus b/litmus/VULKAN/Data-Race/ssw0-filter.litmus index 93228f6cee..5eff5d5456 100644 --- a/litmus/VULKAN/Data-Race/ssw0-filter.litmus +++ b/litmus/VULKAN/Data-Race/ssw0-filter.litmus @@ -1,4 +1,5 @@ VULKAN ssw0 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw0.test" { P2:r0=0; x=0; diff --git a/litmus/VULKAN/Data-Race/ssw1-filter.litmus b/litmus/VULKAN/Data-Race/ssw1-filter.litmus index 4a2d4f84c8..70a79b2aa8 100644 --- a/litmus/VULKAN/Data-Race/ssw1-filter.litmus +++ b/litmus/VULKAN/Data-Race/ssw1-filter.litmus @@ -1,4 +1,5 @@ VULKAN ssw1 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw1.test" { P2:r0=0; x=0; diff --git a/litmus/VULKAN/Data-Race/ssw2-filter.litmus b/litmus/VULKAN/Data-Race/ssw2-filter.litmus index 52c1977e78..8811208cfc 100644 --- a/litmus/VULKAN/Data-Race/ssw2-filter.litmus +++ b/litmus/VULKAN/Data-Race/ssw2-filter.litmus @@ -1,5 +1,6 @@ VULKAN ssw2 "Fails because no availability/visibility" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw2.test" { P1:r0=0; x=0; diff --git a/litmus/VULKAN/Data-Race/ssw3-filter.litmus b/litmus/VULKAN/Data-Race/ssw3-filter.litmus index d51c9444da..aaed9b5d19 100644 --- a/litmus/VULKAN/Data-Race/ssw3-filter.litmus +++ b/litmus/VULKAN/Data-Race/ssw3-filter.litmus @@ -1,5 +1,6 @@ VULKAN ssw3 "Passes, SSW between W+AV -> VIS+R" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw3.test" { P1:r0=0; x=0; diff --git a/litmus/VULKAN/Data-Race/ssw4-filter.litmus b/litmus/VULKAN/Data-Race/ssw4-filter.litmus index 8913770b1a..19f95aec7b 100644 --- a/litmus/VULKAN/Data-Race/ssw4-filter.litmus +++ b/litmus/VULKAN/Data-Race/ssw4-filter.litmus @@ -1,5 +1,6 @@ VULKAN ssw4 "Fails, needs av/visDEVICE for different references" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw4.test" { P1:r0=0; x=0; diff --git a/litmus/VULKAN/Data-Race/ssw5-filter.litmus b/litmus/VULKAN/Data-Race/ssw5-filter.litmus index 804aaeeac0..f47ceec9f3 100644 --- a/litmus/VULKAN/Data-Race/ssw5-filter.litmus +++ b/litmus/VULKAN/Data-Race/ssw5-filter.litmus @@ -1,4 +1,5 @@ VULKAN ssw5 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw5.test" { P2:r0=0; x=0; diff --git a/litmus/VULKAN/Data-Race/ssw6-filter.litmus b/litmus/VULKAN/Data-Race/ssw6-filter.litmus index 6581413dbb..5928cd93f8 100644 --- a/litmus/VULKAN/Data-Race/ssw6-filter.litmus +++ b/litmus/VULKAN/Data-Race/ssw6-filter.litmus @@ -1,5 +1,6 @@ VULKAN ssw6 "Pass: write-after-read hazard of private memory accesses with SSW in between" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw6.test" { P0:r0=0; x=0; diff --git a/litmus/VULKAN/Data-Race/ssw7-filter.litmus b/litmus/VULKAN/Data-Race/ssw7-filter.litmus index 938b9fd239..dc514b7506 100644 --- a/litmus/VULKAN/Data-Race/ssw7-filter.litmus +++ b/litmus/VULKAN/Data-Race/ssw7-filter.litmus @@ -1,5 +1,6 @@ VULKAN ssw7 "Pass: write-after-read hazard of private memory accesses with SSW.SSW in between" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw7.test" { P0:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/ssw8-filter.litmus b/litmus/VULKAN/Data-Race/ssw8-filter.litmus index c3780664df..5aa13e65b0 100644 --- a/litmus/VULKAN/Data-Race/ssw8-filter.litmus +++ b/litmus/VULKAN/Data-Race/ssw8-filter.litmus @@ -1,5 +1,6 @@ VULKAN ssw8 "Passes, SSW between W+AV -> VIS+R" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw8.test" { P1:r0=0; x=0; diff --git a/litmus/VULKAN/Data-Race/test0-filter.litmus b/litmus/VULKAN/Data-Race/test0-filter.litmus index eb53e75db0..64549b68d2 100644 --- a/litmus/VULKAN/Data-Race/test0-filter.litmus +++ b/litmus/VULKAN/Data-Race/test0-filter.litmus @@ -1,5 +1,6 @@ VULKAN test0 "Fails: Release is missing sc0" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test0.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/test1-filter.litmus b/litmus/VULKAN/Data-Race/test1-filter.litmus index c30d6dfcf8..2762787b99 100644 --- a/litmus/VULKAN/Data-Race/test1-filter.litmus +++ b/litmus/VULKAN/Data-Race/test1-filter.litmus @@ -1,5 +1,6 @@ VULKAN test1 "Fails: Acquire is missing sc0" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test1.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/test10-filter.litmus b/litmus/VULKAN/Data-Race/test10-filter.litmus index f79f6e90a8..bae0392d2f 100644 --- a/litmus/VULKAN/Data-Race/test10-filter.litmus +++ b/litmus/VULKAN/Data-Race/test10-filter.litmus @@ -1,4 +1,5 @@ VULKAN test10 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test10.test" { P2:r0=0; P3:r1=0; diff --git a/litmus/VULKAN/Data-Race/test11-filter.litmus b/litmus/VULKAN/Data-Race/test11-filter.litmus index 54d370a6da..665d285a05 100644 --- a/litmus/VULKAN/Data-Race/test11-filter.litmus +++ b/litmus/VULKAN/Data-Race/test11-filter.litmus @@ -1,5 +1,6 @@ VULKAN test11 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test11.test" { P0:r0=0; a=0; diff --git a/litmus/VULKAN/Data-Race/test12-filter.litmus b/litmus/VULKAN/Data-Race/test12-filter.litmus index e5d9966b5b..e661c7c358 100644 --- a/litmus/VULKAN/Data-Race/test12-filter.litmus +++ b/litmus/VULKAN/Data-Race/test12-filter.litmus @@ -1,5 +1,6 @@ VULKAN test12 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test12.test" { P1:r0=0; a=0; diff --git a/litmus/VULKAN/Data-Race/test13-filter.litmus b/litmus/VULKAN/Data-Race/test13-filter.litmus index a9204cdeaf..e16085436b 100644 --- a/litmus/VULKAN/Data-Race/test13-filter.litmus +++ b/litmus/VULKAN/Data-Race/test13-filter.litmus @@ -1,5 +1,6 @@ VULKAN test13 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test13.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Data-Race/test14-filter.litmus b/litmus/VULKAN/Data-Race/test14-filter.litmus index 20acac349b..467ebcf1f1 100644 --- a/litmus/VULKAN/Data-Race/test14-filter.litmus +++ b/litmus/VULKAN/Data-Race/test14-filter.litmus @@ -1,5 +1,6 @@ VULKAN test14 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test14.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/test16-filter.litmus b/litmus/VULKAN/Data-Race/test16-filter.litmus index 2c33eb1a26..b85f4fa947 100644 --- a/litmus/VULKAN/Data-Race/test16-filter.litmus +++ b/litmus/VULKAN/Data-Race/test16-filter.litmus @@ -1,5 +1,6 @@ VULKAN test16 "Fails because there is no availability operation from the atomics" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test16.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/test17-filter.litmus b/litmus/VULKAN/Data-Race/test17-filter.litmus index b1910281a0..113df4ac85 100644 --- a/litmus/VULKAN/Data-Race/test17-filter.litmus +++ b/litmus/VULKAN/Data-Race/test17-filter.litmus @@ -1,5 +1,6 @@ VULKAN test17 "Passes because the atomic store is implicitly coherent" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test17.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/test18-filter.litmus b/litmus/VULKAN/Data-Race/test18-filter.litmus index dbe4ed59b2..5c037278df 100644 --- a/litmus/VULKAN/Data-Race/test18-filter.litmus +++ b/litmus/VULKAN/Data-Race/test18-filter.litmus @@ -1,5 +1,6 @@ VULKAN test18 "Passes because the atomic store is implicitly coherent" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test18.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/test19-filter.litmus b/litmus/VULKAN/Data-Race/test19-filter.litmus index 24591746d8..2258e6064c 100644 --- a/litmus/VULKAN/Data-Race/test19-filter.litmus +++ b/litmus/VULKAN/Data-Race/test19-filter.litmus @@ -2,6 +2,7 @@ VULKAN test19 "Passes because the atomic store is implicitly coherent." "NOTE: This test was more interesting as a negative test" "showing that the semav did not 'flush' the atomic write." +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test19.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/test2-filter.litmus b/litmus/VULKAN/Data-Race/test2-filter.litmus index 7f5b3157fd..9becf6bf77 100644 --- a/litmus/VULKAN/Data-Race/test2-filter.litmus +++ b/litmus/VULKAN/Data-Race/test2-filter.litmus @@ -1,5 +1,6 @@ VULKAN test2 "Fails: Acquire is missing sc0" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test2.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Data-Race/test20-filter.litmus b/litmus/VULKAN/Data-Race/test20-filter.litmus index bb3daf3f82..990736c85b 100644 --- a/litmus/VULKAN/Data-Race/test20-filter.litmus +++ b/litmus/VULKAN/Data-Race/test20-filter.litmus @@ -1,5 +1,6 @@ VULKAN test20 "Passes because the second atomic performs an av op on the first atomic" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test20.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/test21-filter.litmus b/litmus/VULKAN/Data-Race/test21-filter.litmus index f7b6f961e7..969df48c54 100644 --- a/litmus/VULKAN/Data-Race/test21-filter.litmus +++ b/litmus/VULKAN/Data-Race/test21-filter.litmus @@ -1,5 +1,6 @@ VULKAN test21 "Fails because the scope of the av/vis ops aren't big enough" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test21.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Data-Race/test3-filter.litmus b/litmus/VULKAN/Data-Race/test3-filter.litmus index 76701fa9cb..2f8d406a6c 100644 --- a/litmus/VULKAN/Data-Race/test3-filter.litmus +++ b/litmus/VULKAN/Data-Race/test3-filter.litmus @@ -1,5 +1,6 @@ VULKAN test3 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test3.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Data-Race/test4-filter.litmus b/litmus/VULKAN/Data-Race/test4-filter.litmus index 73603918ba..260f710a10 100644 --- a/litmus/VULKAN/Data-Race/test4-filter.litmus +++ b/litmus/VULKAN/Data-Race/test4-filter.litmus @@ -1,5 +1,6 @@ VULKAN test4 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test4.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Data-Race/test5-filter.litmus b/litmus/VULKAN/Data-Race/test5-filter.litmus index ad33ef1f20..e702c835d0 100644 --- a/litmus/VULKAN/Data-Race/test5-filter.litmus +++ b/litmus/VULKAN/Data-Race/test5-filter.litmus @@ -1,5 +1,6 @@ VULKAN test5 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test5.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Data-Race/test6-filter.litmus b/litmus/VULKAN/Data-Race/test6-filter.litmus index 9fa7549b7d..42870d3040 100644 --- a/litmus/VULKAN/Data-Race/test6-filter.litmus +++ b/litmus/VULKAN/Data-Race/test6-filter.litmus @@ -1,5 +1,6 @@ VULKAN test6 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test6.test" { P3:r0=0; a=0; diff --git a/litmus/VULKAN/Data-Race/test7-filter.litmus b/litmus/VULKAN/Data-Race/test7-filter.litmus index 5a058bf9f4..61bbd913e0 100644 --- a/litmus/VULKAN/Data-Race/test7-filter.litmus +++ b/litmus/VULKAN/Data-Race/test7-filter.litmus @@ -1,5 +1,6 @@ VULKAN test7 "Fail: Wrong storage class semantics" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test7.test" { P3:r0=0; a=0; diff --git a/litmus/VULKAN/Data-Race/test9-filter.litmus b/litmus/VULKAN/Data-Race/test9-filter.litmus index 4563b2d0a3..00e0e90c19 100644 --- a/litmus/VULKAN/Data-Race/test9-filter.litmus +++ b/litmus/VULKAN/Data-Race/test9-filter.litmus @@ -1,5 +1,6 @@ VULKAN test9 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test9.test" { P2:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Data-Race/waw-filter.litmus b/litmus/VULKAN/Data-Race/waw-filter.litmus index 5b74523297..aaa1950f80 100644 --- a/litmus/VULKAN/Data-Race/waw-filter.litmus +++ b/litmus/VULKAN/Data-Race/waw-filter.litmus @@ -1,5 +1,6 @@ VULKAN waw "WaW hazard between the first two threads. The third thread should see the write from the second thread." +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/waw.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/asmo.litmus b/litmus/VULKAN/Kronos-Group/asmo.litmus index 0fef903998..96a118d030 100644 --- a/litmus/VULKAN/Kronos-Group/asmo.litmus +++ b/litmus/VULKAN/Kronos-Group/asmo.litmus @@ -1,5 +1,6 @@ VULKAN asmo "Test that threads 3 and 4 can't read updates to x in conflicting order" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/asmo.test" { P2:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/atomicsc.litmus b/litmus/VULKAN/Kronos-Group/atomicsc.litmus index 76505d9363..45ee74a452 100644 --- a/litmus/VULKAN/Kronos-Group/atomicsc.litmus +++ b/litmus/VULKAN/Kronos-Group/atomicsc.litmus @@ -1,4 +1,5 @@ Vulkan atomicsc +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/atomicsc.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/atomwrongsc.litmus b/litmus/VULKAN/Kronos-Group/atomwrongsc.litmus index 8a465438bb..a54d863a6e 100644 --- a/litmus/VULKAN/Kronos-Group/atomwrongsc.litmus +++ b/litmus/VULKAN/Kronos-Group/atomwrongsc.litmus @@ -2,6 +2,7 @@ Vulkan atomwrongsc "There's a WaR hazard between an atomic load and a non-atomic store." "This test exercises that using only semsc0 is sufficient to synchronize" "them, because the atomic also has semsc0 in its semantics." +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/atomicsc.test" { P0:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/cbarinst.litmus b/litmus/VULKAN/Kronos-Group/cbarinst.litmus index b2e2b180fc..00d283308e 100644 --- a/litmus/VULKAN/Kronos-Group/cbarinst.litmus +++ b/litmus/VULKAN/Kronos-Group/cbarinst.litmus @@ -1,4 +1,5 @@ Vulkan cbarinst +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/cbarinst.test" { x=0; } diff --git a/litmus/VULKAN/Kronos-Group/corr.litmus b/litmus/VULKAN/Kronos-Group/corr.litmus index abe841c399..234f8cb36a 100644 --- a/litmus/VULKAN/Kronos-Group/corr.litmus +++ b/litmus/VULKAN/Kronos-Group/corr.litmus @@ -2,6 +2,7 @@ Vulkan corr "CoRR litmus test. Coherence order for x is 1,2, and is "enforced" by the" "second invocation observing it. The first invocation can't see the stores" "out of order." +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/corr.test" { P0: r0=0; P0: r1=0; diff --git a/litmus/VULKAN/Kronos-Group/corw.litmus b/litmus/VULKAN/Kronos-Group/corw.litmus index bc456ce901..2ea039dc2c 100644 --- a/litmus/VULKAN/Kronos-Group/corw.litmus +++ b/litmus/VULKAN/Kronos-Group/corw.litmus @@ -2,6 +2,7 @@ Vulkan corw "CoRW litmus test. Coherence order for x is 1,2, and is enforced by the" "third invocation observing it. Invocation 0 reads x=2 before" "it writes x=1, which is forbidden." +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/corw.test" { P0: r0=0; P2: r1=0; diff --git a/litmus/VULKAN/Kronos-Group/cowr.litmus b/litmus/VULKAN/Kronos-Group/cowr.litmus index 787329d040..3cde7edd7b 100644 --- a/litmus/VULKAN/Kronos-Group/cowr.litmus +++ b/litmus/VULKAN/Kronos-Group/cowr.litmus @@ -1,6 +1,7 @@ Vulkan cowr "CoWR litmus test. Coherence order for x is 2,1, and is enforced by the" "third invocation observing it. Invocation 0 can't see 2 after it stores 1." +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/cowr.test" { P0:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/coww.litmus b/litmus/VULKAN/Kronos-Group/coww.litmus index bb4ec4fe15..61e2a8acda 100644 --- a/litmus/VULKAN/Kronos-Group/coww.litmus +++ b/litmus/VULKAN/Kronos-Group/coww.litmus @@ -1,6 +1,7 @@ Vulkan coww "CoWW litmus test. Coherence order for x is 2,1, and is enforced by the" "second invocation observing it. Invocation 0 stores 1,2." +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/coww.test" { P1:r0 = 0; P1:r1 = 0; diff --git a/litmus/VULKAN/Kronos-Group/fencefence.litmus b/litmus/VULKAN/Kronos-Group/fencefence.litmus index 465eedb596..e7be8b1ac7 100644 --- a/litmus/VULKAN/Kronos-Group/fencefence.litmus +++ b/litmus/VULKAN/Kronos-Group/fencefence.litmus @@ -1,4 +1,5 @@ Vulkan fencefence +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/fencefence.test" { P1:r0=1; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/fencefence2.litmus b/litmus/VULKAN/Kronos-Group/fencefence2.litmus index 637c6063d4..411c8ed33d 100644 --- a/litmus/VULKAN/Kronos-Group/fencefence2.litmus +++ b/litmus/VULKAN/Kronos-Group/fencefence2.litmus @@ -1,4 +1,5 @@ Vulkan fencefence2 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/fencefence2.test" { P1: r0 = 0; P0: r1 = 0; diff --git a/litmus/VULKAN/Kronos-Group/fencefence3.litmus b/litmus/VULKAN/Kronos-Group/fencefence3.litmus index abf8e561e5..24f5ad397c 100644 --- a/litmus/VULKAN/Kronos-Group/fencefence3.litmus +++ b/litmus/VULKAN/Kronos-Group/fencefence3.litmus @@ -1,4 +1,5 @@ Vulkan fencefence3 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/fencefence3.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/fencefencebroken.litmus b/litmus/VULKAN/Kronos-Group/fencefencebroken.litmus index a6ec5ecdc6..9c298c4175 100644 --- a/litmus/VULKAN/Kronos-Group/fencefencebroken.litmus +++ b/litmus/VULKAN/Kronos-Group/fencefencebroken.litmus @@ -1,4 +1,5 @@ Vulkan fencefencebroken +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/fencefencebroken.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/mp.litmus b/litmus/VULKAN/Kronos-Group/mp.litmus index 935dfefe7b..53eb9db139 100644 --- a/litmus/VULKAN/Kronos-Group/mp.litmus +++ b/litmus/VULKAN/Kronos-Group/mp.litmus @@ -1,4 +1,5 @@ Vulkan mp +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/mp3.litmus b/litmus/VULKAN/Kronos-Group/mp3.litmus index 8745c87ff6..8365b47065 100644 --- a/litmus/VULKAN/Kronos-Group/mp3.litmus +++ b/litmus/VULKAN/Kronos-Group/mp3.litmus @@ -1,4 +1,5 @@ Vulkan mp3 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp3.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/mp3acqrel.litmus b/litmus/VULKAN/Kronos-Group/mp3acqrel.litmus index 58aacc8944..2d714f99bf 100644 --- a/litmus/VULKAN/Kronos-Group/mp3acqrel.litmus +++ b/litmus/VULKAN/Kronos-Group/mp3acqrel.litmus @@ -1,5 +1,6 @@ Vulkan mp3acqrel "Message passing between three threads where the second thread uses AcquireRelease" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp3acqrel.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/mp3transitive.litmus b/litmus/VULKAN/Kronos-Group/mp3transitive.litmus index e30ee72afb..27a04cbbe5 100644 --- a/litmus/VULKAN/Kronos-Group/mp3transitive.litmus +++ b/litmus/VULKAN/Kronos-Group/mp3transitive.litmus @@ -2,6 +2,7 @@ Vulkan mptransitive3 "Invocation 0 makes the write x=1 available to invocation 1." "Invocation 1 then does a bulk av operation with device scope." "This is enough to make x=1 visible to invocation 2." +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp3transitive.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/mp3transitive2.litmus b/litmus/VULKAN/Kronos-Group/mp3transitive2.litmus index db4e625060..51f3f0ecb2 100644 --- a/litmus/VULKAN/Kronos-Group/mp3transitive2.litmus +++ b/litmus/VULKAN/Kronos-Group/mp3transitive2.litmus @@ -3,6 +3,7 @@ Vulkan mptransitive2 "Invocation 1 then does a bulk av operation with device scope." "Invocation 2 does a bulk vis op with device scope." "Invocation 3 does a bulk vis op with workgroup scope" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp3transitive2.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/mp3transitive3.litmus b/litmus/VULKAN/Kronos-Group/mp3transitive3.litmus index edc1c69638..f09781a76a 100644 --- a/litmus/VULKAN/Kronos-Group/mp3transitive3.litmus +++ b/litmus/VULKAN/Kronos-Group/mp3transitive3.litmus @@ -2,6 +2,7 @@ Vulkan mptransitive3 "Invocation 0 makes the write x=1 available to invocation 1." "Invocation 1 then does a bulk av operation with device scope." "Invocation 2 does a bulk vis op with device scope." +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp3transitive3.test" { P2:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/mp3transitive4.litmus b/litmus/VULKAN/Kronos-Group/mp3transitive4.litmus index cc542a023b..9a3697a0cc 100644 --- a/litmus/VULKAN/Kronos-Group/mp3transitive4.litmus +++ b/litmus/VULKAN/Kronos-Group/mp3transitive4.litmus @@ -6,6 +6,7 @@ Vulkan mptransitive4 "Invocation 4 does a bulk vis op with workgroup scope" "The happens-before is sufficient even though it uses different" "storage class semantics." +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp3transitive4.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/mp3transitivefail.litmus b/litmus/VULKAN/Kronos-Group/mp3transitivefail.litmus index d313efd5a8..919c182f18 100644 --- a/litmus/VULKAN/Kronos-Group/mp3transitivefail.litmus +++ b/litmus/VULKAN/Kronos-Group/mp3transitivefail.litmus @@ -1,5 +1,6 @@ Vulkan mptransitivefail "Missing AVWG in invocation 0, so AVDEV in invocation 1 isn't sufficient" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp3transitivefail.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/mp3transitivefail2.litmus b/litmus/VULKAN/Kronos-Group/mp3transitivefail2.litmus index aa8d627b75..16942e925d 100644 --- a/litmus/VULKAN/Kronos-Group/mp3transitivefail2.litmus +++ b/litmus/VULKAN/Kronos-Group/mp3transitivefail2.litmus @@ -1,5 +1,6 @@ Vulkan mptransitivefail2 "Missing VISWG in invocation 3, so VISDEV in invocation 2 isn't sufficient" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mp3transitivefail2.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/mpsc1.litmus b/litmus/VULKAN/Kronos-Group/mpsc1.litmus index e63fa1d1b4..d23e97fa8e 100644 --- a/litmus/VULKAN/Kronos-Group/mpsc1.litmus +++ b/litmus/VULKAN/Kronos-Group/mpsc1.litmus @@ -1,4 +1,5 @@ Vulkan mpsc1 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/mpsc1.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/noncohandatom.litmus b/litmus/VULKAN/Kronos-Group/noncohandatom.litmus index bda5f1127c..488c33ba56 100644 --- a/litmus/VULKAN/Kronos-Group/noncohandatom.litmus +++ b/litmus/VULKAN/Kronos-Group/noncohandatom.litmus @@ -1,5 +1,6 @@ Vulkan noncohandatom "Mixing atomics and noncoherent/private load/store in the same thread" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohandatom.test" { P0:r0=0; P0:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/noncohmp.litmus b/litmus/VULKAN/Kronos-Group/noncohmp.litmus index b5158b7a6f..9dfbe44bd8 100644 --- a/litmus/VULKAN/Kronos-Group/noncohmp.litmus +++ b/litmus/VULKAN/Kronos-Group/noncohmp.litmus @@ -1,4 +1,5 @@ Vulkan noncohmp +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohmp.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/noncohmp2.litmus b/litmus/VULKAN/Kronos-Group/noncohmp2.litmus index 47901811b2..8c8520bc4e 100644 --- a/litmus/VULKAN/Kronos-Group/noncohmp2.litmus +++ b/litmus/VULKAN/Kronos-Group/noncohmp2.litmus @@ -1,4 +1,5 @@ Vulkan noncohmp2 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohmp.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/noncohmp3.litmus b/litmus/VULKAN/Kronos-Group/noncohmp3.litmus index 33e914383d..81cade539a 100644 --- a/litmus/VULKAN/Kronos-Group/noncohmp3.litmus +++ b/litmus/VULKAN/Kronos-Group/noncohmp3.litmus @@ -1,4 +1,5 @@ Vulkan noncohmp +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohmp.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/noncohmpbar.litmus b/litmus/VULKAN/Kronos-Group/noncohmpbar.litmus index 6b0e958243..896cbafd19 100644 --- a/litmus/VULKAN/Kronos-Group/noncohmpbar.litmus +++ b/litmus/VULKAN/Kronos-Group/noncohmpbar.litmus @@ -1,4 +1,5 @@ Vulkan noncohmpbar +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohmpbar.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/noncohmpbarsg.litmus b/litmus/VULKAN/Kronos-Group/noncohmpbarsg.litmus index b203224739..2c91203796 100644 --- a/litmus/VULKAN/Kronos-Group/noncohmpbarsg.litmus +++ b/litmus/VULKAN/Kronos-Group/noncohmpbarsg.litmus @@ -1,5 +1,6 @@ Vulkan noncohmpbarsg "Tests subgroup-scope control barrier" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohmpbar.test" { P1:r0=0; x=0; diff --git a/litmus/VULKAN/Kronos-Group/noncohmpfail.litmus b/litmus/VULKAN/Kronos-Group/noncohmpfail.litmus index 8c7c7a3ac4..22a60d6425 100644 --- a/litmus/VULKAN/Kronos-Group/noncohmpfail.litmus +++ b/litmus/VULKAN/Kronos-Group/noncohmpfail.litmus @@ -1,5 +1,6 @@ Vulkan noncohmpbar "coh on y does not make x available" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohmpfail.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/noncohmpfail2.litmus b/litmus/VULKAN/Kronos-Group/noncohmpfail2.litmus index 3e55638c71..0e4714c043 100644 --- a/litmus/VULKAN/Kronos-Group/noncohmpfail2.litmus +++ b/litmus/VULKAN/Kronos-Group/noncohmpfail2.litmus @@ -1,5 +1,6 @@ Vulkan noncohmpbar2 "fails due to wrong semsc on the release" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohmpfail2.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/noncohwar.litmus b/litmus/VULKAN/Kronos-Group/noncohwar.litmus index a3e1c7b58f..efbe881788 100644 --- a/litmus/VULKAN/Kronos-Group/noncohwar.litmus +++ b/litmus/VULKAN/Kronos-Group/noncohwar.litmus @@ -1,5 +1,6 @@ Vulkan noncohwar "Pass: write-after-read hazard for noncoherent nonprivate" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/noncohwar.test" { P0:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/privmp.litmus b/litmus/VULKAN/Kronos-Group/privmp.litmus index 64249293c7..e0af1c592a 100644 --- a/litmus/VULKAN/Kronos-Group/privmp.litmus +++ b/litmus/VULKAN/Kronos-Group/privmp.litmus @@ -1,5 +1,6 @@ Vulkan privmp "Fail: private variables can't be used for message passing" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/privmp.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/privpo.litmus b/litmus/VULKAN/Kronos-Group/privpo.litmus index 7d8c1aa27b..ea1ce30fd4 100644 --- a/litmus/VULKAN/Kronos-Group/privpo.litmus +++ b/litmus/VULKAN/Kronos-Group/privpo.litmus @@ -1,5 +1,6 @@ Vulkan privpo "Pass: private memory accesses still obey program-order" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/privpo.test" { P0:r0=0; P0:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/privwar.litmus b/litmus/VULKAN/Kronos-Group/privwar.litmus index 615577ef3b..bd46771d5c 100644 --- a/litmus/VULKAN/Kronos-Group/privwar.litmus +++ b/litmus/VULKAN/Kronos-Group/privwar.litmus @@ -1,5 +1,6 @@ Vulkan privwar "Fail: private variables require SSW for write-after-read hazard" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/privwar.test" { P0:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/qfmp.litmus b/litmus/VULKAN/Kronos-Group/qfmp.litmus index 46ad19cef2..bbf9cd0bde 100644 --- a/litmus/VULKAN/Kronos-Group/qfmp.litmus +++ b/litmus/VULKAN/Kronos-Group/qfmp.litmus @@ -1,4 +1,5 @@ Vulkan qfmp +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/qfmp.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/qfmpfail.litmus b/litmus/VULKAN/Kronos-Group/qfmpfail.litmus index 1f5eac7136..3af5625796 100644 --- a/litmus/VULKAN/Kronos-Group/qfmpfail.litmus +++ b/litmus/VULKAN/Kronos-Group/qfmpfail.litmus @@ -1,5 +1,6 @@ Vulkan qfmpfail "Fails because it uses queuefamily scope but different queue families" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/qfmpfail.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/qfmpscopedev.litmus b/litmus/VULKAN/Kronos-Group/qfmpscopedev.litmus index 45cb8fe735..07957ca085 100644 --- a/litmus/VULKAN/Kronos-Group/qfmpscopedev.litmus +++ b/litmus/VULKAN/Kronos-Group/qfmpscopedev.litmus @@ -1,4 +1,5 @@ Vulkan qfmpscopedev +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/qfmpscopedev.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/releaseseq1.litmus b/litmus/VULKAN/Kronos-Group/releaseseq1.litmus index 192addd5ea..b3b3deef14 100644 --- a/litmus/VULKAN/Kronos-Group/releaseseq1.litmus +++ b/litmus/VULKAN/Kronos-Group/releaseseq1.litmus @@ -1,5 +1,6 @@ Vulkan releaseseq1 "Exercise release sequence. Store in the same thread writes before the RMW in another thread. TODO: rs>1" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/releaseseq1.test" { P1:r0=0; x=0; diff --git a/litmus/VULKAN/Kronos-Group/releaseseq2.litmus b/litmus/VULKAN/Kronos-Group/releaseseq2.litmus index 6345c33343..6d2164c656 100644 --- a/litmus/VULKAN/Kronos-Group/releaseseq2.litmus +++ b/litmus/VULKAN/Kronos-Group/releaseseq2.litmus @@ -1,5 +1,6 @@ Vulkan releaseseq2 "Exercise release sequence. RMW in another thread reads the atomic before store in the same thread TODO: rs>1" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/releaseseq2.test" { P1:r0=0; x=0; diff --git a/litmus/VULKAN/Kronos-Group/releaseseq3.litmus b/litmus/VULKAN/Kronos-Group/releaseseq3.litmus index 87e3b61b87..300ccf79a2 100644 --- a/litmus/VULKAN/Kronos-Group/releaseseq3.litmus +++ b/litmus/VULKAN/Kronos-Group/releaseseq3.litmus @@ -1,5 +1,6 @@ Vulkan releaseseq3 "Exercise release sequence. The RMW in the second thread is in the release sequence of the atomic release TODO: rs>1" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/releaseseq3.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/releaseseq4.litmus b/litmus/VULKAN/Kronos-Group/releaseseq4.litmus index b476f828a3..b35494a424 100644 --- a/litmus/VULKAN/Kronos-Group/releaseseq4.litmus +++ b/litmus/VULKAN/Kronos-Group/releaseseq4.litmus @@ -1,5 +1,6 @@ Vulkan releaseseq4 "Exercise release sequence. The RMW in the second thread is in the hypothetical release sequence of the relaxed atomic TODO: rs>1" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/releaseseq4.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/samethread.litmus b/litmus/VULKAN/Kronos-Group/samethread.litmus index 97cf3a9201..0502f91066 100644 --- a/litmus/VULKAN/Kronos-Group/samethread.litmus +++ b/litmus/VULKAN/Kronos-Group/samethread.litmus @@ -1,4 +1,5 @@ Vulkan samethread +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/samethread.test" { P0:r0=0; P0:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/samethread2.litmus b/litmus/VULKAN/Kronos-Group/samethread2.litmus index e708b58b97..952fe50b3c 100644 --- a/litmus/VULKAN/Kronos-Group/samethread2.litmus +++ b/litmus/VULKAN/Kronos-Group/samethread2.litmus @@ -1,5 +1,6 @@ Vulkan samethread2 "Stores to x in the first thread can't be coalesced" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/samethread2.test" { P0:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/scnottransitive.litmus b/litmus/VULKAN/Kronos-Group/scnottransitive.litmus new file mode 100644 index 0000000000..f9cc044574 --- /dev/null +++ b/litmus/VULKAN/Kronos-Group/scnottransitive.litmus @@ -0,0 +1,16 @@ +Vulkan scnottransitive +"Fails because the membars do not transitively order the store against the sw" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/scnottransitive.test" +{ +P0:r0=0; +P0:r1=0; +a=0; +b=0; +} + P0@sg 0, wg 0, qf 0 | P1@sg 0,wg 1, qf 0 ; + st.av.dv.sc0 a, 1 | ld.atom.dv.sc1 r0, b ; + membar.rel.wg.semsc0.semsc1 | membar.acq.dv.semsc1 ; + membar.rel.dv.semsc1 | membar.acq.wg.semsc0 ; + st.atom.dv.sc1 b, 1 | ld.vis.dv.sc0 r1, a ; +exists +(P1:r0 == 1 /\ P1:r1 != 1) \ No newline at end of file diff --git a/litmus/VULKAN/Kronos-Group/scopeaccum.litmus b/litmus/VULKAN/Kronos-Group/scopeaccum.litmus index d93660cd84..b0a3f1be6f 100644 --- a/litmus/VULKAN/Kronos-Group/scopeaccum.litmus +++ b/litmus/VULKAN/Kronos-Group/scopeaccum.litmus @@ -1,4 +1,5 @@ Vulkan scopeaccum +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/scopeaccum.test" { P2:r0=0; x=0; diff --git a/litmus/VULKAN/Kronos-Group/ssw0.litmus b/litmus/VULKAN/Kronos-Group/ssw0.litmus index 3b82a995e9..39f8c8d1f9 100644 --- a/litmus/VULKAN/Kronos-Group/ssw0.litmus +++ b/litmus/VULKAN/Kronos-Group/ssw0.litmus @@ -1,4 +1,5 @@ VULKAN ssw0 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw0.test" { P2:r0=0; x=0; diff --git a/litmus/VULKAN/Kronos-Group/ssw1.litmus b/litmus/VULKAN/Kronos-Group/ssw1.litmus index ed7a6b4c06..36adc17e63 100644 --- a/litmus/VULKAN/Kronos-Group/ssw1.litmus +++ b/litmus/VULKAN/Kronos-Group/ssw1.litmus @@ -1,4 +1,5 @@ VULKAN ssw1 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw1.test" { P2:r0=0; x=0; diff --git a/litmus/VULKAN/Kronos-Group/ssw2.litmus b/litmus/VULKAN/Kronos-Group/ssw2.litmus index dfe7eb8286..0ba3a29e06 100644 --- a/litmus/VULKAN/Kronos-Group/ssw2.litmus +++ b/litmus/VULKAN/Kronos-Group/ssw2.litmus @@ -1,5 +1,6 @@ VULKAN ssw2 "Fails because no availability/visibility" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw2.test" { P1:r0=0; x=0; diff --git a/litmus/VULKAN/Kronos-Group/ssw3.litmus b/litmus/VULKAN/Kronos-Group/ssw3.litmus index c2eda80df4..4638a30ff2 100644 --- a/litmus/VULKAN/Kronos-Group/ssw3.litmus +++ b/litmus/VULKAN/Kronos-Group/ssw3.litmus @@ -1,5 +1,6 @@ VULKAN ssw3 "Passes, SSW between W+AV -> VIS+R" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw3.test" { P1:r0=0; x=0; diff --git a/litmus/VULKAN/Kronos-Group/ssw4.litmus b/litmus/VULKAN/Kronos-Group/ssw4.litmus index 0bdffe7dc3..2ee49dc192 100644 --- a/litmus/VULKAN/Kronos-Group/ssw4.litmus +++ b/litmus/VULKAN/Kronos-Group/ssw4.litmus @@ -1,5 +1,6 @@ VULKAN ssw4 "Fails, needs av/visDEVICE for different references" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw4.test" { P1:r0=0; x=0; diff --git a/litmus/VULKAN/Kronos-Group/ssw5.litmus b/litmus/VULKAN/Kronos-Group/ssw5.litmus index 47071b2118..6c5c7bb9d6 100644 --- a/litmus/VULKAN/Kronos-Group/ssw5.litmus +++ b/litmus/VULKAN/Kronos-Group/ssw5.litmus @@ -1,4 +1,5 @@ VULKAN ssw5 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw5.test" { P2:r0=0; x=0; diff --git a/litmus/VULKAN/Kronos-Group/ssw6.litmus b/litmus/VULKAN/Kronos-Group/ssw6.litmus index 020f856603..600a6bfad8 100644 --- a/litmus/VULKAN/Kronos-Group/ssw6.litmus +++ b/litmus/VULKAN/Kronos-Group/ssw6.litmus @@ -1,5 +1,6 @@ VULKAN ssw6 "Pass: write-after-read hazard of private memory accesses with SSW in between" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw6.test" { P0:r0=0; x=0; diff --git a/litmus/VULKAN/Kronos-Group/ssw7.litmus b/litmus/VULKAN/Kronos-Group/ssw7.litmus index 61f5e7a9fd..497621dd8a 100644 --- a/litmus/VULKAN/Kronos-Group/ssw7.litmus +++ b/litmus/VULKAN/Kronos-Group/ssw7.litmus @@ -1,5 +1,6 @@ VULKAN ssw7 "Pass: write-after-read hazard of private memory accesses with SSW.SSW in between" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw7.test" { P0:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/ssw8.litmus b/litmus/VULKAN/Kronos-Group/ssw8.litmus index f4f73b921f..947f6025cd 100644 --- a/litmus/VULKAN/Kronos-Group/ssw8.litmus +++ b/litmus/VULKAN/Kronos-Group/ssw8.litmus @@ -1,5 +1,6 @@ VULKAN ssw8 "Passes, SSW between W+AV -> VIS+R" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/ssw8.test" { P1:r0=0; x=0; diff --git a/litmus/VULKAN/Kronos-Group/test0.litmus b/litmus/VULKAN/Kronos-Group/test0.litmus index b218c7e6a6..829f3bcecf 100644 --- a/litmus/VULKAN/Kronos-Group/test0.litmus +++ b/litmus/VULKAN/Kronos-Group/test0.litmus @@ -1,5 +1,6 @@ VULKAN test0 "Fails: Release is missing sc0" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test0.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/test1.litmus b/litmus/VULKAN/Kronos-Group/test1.litmus index 8c4e407be6..3b479d31ee 100644 --- a/litmus/VULKAN/Kronos-Group/test1.litmus +++ b/litmus/VULKAN/Kronos-Group/test1.litmus @@ -1,5 +1,6 @@ VULKAN test1 "Fails: Acquire is missing sc0" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test1.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/test10.litmus b/litmus/VULKAN/Kronos-Group/test10.litmus index a1fc666077..d7073c3720 100644 --- a/litmus/VULKAN/Kronos-Group/test10.litmus +++ b/litmus/VULKAN/Kronos-Group/test10.litmus @@ -1,4 +1,5 @@ VULKAN test10 +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test10.test" { P2:r0=0; P3:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/test11.litmus b/litmus/VULKAN/Kronos-Group/test11.litmus index f0a77c5bf9..4d22829bf2 100644 --- a/litmus/VULKAN/Kronos-Group/test11.litmus +++ b/litmus/VULKAN/Kronos-Group/test11.litmus @@ -1,5 +1,6 @@ VULKAN test11 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test11.test" { P0:r0=0; a=0; diff --git a/litmus/VULKAN/Kronos-Group/test12.litmus b/litmus/VULKAN/Kronos-Group/test12.litmus index 205d9102b8..5d932047ea 100644 --- a/litmus/VULKAN/Kronos-Group/test12.litmus +++ b/litmus/VULKAN/Kronos-Group/test12.litmus @@ -1,5 +1,6 @@ VULKAN test12 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test12.test" { P1:r0=0; a=0; diff --git a/litmus/VULKAN/Kronos-Group/test13.litmus b/litmus/VULKAN/Kronos-Group/test13.litmus index 71ff1345b8..4e1eeb5eb4 100644 --- a/litmus/VULKAN/Kronos-Group/test13.litmus +++ b/litmus/VULKAN/Kronos-Group/test13.litmus @@ -1,5 +1,6 @@ VULKAN test13 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test13.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/test14.litmus b/litmus/VULKAN/Kronos-Group/test14.litmus index 18b5780697..405def5e3e 100644 --- a/litmus/VULKAN/Kronos-Group/test14.litmus +++ b/litmus/VULKAN/Kronos-Group/test14.litmus @@ -1,5 +1,6 @@ VULKAN test14 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test14.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/test16.litmus b/litmus/VULKAN/Kronos-Group/test16.litmus index df2d972e57..884be0eab3 100644 --- a/litmus/VULKAN/Kronos-Group/test16.litmus +++ b/litmus/VULKAN/Kronos-Group/test16.litmus @@ -1,5 +1,6 @@ VULKAN test16 "Fails because there is no availability operation from the atomics" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test16.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/test17.litmus b/litmus/VULKAN/Kronos-Group/test17.litmus index 3d4d6ef8f8..b98369ec48 100644 --- a/litmus/VULKAN/Kronos-Group/test17.litmus +++ b/litmus/VULKAN/Kronos-Group/test17.litmus @@ -1,5 +1,6 @@ VULKAN test17 "Passes because the atomic store is implicitly coherent" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test17.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/test18.litmus b/litmus/VULKAN/Kronos-Group/test18.litmus index 333f798e9e..2e4f9acf73 100644 --- a/litmus/VULKAN/Kronos-Group/test18.litmus +++ b/litmus/VULKAN/Kronos-Group/test18.litmus @@ -1,5 +1,6 @@ VULKAN test18 "Passes because the atomic store is implicitly coherent" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test18.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/test19.litmus b/litmus/VULKAN/Kronos-Group/test19.litmus index 1093282608..af2ed72ead 100644 --- a/litmus/VULKAN/Kronos-Group/test19.litmus +++ b/litmus/VULKAN/Kronos-Group/test19.litmus @@ -2,6 +2,7 @@ VULKAN test19 "Passes because the atomic store is implicitly coherent." "NOTE: This test was more interesting as a negative test" "showing that the semav did not 'flush' the atomic write." +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test19.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/test2.litmus b/litmus/VULKAN/Kronos-Group/test2.litmus index e15cbc6ecb..e5e800407a 100644 --- a/litmus/VULKAN/Kronos-Group/test2.litmus +++ b/litmus/VULKAN/Kronos-Group/test2.litmus @@ -1,5 +1,6 @@ VULKAN test2 "Fails: Acquire is missing sc0" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test2.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/test20.litmus b/litmus/VULKAN/Kronos-Group/test20.litmus index f286069c30..894ac6e92e 100644 --- a/litmus/VULKAN/Kronos-Group/test20.litmus +++ b/litmus/VULKAN/Kronos-Group/test20.litmus @@ -1,5 +1,6 @@ VULKAN test20 "Passes because the second atomic performs an av op on the first atomic" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test20.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/test21.litmus b/litmus/VULKAN/Kronos-Group/test21.litmus index c1946d65f0..fb651ca9bd 100644 --- a/litmus/VULKAN/Kronos-Group/test21.litmus +++ b/litmus/VULKAN/Kronos-Group/test21.litmus @@ -1,5 +1,6 @@ VULKAN test21 "Fails because the scope of the av/vis ops aren't big enough" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test21.test" { P1:r0=0; P1:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/test3.litmus b/litmus/VULKAN/Kronos-Group/test3.litmus index 53ad0d98cb..b2550d015b 100644 --- a/litmus/VULKAN/Kronos-Group/test3.litmus +++ b/litmus/VULKAN/Kronos-Group/test3.litmus @@ -1,5 +1,6 @@ VULKAN test3 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test3.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/test4.litmus b/litmus/VULKAN/Kronos-Group/test4.litmus index fa110b08e1..f8725ba9a7 100644 --- a/litmus/VULKAN/Kronos-Group/test4.litmus +++ b/litmus/VULKAN/Kronos-Group/test4.litmus @@ -1,5 +1,6 @@ VULKAN test4 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test4.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/test5.litmus b/litmus/VULKAN/Kronos-Group/test5.litmus index 0b71c48805..7631cf245b 100644 --- a/litmus/VULKAN/Kronos-Group/test5.litmus +++ b/litmus/VULKAN/Kronos-Group/test5.litmus @@ -1,5 +1,6 @@ VULKAN test5 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test5.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/test6.litmus b/litmus/VULKAN/Kronos-Group/test6.litmus index d719a0ad20..e919f5683b 100644 --- a/litmus/VULKAN/Kronos-Group/test6.litmus +++ b/litmus/VULKAN/Kronos-Group/test6.litmus @@ -1,5 +1,6 @@ VULKAN test6 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test6.test" { P3:r0=0; a=0; diff --git a/litmus/VULKAN/Kronos-Group/test7.litmus b/litmus/VULKAN/Kronos-Group/test7.litmus index e08c4c96d3..0167a246fd 100644 --- a/litmus/VULKAN/Kronos-Group/test7.litmus +++ b/litmus/VULKAN/Kronos-Group/test7.litmus @@ -1,5 +1,6 @@ VULKAN test7 "Fail: Wrong storage class semantics" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test7.test" { P3:r0=0; a=0; diff --git a/litmus/VULKAN/Kronos-Group/test9.litmus b/litmus/VULKAN/Kronos-Group/test9.litmus index ed3f131921..07642a542c 100644 --- a/litmus/VULKAN/Kronos-Group/test9.litmus +++ b/litmus/VULKAN/Kronos-Group/test9.litmus @@ -1,5 +1,6 @@ VULKAN test9 "Pass" +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/test9.test" { P2:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Kronos-Group/waw.litmus b/litmus/VULKAN/Kronos-Group/waw.litmus index 154f0be3f5..d632dfbef5 100644 --- a/litmus/VULKAN/Kronos-Group/waw.litmus +++ b/litmus/VULKAN/Kronos-Group/waw.litmus @@ -1,5 +1,6 @@ VULKAN waw "WaW hazard between the first two threads. The third thread should see the write from the second thread." +"https://github.com/KhronosGroup/Vulkan-MemoryModel/blob/master/alloy/tests/waw.test" { P1:r0=0; P2:r1=0; diff --git a/litmus/VULKAN/Manual/MP-avvis.litmus b/litmus/VULKAN/Manual/MP-avvis.litmus index 407fd67bbf..0363c5f10e 100644 --- a/litmus/VULKAN/Manual/MP-avvis.litmus +++ b/litmus/VULKAN/Manual/MP-avvis.litmus @@ -1,4 +1,4 @@ -Vulkan NO-avvis +Vulkan MP-avvis "Av/Vis + Rel/Acq forbids the behavior" { P1:r0=0; P1:r1=0;