Commit 961174f8 authored Jan 04, 2020 by Lei Zhang

[mlir][spirv] Fix SPV_MM_Vulkan extension reqirements

SPV_MM_Vulkan can be enabled by the SPV_KHR_vulkan_memory_model extension.

Differential Revision: https://reviews.llvm.org/D72764

parent ccedb918

mlir/include/mlir/Dialect/SPIRV/SPIRVBase.td

+1 −0

Original line number	Diff line number	Diff line
		@@ -2706,6 +2706,7 @@ def SPV_MM_OpenCL : I32EnumAttrCase<"OpenCL", 2> {
		def SPV_MM_Vulkan : I32EnumAttrCase<"Vulkan", 3> {
		list<Availability> availability = [
		MinVersion<SPV_V_1_5>,
		Extension<[SPV_KHR_vulkan_memory_model]>,
		Capability<[SPV_C_VulkanMemoryModel]>
		];
		}

mlir/test/Dialect/SPIRV/availability.mlir

+1 −1

Original line number	Diff line number	Diff line
		@@ -44,7 +44,7 @@ func @module_logical_glsl450() {
		func @module_physical_storage_buffer64_vulkan() {
		// CHECK: spv.module min version: V_1_5
		// CHECK: spv.module max version: V_1_5
		// CHECK: spv.module extensions: [ [SPV_EXT_physical_storage_buffer, SPV_KHR_physical_storage_buffer] ]
		// CHECK: spv.module extensions: [ [SPV_EXT_physical_storage_buffer, SPV_KHR_physical_storage_buffer] [SPV_KHR_vulkan_memory_model] ]
		// CHECK: spv.module capabilities: [ [PhysicalStorageBufferAddresses] [VulkanMemoryModel] ]
		spv.module "PhysicalStorageBuffer64" "Vulkan" { }
		return