Vulkan-MemoryModel
Vulkan-MemoryModel copied to clipboard
Add tests
This PR adds manually written tests (coming from different resources) from testset. Tests have been rewritten using the litmus syntax of this repository. Some of the original tests use unsupported instructions (e.g., control flow) and thus are not included in this PR.
The tests from 889fcd9bec7dc617578eeb0393b08c3018f0d18a are variants of the test mentioned in #34