Capabilities not inherited from Vulkan version?

[nazar-pc]

I'm getting the following error:

error: error:0:0 - Operand 3 of Decorate requires one of these capabilities: Kernel GroupNonUniform 
         OpDecorate %subgroup_id BuiltIn SubgroupId

If my understanding is correct, this capability is already included by default in spirv-unknown-vulkan1.3 target that I'm using.

Is this a bug in rust-gpu, spirv-opt or am I missing something?

[nazar-pc]

Okay, looks like this is something that needs to be specified in SPIR-V explicitly. I didn't find any sane reason why, just has to be done.

According to ChatGPT glslang adds it automatically when needed. I think it would have been nice if rust-gpu did the same for targets where things like GroupNonUniform (and more specifically GroupNonUniformArithmetic) are guaranteed to be supported (like Vulkan 1.2+).

[nazar-pc]

VulkanMemoryModelDeviceScope is another Vulkan 1.3 capability that currently needs to be specified explicitly, which I just hit when trying to increment a global atomic integer