Assertion in dead member elimination with spec constants

[godlikepanos]

Hi,

I have this compute shader:

#version 450 core

layout(constant_id = 0) const int c_0 = 1;

layout(local_size_x_id = 1, local_size_y = 1, local_size_z = 1) in;

void main()
{
}

Compiling it with glslang without opts will give this:

              OpCapability Shader
          %1 = OpExtInstImport "GLSL.std.450"
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main"
               OpExecutionMode %main LocalSize 1 1 1
               OpSource GLSL 450
               OpName %main "main"
               OpName %c_0 "c_0"
               OpDecorate %c_0 SpecId 0
               OpDecorate %9 SpecId 1
               OpDecorate %gl_WorkGroupSize BuiltIn WorkgroupSize
       %void = OpTypeVoid
          %3 = OpTypeFunction %void
        %int = OpTypeInt 32 1
        %c_0 = OpSpecConstant %int 1
       %uint = OpTypeInt 32 0
          %9 = OpSpecConstant %uint 1
     %uint_1 = OpConstant %uint 1
     %v3uint = OpTypeVector %uint 3
%gl_WorkGroupSize = OpSpecConstantComposite %v3uint %9 %uint_1 %uint_1
       %main = OpFunction %void None %3
          %5 = OpLabel
               OpReturn
               OpFunctionEnd

Using spirv-opt with -Os throws this assertion:

spirv-opt: /xxx/source/opt/eliminate_dead_members_pass.cpp:397: bool spvtools::opt::EliminateDeadMembersPass::UpdateConstantComposite(spvtools::opt::Instruction*): Assertion `inst->opcode() == SpvOpConstantComposite || inst->opcode() == SpvOpCompositeConstruct' failed.

Any idea what might be wrong?

[greg-lunarg]

May want to change title to:

Assertion in dead member elimination with spec constants

[godlikepanos]

May want to change title to:

Assertion in dead member elimination with spec constants

Done. Thanks