[mlir][spirv] Update SPIR-V enums and ops with availability spec

[antiagainst]

Summary

This commit updates gen_spirv_dialect.py to query the grammar and
generate availability spec for various enum attribute definitions
and all defined ops.

[merge_guards_bot]

Unit tests: pass. 61172 tests passed, 0 failed and 729 were skipped.

clang-tidy: fail. Please fix clang-tidy findings.

clang-format: pass.

Build artifacts: diff.json, clang-tidy.txt, clang-format.patch, CMakeCache.txt, console-log.txt, test-results.xml

[mravishankar]

This is awesome! Fantastic work!

mlir/utils/spirv/gen_spirv_dialect.py

141

Nit: rename this "get_capability_mapping". Just makes it clearer

400

Nit: use "capability_mapping" for variable name?

[antiagainst]

Address comments

[merge_guards_bot]

Unit tests: pass. 61172 tests passed, 0 failed and 729 were skipped.

clang-tidy: fail. Please fix clang-tidy findings.

clang-format: pass.

Build artifacts: diff.json, clang-tidy.txt, clang-format.patch, CMakeCache.txt, console-log.txt, test-results.xml

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

I32EnumAttr<"Capability", "valid SPIR-V Capability", [
       SPV_C_IntegerFunctions2INTEL, SPV_C_SubgroupAvcMotionEstimationINTEL,
       SPV_C_SubgroupAvcMotionEstimationIntraINTEL,
       SPV_C_SubgroupAvcMotionEstimationChromaINTEL
     ]> {
   let cppNamespace = "::mlir::spirv";
 }
 
 def SPV_AM_Logical                 : I32EnumAttrCase<"Logical", 0>;
-def SPV_AM_Physical32              : I32EnumAttrCase<"Physical32", 1>;
-def SPV_AM_Physical64              : I32EnumAttrCase<"Physical64", 2>;
+def SPV_AM_Physical32              : I32EnumAttrCase<"Physical32", 1> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Addresses]>
+  ];
+}
+def SPV_AM_Physical64              : I32EnumAttrCase<"Physical64", 2> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Addresses]>
+  ];
+}
 def SPV_AM_PhysicalStorageBuffer64 : I32EnumAttrCase<"PhysicalStorageBuffer64", 5348> {
   list<Availability> availability = [
     MinVersion<SPV_V_1_5>,
     Extension<[SPV_EXT_physical_storage_buffer, SPV_KHR_physical_storage_buffer]>,
     Capability<[SPV_C_PhysicalStorageBufferAddresses]>
   ];
 }
 
 def SPV_AddressingModelAttr :
     I32EnumAttr<"AddressingModel", "valid SPIR-V AddressingModel", [
       SPV_AM_Logical, SPV_AM_Physical32, SPV_AM_Physical64,
       SPV_AM_PhysicalStorageBuffer64
     ]> {
   let cppNamespace = "::mlir::spirv";
 }
 
-def SPV_BI_Position                    : I32EnumAttrCase<"Position", 0>;
-def SPV_BI_PointSize                   : I32EnumAttrCase<"PointSize", 1>;
-def SPV_BI_ClipDistance                : I32EnumAttrCase<"ClipDistance", 3>;
-def SPV_BI_CullDistance                : I32EnumAttrCase<"CullDistance", 4>;
-def SPV_BI_VertexId                    : I32EnumAttrCase<"VertexId", 5>;
-def SPV_BI_InstanceId                  : I32EnumAttrCase<"InstanceId", 6>;
-def SPV_BI_PrimitiveId                 : I32EnumAttrCase<"PrimitiveId", 7>;
-def SPV_BI_InvocationId                : I32EnumAttrCase<"InvocationId", 8>;
-def SPV_BI_Layer                       : I32EnumAttrCase<"Layer", 9>;
-def SPV_BI_ViewportIndex               : I32EnumAttrCase<"ViewportIndex", 10>;
-def SPV_BI_TessLevelOuter              : I32EnumAttrCase<"TessLevelOuter", 11>;
-def SPV_BI_TessLevelInner              : I32EnumAttrCase<"TessLevelInner", 12>;
-def SPV_BI_TessCoord                   : I32EnumAttrCase<"TessCoord", 13>;
-def SPV_BI_PatchVertices               : I32EnumAttrCase<"PatchVertices", 14>;
-def SPV_BI_FragCoord                   : I32EnumAttrCase<"FragCoord", 15>;
-def SPV_BI_PointCoord                  : I32EnumAttrCase<"PointCoord", 16>;
-def SPV_BI_FrontFacing                 : I32EnumAttrCase<"FrontFacing", 17>;
-def SPV_BI_SampleId                    : I32EnumAttrCase<"SampleId", 18>;
-def SPV_BI_SamplePosition              : I32EnumAttrCase<"SamplePosition", 19>;
-def SPV_BI_SampleMask                  : I32EnumAttrCase<"SampleMask", 20>;
-def SPV_BI_FragDepth                   : I32EnumAttrCase<"FragDepth", 22>;
-def SPV_BI_HelperInvocation            : I32EnumAttrCase<"HelperInvocation", 23>;
+def SPV_BI_Position                    : I32EnumAttrCase<"Position", 0> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_BI_PointSize                   : I32EnumAttrCase<"PointSize", 1> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_BI_ClipDistance                : I32EnumAttrCase<"ClipDistance", 3> {
+  list<Availability> availability = [
+    Capability<[SPV_C_ClipDistance]>
+  ];
+}
+def SPV_BI_CullDistance                : I32EnumAttrCase<"CullDistance", 4> {
+  list<Availability> availability = [
+    Capability<[SPV_C_CullDistance]>
+  ];
+}
+def SPV_BI_VertexId                    : I32EnumAttrCase<"VertexId", 5> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_BI_InstanceId                  : I32EnumAttrCase<"InstanceId", 6> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_BI_PrimitiveId                 : I32EnumAttrCase<"PrimitiveId", 7> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Geometry, SPV_C_RayTracingNV, SPV_C_Tessellation]>
+  ];
+}
+def SPV_BI_InvocationId                : I32EnumAttrCase<"InvocationId", 8> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Geometry, SPV_C_Tessellation]>
+  ];
+}
+def SPV_BI_Layer                       : I32EnumAttrCase<"Layer", 9> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Geometry, SPV_C_ShaderLayer, SPV_C_ShaderViewportIndexLayerEXT]>
+  ];
+}
+def SPV_BI_ViewportIndex               : I32EnumAttrCase<"ViewportIndex", 10> {
+  list<Availability> availability = [
+    Capability<[SPV_C_MultiViewport, SPV_C_ShaderViewportIndex, SPV_C_ShaderViewportIndexLayerEXT]>
+  ];
+}
+def SPV_BI_TessLevelOuter              : I32EnumAttrCase<"TessLevelOuter", 11> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Tessellation]>
+  ];
+}
+def SPV_BI_TessLevelInner              : I32EnumAttrCase<"TessLevelInner", 12> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Tessellation]>
+  ];
+}
+def SPV_BI_TessCoord                   : I32EnumAttrCase<"TessCoord", 13> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Tessellation]>
+  ];
+}
+def SPV_BI_PatchVertices               : I32EnumAttrCase<"PatchVertices", 14> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Tessellation]>
+  ];
+}
+def SPV_BI_FragCoord                   : I32EnumAttrCase<"FragCoord", 15> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_BI_PointCoord                  : I32EnumAttrCase<"PointCoord", 16> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_BI_FrontFacing                 : I32EnumAttrCase<"FrontFacing", 17> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_BI_SampleId                    : I32EnumAttrCase<"SampleId", 18> {
+  list<Availability> availability = [
+    Capability<[SPV_C_SampleRateShading]>
+  ];
+}
+def SPV_BI_SamplePosition              : I32EnumAttrCase<"SamplePosition", 19> {
+  list<Availability> availability = [
+    Capability<[SPV_C_SampleRateShading]>
+  ];
+}
+def SPV_BI_SampleMask                  : I32EnumAttrCase<"SampleMask", 20> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_BI_FragDepth                   : I32EnumAttrCase<"FragDepth", 22> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_BI_HelperInvocation            : I32EnumAttrCase<"HelperInvocation", 23> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
 def SPV_BI_NumWorkgroups               : I32EnumAttrCase<"NumWorkgroups", 24>;
 def SPV_BI_WorkgroupSize               : I32EnumAttrCase<"WorkgroupSize", 25>;
 def SPV_BI_WorkgroupId                 : I32EnumAttrCase<"WorkgroupId", 26>;
 def SPV_BI_LocalInvocationId           : I32EnumAttrCase<"LocalInvocationId", 27>;
 def SPV_BI_GlobalInvocationId          : I32EnumAttrCase<"GlobalInvocationId", 28>;
 def SPV_BI_LocalInvocationIndex        : I32EnumAttrCase<"LocalInvocationIndex", 29>;
-def SPV_BI_WorkDim                     : I32EnumAttrCase<"WorkDim", 30>;
-def SPV_BI_GlobalSize                  : I32EnumAttrCase<"GlobalSize", 31>;
-def SPV_BI_EnqueuedWorkgroupSize       : I32EnumAttrCase<"EnqueuedWorkgroupSize", 32>;
-def SPV_BI_GlobalOffset                : I32EnumAttrCase<"GlobalOffset", 33>;
-def SPV_BI_GlobalLinearId              : I32EnumAttrCase<"GlobalLinearId", 34>;
-def SPV_BI_SubgroupSize                : I32EnumAttrCase<"SubgroupSize", 36>;
-def SPV_BI_SubgroupMaxSize             : I32EnumAttrCase<"SubgroupMaxSize", 37>;
-def SPV_BI_NumSubgroups                : I32EnumAttrCase<"NumSubgroups", 38>;
-def SPV_BI_NumEnqueuedSubgroups        : I32EnumAttrCase<"NumEnqueuedSubgroups", 39>;
-def SPV_BI_SubgroupId                  : I32EnumAttrCase<"SubgroupId", 40>;
-def SPV_BI_SubgroupLocalInvocationId   : I32EnumAttrCase<"SubgroupLocalInvocationId", 41>;
-def SPV_BI_VertexIndex                 : I32EnumAttrCase<"VertexIndex", 42>;
-def SPV_BI_InstanceIndex               : I32EnumAttrCase<"InstanceIndex", 43>;
-def SPV_BI_SubgroupEqMask              : I32EnumAttrCase<"SubgroupEqMask", 4416>;
-def SPV_BI_SubgroupGeMask              : I32EnumAttrCase<"SubgroupGeMask", 4417>;
-def SPV_BI_SubgroupGtMask              : I32EnumAttrCase<"SubgroupGtMask", 4418>;
-def SPV_BI_SubgroupLeMask              : I32EnumAttrCase<"SubgroupLeMask", 4419>;
-def SPV_BI_SubgroupLtMask              : I32EnumAttrCase<"SubgroupLtMask", 4420>;
-def SPV_BI_BaseVertex                  : I32EnumAttrCase<"BaseVertex", 4424>;
-def SPV_BI_BaseInstance                : I32EnumAttrCase<"BaseInstance", 4425>;
-def SPV_BI_DrawIndex                   : I32EnumAttrCase<"DrawIndex", 4426>;
-def SPV_BI_DeviceIndex                 : I32EnumAttrCase<"DeviceIndex", 4438>;
-def SPV_BI_ViewIndex                   : I32EnumAttrCase<"ViewIndex", 4440>;
-def SPV_BI_BaryCoordNoPerspAMD         : I32EnumAttrCase<"BaryCoordNoPerspAMD", 4992>;
-def SPV_BI_BaryCoordNoPerspCentroidAMD : I32EnumAttrCase<"BaryCoordNoPerspCentroidAMD", 4993>;
-def SPV_BI_BaryCoordNoPerspSampleAMD   : I32EnumAttrCase<"BaryCoordNoPerspSampleAMD", 4994>;
-def SPV_BI_BaryCoordSmoothAMD          : I32EnumAttrCase<"BaryCoordSmoothAMD", 4995>;
-def SPV_BI_BaryCoordSmoothCentroidAMD  : I32EnumAttrCase<"BaryCoordSmoothCentroidAMD", 4996>;
-def SPV_BI_BaryCoordSmoothSampleAMD    : I32EnumAttrCase<"BaryCoordSmoothSampleAMD", 4997>;
-def SPV_BI_BaryCoordPullModelAMD       : I32EnumAttrCase<"BaryCoordPullModelAMD", 4998>;
-def SPV_BI_FragStencilRefEXT           : I32EnumAttrCase<"FragStencilRefEXT", 5014>;
-def SPV_BI_ViewportMaskNV              : I32EnumAttrCase<"ViewportMaskNV", 5253>;
-def SPV_BI_SecondaryPositionNV         : I32EnumAttrCase<"SecondaryPositionNV", 5257>;
-def SPV_BI_SecondaryViewportMaskNV     : I32EnumAttrCase<"SecondaryViewportMaskNV", 5258>;
-def SPV_BI_PositionPerViewNV           : I32EnumAttrCase<"PositionPerViewNV", 5261>;
-def SPV_BI_ViewportMaskPerViewNV       : I32EnumAttrCase<"ViewportMaskPerViewNV", 5262>;
-def SPV_BI_FullyCoveredEXT             : I32EnumAttrCase<"FullyCoveredEXT", 5264>;
-def SPV_BI_TaskCountNV                 : I32EnumAttrCase<"TaskCountNV", 5274>;
-def SPV_BI_PrimitiveCountNV            : I32EnumAttrCase<"PrimitiveCountNV", 5275>;
-def SPV_BI_PrimitiveIndicesNV          : I32EnumAttrCase<"PrimitiveIndicesNV", 5276>;
-def SPV_BI_ClipDistancePerViewNV       : I32EnumAttrCase<"ClipDistancePerViewNV", 5277>;
-def SPV_BI_CullDistancePerViewNV       : I32EnumAttrCase<"CullDistancePerViewNV", 5278>;
-def SPV_BI_LayerPerViewNV              : I32EnumAttrCase<"LayerPerViewNV", 5279>;
-def SPV_BI_MeshViewCountNV             : I32EnumAttrCase<"MeshViewCountNV", 5280>;
-def SPV_BI_MeshViewIndicesNV           : I32EnumAttrCase<"MeshViewIndicesNV", 5281>;
-def SPV_BI_BaryCoordNV                 : I32EnumAttrCase<"BaryCoordNV", 5286>;
-def SPV_BI_BaryCoordNoPerspNV          : I32EnumAttrCase<"BaryCoordNoPerspNV", 5287>;
-def SPV_BI_FragSizeEXT                 : I32EnumAttrCase<"FragSizeEXT", 5292>;
-def SPV_BI_FragInvocationCountEXT      : I32EnumAttrCase<"FragInvocationCountEXT", 5293>;
-def SPV_BI_LaunchIdNV                  : I32EnumAttrCase<"LaunchIdNV", 5319>;
-def SPV_BI_LaunchSizeNV                : I32EnumAttrCase<"LaunchSizeNV", 5320>;
-def SPV_BI_WorldRayOriginNV            : I32EnumAttrCase<"WorldRayOriginNV", 5321>;
-def SPV_BI_WorldRayDirectionNV         : I32EnumAttrCase<"WorldRayDirectionNV", 5322>;
-def SPV_BI_ObjectRayOriginNV           : I32EnumAttrCase<"ObjectRayOriginNV", 5323>;
-def SPV_BI_ObjectRayDirectionNV        : I32EnumAttrCase<"ObjectRayDirectionNV", 5324>;
-def SPV_BI_RayTminNV                   : I32EnumAttrCase<"RayTminNV", 5325>;
-def SPV_BI_RayTmaxNV                   : I32EnumAttrCase<"RayTmaxNV", 5326>;
-def SPV_BI_InstanceCustomIndexNV       : I32EnumAttrCase<"InstanceCustomIndexNV", 5327>;
-def SPV_BI_ObjectToWorldNV             : I32EnumAttrCase<"ObjectToWorldNV", 5330>;
-def SPV_BI_WorldToObjectNV             : I32EnumAttrCase<"WorldToObjectNV", 5331>;
-def SPV_BI_HitTNV                      : I32EnumAttrCase<"HitTNV", 5332>;
-def SPV_BI_HitKindNV                   : I32EnumAttrCase<"HitKindNV", 5333>;
-def SPV_BI_IncomingRayFlagsNV          : I32EnumAttrCase<"IncomingRayFlagsNV", 5351>;
-def SPV_BI_WarpsPerSMNV                : I32EnumAttrCase<"WarpsPerSMNV", 5374>;
-def SPV_BI_SMCountNV                   : I32EnumAttrCase<"SMCountNV", 5375>;
-def SPV_BI_WarpIDNV                    : I32EnumAttrCase<"WarpIDNV", 5376>;
-def SPV_BI_SMIDNV                      : I32EnumAttrCase<"SMIDNV", 5377>;
+def SPV_BI_WorkDim                     : I32EnumAttrCase<"WorkDim", 30> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_BI_GlobalSize                  : I32EnumAttrCase<"GlobalSize", 31> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_BI_EnqueuedWorkgroupSize       : I32EnumAttrCase<"EnqueuedWorkgroupSize", 32> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_BI_GlobalOffset                : I32EnumAttrCase<"GlobalOffset", 33> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_BI_GlobalLinearId              : I32EnumAttrCase<"GlobalLinearId", 34> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_BI_SubgroupSize                : I32EnumAttrCase<"SubgroupSize", 36> {
+  list<Availability> availability = [
+    Capability<[SPV_C_GroupNonUniform, SPV_C_Kernel, SPV_C_SubgroupBallotKHR]>
+  ];
+}
+def SPV_BI_SubgroupMaxSize             : I32EnumAttrCase<"SubgroupMaxSize", 37> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_BI_NumSubgroups                : I32EnumAttrCase<"NumSubgroups", 38> {
+  list<Availability> availability = [
+    Capability<[SPV_C_GroupNonUniform, SPV_C_Kernel]>
+  ];
+}
+def SPV_BI_NumEnqueuedSubgroups        : I32EnumAttrCase<"NumEnqueuedSubgroups", 39> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_BI_SubgroupId                  : I32EnumAttrCase<"SubgroupId", 40> {
+  list<Availability> availability = [
+    Capability<[SPV_C_GroupNonUniform, SPV_C_Kernel]>
+  ];
+}
+def SPV_BI_SubgroupLocalInvocationId   : I32EnumAttrCase<"SubgroupLocalInvocationId", 41> {
+  list<Availability> availability = [
+    Capability<[SPV_C_GroupNonUniform, SPV_C_Kernel, SPV_C_SubgroupBallotKHR]>
+  ];
+}
+def SPV_BI_VertexIndex                 : I32EnumAttrCase<"VertexIndex", 42> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_BI_InstanceIndex               : I32EnumAttrCase<"InstanceIndex", 43> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_BI_SubgroupEqMask              : I32EnumAttrCase<"SubgroupEqMask", 4416> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_3>,
+    Capability<[SPV_C_GroupNonUniformBallot, SPV_C_SubgroupBallotKHR]>
+  ];
+}
+def SPV_BI_SubgroupGeMask              : I32EnumAttrCase<"SubgroupGeMask", 4417> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_3>,
+    Capability<[SPV_C_GroupNonUniformBallot, SPV_C_SubgroupBallotKHR]>
+  ];
+}
+def SPV_BI_SubgroupGtMask              : I32EnumAttrCase<"SubgroupGtMask", 4418> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_3>,
+    Capability<[SPV_C_GroupNonUniformBallot, SPV_C_SubgroupBallotKHR]>
+  ];
+}
+def SPV_BI_SubgroupLeMask              : I32EnumAttrCase<"SubgroupLeMask", 4419> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_3>,
+    Capability<[SPV_C_GroupNonUniformBallot, SPV_C_SubgroupBallotKHR]>
+  ];
+}
+def SPV_BI_SubgroupLtMask              : I32EnumAttrCase<"SubgroupLtMask", 4420> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_3>,
+    Capability<[SPV_C_GroupNonUniformBallot, SPV_C_SubgroupBallotKHR]>
+  ];
+}
+def SPV_BI_BaseVertex                  : I32EnumAttrCase<"BaseVertex", 4424> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_3>,
+    Extension<[SPV_KHR_shader_draw_parameters]>,
+    Capability<[SPV_C_DrawParameters]>
+  ];
+}
+def SPV_BI_BaseInstance                : I32EnumAttrCase<"BaseInstance", 4425> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_3>,
+    Extension<[SPV_KHR_shader_draw_parameters]>,
+    Capability<[SPV_C_DrawParameters]>
+  ];
+}
+def SPV_BI_DrawIndex                   : I32EnumAttrCase<"DrawIndex", 4426> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_3>,
+    Extension<[SPV_KHR_shader_draw_parameters, SPV_NV_mesh_shader]>,
+    Capability<[SPV_C_DrawParameters, SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_BI_DeviceIndex                 : I32EnumAttrCase<"DeviceIndex", 4438> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_3>,
+    Extension<[SPV_KHR_device_group]>,
+    Capability<[SPV_C_DeviceGroup]>
+  ];
+}
+def SPV_BI_ViewIndex                   : I32EnumAttrCase<"ViewIndex", 4440> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_3>,
+    Extension<[SPV_KHR_multiview]>,
+    Capability<[SPV_C_MultiView]>
+  ];
+}
+def SPV_BI_BaryCoordNoPerspAMD         : I32EnumAttrCase<"BaryCoordNoPerspAMD", 4992> {
+  list<Availability> availability = [
+    Extension<[SPV_AMD_shader_explicit_vertex_parameter]>
+  ];
+}
+def SPV_BI_BaryCoordNoPerspCentroidAMD : I32EnumAttrCase<"BaryCoordNoPerspCentroidAMD", 4993> {
+  list<Availability> availability = [
+    Extension<[SPV_AMD_shader_explicit_vertex_parameter]>
+  ];
+}
+def SPV_BI_BaryCoordNoPerspSampleAMD   : I32EnumAttrCase<"BaryCoordNoPerspSampleAMD", 4994> {
+  list<Availability> availability = [
+    Extension<[SPV_AMD_shader_explicit_vertex_parameter]>
+  ];
+}
+def SPV_BI_BaryCoordSmoothAMD          : I32EnumAttrCase<"BaryCoordSmoothAMD", 4995> {
+  list<Availability> availability = [
+    Extension<[SPV_AMD_shader_explicit_vertex_parameter]>
+  ];
+}
+def SPV_BI_BaryCoordSmoothCentroidAMD  : I32EnumAttrCase<"BaryCoordSmoothCentroidAMD", 4996> {
+  list<Availability> availability = [
+    Extension<[SPV_AMD_shader_explicit_vertex_parameter]>
+  ];
+}
+def SPV_BI_BaryCoordSmoothSampleAMD    : I32EnumAttrCase<"BaryCoordSmoothSampleAMD", 4997> {
+  list<Availability> availability = [
+    Extension<[SPV_AMD_shader_explicit_vertex_parameter]>
+  ];
+}
+def SPV_BI_BaryCoordPullModelAMD       : I32EnumAttrCase<"BaryCoordPullModelAMD", 4998> {
+  list<Availability> availability = [
+    Extension<[SPV_AMD_shader_explicit_vertex_parameter]>
+  ];
+}
+def SPV_BI_FragStencilRefEXT           : I32EnumAttrCase<"FragStencilRefEXT", 5014> {
+  list<Availability> availability = [
+    Extension<[SPV_EXT_shader_stencil_export]>,
+    Capability<[SPV_C_StencilExportEXT]>
+  ];
+}
+def SPV_BI_ViewportMaskNV              : I32EnumAttrCase<"ViewportMaskNV", 5253> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_mesh_shader, SPV_NV_viewport_array2]>,
+    Capability<[SPV_C_MeshShadingNV, SPV_C_ShaderViewportMaskNV]>
+  ];
+}
+def SPV_BI_SecondaryPositionNV         : I32EnumAttrCase<"SecondaryPositionNV", 5257> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_stereo_view_rendering]>,
+    Capability<[SPV_C_ShaderStereoViewNV]>
+  ];
+}
+def SPV_BI_SecondaryViewportMaskNV     : I32EnumAttrCase<"SecondaryViewportMaskNV", 5258> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_stereo_view_rendering]>,
+    Capability<[SPV_C_ShaderStereoViewNV]>
+  ];
+}
+def SPV_BI_PositionPerViewNV           : I32EnumAttrCase<"PositionPerViewNV", 5261> {
+  list<Availability> availability = [
+    Extension<[SPV_NVX_multiview_per_view_attributes, SPV_NV_mesh_shader]>,
+    Capability<[SPV_C_MeshShadingNV, SPV_C_PerViewAttributesNV]>
+  ];
+}
+def SPV_BI_ViewportMaskPerViewNV       : I32EnumAttrCase<"ViewportMaskPerViewNV", 5262> {
+  list<Availability> availability = [
+    Extension<[SPV_NVX_multiview_per_view_attributes, SPV_NV_mesh_shader]>,
+    Capability<[SPV_C_MeshShadingNV, SPV_C_PerViewAttributesNV]>
+  ];
+}
+def SPV_BI_FullyCoveredEXT             : I32EnumAttrCase<"FullyCoveredEXT", 5264> {
+  list<Availability> availability = [
+    Extension<[SPV_EXT_fragment_fully_covered]>,
+    Capability<[SPV_C_FragmentFullyCoveredEXT]>
+  ];
+}
+def SPV_BI_TaskCountNV                 : I32EnumAttrCase<"TaskCountNV", 5274> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_mesh_shader]>,
+    Capability<[SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_BI_PrimitiveCountNV            : I32EnumAttrCase<"PrimitiveCountNV", 5275> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_mesh_shader]>,
+    Capability<[SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_BI_PrimitiveIndicesNV          : I32EnumAttrCase<"PrimitiveIndicesNV", 5276> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_mesh_shader]>,
+    Capability<[SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_BI_ClipDistancePerViewNV       : I32EnumAttrCase<"ClipDistancePerViewNV", 5277> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_mesh_shader]>,
+    Capability<[SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_BI_CullDistancePerViewNV       : I32EnumAttrCase<"CullDistancePerViewNV", 5278> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_mesh_shader]>,
+    Capability<[SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_BI_LayerPerViewNV              : I32EnumAttrCase<"LayerPerViewNV", 5279> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_mesh_shader]>,
+    Capability<[SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_BI_MeshViewCountNV             : I32EnumAttrCase<"MeshViewCountNV", 5280> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_mesh_shader]>,
+    Capability<[SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_BI_MeshViewIndicesNV           : I32EnumAttrCase<"MeshViewIndicesNV", 5281> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_mesh_shader]>,
+    Capability<[SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_BI_BaryCoordNV                 : I32EnumAttrCase<"BaryCoordNV", 5286> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_fragment_shader_barycentric]>,
+    Capability<[SPV_C_FragmentBarycentricNV]>
+  ];
+}
+def SPV_BI_BaryCoordNoPerspNV          : I32EnumAttrCase<"BaryCoordNoPerspNV", 5287> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_fragment_shader_barycentric]>,
+    Capability<[SPV_C_FragmentBarycentricNV]>
+  ];
+}
+def SPV_BI_FragSizeEXT                 : I32EnumAttrCase<"FragSizeEXT", 5292> {
+  list<Availability> availability = [
+    Extension<[SPV_EXT_fragment_invocation_density, SPV_NV_shading_rate]>,
+    Capability<[SPV_C_FragmentDensityEXT]>
+  ];
+}
+def SPV_BI_FragInvocationCountEXT      : I32EnumAttrCase<"FragInvocationCountEXT", 5293> {
+  list<Availability> availability = [
+    Extension<[SPV_EXT_fragment_invocation_density, SPV_NV_shading_rate]>,
+    Capability<[SPV_C_FragmentDensityEXT]>
+  ];
+}
+def SPV_BI_LaunchIdNV                  : I32EnumAttrCase<"LaunchIdNV", 5319> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_BI_LaunchSizeNV                : I32EnumAttrCase<"LaunchSizeNV", 5320> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_BI_WorldRayOriginNV            : I32EnumAttrCase<"WorldRayOriginNV", 5321> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_BI_WorldRayDirectionNV         : I32EnumAttrCase<"WorldRayDirectionNV", 5322> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_BI_ObjectRayOriginNV           : I32EnumAttrCase<"ObjectRayOriginNV", 5323> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_BI_ObjectRayDirectionNV        : I32EnumAttrCase<"ObjectRayDirectionNV", 5324> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_BI_RayTminNV                   : I32EnumAttrCase<"RayTminNV", 5325> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_BI_RayTmaxNV                   : I32EnumAttrCase<"RayTmaxNV", 5326> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_BI_InstanceCustomIndexNV       : I32EnumAttrCase<"InstanceCustomIndexNV", 5327> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_BI_ObjectToWorldNV             : I32EnumAttrCase<"ObjectToWorldNV", 5330> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_BI_WorldToObjectNV             : I32EnumAttrCase<"WorldToObjectNV", 5331> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_BI_HitTNV                      : I32EnumAttrCase<"HitTNV", 5332> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_BI_HitKindNV                   : I32EnumAttrCase<"HitKindNV", 5333> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_BI_IncomingRayFlagsNV          : I32EnumAttrCase<"IncomingRayFlagsNV", 5351> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_BI_WarpsPerSMNV                : I32EnumAttrCase<"WarpsPerSMNV", 5374> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_shader_sm_builtins]>,
+    Capability<[SPV_C_ShaderSMBuiltinsNV]>
+  ];
+}
+def SPV_BI_SMCountNV                   : I32EnumAttrCase<"SMCountNV", 5375> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_shader_sm_builtins]>,
+    Capability<[SPV_C_ShaderSMBuiltinsNV]>
+  ];
+}
+def SPV_BI_WarpIDNV                    : I32EnumAttrCase<"WarpIDNV", 5376> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_shader_sm_builtins]>,
+    Capability<[SPV_C_ShaderSMBuiltinsNV]>
+  ];
+}
+def SPV_BI_SMIDNV                      : I32EnumAttrCase<"SMIDNV", 5377> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_shader_sm_builtins]>,
+    Capability<[SPV_C_ShaderSMBuiltinsNV]>
+  ];
+}
 
 def SPV_BuiltInAttr :
     I32EnumAttr<"BuiltIn", "valid SPIR-V BuiltIn", [
       SPV_BI_Position, SPV_BI_PointSize, SPV_BI_ClipDistance, SPV_BI_CullDistance,
       SPV_BI_VertexId, SPV_BI_InstanceId, SPV_BI_PrimitiveId, SPV_BI_InvocationId,
       SPV_BI_Layer, SPV_BI_ViewportIndex, SPV_BI_TessLevelOuter,
       SPV_BI_TessLevelInner, SPV_BI_TessCoord, SPV_BI_PatchVertices,
       SPV_BI_FragCoord, SPV_BI_PointCoord, SPV_BI_FrontFacing, SPV_BI_SampleId,
I32EnumAttr<"BuiltIn", "valid SPIR-V BuiltIn", [
       SPV_BI_ObjectRayDirectionNV, SPV_BI_RayTminNV, SPV_BI_RayTmaxNV,
       SPV_BI_InstanceCustomIndexNV, SPV_BI_ObjectToWorldNV, SPV_BI_WorldToObjectNV,
       SPV_BI_HitTNV, SPV_BI_HitKindNV, SPV_BI_IncomingRayFlagsNV,
       SPV_BI_WarpsPerSMNV, SPV_BI_SMCountNV, SPV_BI_WarpIDNV, SPV_BI_SMIDNV
     ]> {
   let cppNamespace = "::mlir::spirv";
 }
 
-def SPV_D_RelaxedPrecision            : I32EnumAttrCase<"RelaxedPrecision", 0>;
-def SPV_D_SpecId                      : I32EnumAttrCase<"SpecId", 1>;
-def SPV_D_Block                       : I32EnumAttrCase<"Block", 2>;
-def SPV_D_BufferBlock                 : I32EnumAttrCase<"BufferBlock", 3>;
-def SPV_D_RowMajor                    : I32EnumAttrCase<"RowMajor", 4>;
-def SPV_D_ColMajor                    : I32EnumAttrCase<"ColMajor", 5>;
-def SPV_D_ArrayStride                 : I32EnumAttrCase<"ArrayStride", 6>;
-def SPV_D_MatrixStride                : I32EnumAttrCase<"MatrixStride", 7>;
-def SPV_D_GLSLShared                  : I32EnumAttrCase<"GLSLShared", 8>;
-def SPV_D_GLSLPacked                  : I32EnumAttrCase<"GLSLPacked", 9>;
-def SPV_D_CPacked                     : I32EnumAttrCase<"CPacked", 10>;
+def SPV_D_RelaxedPrecision            : I32EnumAttrCase<"RelaxedPrecision", 0> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_SpecId                      : I32EnumAttrCase<"SpecId", 1> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel, SPV_C_Shader]>
+  ];
+}
+def SPV_D_Block                       : I32EnumAttrCase<"Block", 2> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_BufferBlock                 : I32EnumAttrCase<"BufferBlock", 3> {
+  list<Availability> availability = [
+    MaxVersion<SPV_V_1_3>,
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_RowMajor                    : I32EnumAttrCase<"RowMajor", 4> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Matrix]>
+  ];
+}
+def SPV_D_ColMajor                    : I32EnumAttrCase<"ColMajor", 5> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Matrix]>
+  ];
+}
+def SPV_D_ArrayStride                 : I32EnumAttrCase<"ArrayStride", 6> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_MatrixStride                : I32EnumAttrCase<"MatrixStride", 7> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Matrix]>
+  ];
+}
+def SPV_D_GLSLShared                  : I32EnumAttrCase<"GLSLShared", 8> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_GLSLPacked                  : I32EnumAttrCase<"GLSLPacked", 9> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_CPacked                     : I32EnumAttrCase<"CPacked", 10> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
 def SPV_D_BuiltIn                     : I32EnumAttrCase<"BuiltIn", 11>;
-def SPV_D_NoPerspective               : I32EnumAttrCase<"NoPerspective", 13>;
-def SPV_D_Flat                        : I32EnumAttrCase<"Flat", 14>;
-def SPV_D_Patch                       : I32EnumAttrCase<"Patch", 15>;
-def SPV_D_Centroid                    : I32EnumAttrCase<"Centroid", 16>;
-def SPV_D_Sample                      : I32EnumAttrCase<"Sample", 17>;
-def SPV_D_Invariant                   : I32EnumAttrCase<"Invariant", 18>;
+def SPV_D_NoPerspective               : I32EnumAttrCase<"NoPerspective", 13> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_Flat                        : I32EnumAttrCase<"Flat", 14> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_Patch                       : I32EnumAttrCase<"Patch", 15> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Tessellation]>
+  ];
+}
+def SPV_D_Centroid                    : I32EnumAttrCase<"Centroid", 16> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_Sample                      : I32EnumAttrCase<"Sample", 17> {
+  list<Availability> availability = [
+    Capability<[SPV_C_SampleRateShading]>
+  ];
+}
+def SPV_D_Invariant                   : I32EnumAttrCase<"Invariant", 18> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
 def SPV_D_Restrict                    : I32EnumAttrCase<"Restrict", 19>;
 def SPV_D_Aliased                     : I32EnumAttrCase<"Aliased", 20>;
 def SPV_D_Volatile                    : I32EnumAttrCase<"Volatile", 21>;
-def SPV_D_Constant                    : I32EnumAttrCase<"Constant", 22>;
+def SPV_D_Constant                    : I32EnumAttrCase<"Constant", 22> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
 def SPV_D_Coherent                    : I32EnumAttrCase<"Coherent", 23>;
 def SPV_D_NonWritable                 : I32EnumAttrCase<"NonWritable", 24>;
 def SPV_D_NonReadable                 : I32EnumAttrCase<"NonReadable", 25>;
-def SPV_D_Uniform                     : I32EnumAttrCase<"Uniform", 26>;
-def SPV_D_UniformId                   : I32EnumAttrCase<"UniformId", 27>;
-def SPV_D_SaturatedConversion         : I32EnumAttrCase<"SaturatedConversion", 28>;
-def SPV_D_Stream                      : I32EnumAttrCase<"Stream", 29>;
-def SPV_D_Location                    : I32EnumAttrCase<"Location", 30>;
-def SPV_D_Component                   : I32EnumAttrCase<"Component", 31>;
-def SPV_D_Index                       : I32EnumAttrCase<"Index", 32>;
-def SPV_D_Binding                     : I32EnumAttrCase<"Binding", 33>;
-def SPV_D_DescriptorSet               : I32EnumAttrCase<"DescriptorSet", 34>;
-def SPV_D_Offset                      : I32EnumAttrCase<"Offset", 35>;
-def SPV_D_XfbBuffer                   : I32EnumAttrCase<"XfbBuffer", 36>;
-def SPV_D_XfbStride                   : I32EnumAttrCase<"XfbStride", 37>;
-def SPV_D_FuncParamAttr               : I32EnumAttrCase<"FuncParamAttr", 38>;
+def SPV_D_Uniform                     : I32EnumAttrCase<"Uniform", 26> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_UniformId                   : I32EnumAttrCase<"UniformId", 27> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_4>,
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_SaturatedConversion         : I32EnumAttrCase<"SaturatedConversion", 28> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_D_Stream                      : I32EnumAttrCase<"Stream", 29> {
+  list<Availability> availability = [
+    Capability<[SPV_C_GeometryStreams]>
+  ];
+}
+def SPV_D_Location                    : I32EnumAttrCase<"Location", 30> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_Component                   : I32EnumAttrCase<"Component", 31> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_Index                       : I32EnumAttrCase<"Index", 32> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_Binding                     : I32EnumAttrCase<"Binding", 33> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_DescriptorSet               : I32EnumAttrCase<"DescriptorSet", 34> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_Offset                      : I32EnumAttrCase<"Offset", 35> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_XfbBuffer                   : I32EnumAttrCase<"XfbBuffer", 36> {
+  list<Availability> availability = [
+    Capability<[SPV_C_TransformFeedback]>
+  ];
+}
+def SPV_D_XfbStride                   : I32EnumAttrCase<"XfbStride", 37> {
+  list<Availability> availability = [
+    Capability<[SPV_C_TransformFeedback]>
+  ];
+}
+def SPV_D_FuncParamAttr               : I32EnumAttrCase<"FuncParamAttr", 38> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
 def SPV_D_FPRoundingMode              : I32EnumAttrCase<"FPRoundingMode", 39>;
-def SPV_D_FPFastMathMode              : I32EnumAttrCase<"FPFastMathMode", 40>;
-def SPV_D_LinkageAttributes           : I32EnumAttrCase<"LinkageAttributes", 41>;
-def SPV_D_NoContraction               : I32EnumAttrCase<"NoContraction", 42>;
-def SPV_D_InputAttachmentIndex        : I32EnumAttrCase<"InputAttachmentIndex", 43>;
-def SPV_D_Alignment                   : I32EnumAttrCase<"Alignment", 44>;
-def SPV_D_MaxByteOffset               : I32EnumAttrCase<"MaxByteOffset", 45>;
-def SPV_D_AlignmentId                 : I32EnumAttrCase<"AlignmentId", 46>;
-def SPV_D_MaxByteOffsetId             : I32EnumAttrCase<"MaxByteOffsetId", 47>;
-def SPV_D_NoSignedWrap                : I32EnumAttrCase<"NoSignedWrap", 4469>;
-def SPV_D_NoUnsignedWrap              : I32EnumAttrCase<"NoUnsignedWrap", 4470>;
-def SPV_D_ExplicitInterpAMD           : I32EnumAttrCase<"ExplicitInterpAMD", 4999>;
-def SPV_D_OverrideCoverageNV          : I32EnumAttrCase<"OverrideCoverageNV", 5248>;
-def SPV_D_PassthroughNV               : I32EnumAttrCase<"PassthroughNV", 5250>;
-def SPV_D_ViewportRelativeNV          : I32EnumAttrCase<"ViewportRelativeNV", 5252>;
-def SPV_D_SecondaryViewportRelativeNV : I32EnumAttrCase<"SecondaryViewportRelativeNV", 5256>;
-def SPV_D_PerPrimitiveNV              : I32EnumAttrCase<"PerPrimitiveNV", 5271>;
-def SPV_D_PerViewNV                   : I32EnumAttrCase<"PerViewNV", 5272>;
-def SPV_D_PerTaskNV                   : I32EnumAttrCase<"PerTaskNV", 5273>;
-def SPV_D_PerVertexNV                 : I32EnumAttrCase<"PerVertexNV", 5285>;
-def SPV_D_NonUniform                  : I32EnumAttrCase<"NonUniform", 5300>;
-def SPV_D_RestrictPointer             : I32EnumAttrCase<"RestrictPointer", 5355>;
-def SPV_D_AliasedPointer              : I32EnumAttrCase<"AliasedPointer", 5356>;
-def SPV_D_CounterBuffer               : I32EnumAttrCase<"CounterBuffer", 5634>;
-def SPV_D_UserSemantic                : I32EnumAttrCase<"UserSemantic", 5635>;
-def SPV_D_UserTypeGOOGLE              : I32EnumAttrCase<"UserTypeGOOGLE", 5636>;
+def SPV_D_FPFastMathMode              : I32EnumAttrCase<"FPFastMathMode", 40> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_D_LinkageAttributes           : I32EnumAttrCase<"LinkageAttributes", 41> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Linkage]>
+  ];
+}
+def SPV_D_NoContraction               : I32EnumAttrCase<"NoContraction", 42> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_D_InputAttachmentIndex        : I32EnumAttrCase<"InputAttachmentIndex", 43> {
+  list<Availability> availability = [
+    Capability<[SPV_C_InputAttachment]>
+  ];
+}
+def SPV_D_Alignment                   : I32EnumAttrCase<"Alignment", 44> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_D_MaxByteOffset               : I32EnumAttrCase<"MaxByteOffset", 45> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_1>,
+    Capability<[SPV_C_Addresses]>
+  ];
+}
+def SPV_D_AlignmentId                 : I32EnumAttrCase<"AlignmentId", 46> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_2>,
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_D_MaxByteOffsetId             : I32EnumAttrCase<"MaxByteOffsetId", 47> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_2>,
+    Capability<[SPV_C_Addresses]>
+  ];
+}
+def SPV_D_NoSignedWrap                : I32EnumAttrCase<"NoSignedWrap", 4469> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_4>,
+    Extension<[SPV_KHR_no_integer_wrap_decoration]>
+  ];
+}
+def SPV_D_NoUnsignedWrap              : I32EnumAttrCase<"NoUnsignedWrap", 4470> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_4>,
+    Extension<[SPV_KHR_no_integer_wrap_decoration]>
+  ];
+}
+def SPV_D_ExplicitInterpAMD           : I32EnumAttrCase<"ExplicitInterpAMD", 4999> {
+  list<Availability> availability = [
+    Extension<[SPV_AMD_shader_explicit_vertex_parameter]>
+  ];
+}
+def SPV_D_OverrideCoverageNV          : I32EnumAttrCase<"OverrideCoverageNV", 5248> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_sample_mask_override_coverage]>,
+    Capability<[SPV_C_SampleMaskOverrideCoverageNV]>
+  ];
+}
+def SPV_D_PassthroughNV               : I32EnumAttrCase<"PassthroughNV", 5250> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_geometry_shader_passthrough]>,
+    Capability<[SPV_C_GeometryShaderPassthroughNV]>
+  ];
+}
+def SPV_D_ViewportRelativeNV          : I32EnumAttrCase<"ViewportRelativeNV", 5252> {
+  list<Availability> availability = [
+    Capability<[SPV_C_ShaderViewportMaskNV]>
+  ];
+}
+def SPV_D_SecondaryViewportRelativeNV : I32EnumAttrCase<"SecondaryViewportRelativeNV", 5256> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_stereo_view_rendering]>,
+    Capability<[SPV_C_ShaderStereoViewNV]>
+  ];
+}
+def SPV_D_PerPrimitiveNV              : I32EnumAttrCase<"PerPrimitiveNV", 5271> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_mesh_shader]>,
+    Capability<[SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_D_PerViewNV                   : I32EnumAttrCase<"PerViewNV", 5272> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_mesh_shader]>,
+    Capability<[SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_D_PerTaskNV                   : I32EnumAttrCase<"PerTaskNV", 5273> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_mesh_shader]>,
+    Capability<[SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_D_PerVertexNV                 : I32EnumAttrCase<"PerVertexNV", 5285> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_fragment_shader_barycentric]>,
+    Capability<[SPV_C_FragmentBarycentricNV]>
+  ];
+}
+def SPV_D_NonUniform                  : I32EnumAttrCase<"NonUniform", 5300> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_5>,
+    Capability<[SPV_C_ShaderNonUniform]>
+  ];
+}
+def SPV_D_RestrictPointer             : I32EnumAttrCase<"RestrictPointer", 5355> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_5>,
+    Extension<[SPV_EXT_physical_storage_buffer, SPV_KHR_physical_storage_buffer]>,
+    Capability<[SPV_C_PhysicalStorageBufferAddresses]>
+  ];
+}
+def SPV_D_AliasedPointer              : I32EnumAttrCase<"AliasedPointer", 5356> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_5>,
+    Extension<[SPV_EXT_physical_storage_buffer, SPV_KHR_physical_storage_buffer]>,
+    Capability<[SPV_C_PhysicalStorageBufferAddresses]>
+  ];
+}
+def SPV_D_CounterBuffer               : I32EnumAttrCase<"CounterBuffer", 5634> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_4>
+  ];
+}
+def SPV_D_UserSemantic                : I32EnumAttrCase<"UserSemantic", 5635> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_4>
+  ];
+}
+def SPV_D_UserTypeGOOGLE              : I32EnumAttrCase<"UserTypeGOOGLE", 5636> {
+  list<Availability> availability = [
+    Extension<[SPV_GOOGLE_user_type]>
+  ];
+}
 
 def SPV_DecorationAttr :
     I32EnumAttr<"Decoration", "valid SPIR-V Decoration", [
       SPV_D_RelaxedPrecision, SPV_D_SpecId, SPV_D_Block, SPV_D_BufferBlock,
       SPV_D_RowMajor, SPV_D_ColMajor, SPV_D_ArrayStride, SPV_D_MatrixStride,
       SPV_D_GLSLShared, SPV_D_GLSLPacked, SPV_D_CPacked, SPV_D_BuiltIn,
       SPV_D_NoPerspective, SPV_D_Flat, SPV_D_Patch, SPV_D_Centroid, SPV_D_Sample,
       SPV_D_Invariant, SPV_D_Restrict, SPV_D_Aliased, SPV_D_Volatile, SPV_D_Constant,
I32EnumAttr<"Decoration", "valid SPIR-V Decoration", [
       SPV_D_SecondaryViewportRelativeNV, SPV_D_PerPrimitiveNV, SPV_D_PerViewNV,
       SPV_D_PerTaskNV, SPV_D_PerVertexNV, SPV_D_NonUniform, SPV_D_RestrictPointer,
       SPV_D_AliasedPointer, SPV_D_CounterBuffer, SPV_D_UserSemantic,
       SPV_D_UserTypeGOOGLE
     ]> {
   let cppNamespace = "::mlir::spirv";
 }
 
-def SPV_D_1D          : I32EnumAttrCase<"Dim1D", 0>;
-def SPV_D_2D          : I32EnumAttrCase<"Dim2D", 1>;
+def SPV_D_1D          : I32EnumAttrCase<"Dim1D", 0> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Image1D, SPV_C_Sampled1D]>
+  ];
+}
+def SPV_D_2D          : I32EnumAttrCase<"Dim2D", 1> {
+  list<Availability> availability = [
+    Capability<[SPV_C_ImageMSArray, SPV_C_Kernel, SPV_C_Shader]>
+  ];
+}
 def SPV_D_3D          : I32EnumAttrCase<"Dim3D", 2>;
-def SPV_D_Cube        : I32EnumAttrCase<"Cube", 3>;
-def SPV_D_Rect        : I32EnumAttrCase<"Rect", 4>;
-def SPV_D_Buffer      : I32EnumAttrCase<"Buffer", 5>;
-def SPV_D_SubpassData : I32EnumAttrCase<"SubpassData", 6>;
+def SPV_D_Cube        : I32EnumAttrCase<"Cube", 3> {
+  list<Availability> availability = [
+    Capability<[SPV_C_ImageCubeArray, SPV_C_Shader]>
+  ];
+}
+def SPV_D_Rect        : I32EnumAttrCase<"Rect", 4> {
+  list<Availability> availability = [
+    Capability<[SPV_C_ImageRect, SPV_C_SampledRect]>
+  ];
+}
+def SPV_D_Buffer      : I32EnumAttrCase<"Buffer", 5> {
+  list<Availability> availability = [
+    Capability<[SPV_C_ImageBuffer, SPV_C_SampledBuffer]>
+  ];
+}
+def SPV_D_SubpassData : I32EnumAttrCase<"SubpassData", 6> {
+  list<Availability> availability = [
+    Capability<[SPV_C_InputAttachment]>
+  ];
+}
 
 def SPV_DimAttr :
     I32EnumAttr<"Dim", "valid SPIR-V Dim", [
       SPV_D_1D, SPV_D_2D, SPV_D_3D, SPV_D_Cube, SPV_D_Rect, SPV_D_Buffer,
       SPV_D_SubpassData
     ]> {
   let cppNamespace = "::mlir::spirv";
 }
 
-def SPV_EM_Invocations                      : I32EnumAttrCase<"Invocations", 0>;
-def SPV_EM_SpacingEqual                     : I32EnumAttrCase<"SpacingEqual", 1>;
-def SPV_EM_SpacingFractionalEven            : I32EnumAttrCase<"SpacingFractionalEven", 2>;
-def SPV_EM_SpacingFractionalOdd             : I32EnumAttrCase<"SpacingFractionalOdd", 3>;
-def SPV_EM_VertexOrderCw                    : I32EnumAttrCase<"VertexOrderCw", 4>;
-def SPV_EM_VertexOrderCcw                   : I32EnumAttrCase<"VertexOrderCcw", 5>;
-def SPV_EM_PixelCenterInteger               : I32EnumAttrCase<"PixelCenterInteger", 6>;
-def SPV_EM_OriginUpperLeft                  : I32EnumAttrCase<"OriginUpperLeft", 7>;
-def SPV_EM_OriginLowerLeft                  : I32EnumAttrCase<"OriginLowerLeft", 8>;
-def SPV_EM_EarlyFragmentTests               : I32EnumAttrCase<"EarlyFragmentTests", 9>;
-def SPV_EM_PointMode                        : I32EnumAttrCase<"PointMode", 10>;
-def SPV_EM_Xfb                              : I32EnumAttrCase<"Xfb", 11>;
-def SPV_EM_DepthReplacing                   : I32EnumAttrCase<"DepthReplacing", 12>;
-def SPV_EM_DepthGreater                     : I32EnumAttrCase<"DepthGreater", 14>;
-def SPV_EM_DepthLess                        : I32EnumAttrCase<"DepthLess", 15>;
-def SPV_EM_DepthUnchanged                   : I32EnumAttrCase<"DepthUnchanged", 16>;
+def SPV_EM_Invocations                      : I32EnumAttrCase<"Invocations", 0> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Geometry]>
+  ];
+}
+def SPV_EM_SpacingEqual                     : I32EnumAttrCase<"SpacingEqual", 1> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Tessellation]>
+  ];
+}
+def SPV_EM_SpacingFractionalEven            : I32EnumAttrCase<"SpacingFractionalEven", 2> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Tessellation]>
+  ];
+}
+def SPV_EM_SpacingFractionalOdd             : I32EnumAttrCase<"SpacingFractionalOdd", 3> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Tessellation]>
+  ];
+}
+def SPV_EM_VertexOrderCw                    : I32EnumAttrCase<"VertexOrderCw", 4> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Tessellation]>
+  ];
+}
+def SPV_EM_VertexOrderCcw                   : I32EnumAttrCase<"VertexOrderCcw", 5> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Tessellation]>
+  ];
+}
+def SPV_EM_PixelCenterInteger               : I32EnumAttrCase<"PixelCenterInteger", 6> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_EM_OriginUpperLeft                  : I32EnumAttrCase<"OriginUpperLeft", 7> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_EM_OriginLowerLeft                  : I32EnumAttrCase<"OriginLowerLeft", 8> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_EM_EarlyFragmentTests               : I32EnumAttrCase<"EarlyFragmentTests", 9> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_EM_PointMode                        : I32EnumAttrCase<"PointMode", 10> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Tessellation]>
+  ];
+}
+def SPV_EM_Xfb                              : I32EnumAttrCase<"Xfb", 11> {
+  list<Availability> availability = [
+    Capability<[SPV_C_TransformFeedback]>
+  ];
+}
+def SPV_EM_DepthReplacing                   : I32EnumAttrCase<"DepthReplacing", 12> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_EM_DepthGreater                     : I32EnumAttrCase<"DepthGreater", 14> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_EM_DepthLess                        : I32EnumAttrCase<"DepthLess", 15> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_EM_DepthUnchanged                   : I32EnumAttrCase<"DepthUnchanged", 16> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
 def SPV_EM_LocalSize                        : I32EnumAttrCase<"LocalSize", 17>;
-def SPV_EM_LocalSizeHint                    : I32EnumAttrCase<"LocalSizeHint", 18>;
-def SPV_EM_InputPoints                      : I32EnumAttrCase<"InputPoints", 19>;
-def SPV_EM_InputLines                       : I32EnumAttrCase<"InputLines", 20>;
-def SPV_EM_InputLinesAdjacency              : I32EnumAttrCase<"InputLinesAdjacency", 21>;
-def SPV_EM_Triangles                        : I32EnumAttrCase<"Triangles", 22>;
-def SPV_EM_InputTrianglesAdjacency          : I32EnumAttrCase<"InputTrianglesAdjacency", 23>;
-def SPV_EM_Quads                            : I32EnumAttrCase<"Quads", 24>;
-def SPV_EM_Isolines                         : I32EnumAttrCase<"Isolines", 25>;
-def SPV_EM_OutputVertices                   : I32EnumAttrCase<"OutputVertices", 26>;
-def SPV_EM_OutputPoints                     : I32EnumAttrCase<"OutputPoints", 27>;
-def SPV_EM_OutputLineStrip                  : I32EnumAttrCase<"OutputLineStrip", 28>;
-def SPV_EM_OutputTriangleStrip              : I32EnumAttrCase<"OutputTriangleStrip", 29>;
-def SPV_EM_VecTypeHint                      : I32EnumAttrCase<"VecTypeHint", 30>;
-def SPV_EM_ContractionOff                   : I32EnumAttrCase<"ContractionOff", 31>;
-def SPV_EM_Initializer                      : I32EnumAttrCase<"Initializer", 33>;
-def SPV_EM_Finalizer                        : I32EnumAttrCase<"Finalizer", 34>;
-def SPV_EM_SubgroupSize                     : I32EnumAttrCase<"SubgroupSize", 35>;
-def SPV_EM_SubgroupsPerWorkgroup            : I32EnumAttrCase<"SubgroupsPerWorkgroup", 36>;
-def SPV_EM_SubgroupsPerWorkgroupId          : I32EnumAttrCase<"SubgroupsPerWorkgroupId", 37>;
-def SPV_EM_LocalSizeId                      : I32EnumAttrCase<"LocalSizeId", 38>;
-def SPV_EM_LocalSizeHintId                  : I32EnumAttrCase<"LocalSizeHintId", 39>;
-def SPV_EM_PostDepthCoverage                : I32EnumAttrCase<"PostDepthCoverage", 4446>;
-def SPV_EM_DenormPreserve                   : I32EnumAttrCase<"DenormPreserve", 4459>;
-def SPV_EM_DenormFlushToZero                : I32EnumAttrCase<"DenormFlushToZero", 4460>;
-def SPV_EM_SignedZeroInfNanPreserve         : I32EnumAttrCase<"SignedZeroInfNanPreserve", 4461>;
-def SPV_EM_RoundingModeRTE                  : I32EnumAttrCase<"RoundingModeRTE", 4462>;
-def SPV_EM_RoundingModeRTZ                  : I32EnumAttrCase<"RoundingModeRTZ", 4463>;
-def SPV_EM_StencilRefReplacingEXT           : I32EnumAttrCase<"StencilRefReplacingEXT", 5027>;
-def SPV_EM_OutputLinesNV                    : I32EnumAttrCase<"OutputLinesNV", 5269>;
-def SPV_EM_OutputPrimitivesNV               : I32EnumAttrCase<"OutputPrimitivesNV", 5270>;
-def SPV_EM_DerivativeGroupQuadsNV           : I32EnumAttrCase<"DerivativeGroupQuadsNV", 5289>;
-def SPV_EM_DerivativeGroupLinearNV          : I32EnumAttrCase<"DerivativeGroupLinearNV", 5290>;
-def SPV_EM_OutputTrianglesNV                : I32EnumAttrCase<"OutputTrianglesNV", 5298>;
-def SPV_EM_PixelInterlockOrderedEXT         : I32EnumAttrCase<"PixelInterlockOrderedEXT", 5366>;
-def SPV_EM_PixelInterlockUnorderedEXT       : I32EnumAttrCase<"PixelInterlockUnorderedEXT", 5367>;
-def SPV_EM_SampleInterlockOrderedEXT        : I32EnumAttrCase<"SampleInterlockOrderedEXT", 5368>;
-def SPV_EM_SampleInterlockUnorderedEXT      : I32EnumAttrCase<"SampleInterlockUnorderedEXT", 5369>;
-def SPV_EM_ShadingRateInterlockOrderedEXT   : I32EnumAttrCase<"ShadingRateInterlockOrderedEXT", 5370>;
-def SPV_EM_ShadingRateInterlockUnorderedEXT : I32EnumAttrCase<"ShadingRateInterlockUnorderedEXT", 5371>;
+def SPV_EM_LocalSizeHint                    : I32EnumAttrCase<"LocalSizeHint", 18> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_EM_InputPoints                      : I32EnumAttrCase<"InputPoints", 19> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Geometry]>
+  ];
+}
+def SPV_EM_InputLines                       : I32EnumAttrCase<"InputLines", 20> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Geometry]>
+  ];
+}
+def SPV_EM_InputLinesAdjacency              : I32EnumAttrCase<"InputLinesAdjacency", 21> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Geometry]>
+  ];
+}
+def SPV_EM_Triangles                        : I32EnumAttrCase<"Triangles", 22> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Geometry, SPV_C_Tessellation]>
+  ];
+}
+def SPV_EM_InputTrianglesAdjacency          : I32EnumAttrCase<"InputTrianglesAdjacency", 23> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Geometry]>
+  ];
+}
+def SPV_EM_Quads                            : I32EnumAttrCase<"Quads", 24> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Tessellation]>
+  ];
+}
+def SPV_EM_Isolines                         : I32EnumAttrCase<"Isolines", 25> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Tessellation]>
+  ];
+}
+def SPV_EM_OutputVertices                   : I32EnumAttrCase<"OutputVertices", 26> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Geometry, SPV_C_MeshShadingNV, SPV_C_Tessellation]>
+  ];
+}
+def SPV_EM_OutputPoints                     : I32EnumAttrCase<"OutputPoints", 27> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Geometry, SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_EM_OutputLineStrip                  : I32EnumAttrCase<"OutputLineStrip", 28> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Geometry]>
+  ];
+}
+def SPV_EM_OutputTriangleStrip              : I32EnumAttrCase<"OutputTriangleStrip", 29> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Geometry]>
+  ];
+}
+def SPV_EM_VecTypeHint                      : I32EnumAttrCase<"VecTypeHint", 30> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_EM_ContractionOff                   : I32EnumAttrCase<"ContractionOff", 31> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_EM_Initializer                      : I32EnumAttrCase<"Initializer", 33> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_1>,
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_EM_Finalizer                        : I32EnumAttrCase<"Finalizer", 34> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_1>,
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_EM_SubgroupSize                     : I32EnumAttrCase<"SubgroupSize", 35> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_1>,
+    Capability<[SPV_C_SubgroupDispatch]>
+  ];
+}
+def SPV_EM_SubgroupsPerWorkgroup            : I32EnumAttrCase<"SubgroupsPerWorkgroup", 36> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_1>,
+    Capability<[SPV_C_SubgroupDispatch]>
+  ];
+}
+def SPV_EM_SubgroupsPerWorkgroupId          : I32EnumAttrCase<"SubgroupsPerWorkgroupId", 37> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_2>,
+    Capability<[SPV_C_SubgroupDispatch]>
+  ];
+}
+def SPV_EM_LocalSizeId                      : I32EnumAttrCase<"LocalSizeId", 38> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_2>
+  ];
+}
+def SPV_EM_LocalSizeHintId                  : I32EnumAttrCase<"LocalSizeHintId", 39> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_2>,
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_EM_PostDepthCoverage                : I32EnumAttrCase<"PostDepthCoverage", 4446> {
+  list<Availability> availability = [
+    Extension<[SPV_KHR_post_depth_coverage]>,
+    Capability<[SPV_C_SampleMaskPostDepthCoverage]>
+  ];
+}
+def SPV_EM_DenormPreserve                   : I32EnumAttrCase<"DenormPreserve", 4459> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_4>,
+    Extension<[SPV_KHR_float_controls]>,
+    Capability<[SPV_C_DenormPreserve]>
+  ];
+}
+def SPV_EM_DenormFlushToZero                : I32EnumAttrCase<"DenormFlushToZero", 4460> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_4>,
+    Extension<[SPV_KHR_float_controls]>,
+    Capability<[SPV_C_DenormFlushToZero]>
+  ];
+}
+def SPV_EM_SignedZeroInfNanPreserve         : I32EnumAttrCase<"SignedZeroInfNanPreserve", 4461> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_4>,
+    Extension<[SPV_KHR_float_controls]>,
+    Capability<[SPV_C_SignedZeroInfNanPreserve]>
+  ];
+}
+def SPV_EM_RoundingModeRTE                  : I32EnumAttrCase<"RoundingModeRTE", 4462> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_4>,
+    Extension<[SPV_KHR_float_controls]>,
+    Capability<[SPV_C_RoundingModeRTE]>
+  ];
+}
+def SPV_EM_RoundingModeRTZ                  : I32EnumAttrCase<"RoundingModeRTZ", 4463> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_4>,
+    Extension<[SPV_KHR_float_controls]>,
+    Capability<[SPV_C_RoundingModeRTZ]>
+  ];
+}
+def SPV_EM_StencilRefReplacingEXT           : I32EnumAttrCase<"StencilRefReplacingEXT", 5027> {
+  list<Availability> availability = [
+    Extension<[SPV_EXT_shader_stencil_export]>,
+    Capability<[SPV_C_StencilExportEXT]>
+  ];
+}
+def SPV_EM_OutputLinesNV                    : I32EnumAttrCase<"OutputLinesNV", 5269> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_mesh_shader]>,
+    Capability<[SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_EM_OutputPrimitivesNV               : I32EnumAttrCase<"OutputPrimitivesNV", 5270> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_mesh_shader]>,
+    Capability<[SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_EM_DerivativeGroupQuadsNV           : I32EnumAttrCase<"DerivativeGroupQuadsNV", 5289> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_compute_shader_derivatives]>,
+    Capability<[SPV_C_ComputeDerivativeGroupQuadsNV]>
+  ];
+}
+def SPV_EM_DerivativeGroupLinearNV          : I32EnumAttrCase<"DerivativeGroupLinearNV", 5290> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_compute_shader_derivatives]>,
+    Capability<[SPV_C_ComputeDerivativeGroupLinearNV]>
+  ];
+}
+def SPV_EM_OutputTrianglesNV                : I32EnumAttrCase<"OutputTrianglesNV", 5298> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_mesh_shader]>,
+    Capability<[SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_EM_PixelInterlockOrderedEXT         : I32EnumAttrCase<"PixelInterlockOrderedEXT", 5366> {
+  list<Availability> availability = [
+    Extension<[SPV_EXT_fragment_shader_interlock]>,
+    Capability<[SPV_C_FragmentShaderPixelInterlockEXT]>
+  ];
+}
+def SPV_EM_PixelInterlockUnorderedEXT       : I32EnumAttrCase<"PixelInterlockUnorderedEXT", 5367> {
+  list<Availability> availability = [
+    Extension<[SPV_EXT_fragment_shader_interlock]>,
+    Capability<[SPV_C_FragmentShaderPixelInterlockEXT]>
+  ];
+}
+def SPV_EM_SampleInterlockOrderedEXT        : I32EnumAttrCase<"SampleInterlockOrderedEXT", 5368> {
+  list<Availability> availability = [
+    Extension<[SPV_EXT_fragment_shader_interlock]>,
+    Capability<[SPV_C_FragmentShaderSampleInterlockEXT]>
+  ];
+}
+def SPV_EM_SampleInterlockUnorderedEXT      : I32EnumAttrCase<"SampleInterlockUnorderedEXT", 5369> {
+  list<Availability> availability = [
+    Extension<[SPV_EXT_fragment_shader_interlock]>,
+    Capability<[SPV_C_FragmentShaderSampleInterlockEXT]>
+  ];
+}
+def SPV_EM_ShadingRateInterlockOrderedEXT   : I32EnumAttrCase<"ShadingRateInterlockOrderedEXT", 5370> {
+  list<Availability> availability = [
+    Extension<[SPV_EXT_fragment_shader_interlock]>,
+    Capability<[SPV_C_FragmentShaderShadingRateInterlockEXT]>
+  ];
+}
+def SPV_EM_ShadingRateInterlockUnorderedEXT : I32EnumAttrCase<"ShadingRateInterlockUnorderedEXT", 5371> {
+  list<Availability> availability = [
+    Extension<[SPV_EXT_fragment_shader_interlock]>,
+    Capability<[SPV_C_FragmentShaderShadingRateInterlockEXT]>
+  ];
+}
 
 def SPV_ExecutionModeAttr :
     I32EnumAttr<"ExecutionMode", "valid SPIR-V ExecutionMode", [
       SPV_EM_Invocations, SPV_EM_SpacingEqual, SPV_EM_SpacingFractionalEven,
       SPV_EM_SpacingFractionalOdd, SPV_EM_VertexOrderCw, SPV_EM_VertexOrderCcw,
       SPV_EM_PixelCenterInteger, SPV_EM_OriginUpperLeft, SPV_EM_OriginLowerLeft,
       SPV_EM_EarlyFragmentTests, SPV_EM_PointMode, SPV_EM_Xfb, SPV_EM_DepthReplacing,
       SPV_EM_DepthGreater, SPV_EM_DepthLess, SPV_EM_DepthUnchanged, SPV_EM_LocalSize,
I32EnumAttr<"ExecutionMode", "valid SPIR-V ExecutionMode", [
       SPV_EM_DerivativeGroupLinearNV, SPV_EM_OutputTrianglesNV,
       SPV_EM_PixelInterlockOrderedEXT, SPV_EM_PixelInterlockUnorderedEXT,
       SPV_EM_SampleInterlockOrderedEXT, SPV_EM_SampleInterlockUnorderedEXT,
       SPV_EM_ShadingRateInterlockOrderedEXT, SPV_EM_ShadingRateInterlockUnorderedEXT
     ]> {
   let cppNamespace = "::mlir::spirv";
 }
 
-def SPV_EM_Vertex                 : I32EnumAttrCase<"Vertex", 0>;
-def SPV_EM_TessellationControl    : I32EnumAttrCase<"TessellationControl", 1>;
-def SPV_EM_TessellationEvaluation : I32EnumAttrCase<"TessellationEvaluation", 2>;
-def SPV_EM_Geometry               : I32EnumAttrCase<"Geometry", 3>;
-def SPV_EM_Fragment               : I32EnumAttrCase<"Fragment", 4>;
-def SPV_EM_GLCompute              : I32EnumAttrCase<"GLCompute", 5>;
-def SPV_EM_Kernel                 : I32EnumAttrCase<"Kernel", 6>;
-def SPV_EM_TaskNV                 : I32EnumAttrCase<"TaskNV", 5267>;
-def SPV_EM_MeshNV                 : I32EnumAttrCase<"MeshNV", 5268>;
-def SPV_EM_RayGenerationNV        : I32EnumAttrCase<"RayGenerationNV", 5313>;
-def SPV_EM_IntersectionNV         : I32EnumAttrCase<"IntersectionNV", 5314>;
-def SPV_EM_AnyHitNV               : I32EnumAttrCase<"AnyHitNV", 5315>;
-def SPV_EM_ClosestHitNV           : I32EnumAttrCase<"ClosestHitNV", 5316>;
-def SPV_EM_MissNV                 : I32EnumAttrCase<"MissNV", 5317>;
-def SPV_EM_CallableNV             : I32EnumAttrCase<"CallableNV", 5318>;
+def SPV_EM_Vertex                 : I32EnumAttrCase<"Vertex", 0> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_EM_TessellationControl    : I32EnumAttrCase<"TessellationControl", 1> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Tessellation]>
+  ];
+}
+def SPV_EM_TessellationEvaluation : I32EnumAttrCase<"TessellationEvaluation", 2> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Tessellation]>
+  ];
+}
+def SPV_EM_Geometry               : I32EnumAttrCase<"Geometry", 3> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Geometry]>
+  ];
+}
+def SPV_EM_Fragment               : I32EnumAttrCase<"Fragment", 4> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_EM_GLCompute              : I32EnumAttrCase<"GLCompute", 5> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_EM_Kernel                 : I32EnumAttrCase<"Kernel", 6> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
+def SPV_EM_TaskNV                 : I32EnumAttrCase<"TaskNV", 5267> {
+  list<Availability> availability = [
+    Capability<[SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_EM_MeshNV                 : I32EnumAttrCase<"MeshNV", 5268> {
+  list<Availability> availability = [
+    Capability<[SPV_C_MeshShadingNV]>
+  ];
+}
+def SPV_EM_RayGenerationNV        : I32EnumAttrCase<"RayGenerationNV", 5313> {
+  list<Availability> availability = [
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_EM_IntersectionNV         : I32EnumAttrCase<"IntersectionNV", 5314> {
+  list<Availability> availability = [
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_EM_AnyHitNV               : I32EnumAttrCase<"AnyHitNV", 5315> {
+  list<Availability> availability = [
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_EM_ClosestHitNV           : I32EnumAttrCase<"ClosestHitNV", 5316> {
+  list<Availability> availability = [
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_EM_MissNV                 : I32EnumAttrCase<"MissNV", 5317> {
+  list<Availability> availability = [
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_EM_CallableNV             : I32EnumAttrCase<"CallableNV", 5318> {
+  list<Availability> availability = [
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
 
 def SPV_ExecutionModelAttr :
     I32EnumAttr<"ExecutionModel", "valid SPIR-V ExecutionModel", [
       SPV_EM_Vertex, SPV_EM_TessellationControl, SPV_EM_TessellationEvaluation,
       SPV_EM_Geometry, SPV_EM_Fragment, SPV_EM_GLCompute, SPV_EM_Kernel,
       SPV_EM_TaskNV, SPV_EM_MeshNV, SPV_EM_RayGenerationNV, SPV_EM_IntersectionNV,
       SPV_EM_AnyHitNV, SPV_EM_ClosestHitNV, SPV_EM_MissNV, SPV_EM_CallableNV
     ]> {

 def SPV_FunctionControlAttr :
     BitEnumAttr<"FunctionControl", "valid SPIR-V FunctionControl", [
       SPV_FC_None, SPV_FC_Inline, SPV_FC_DontInline, SPV_FC_Pure, SPV_FC_Const
     ]> {
   let cppNamespace = "::mlir::spirv";
 }
 
 def SPV_IF_Unknown      : I32EnumAttrCase<"Unknown", 0>;
-def SPV_IF_Rgba32f      : I32EnumAttrCase<"Rgba32f", 1>;
-def SPV_IF_Rgba16f      : I32EnumAttrCase<"Rgba16f", 2>;
-def SPV_IF_R32f         : I32EnumAttrCase<"R32f", 3>;
-def SPV_IF_Rgba8        : I32EnumAttrCase<"Rgba8", 4>;
-def SPV_IF_Rgba8Snorm   : I32EnumAttrCase<"Rgba8Snorm", 5>;
-def SPV_IF_Rg32f        : I32EnumAttrCase<"Rg32f", 6>;
-def SPV_IF_Rg16f        : I32EnumAttrCase<"Rg16f", 7>;
-def SPV_IF_R11fG11fB10f : I32EnumAttrCase<"R11fG11fB10f", 8>;
-def SPV_IF_R16f         : I32EnumAttrCase<"R16f", 9>;
-def SPV_IF_Rgba16       : I32EnumAttrCase<"Rgba16", 10>;
-def SPV_IF_Rgb10A2      : I32EnumAttrCase<"Rgb10A2", 11>;
-def SPV_IF_Rg16         : I32EnumAttrCase<"Rg16", 12>;
-def SPV_IF_Rg8          : I32EnumAttrCase<"Rg8", 13>;
-def SPV_IF_R16          : I32EnumAttrCase<"R16", 14>;
-def SPV_IF_R8           : I32EnumAttrCase<"R8", 15>;
-def SPV_IF_Rgba16Snorm  : I32EnumAttrCase<"Rgba16Snorm", 16>;
-def SPV_IF_Rg16Snorm    : I32EnumAttrCase<"Rg16Snorm", 17>;
-def SPV_IF_Rg8Snorm     : I32EnumAttrCase<"Rg8Snorm", 18>;
-def SPV_IF_R16Snorm     : I32EnumAttrCase<"R16Snorm", 19>;
-def SPV_IF_R8Snorm      : I32EnumAttrCase<"R8Snorm", 20>;
-def SPV_IF_Rgba32i      : I32EnumAttrCase<"Rgba32i", 21>;
-def SPV_IF_Rgba16i      : I32EnumAttrCase<"Rgba16i", 22>;
-def SPV_IF_Rgba8i       : I32EnumAttrCase<"Rgba8i", 23>;
-def SPV_IF_R32i         : I32EnumAttrCase<"R32i", 24>;
-def SPV_IF_Rg32i        : I32EnumAttrCase<"Rg32i", 25>;
-def SPV_IF_Rg16i        : I32EnumAttrCase<"Rg16i", 26>;
-def SPV_IF_Rg8i         : I32EnumAttrCase<"Rg8i", 27>;
-def SPV_IF_R16i         : I32EnumAttrCase<"R16i", 28>;
-def SPV_IF_R8i          : I32EnumAttrCase<"R8i", 29>;
-def SPV_IF_Rgba32ui     : I32EnumAttrCase<"Rgba32ui", 30>;
-def SPV_IF_Rgba16ui     : I32EnumAttrCase<"Rgba16ui", 31>;
-def SPV_IF_Rgba8ui      : I32EnumAttrCase<"Rgba8ui", 32>;
-def SPV_IF_R32ui        : I32EnumAttrCase<"R32ui", 33>;
-def SPV_IF_Rgb10a2ui    : I32EnumAttrCase<"Rgb10a2ui", 34>;
-def SPV_IF_Rg32ui       : I32EnumAttrCase<"Rg32ui", 35>;
-def SPV_IF_Rg16ui       : I32EnumAttrCase<"Rg16ui", 36>;
-def SPV_IF_Rg8ui        : I32EnumAttrCase<"Rg8ui", 37>;
-def SPV_IF_R16ui        : I32EnumAttrCase<"R16ui", 38>;
-def SPV_IF_R8ui         : I32EnumAttrCase<"R8ui", 39>;
+def SPV_IF_Rgba32f      : I32EnumAttrCase<"Rgba32f", 1> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_IF_Rgba16f      : I32EnumAttrCase<"Rgba16f", 2> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_IF_R32f         : I32EnumAttrCase<"R32f", 3> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_IF_Rgba8        : I32EnumAttrCase<"Rgba8", 4> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_IF_Rgba8Snorm   : I32EnumAttrCase<"Rgba8Snorm", 5> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_IF_Rg32f        : I32EnumAttrCase<"Rg32f", 6> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_Rg16f        : I32EnumAttrCase<"Rg16f", 7> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_R11fG11fB10f : I32EnumAttrCase<"R11fG11fB10f", 8> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_R16f         : I32EnumAttrCase<"R16f", 9> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_Rgba16       : I32EnumAttrCase<"Rgba16", 10> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_Rgb10A2      : I32EnumAttrCase<"Rgb10A2", 11> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_Rg16         : I32EnumAttrCase<"Rg16", 12> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_Rg8          : I32EnumAttrCase<"Rg8", 13> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_R16          : I32EnumAttrCase<"R16", 14> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_R8           : I32EnumAttrCase<"R8", 15> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_Rgba16Snorm  : I32EnumAttrCase<"Rgba16Snorm", 16> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_Rg16Snorm    : I32EnumAttrCase<"Rg16Snorm", 17> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_Rg8Snorm     : I32EnumAttrCase<"Rg8Snorm", 18> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_R16Snorm     : I32EnumAttrCase<"R16Snorm", 19> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_R8Snorm      : I32EnumAttrCase<"R8Snorm", 20> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_Rgba32i      : I32EnumAttrCase<"Rgba32i", 21> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_IF_Rgba16i      : I32EnumAttrCase<"Rgba16i", 22> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_IF_Rgba8i       : I32EnumAttrCase<"Rgba8i", 23> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_IF_R32i         : I32EnumAttrCase<"R32i", 24> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_IF_Rg32i        : I32EnumAttrCase<"Rg32i", 25> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_Rg16i        : I32EnumAttrCase<"Rg16i", 26> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_Rg8i         : I32EnumAttrCase<"Rg8i", 27> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_R16i         : I32EnumAttrCase<"R16i", 28> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_R8i          : I32EnumAttrCase<"R8i", 29> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_Rgba32ui     : I32EnumAttrCase<"Rgba32ui", 30> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_IF_Rgba16ui     : I32EnumAttrCase<"Rgba16ui", 31> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_IF_Rgba8ui      : I32EnumAttrCase<"Rgba8ui", 32> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_IF_R32ui        : I32EnumAttrCase<"R32ui", 33> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_IF_Rgb10a2ui    : I32EnumAttrCase<"Rgb10a2ui", 34> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_Rg32ui       : I32EnumAttrCase<"Rg32ui", 35> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_Rg16ui       : I32EnumAttrCase<"Rg16ui", 36> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_Rg8ui        : I32EnumAttrCase<"Rg8ui", 37> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_R16ui        : I32EnumAttrCase<"R16ui", 38> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
+def SPV_IF_R8ui         : I32EnumAttrCase<"R8ui", 39> {
+  list<Availability> availability = [
+    Capability<[SPV_C_StorageImageExtendedFormats]>
+  ];
+}
 
 def SPV_ImageFormatAttr :
     I32EnumAttr<"ImageFormat", "valid SPIR-V ImageFormat", [
       SPV_IF_Unknown, SPV_IF_Rgba32f, SPV_IF_Rgba16f, SPV_IF_R32f, SPV_IF_Rgba8,
       SPV_IF_Rgba8Snorm, SPV_IF_Rg32f, SPV_IF_Rg16f, SPV_IF_R11fG11fB10f,
       SPV_IF_R16f, SPV_IF_Rgba16, SPV_IF_Rgb10A2, SPV_IF_Rg16, SPV_IF_Rg8,
       SPV_IF_R16, SPV_IF_R8, SPV_IF_Rgba16Snorm, SPV_IF_Rg16Snorm, SPV_IF_Rg8Snorm,
       SPV_IF_R16Snorm, SPV_IF_R8Snorm, SPV_IF_Rgba32i, SPV_IF_Rgba16i, SPV_IF_Rgba8i,
       SPV_IF_R32i, SPV_IF_Rg32i, SPV_IF_Rg16i, SPV_IF_Rg8i, SPV_IF_R16i, SPV_IF_R8i,
       SPV_IF_Rgba32ui, SPV_IF_Rgba16ui, SPV_IF_Rgba8ui, SPV_IF_R32ui,
       SPV_IF_Rgb10a2ui, SPV_IF_Rg32ui, SPV_IF_Rg16ui, SPV_IF_Rg8ui, SPV_IF_R16ui,
       SPV_IF_R8ui
     ]> {
   let cppNamespace = "::mlir::spirv";
 }
 
-def SPV_LT_Export : I32EnumAttrCase<"Export", 0>;
-def SPV_LT_Import : I32EnumAttrCase<"Import", 1>;
+def SPV_LT_Export : I32EnumAttrCase<"Export", 0> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Linkage]>
+  ];
+}
+def SPV_LT_Import : I32EnumAttrCase<"Import", 1> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Linkage]>
+  ];
+}
 
 def SPV_LinkageTypeAttr :
     I32EnumAttr<"LinkageType", "valid SPIR-V LinkageType", [
       SPV_LT_Export, SPV_LT_Import
     ]> {
   let cppNamespace = "::mlir::spirv";
 }
 
 def SPV_LC_None               : BitEnumAttrCase<"None", 0x0000>;
 def SPV_LC_Unroll             : BitEnumAttrCase<"Unroll", 0x0001>;
 def SPV_LC_DontUnroll         : BitEnumAttrCase<"DontUnroll", 0x0002>;
-def SPV_LC_DependencyInfinite : BitEnumAttrCase<"DependencyInfinite", 0x0004>;
-def SPV_LC_DependencyLength   : BitEnumAttrCase<"DependencyLength", 0x0008>;
-def SPV_LC_MinIterations      : BitEnumAttrCase<"MinIterations", 0x0010>;
-def SPV_LC_MaxIterations      : BitEnumAttrCase<"MaxIterations", 0x0020>;
-def SPV_LC_IterationMultiple  : BitEnumAttrCase<"IterationMultiple", 0x0040>;
-def SPV_LC_PeelCount          : BitEnumAttrCase<"PeelCount", 0x0080>;
-def SPV_LC_PartialCount       : BitEnumAttrCase<"PartialCount", 0x0100>;
+def SPV_LC_DependencyInfinite : BitEnumAttrCase<"DependencyInfinite", 0x0004> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_1>
+  ];
+}
+def SPV_LC_DependencyLength   : BitEnumAttrCase<"DependencyLength", 0x0008> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_1>
+  ];
+}
+def SPV_LC_MinIterations      : BitEnumAttrCase<"MinIterations", 0x0010> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_4>
+  ];
+}
+def SPV_LC_MaxIterations      : BitEnumAttrCase<"MaxIterations", 0x0020> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_4>
+  ];
+}
+def SPV_LC_IterationMultiple  : BitEnumAttrCase<"IterationMultiple", 0x0040> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_4>
+  ];
+}
+def SPV_LC_PeelCount          : BitEnumAttrCase<"PeelCount", 0x0080> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_4>
+  ];
+}
+def SPV_LC_PartialCount       : BitEnumAttrCase<"PartialCount", 0x0100> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_4>
+  ];
+}
 
 def SPV_LoopControlAttr :
     BitEnumAttr<"LoopControl", "valid SPIR-V LoopControl", [
       SPV_LC_None, SPV_LC_Unroll, SPV_LC_DontUnroll, SPV_LC_DependencyInfinite,
       SPV_LC_DependencyLength, SPV_LC_MinIterations, SPV_LC_MaxIterations,
       SPV_LC_IterationMultiple, SPV_LC_PeelCount, SPV_LC_PartialCount
     ]> {
   let cppNamespace = "::mlir::spirv";
 }
 
 def SPV_MA_None                 : BitEnumAttrCase<"None", 0x0000>;
 def SPV_MA_Volatile             : BitEnumAttrCase<"Volatile", 0x0001>;
 def SPV_MA_Aligned              : BitEnumAttrCase<"Aligned", 0x0002>;
 def SPV_MA_Nontemporal          : BitEnumAttrCase<"Nontemporal", 0x0004>;
-def SPV_MA_MakePointerAvailable : BitEnumAttrCase<"MakePointerAvailable", 0x0008>;
-def SPV_MA_MakePointerVisible   : BitEnumAttrCase<"MakePointerVisible", 0x0010>;
-def SPV_MA_NonPrivatePointer    : BitEnumAttrCase<"NonPrivatePointer", 0x0020>;
+def SPV_MA_MakePointerAvailable : BitEnumAttrCase<"MakePointerAvailable", 0x0008> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_5>,
+    Capability<[SPV_C_VulkanMemoryModel]>
+  ];
+}
+def SPV_MA_MakePointerVisible   : BitEnumAttrCase<"MakePointerVisible", 0x0010> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_5>,
+    Capability<[SPV_C_VulkanMemoryModel]>
+  ];
+}
+def SPV_MA_NonPrivatePointer    : BitEnumAttrCase<"NonPrivatePointer", 0x0020> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_5>,
+    Capability<[SPV_C_VulkanMemoryModel]>
+  ];
+}
 
 def SPV_MemoryAccessAttr :
     BitEnumAttr<"MemoryAccess", "valid SPIR-V MemoryAccess", [
       SPV_MA_None, SPV_MA_Volatile, SPV_MA_Aligned, SPV_MA_Nontemporal,
       SPV_MA_MakePointerAvailable, SPV_MA_MakePointerVisible,
       SPV_MA_NonPrivatePointer
     ]> {
   let cppNamespace = "::mlir::spirv";
 }
 
-def SPV_MM_Simple  : I32EnumAttrCase<"Simple", 0>;
-def SPV_MM_GLSL450 : I32EnumAttrCase<"GLSL450", 1>;
-def SPV_MM_OpenCL  : I32EnumAttrCase<"OpenCL", 2>;
+def SPV_MM_Simple  : I32EnumAttrCase<"Simple", 0> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_MM_GLSL450 : I32EnumAttrCase<"GLSL450", 1> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_MM_OpenCL  : I32EnumAttrCase<"OpenCL", 2> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Kernel]>
+  ];
+}
 def SPV_MM_Vulkan  : I32EnumAttrCase<"Vulkan", 3> {
   list<Availability> availability = [
     MinVersion<SPV_V_1_5>,
     Capability<[SPV_C_VulkanMemoryModel]>
   ];
 }
 
 def SPV_MemoryModelAttr :
     I32EnumAttr<"MemoryModel", "valid SPIR-V MemoryModel", [
       SPV_MM_Simple, SPV_MM_GLSL450, SPV_MM_OpenCL, SPV_MM_Vulkan
     ]> {
   let cppNamespace = "::mlir::spirv";
 }
 
 def SPV_MS_None                   : BitEnumAttrCase<"None", 0x0000>;
 def SPV_MS_Acquire                : BitEnumAttrCase<"Acquire", 0x0002>;
 def SPV_MS_Release                : BitEnumAttrCase<"Release", 0x0004>;
 def SPV_MS_AcquireRelease         : BitEnumAttrCase<"AcquireRelease", 0x0008>;
 def SPV_MS_SequentiallyConsistent : BitEnumAttrCase<"SequentiallyConsistent", 0x0010>;
-def SPV_MS_UniformMemory          : BitEnumAttrCase<"UniformMemory", 0x0040>;
+def SPV_MS_UniformMemory          : BitEnumAttrCase<"UniformMemory", 0x0040> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
 def SPV_MS_SubgroupMemory         : BitEnumAttrCase<"SubgroupMemory", 0x0080>;
 def SPV_MS_WorkgroupMemory        : BitEnumAttrCase<"WorkgroupMemory", 0x0100>;
 def SPV_MS_CrossWorkgroupMemory   : BitEnumAttrCase<"CrossWorkgroupMemory", 0x0200>;
-def SPV_MS_AtomicCounterMemory    : BitEnumAttrCase<"AtomicCounterMemory", 0x0400>;
+def SPV_MS_AtomicCounterMemory    : BitEnumAttrCase<"AtomicCounterMemory", 0x0400> {
+  list<Availability> availability = [
+    Capability<[SPV_C_AtomicStorage]>
+  ];
+}
 def SPV_MS_ImageMemory            : BitEnumAttrCase<"ImageMemory", 0x0800>;
-def SPV_MS_OutputMemory           : BitEnumAttrCase<"OutputMemory", 0x1000>;
-def SPV_MS_MakeAvailable          : BitEnumAttrCase<"MakeAvailable", 0x2000>;
-def SPV_MS_MakeVisible            : BitEnumAttrCase<"MakeVisible", 0x4000>;
-def SPV_MS_Volatile               : BitEnumAttrCase<"Volatile", 0x8000>;
+def SPV_MS_OutputMemory           : BitEnumAttrCase<"OutputMemory", 0x1000> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_5>,
+    Capability<[SPV_C_VulkanMemoryModel]>
+  ];
+}
+def SPV_MS_MakeAvailable          : BitEnumAttrCase<"MakeAvailable", 0x2000> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_5>,
+    Capability<[SPV_C_VulkanMemoryModel]>
+  ];
+}
+def SPV_MS_MakeVisible            : BitEnumAttrCase<"MakeVisible", 0x4000> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_5>,
+    Capability<[SPV_C_VulkanMemoryModel]>
+  ];
+}
+def SPV_MS_Volatile               : BitEnumAttrCase<"Volatile", 0x8000> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_5>,
+    Extension<[SPV_KHR_vulkan_memory_model]>,
+    Capability<[SPV_C_VulkanMemoryModel]>
+  ];
+}
 
 def SPV_MemorySemanticsAttr :
     BitEnumAttr<"MemorySemantics", "valid SPIR-V MemorySemantics", [
       SPV_MS_None, SPV_MS_Acquire, SPV_MS_Release, SPV_MS_AcquireRelease,
       SPV_MS_SequentiallyConsistent, SPV_MS_UniformMemory, SPV_MS_SubgroupMemory,
       SPV_MS_WorkgroupMemory, SPV_MS_CrossWorkgroupMemory,
       SPV_MS_AtomicCounterMemory, SPV_MS_ImageMemory, SPV_MS_OutputMemory,
       SPV_MS_MakeAvailable, SPV_MS_MakeVisible, SPV_MS_Volatile
     ]> {
   let cppNamespace = "::mlir::spirv";
 }
 
 def SPV_S_CrossDevice : I32EnumAttrCase<"CrossDevice", 0>;
 def SPV_S_Device      : I32EnumAttrCase<"Device", 1>;
 def SPV_S_Workgroup   : I32EnumAttrCase<"Workgroup", 2>;
 def SPV_S_Subgroup    : I32EnumAttrCase<"Subgroup", 3>;
 def SPV_S_Invocation  : I32EnumAttrCase<"Invocation", 4>;
-def SPV_S_QueueFamily : I32EnumAttrCase<"QueueFamily", 5>;
+def SPV_S_QueueFamily : I32EnumAttrCase<"QueueFamily", 5> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_5>,
+    Capability<[SPV_C_VulkanMemoryModel]>
+  ];
+}
 
 def SPV_ScopeAttr :
     I32EnumAttr<"Scope", "valid SPIR-V Scope", [
       SPV_S_CrossDevice, SPV_S_Device, SPV_S_Workgroup, SPV_S_Subgroup,
       SPV_S_Invocation, SPV_S_QueueFamily
     ]> {
   let cppNamespace = "::mlir::spirv";
 }
 
 def SPV_SC_None        : BitEnumAttrCase<"None", 0x0000>;
 def SPV_SC_Flatten     : BitEnumAttrCase<"Flatten", 0x0001>;
 def SPV_SC_DontFlatten : BitEnumAttrCase<"DontFlatten", 0x0002>;
 
 def SPV_SelectionControlAttr :
     BitEnumAttr<"SelectionControl", "valid SPIR-V SelectionControl", [
       SPV_SC_None, SPV_SC_Flatten, SPV_SC_DontFlatten
     ]> {
   let cppNamespace = "::mlir::spirv";
 }
 
 def SPV_SC_UniformConstant        : I32EnumAttrCase<"UniformConstant", 0>;
 def SPV_SC_Input                  : I32EnumAttrCase<"Input", 1>;
-def SPV_SC_Uniform                : I32EnumAttrCase<"Uniform", 2>;
-def SPV_SC_Output                 : I32EnumAttrCase<"Output", 3>;
+def SPV_SC_Uniform                : I32EnumAttrCase<"Uniform", 2> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_SC_Output                 : I32EnumAttrCase<"Output", 3> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
 def SPV_SC_Workgroup              : I32EnumAttrCase<"Workgroup", 4>;
 def SPV_SC_CrossWorkgroup         : I32EnumAttrCase<"CrossWorkgroup", 5>;
-def SPV_SC_Private                : I32EnumAttrCase<"Private", 6>;
+def SPV_SC_Private                : I32EnumAttrCase<"Private", 6> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
 def SPV_SC_Function               : I32EnumAttrCase<"Function", 7>;
-def SPV_SC_Generic                : I32EnumAttrCase<"Generic", 8>;
-def SPV_SC_PushConstant           : I32EnumAttrCase<"PushConstant", 9>;
-def SPV_SC_AtomicCounter          : I32EnumAttrCase<"AtomicCounter", 10>;
+def SPV_SC_Generic                : I32EnumAttrCase<"Generic", 8> {
+  list<Availability> availability = [
+    Capability<[SPV_C_GenericPointer]>
+  ];
+}
+def SPV_SC_PushConstant           : I32EnumAttrCase<"PushConstant", 9> {
+  list<Availability> availability = [
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_SC_AtomicCounter          : I32EnumAttrCase<"AtomicCounter", 10> {
+  list<Availability> availability = [
+    Capability<[SPV_C_AtomicStorage]>
+  ];
+}
 def SPV_SC_Image                  : I32EnumAttrCase<"Image", 11>;
-def SPV_SC_StorageBuffer          : I32EnumAttrCase<"StorageBuffer", 12>;
-def SPV_SC_CallableDataNV         : I32EnumAttrCase<"CallableDataNV", 5328>;
-def SPV_SC_IncomingCallableDataNV : I32EnumAttrCase<"IncomingCallableDataNV", 5329>;
-def SPV_SC_RayPayloadNV           : I32EnumAttrCase<"RayPayloadNV", 5338>;
-def SPV_SC_HitAttributeNV         : I32EnumAttrCase<"HitAttributeNV", 5339>;
-def SPV_SC_IncomingRayPayloadNV   : I32EnumAttrCase<"IncomingRayPayloadNV", 5342>;
-def SPV_SC_ShaderRecordBufferNV   : I32EnumAttrCase<"ShaderRecordBufferNV", 5343>;
-def SPV_SC_PhysicalStorageBuffer  : I32EnumAttrCase<"PhysicalStorageBuffer", 5349>;
+def SPV_SC_StorageBuffer          : I32EnumAttrCase<"StorageBuffer", 12> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_3>,
+    Extension<[SPV_KHR_storage_buffer_storage_class, SPV_KHR_variable_pointers]>,
+    Capability<[SPV_C_Shader]>
+  ];
+}
+def SPV_SC_CallableDataNV         : I32EnumAttrCase<"CallableDataNV", 5328> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_SC_IncomingCallableDataNV : I32EnumAttrCase<"IncomingCallableDataNV", 5329> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_SC_RayPayloadNV           : I32EnumAttrCase<"RayPayloadNV", 5338> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_SC_HitAttributeNV         : I32EnumAttrCase<"HitAttributeNV", 5339> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_SC_IncomingRayPayloadNV   : I32EnumAttrCase<"IncomingRayPayloadNV", 5342> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_SC_ShaderRecordBufferNV   : I32EnumAttrCase<"ShaderRecordBufferNV", 5343> {
+  list<Availability> availability = [
+    Extension<[SPV_NV_ray_tracing]>,
+    Capability<[SPV_C_RayTracingNV]>
+  ];
+}
+def SPV_SC_PhysicalStorageBuffer  : I32EnumAttrCase<"PhysicalStorageBuffer", 5349> {
+  list<Availability> availability = [
+    MinVersion<SPV_V_1_5>,
+    Extension<[SPV_EXT_physical_storage_buffer, SPV_KHR_physical_storage_buffer]>,
+    Capability<[SPV_C_PhysicalStorageBufferAddresses]>
+  ];
+}
 
 def SPV_StorageClassAttr :
     I32EnumAttr<"StorageClass", "valid SPIR-V StorageClass", [
       SPV_SC_UniformConstant, SPV_SC_Input, SPV_SC_Uniform, SPV_SC_Output,
       SPV_SC_Workgroup, SPV_SC_CrossWorkgroup, SPV_SC_Private, SPV_SC_Function,
       SPV_SC_Generic, SPV_SC_PushConstant, SPV_SC_AtomicCounter, SPV_SC_Image,
       SPV_SC_StorageBuffer, SPV_SC_CallableDataNV, SPV_SC_IncomingCallableDataNV,
       SPV_SC_RayPayloadNV, SPV_SC_HitAttributeNV, SPV_SC_IncomingRayPayloadNV,

mlir/include/mlir/Dialect/SPIRV/SPIRVBitOps.td

let description = [{
 
     For example:
 
     ```
     %2 = spv.BitCount %0: i32
     %3 = spv.BitCount %1: vector<4xi32>
     ```
   }];
+
+  let availability = [
+    MinVersion<SPV_V_1_0>,
+    MaxVersion<SPV_V_1_5>,
+    Extension<[]>,
+    Capability<[]>
+  ];
 }
 
 // -----
 
 def SPV_BitFieldInsertOp : SPV_Op<"BitFieldInsert", [NoSideEffect]> {
   let summary = [{
     Make a copy of an object, with a modified bit field that comes from
     another object.
let description = [{
 
     For example:
 
     ```
     %0 = spv.BitFieldInsert %base, %insert, %offset, %count : vector<3xi32>, i8, i8
     ```
   }];
 
+  let availability = [
+    MinVersion<SPV_V_1_0>,
+    MaxVersion<SPV_V_1_5>,
+    Extension<[]>,
+    Capability<[SPV_C_Shader]>
+  ];
+
   let arguments = (ins
     SPV_ScalarOrVectorOf<SPV_Integer>:$base,
     SPV_ScalarOrVectorOf<SPV_Integer>:$insert,
     SPV_Integer:$offset,
     SPV_Integer:$count
   );
 
   let results = (outs
let description = [{
     ```
 
     For example:
 
     ```
     %0 = spv.BitFieldSExtract %base, %offset, %count : vector<3xi32>, i8, i8
     ```
   }];
+
+  let availability = [
+    MinVersion<SPV_V_1_0>,
+    MaxVersion<SPV_V_1_5>,
+    Extension<[]>,
+    Capability<[SPV_C_Shader]>
+  ];
 }
 
 // -----
 
 def SPV_BitFieldUExtractOp : SPV_BitFieldExtractOp<"BitFieldUExtract", []> {
   let summary = "Extract a bit field from an object, without sign extension.";
 
   let description = [{
let description = [{
     ```
 
     For example:
 
     ```
     %0 = spv.BitFieldUExtract %base, %offset, %count : vector<3xi32>, i8, i8
     ```
   }];
+
+  let availability = [
+    MinVersion<SPV_V_1_0>,
+    MaxVersion<SPV_V_1_5>,
+    Extension<[]>,
+    Capability<[SPV_C_Shader]>
+  ];
 }
 
 // -----
 
 def SPV_BitReverseOp : SPV_BitUnaryOp<"BitReverse", []> {
   let summary = "Reverse the bits in an object.";
 
   let description = [{
let description = [{
 
     For example:
 
     ```
     %2 = spv.BitReverse %0 : i32
     %3 = spv.BitReverse %1 : vector<4xi32>
     ```
   }];
+
+  let availability = [
+    MinVersion<SPV_V_1_0>,
+    MaxVersion<SPV_V_1_5>,
+    Extension<[]>,
+    Capability<[SPV_C_Shader]>
+  ];
 }
 
 // -----
 
 def SPV_BitwiseAndOp : SPV_BitBinaryOp<"BitwiseAnd", [Commutative]> {
   let summary = [{
     Result is 1 if both Operand 1 and Operand 2 are 1. Result is 0 if either
     Operand 1 or Operand 2 are 0.
let description = [{
 
     For example:
 
     ```
     %2 = spv.BitwiseAnd %0, %1 : i32
     %2 = spv.BitwiseAnd %0, %1 : vector<4xi32>
     ```
   }];
+
+  let availability = [
+    MinVersion<SPV_V_1_0>,
+    MaxVersion<SPV_V_1_5>,
+    Extension<[]>,
+    Capability<[]>
+  ];
 }
 
 // -----
 
 def SPV_BitwiseOrOp : SPV_BitBinaryOp<"BitwiseOr", [Commutative]> {
   let summary = [{
     Result is 1 if either Operand 1 or Operand 2 is 1. Result is 0 if both
     Operand 1 and Operand 2 are 0.
let description = [{
 
     For example:
 
     ```
     %2 = spv.BitwiseOr %0, %1 : i32
     %2 = spv.BitwiseOr %0, %1 : vector<4xi32>
     ```
   }];
+
+  let availability = [
+    MinVersion<SPV_V_1_0>,
+    MaxVersion<SPV_V_1_5>,
+    Extension<[]>,
+    Capability<[]>
+  ];
 }
 
 // -----
 
 def SPV_BitwiseXorOp : SPV_BitBinaryOp<"BitwiseXor", [Commutative]> {
   let summary = [{
     Result is 1 if exactly one of Operand 1 or Operand 2 is 1. Result is 0
     if Operand 1 and Operand 2 have the same value.
let description = [{
 
     For example:
 
     ```
     %2 = spv.BitwiseXor %0, %1 : i32
     %2 = spv.BitwiseXor %0, %1 : vector<4xi32>
     ```
   }];
+
+  let availability = [
+    MinVersion<SPV_V_1_0>,
+    MaxVersion<SPV_V_1_5>,
+    Extension<[]>,
+    Capability<[]>
+  ];
 }
 
 // -----
 
 def SPV_ShiftLeftLogicalOp : SPV_ShiftOp<"ShiftLeftLogical", []> {
   let summary = [{
     Shift the bits in Base left by the number of bits specified in Shift.
     The least-significant bits will be zero filled.
let description = [{
 
     For example:
 
     ```
     %2 = spv.ShiftLeftLogical %0, %1 : i32, i16
     %5 = spv.ShiftLeftLogical %3, %4 : vector<3xi32>, vector<3xi16>
     ```
   }];
+
+  let availability = [
+    MinVersion<SPV_V_1_0>,
+    MaxVersion<SPV_V_1_5>,
+    Extension<[]>,
+    Capability<[]>
+  ];
 }
 
 // -----
 
 def SPV_ShiftRightArithmeticOp : SPV_ShiftOp<"ShiftRightArithmetic", []> {
   let summary = [{
     Shift the bits in Base right by the number of bits specified in Shift.
     The most-significant bits will be filled with the sign bit from Base.
let description = [{
 
     For example:
 
     ```
     %2 = spv.ShiftRightArithmetic %0, %1 : i32, i16
     %5 = spv.ShiftRightArithmetic %3, %4 : vector<3xi32>, vector<3xi16>
     ```
   }];
+
+  let availability = [
+    MinVersion<SPV_V_1_0>,
+    MaxVersion<SPV_V_1_5>,
+    Extension<[]>,
+    Capability<[]>
+  ];
 }
 
 // -----
 
 def SPV_ShiftRightLogicalOp : SPV_ShiftOp<"ShiftRightLogical", []> {
   let summary = [{
     Shift the bits in Base right by the number of bits specified in Shift.
     The most-significant bits will be zero filled.
let description = [{
 
     For example:
 
     ```
     %2 = spv.ShiftRightLogical %0, %1 : i32, i16
     %5 = spv.ShiftRightLogical %3, %4 : vector<3xi32>, vector<3xi16>
     ```
   }];
+
+  let availability = [
+    MinVersion<SPV_V_1_0>,
+    MaxVersion<SPV_V_1_5>,
+    Extension<[]>,
+    Capability<[]>
+  ];
 }
 
 // -----
 
 def SPV_NotOp : SPV_BitUnaryOp<"Not", []> {
   let summary = "Complement the bits of Operand.";
 
   let description = [{

mlir/include/mlir/Dialect/SPIRV/SPIRVGroupOps.td

let description = [{
 
     For example:
 
     ```
     %0 = spv.SubgroupBallotKHR %predicate : vector<4xi32>
     ```
   }];
 
+  let availability = [
+    MinVersion<SPV_V_1_0>,
+    MaxVersion<SPV_V_1_5>,
+    Extension<[SPV_KHR_shader_ballot]>,
+    Capability<[SPV_C_SubgroupBallotKHR]>
+  ];
+
   let arguments = (ins
     SPV_Bool:$predicate
   );
 
   let results = (outs
     SPV_I32Vec4:$result
   );
 
   let verifier = [{ return success(); }];
 }
 
 // -----
 
 #endif // SPIRV_GROUP_OPS

mlir/test/Dialect/SPIRV/availability.mlir

func @subgroup_ballot(%predicate: i1) -> vector<4xi32> {
   return %0: vector<4xi32>
 }
 
 // CHECK-LABEL: module_logical_glsl450
 func @module_logical_glsl450() {
   // CHECK: spv.module min version: V_1_0
   // CHECK: spv.module max version: V_1_5
   // CHECK: spv.module extensions: [ ]
-  // CHECK: spv.module capabilities: [ ]
+  // CHECK: spv.module capabilities: [ [Shader] ]
   spv.module "Logical" "GLSL450" { }
   return
 }
 
 // CHECK-LABEL: module_physical_storage_buffer64_vulkan
 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 capabilities: [ [PhysicalStorageBufferAddresses] [VulkanMemoryModel] ]
   spv.module "PhysicalStorageBuffer64" "Vulkan" { }
   return
 }

mlir/utils/spirv/gen_spirv_dialect.py

def uniquify_enum_cases(lst):
   Arguments:
    - lst: List whose elements are to be uniqued. Assumes each element is a
      (symbol, value) pair and elements already sorted according to value.
 
   Returns:
    - A list with all duplicates removed. The elements are sorted according to
      value and, for each value, uniqued according to symbol.
      original list,
+   - A map from deduplicated cases to the uniqued case.
   """
   cases = lst
   uniqued_cases = []
+  duplicated_cases = {}
 
   # First sort according to the value
   cases.sort(key=lambda x: x[1])
 
   # Then group them according to the value
   for _, groups in itertools.groupby(cases, key=lambda x: x[1]):
     # For each value, sort according to the enumerant symbol.
     sorted_group = sorted(groups, key=lambda x: x[0])
     # Keep the "smallest" case, which is typically the symbol without extension
     # suffix. But we have special cases that we want to fix.
     case = sorted_group[0]
+    for i in range(1, len(sorted_group)):
+      duplicated_cases[sorted_group[i][0]] = case[0]
     if case[0] == 'HlslSemanticGOOGLE':
+      assert len(sorted_group) == 2, 'unexpected new variant for HlslSemantic'
       case = sorted_group[1]
+      duplicated_cases[sorted_group[0][0]] = case[0]
     uniqued_cases.append(case)
 
-  return uniqued_cases
+  return uniqued_cases, duplicated_cases
 
 
-def gen_operand_kind_enum_attr(operand_kind):
+def get_cap_mapping(operand_kinds):
+  """Returns the capability mapping from duplicated cases to their canonicalized
+
+  case.
+
+  Arguments:
+    - operand_kinds: all operand kinds' grammar spec
+
+  Returns:
+    - A map mapping from duplicated capability symbols to the canonicalized
+      symbol chosen for SPIRVBase.td.
+  """
+  # Find the operand kind for capability
+  cap_kind = {}
+  for kind in operand_kinds:
+    if kind['kind'] == 'Capability':
+      cap_kind = kind
+
+  kind_cases = [
+      (case['enumerant'], case['value']) for case in cap_kind['enumerants']
+  ]
+  _, cap_mapping = uniquify_enum_cases(kind_cases)
+
+  return cap_mapping
+
+
+def get_availability_spec(enum_case, cap_mapping, for_op):
+  """Returns the availability specification string for the given enum case.
+
+  Arguments:
+    - enum_case: the enum case to generate availability spec for. It may contain
+      'version', 'lastVersion', 'extensions', or 'capabilities'.
+    - cap_mapping: mapping from duplicated capability symbols to the
+      canonicalized symbol chosen for SPIRVBase.td.
+    - for_op: bool value indicating whether this is the availability spec for an
+      op itself.
+
+  Returns:
+    - A `let availability = [...];` string if with availability spec or
+      empty string if without availability spec
+  """
+  min_version = enum_case.get('version', '')
+  if min_version == 'None':
+    min_version = ''
+  elif min_version:
+    min_version = 'MinVersion<SPV_V_{}>'.format(min_version.replace('.', '_'))
+  # TODO(antiagainst): delete this once ODS can support dialect-specific content
+  # and we can use omission to mean no requirements.
+  if for_op and not min_version:
+    min_version = 'MinVersion<SPV_V_1_0>'
+
+  max_version = enum_case.get('lastVersion', '')
+  if max_version:
+    max_version = 'MaxVersion<SPV_V_{}>'.format(max_version.replace('.', '_'))
+  # TODO(antiagainst): delete this once ODS can support dialect-specific content
+  # and we can use omission to mean no requirements.
+  if for_op and not max_version:
+    max_version = 'MaxVersion<SPV_V_1_5>'
+
+  exts = enum_case.get('extensions', [])
+  if exts:
+    exts = 'Extension<[{}]>'.format(', '.join(sorted(set(exts))))
+  # TODO(antiagainst): delete this once ODS can support dialect-specific content
+  # and we can use omission to mean no requirements.
+  if for_op and not exts:
+    exts = 'Extension<[]>'
+
+  caps = enum_case.get('capabilities', [])
+  if caps:
+    canonicalized_caps = []
+    for c in caps:
+      if c in cap_mapping:
+        canonicalized_caps.append(cap_mapping[c])
+      else:
+        canonicalized_caps.append(c)
+    caps = 'Capability<[{}]>'.format(', '.join(
+        ['SPV_C_{}'.format(c) for c in sorted(set(canonicalized_caps))]))
+  # TODO(antiagainst): delete this once ODS can support dialect-specific content
+  # and we can use omission to mean no requirements.
+  if for_op and not caps:
+    caps = 'Capability<[]>'
+
+  avail = ''
+  if min_version or max_version or caps or exts:
+    joined_spec = ',\n    '.join(
+        [e for e in [min_version, max_version, exts, caps] if e])
+    avail = '{} availability = [\n    {}\n  ];'.format(
+        'let' if for_op else 'list<Availability>', joined_spec)
+
+  return avail
+
+
+def gen_operand_kind_enum_attr(operand_kind, cap_mapping):
   """Generates the TableGen EnumAttr definition for the given operand kind.
 
   Returns:
     - The operand kind's name
     - A string containing the TableGen EnumAttr definition
   """
   if 'enumerants' not in operand_kind:
     return '', ''
 
   # Returns a symbol for the given case in the given kind. This function
   # handles Dim specially to avoid having numbers as the start of symbols,
   # which does not play well with C++ and the MLIR parser.
   def get_case_symbol(kind_name, case_name):
     if kind_name == 'Dim':
       if case_name == '1D' or case_name == '2D' or case_name == '3D':
         return 'Dim{}'.format(case_name)
     return case_name
 
   kind_name = operand_kind['kind']
   is_bit_enum = operand_kind['category'] == 'BitEnum'
   kind_category = 'Bit' if is_bit_enum else 'I32'
   kind_acronym = ''.join([c for c in kind_name if c >= 'A' and c <= 'Z'])
+
+  name_to_case_dict = {}
+  for case in operand_kind['enumerants']:
+    name_to_case_dict[case['enumerant']] = case
+
   kind_cases = [(case['enumerant'], case['value'])
                 for case in operand_kind['enumerants']]
-  kind_cases = uniquify_enum_cases(kind_cases)
+  kind_cases, _ = uniquify_enum_cases(kind_cases)
   max_len = max([len(symbol) for (symbol, _) in kind_cases])
 
   # Generate the definition for each enum case
   fmt_str = 'def SPV_{acronym}_{case} {colon:>{offset}} '\
-            '{category}EnumAttrCase<"{symbol}", {value}>;'
-  case_defs = [
-      fmt_str.format(
-          category=kind_category,
-          acronym=kind_acronym,
-          case=case[0],
-          symbol=get_case_symbol(kind_name, case[0]),
-          value=case[1],
-          colon=':',
-          offset=(max_len + 1 - len(case[0]))) for case in kind_cases
-  ]
+            '{category}EnumAttrCase<"{symbol}", {value}>{avail}'
+  case_defs = []
+  for case in kind_cases:
+    if kind_name == 'Capability':
+      avail = ''
+    else:
+      avail = get_availability_spec(name_to_case_dict[case[0]], cap_mapping,
+                                    False)
+    case_def = fmt_str.format(
+        avail=' {{\n  {}\n}}'.format(avail) if avail else ';',
+        offset=(max_len + 1 - len(case[0])))
+    case_defs.append(case_def)
   case_defs = '\n'.join(case_defs)
 
   # Generate the list of enum case names
   fmt_str = 'SPV_{acronym}_{symbol}';
   case_names = [fmt_str.format(acronym=kind_acronym,symbol=case[0])
                 for case in kind_cases]
 
   # Split them into sublists and concatenate into multiple lines
def update_td_enum_attrs(path, operand_kinds, filter_list):
   content = content.split(AUTOGEN_ENUM_SECTION_MARKER)
   assert len(content) == 3
 
   # Extend filter list with existing enum definitions
   existing_kinds = [
       k[8:-4] for k in re.findall('def SPV_\w+Attr', content[1])]
   filter_list.extend(existing_kinds)
 
+  cap_mapping = get_cap_mapping(operand_kinds)
+
   # Generate definitions for all enums in filter list
-  defs = [gen_operand_kind_enum_attr(kind)
-          for kind in operand_kinds if kind['kind'] in filter_list]
+  defs = [
+      gen_operand_kind_enum_attr(kind, cap_mapping)
+      for kind in operand_kinds
+      if kind['kind'] in filter_list
+  ]
   # Sort alphabetically according to enum name
   defs.sort(key=lambda enum : enum[0])
   # Only keep the definitions from now on
   # Put Capability's definition at the very beginning because capability cases
   # will be referenced later
   defs = [enum[1] for enum in defs if enum[0] == 'Capability'
          ] + [enum[1] for enum in defs if enum[0] != 'Capability']
 
def get_description(text, assembly):
   Returns:
     - A string that corresponds to the description of the Tablegen op.
   """
   fmt_str = ('{text}\n\n    ### Custom assembly ' 'form\n{assembly}\n  ')
   return fmt_str.format(
       text=text, assembly=assembly)
 
 
-def get_op_definition(instruction, doc, existing_info):
+def get_op_definition(instruction, doc, existing_info, cap_mapping):
   """Generates the TableGen op definition for the given SPIR-V instruction.
 
   Arguments:
     - instruction: the instruction's SPIR-V JSON grammar
     - doc: the instruction's SPIR-V HTML doc
     - existing_info: a dict containing potential manually specified sections for
       this instruction
+    - cap_mapping: mapping from duplicated capability symbols to the
+                   canonicalized symbol chosen for SPIRVBase.td
 
   Returns:
     - A string containing the TableGen op definition
   """
   fmt_str = ('def SPV_{opname}Op : '
              'SPV_{inst_category}<"{opname}"{category_args}[{traits}]> '
              '{{\n  let summary = {summary};\n\n  let description = '
-             '[{{\n{description}}}];\n')
+             '[{{\n{description}}}];{availability}\n')
   inst_category = existing_info.get('inst_category', 'Op')
   if inst_category == 'Op':
     fmt_str +='\n  let arguments = (ins{args});\n\n'\
               '  let results = (outs{results});\n'
 
   fmt_str +='{extras}'\
             '}}\n'
 
def get_op_definition(instruction, doc, existing_info, cap_mapping):
 
   # Wrap text
   text = text.split('\n')
   text = [wrapper.fill(line) for line in text if line]
   text = '\n\n'.join(text)
 
   operands = instruction.get('operands', [])
 
+  # Op availability
+  avail = get_availability_spec(instruction, cap_mapping, True)
+  if avail:
+    avail = '\n\n  {0}'.format(avail)
+
   # Set op's result
   results = ''
   if len(operands) > 0 and operands[0]['kind'] == 'IdResultType':
     results = '\n    SPV_Type:$result\n  '
     operands = operands[1:]
   if 'results' in existing_info:
     results = existing_info['results']
 
def get_op_definition(instruction, doc, existing_info, cap_mapping):
 
   return fmt_str.format(
       opname=opname,
       category_args=category_args,
       inst_category=inst_category,
       traits=existing_info.get('traits', ''),
       summary=summary,
       description=description,
+      availability=avail,
       args=arguments,
       results=results,
       extras=existing_info.get('extras', ''))
 
 
 def get_string_between(base, start, end):
   """Extracts a substring with a specified start and end from a string.
 
return {
       'description': description,
       'arguments': args,
       'results': results,
       'extras': extras
   }
 
 
 def update_td_op_definitions(path, instructions, docs, filter_list,
-                             inst_category):
+                             inst_category, cap_mapping):
   """Updates SPIRVOps.td with newly generated op definition.
 
   Arguments:
     - path: path to SPIRVOps.td
     - instructions: SPIR-V JSON grammar for all instructions
     - docs: SPIR-V HTML doc for all instructions
     - filter_list: a list containing new opnames to include
+    - cap_mapping: mapping from duplicated capability symbols to the
+                   canonicalized symbol chosen for SPIRVBase.td.
 
   Returns:
     - A string containing all the TableGen op definitions
   """
   with open(path, 'r') as f:
     content = f.read()
 
   # Split the file into chuncks, each containing one op.
def update_td_op_definitions(path, instructions, docs, filter_list,
   for opname in filter_list:
     # Find the grammar spec for this op
     try:
       instruction = next(
           inst for inst in instructions if inst['opname'] == opname)
       op_defs.append(
           get_op_definition(
               instruction, docs[opname],
-              op_info_dict.get(opname, {'inst_category': inst_category})))
+              op_info_dict.get(opname, {'inst_category': inst_category}),
+              cap_mapping))
     except StopIteration:
       # This is an op added by us; use the existing ODS definition.
       op_defs.append(name_op_map[opname])
 
   # Substitute the old op definitions
   op_defs = [header] + op_defs + [footer]
   content = AUTOGEN_OP_DEF_SEPARATOR.join(op_defs)
 
if __name__ == '__main__':
   if args.new_opcodes is not None:
     assert args.base_td_path is not None
     update_td_opcodes(args.base_td_path, instructions, args.new_opcodes)
 
   # Define new op
   if args.new_inst is not None:
     assert args.op_td_path is not None
     docs = get_spirv_doc_from_html_spec()
+    cap_mapping = get_cap_mapping(operand_kinds)
     update_td_op_definitions(args.op_td_path, instructions, docs, args.new_inst,
-                             args.inst_category)
+                             args.inst_category, cap_mapping)
     print('Done. Note that this script just generates a template; ', end='')
     print('please read the spec and update traits, arguments, and ', end='')
     print('results accordingly.')