6 Commits

Author	SHA1	Message	Date
Alan Baker	d652ed3029	Vulkan memory model: semantics validation ... Ban sequentially consistent with VulkanKHR * Added validation check that SequentiallyConsistent memory semantics are not used if the memory model is VulkanKHR * Added tests * Fixed a bug in evaluating constant 32-bit integers and updated some handling to avoid inferring a value from a spec constant default Remaining memory semantics validation * Adds checks that OutputMemoryKHR, MakeAvailableKHR and MakeVisibleKHR are only used if the VulkanMemoryModelKHR capabailty is present * Added checks that MakeAvailableKHR requires release semantics * Added checks that MakeVisibleKHR requires acquire semantics * Added checks that MakeAvailableKHR and MakeVisibleKHR require a storage class	2018-11-19 11:44:20 -05:00
Ben Ashbaugh	d3f88b0841	allow atomics on Function pointers for OpenCL (#1955)	2018-10-09 11:33:01 -04:00
Lei Zhang	1225324ae2	VK_KHR_shader_atomic_int64 covers OpAtomic{Load|Store}	2018-09-26 16:45:37 -04:00
Lei Zhang	63265097e5	Add support for VK_KHR_shader_atomic_int64 in validator	2018-09-14 14:07:25 -04:00
dan sinclair	32ccf0d04c	Update diag() in validate_atomics (#1753) ... This CL updates validate_atomics to explicitly provide the instruction when caling diag().	2018-07-31 17:20:43 -04:00
dan sinclair	e70a412609	Move validation files to val/ directory (#1692) ... This CL moves the various validate files into the val/ directory with the rest of the validation infrastructure. This matches how opt/ is setup with the passes with the infrastructure.	2018-07-11 10:27:34 -04:00