Workgroup size from spec constant

When you use subgroups, you can often simplify code by assuming subgroup size == workgroup size for any subgroup intrinsics. But subgroup size is defined by the HW you are executing on, so what you'd need to do is use a specialization constant to set your workgroup size. You can already do this in glsl since vulkan first released:

The built-in vector gl_WorkGroupSize can be specialized using special layout local_size_{xyz}_id's applied to the "in" qualifier. For example:
layout(local_size_x_id = 18, local_size_z_id = 19) in;
This leaves gl_WorkGroupSize.y as a non-specialization constant, with gl_WorkGroupSize being a partially specialized vector. Its x and z components can be later specialized using the ID's 18 and 19.

https://github.com/KhronosGroup/GLSL/blob/3e0d9a3b3f54651ef53d533392a7401a3b19e16d/extensions/khr/GL_KHR_vulkan_glsl.txt#L192

まず、gl_WorkGroupSize の specialization constants について説明している、リンク先の GL_KHR_vulkan_glsl 仕様の該当箇所を確認し、次に workgroup size と specialization constants を処理する Rust-GPU コンパイラのパスを特定します。subgroup に関係する workgroup size の前提で specialization constant を使用でき、サポートされる動作のカバレッジが追加されれば完了です。