| // Copyright (c) 2022 The Khronos Group Inc. |
| // Copyright (c) 2022 LunarG Inc. |
| // |
| // Licensed under the Apache License, Version 2.0 (the "License"); |
| // you may not use this file except in compliance with the License. |
| // You may obtain a copy of the License at |
| // |
| // http://www.apache.org/licenses/LICENSE-2.0 |
| // |
| // Unless required by applicable law or agreed to in writing, software |
| // distributed under the License is distributed on an "AS IS" BASIS, |
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| // See the License for the specific language governing permissions and |
| // limitations under the License. |
| |
| #include <vector> |
| |
| #include "gmock/gmock.h" |
| #include "test/opt/pass_fixture.h" |
| #include "test/opt/pass_utils.h" |
| |
| namespace spvtools { |
| namespace opt { |
| namespace { |
| |
| using ElimDeadInputComponentsTest = PassTest<::testing::Test>; |
| |
| TEST_F(ElimDeadInputComponentsTest, ElimOneConstantIndex) { |
| // Should reduce to uv[2] |
| // |
| // #version 450 |
| // |
| // layout(location = 0) in vec4 uv[8]; |
| // |
| // out gl_PerVertex { |
| // vec4 gl_Position; |
| // }; |
| // |
| // void main() |
| // { |
| // gl_Position = uv[1]; |
| // } |
| const std::string text = R"( |
| OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint Vertex %main "main" %_ %uv |
| OpSource GLSL 450 |
| OpName %main "main" |
| OpName %gl_PerVertex "gl_PerVertex" |
| OpMemberName %gl_PerVertex 0 "gl_Position" |
| OpName %_ "" |
| OpName %uv "uv" |
| OpMemberDecorate %gl_PerVertex 0 BuiltIn Position |
| OpDecorate %gl_PerVertex Block |
| OpDecorate %uv Location 0 |
| %void = OpTypeVoid |
| %3 = OpTypeFunction %void |
| %float = OpTypeFloat 32 |
| %v4float = OpTypeVector %float 4 |
| %gl_PerVertex = OpTypeStruct %v4float |
| %_ptr_Output_gl_PerVertex = OpTypePointer Output %gl_PerVertex |
| %_ = OpVariable %_ptr_Output_gl_PerVertex Output |
| %int = OpTypeInt 32 1 |
| %int_0 = OpConstant %int 0 |
| %uint = OpTypeInt 32 0 |
| %uint_8 = OpConstant %uint 8 |
| %_arr_v4float_uint_8 = OpTypeArray %v4float %uint_8 |
| %_ptr_Input__arr_v4float_uint_8 = OpTypePointer Input %_arr_v4float_uint_8 |
| %uv = OpVariable %_ptr_Input__arr_v4float_uint_8 Input |
| %int_1 = OpConstant %int 1 |
| %_ptr_Input_v4float = OpTypePointer Input %v4float |
| %_ptr_Output_v4float = OpTypePointer Output %v4float |
| ;CHECK-NOT: %uv = OpVariable %_ptr_Input__arr_v4float_uint_8 Input |
| ;CHECK: %uv = OpVariable %_ptr_Input__arr_v4float_uint_2 Input |
| %main = OpFunction %void None %3 |
| %5 = OpLabel |
| %20 = OpAccessChain %_ptr_Input_v4float %uv %int_1 |
| %21 = OpLoad %v4float %20 |
| %23 = OpAccessChain %_ptr_Output_v4float %_ %int_0 |
| OpStore %23 %21 |
| OpReturn |
| OpFunctionEnd |
| )"; |
| |
| SetTargetEnv(SPV_ENV_VULKAN_1_3); |
| SetAssembleOptions(SPV_TEXT_TO_BINARY_OPTION_PRESERVE_NUMERIC_IDS); |
| SinglePassRunAndMatch<EliminateDeadInputComponentsPass>(text, true, false, |
| false); |
| } |
| |
| TEST_F(ElimDeadInputComponentsTest, ElimOneConstantIndexInBounds) { |
| // Same as ElimOneConstantIndex but with OpInBoundsAccessChain |
| const std::string text = R"( |
| OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint Vertex %main "main" %_ %uv |
| OpSource GLSL 450 |
| OpName %main "main" |
| OpName %gl_PerVertex "gl_PerVertex" |
| OpMemberName %gl_PerVertex 0 "gl_Position" |
| OpName %_ "" |
| OpName %uv "uv" |
| OpMemberDecorate %gl_PerVertex 0 BuiltIn Position |
| OpDecorate %gl_PerVertex Block |
| OpDecorate %uv Location 0 |
| %void = OpTypeVoid |
| %3 = OpTypeFunction %void |
| %float = OpTypeFloat 32 |
| %v4float = OpTypeVector %float 4 |
| %gl_PerVertex = OpTypeStruct %v4float |
| %_ptr_Output_gl_PerVertex = OpTypePointer Output %gl_PerVertex |
| %_ = OpVariable %_ptr_Output_gl_PerVertex Output |
| %int = OpTypeInt 32 1 |
| %int_0 = OpConstant %int 0 |
| %uint = OpTypeInt 32 0 |
| %uint_8 = OpConstant %uint 8 |
| %_arr_v4float_uint_8 = OpTypeArray %v4float %uint_8 |
| %_ptr_Input__arr_v4float_uint_8 = OpTypePointer Input %_arr_v4float_uint_8 |
| %uv = OpVariable %_ptr_Input__arr_v4float_uint_8 Input |
| %int_1 = OpConstant %int 1 |
| %_ptr_Input_v4float = OpTypePointer Input %v4float |
| %_ptr_Output_v4float = OpTypePointer Output %v4float |
| ;CHECK-NOT: %uv = OpVariable %_ptr_Input__arr_v4float_uint_8 Input |
| ;CHECK: %uv = OpVariable %_ptr_Input__arr_v4float_uint_2 Input |
| %main = OpFunction %void None %3 |
| %5 = OpLabel |
| %20 = OpInBoundsAccessChain %_ptr_Input_v4float %uv %int_1 |
| %21 = OpLoad %v4float %20 |
| %23 = OpAccessChain %_ptr_Output_v4float %_ %int_0 |
| OpStore %23 %21 |
| OpReturn |
| OpFunctionEnd |
| )"; |
| |
| SetTargetEnv(SPV_ENV_VULKAN_1_3); |
| SetAssembleOptions(SPV_TEXT_TO_BINARY_OPTION_PRESERVE_NUMERIC_IDS); |
| SinglePassRunAndMatch<EliminateDeadInputComponentsPass>(text, true, false, |
| false); |
| } |
| |
| TEST_F(ElimDeadInputComponentsTest, ElimTwoConstantIndices) { |
| // Should reduce to uv[4] |
| // |
| // #version 450 |
| // |
| // layout(location = 0) in vec4 uv[8]; |
| // |
| // out gl_PerVertex { |
| // vec4 gl_Position; |
| // }; |
| // |
| // void main() |
| // { |
| // gl_Position = uv[1] + uv[3]; |
| // } |
| const std::string text = R"( |
| OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint Vertex %main "main" %_ %uv |
| OpSource GLSL 450 |
| OpName %main "main" |
| OpName %gl_PerVertex "gl_PerVertex" |
| OpMemberName %gl_PerVertex 0 "gl_Position" |
| OpName %_ "" |
| OpName %uv "uv" |
| OpMemberDecorate %gl_PerVertex 0 BuiltIn Position |
| OpDecorate %gl_PerVertex Block |
| OpDecorate %uv Location 0 |
| %void = OpTypeVoid |
| %3 = OpTypeFunction %void |
| %float = OpTypeFloat 32 |
| %v4float = OpTypeVector %float 4 |
| %gl_PerVertex = OpTypeStruct %v4float |
| %_ptr_Output_gl_PerVertex = OpTypePointer Output %gl_PerVertex |
| %_ = OpVariable %_ptr_Output_gl_PerVertex Output |
| %int = OpTypeInt 32 1 |
| %int_0 = OpConstant %int 0 |
| %uint = OpTypeInt 32 0 |
| %uint_8 = OpConstant %uint 8 |
| %_arr_v4float_uint_8 = OpTypeArray %v4float %uint_8 |
| %_ptr_Input__arr_v4float_uint_8 = OpTypePointer Input %_arr_v4float_uint_8 |
| %uv = OpVariable %_ptr_Input__arr_v4float_uint_8 Input |
| %int_1 = OpConstant %int 1 |
| %_ptr_Input_v4float = OpTypePointer Input %v4float |
| %int_3 = OpConstant %int 3 |
| %_ptr_Output_v4float = OpTypePointer Output %v4float |
| ;CHECK-NOT: %uv = OpVariable %_ptr_Input__arr_v4float_uint_8 Input |
| ;CHECK: %uv = OpVariable %_ptr_Input__arr_v4float_uint_4 Input |
| %main = OpFunction %void None %3 |
| %5 = OpLabel |
| %20 = OpAccessChain %_ptr_Input_v4float %uv %int_1 |
| %21 = OpLoad %v4float %20 |
| %23 = OpAccessChain %_ptr_Input_v4float %uv %int_3 |
| %24 = OpLoad %v4float %23 |
| %25 = OpFAdd %v4float %21 %24 |
| %27 = OpAccessChain %_ptr_Output_v4float %_ %int_0 |
| OpStore %27 %25 |
| OpReturn |
| OpFunctionEnd |
| )"; |
| |
| SetTargetEnv(SPV_ENV_VULKAN_1_3); |
| SetAssembleOptions(SPV_TEXT_TO_BINARY_OPTION_PRESERVE_NUMERIC_IDS); |
| SinglePassRunAndMatch<EliminateDeadInputComponentsPass>(text, true, false, |
| false); |
| } |
| |
| TEST_F(ElimDeadInputComponentsTest, NoElimMaxConstantIndex) { |
| // Should not reduce uv[8] because of max index of 7 |
| // |
| // #version 450 |
| // |
| // layout(location = 0) in vec4 uv[8]; |
| // |
| // out gl_PerVertex { |
| // vec4 gl_Position; |
| // }; |
| // |
| // void main() |
| // { |
| // gl_Position = uv[1] + uv[7]; |
| // } |
| const std::string text = R"( |
| OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint Vertex %main "main" %_ %uv |
| OpSource GLSL 450 |
| OpName %main "main" |
| OpName %gl_PerVertex "gl_PerVertex" |
| OpMemberName %gl_PerVertex 0 "gl_Position" |
| OpName %_ "" |
| OpName %uv "uv" |
| OpMemberDecorate %gl_PerVertex 0 BuiltIn Position |
| OpDecorate %gl_PerVertex Block |
| OpDecorate %uv Location 0 |
| %void = OpTypeVoid |
| %3 = OpTypeFunction %void |
| %float = OpTypeFloat 32 |
| %v4float = OpTypeVector %float 4 |
| %gl_PerVertex = OpTypeStruct %v4float |
| %_ptr_Output_gl_PerVertex = OpTypePointer Output %gl_PerVertex |
| %_ = OpVariable %_ptr_Output_gl_PerVertex Output |
| %int = OpTypeInt 32 1 |
| %int_0 = OpConstant %int 0 |
| %uint = OpTypeInt 32 0 |
| %uint_8 = OpConstant %uint 8 |
| %_arr_v4float_uint_8 = OpTypeArray %v4float %uint_8 |
| %_ptr_Input__arr_v4float_uint_8 = OpTypePointer Input %_arr_v4float_uint_8 |
| %uv = OpVariable %_ptr_Input__arr_v4float_uint_8 Input |
| %int_1 = OpConstant %int 1 |
| %_ptr_Input_v4float = OpTypePointer Input %v4float |
| %int_7 = OpConstant %int 7 |
| %_ptr_Output_v4float = OpTypePointer Output %v4float |
| ;CHECK: %uv = OpVariable %_ptr_Input__arr_v4float_uint_8 Input |
| %main = OpFunction %void None %3 |
| %5 = OpLabel |
| %20 = OpAccessChain %_ptr_Input_v4float %uv %int_1 |
| %21 = OpLoad %v4float %20 |
| %23 = OpAccessChain %_ptr_Input_v4float %uv %int_7 |
| %24 = OpLoad %v4float %23 |
| %25 = OpFAdd %v4float %21 %24 |
| %27 = OpAccessChain %_ptr_Output_v4float %_ %int_0 |
| OpStore %27 %25 |
| OpReturn |
| OpFunctionEnd |
| )"; |
| |
| SetTargetEnv(SPV_ENV_VULKAN_1_3); |
| SetAssembleOptions(SPV_TEXT_TO_BINARY_OPTION_PRESERVE_NUMERIC_IDS); |
| SinglePassRunAndMatch<EliminateDeadInputComponentsPass>(text, true, false, |
| false); |
| } |
| |
| TEST_F(ElimDeadInputComponentsTest, NoElimNonConstantIndex) { |
| // Should not reduce uv[8] because of non-constant index of ui |
| // |
| // #version 450 |
| // |
| // layout(location = 0) in vec4 uv[8]; |
| // |
| // out gl_PerVertex { |
| // vec4 gl_Position; |
| // }; |
| // |
| // uniform ubname { |
| // int ui; |
| // } ubinst; |
| // |
| // void main() |
| // { |
| // gl_Position = uv[1] + uv[ubinst.ui]; |
| // } |
| const std::string text = R"( |
| OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint Vertex %main "main" %_ %uv %ubinst |
| OpSource GLSL 450 |
| OpName %main "main" |
| OpName %gl_PerVertex "gl_PerVertex" |
| OpMemberName %gl_PerVertex 0 "gl_Position" |
| OpName %_ "" |
| OpName %uv "uv" |
| OpName %ubname "ubname" |
| OpMemberName %ubname 0 "ui" |
| OpName %ubinst "ubinst" |
| OpMemberDecorate %gl_PerVertex 0 BuiltIn Position |
| OpDecorate %gl_PerVertex Block |
| OpDecorate %uv Location 0 |
| OpMemberDecorate %ubname 0 Offset 0 |
| OpDecorate %ubname Block |
| OpDecorate %ubinst DescriptorSet 0 |
| OpDecorate %ubinst Binding 0 |
| %void = OpTypeVoid |
| %3 = OpTypeFunction %void |
| %float = OpTypeFloat 32 |
| %v4float = OpTypeVector %float 4 |
| %gl_PerVertex = OpTypeStruct %v4float |
| %_ptr_Output_gl_PerVertex = OpTypePointer Output %gl_PerVertex |
| %_ = OpVariable %_ptr_Output_gl_PerVertex Output |
| %int = OpTypeInt 32 1 |
| %int_0 = OpConstant %int 0 |
| %uint = OpTypeInt 32 0 |
| %uint_8 = OpConstant %uint 8 |
| %_arr_v4float_uint_8 = OpTypeArray %v4float %uint_8 |
| %_ptr_Input__arr_v4float_uint_8 = OpTypePointer Input %_arr_v4float_uint_8 |
| %uv = OpVariable %_ptr_Input__arr_v4float_uint_8 Input |
| %int_1 = OpConstant %int 1 |
| %_ptr_Input_v4float = OpTypePointer Input %v4float |
| %ubname = OpTypeStruct %int |
| %_ptr_Uniform_ubname = OpTypePointer Uniform %ubname |
| %ubinst = OpVariable %_ptr_Uniform_ubname Uniform |
| %_ptr_Uniform_int = OpTypePointer Uniform %int |
| %_ptr_Output_v4float = OpTypePointer Output %v4float |
| ;CHECK: %uv = OpVariable %_ptr_Input__arr_v4float_uint_8 Input |
| %main = OpFunction %void None %3 |
| %5 = OpLabel |
| %20 = OpAccessChain %_ptr_Input_v4float %uv %int_1 |
| %21 = OpLoad %v4float %20 |
| %26 = OpAccessChain %_ptr_Uniform_int %ubinst %int_0 |
| %27 = OpLoad %int %26 |
| %28 = OpAccessChain %_ptr_Input_v4float %uv %27 |
| %29 = OpLoad %v4float %28 |
| %30 = OpFAdd %v4float %21 %29 |
| %32 = OpAccessChain %_ptr_Output_v4float %_ %int_0 |
| OpStore %32 %30 |
| OpReturn |
| OpFunctionEnd |
| )"; |
| |
| SetTargetEnv(SPV_ENV_VULKAN_1_3); |
| SetAssembleOptions(SPV_TEXT_TO_BINARY_OPTION_PRESERVE_NUMERIC_IDS); |
| SinglePassRunAndMatch<EliminateDeadInputComponentsPass>(text, true, false, |
| false); |
| } |
| |
| TEST_F(ElimDeadInputComponentsTest, NoElimNonIndexedAccessChain) { |
| // Should not change due to non-indexed access chain |
| const std::string text = R"( |
| OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint Vertex %main "main" %_ %uv |
| OpSource GLSL 450 |
| OpName %main "main" |
| OpName %gl_PerVertex "gl_PerVertex" |
| OpMemberName %gl_PerVertex 0 "gl_Position" |
| OpName %_ "" |
| OpName %uv "uv" |
| OpMemberDecorate %gl_PerVertex 0 BuiltIn Position |
| OpDecorate %gl_PerVertex Block |
| OpDecorate %uv Location 0 |
| %void = OpTypeVoid |
| %3 = OpTypeFunction %void |
| %float = OpTypeFloat 32 |
| %v4float = OpTypeVector %float 4 |
| %gl_PerVertex = OpTypeStruct %v4float |
| %_ptr_Output_gl_PerVertex = OpTypePointer Output %gl_PerVertex |
| %_ = OpVariable %_ptr_Output_gl_PerVertex Output |
| %int = OpTypeInt 32 1 |
| %int_0 = OpConstant %int 0 |
| %uint = OpTypeInt 32 0 |
| %uint_8 = OpConstant %uint 8 |
| %_arr_v4float_uint_8 = OpTypeArray %v4float %uint_8 |
| %_ptr_Input__arr_v4float_uint_8 = OpTypePointer Input %_arr_v4float_uint_8 |
| %uv = OpVariable %_ptr_Input__arr_v4float_uint_8 Input |
| %int_1 = OpConstant %int 1 |
| %_ptr_Input_v4float = OpTypePointer Input %v4float |
| %_ptr_Output_v4float = OpTypePointer Output %v4float |
| ;CHECK: %uv = OpVariable %_ptr_Input__arr_v4float_uint_8 Input |
| %main = OpFunction %void None %3 |
| %5 = OpLabel |
| %20 = OpAccessChain %_ptr_Input__arr_v4float_uint_8 %uv |
| OpReturn |
| OpFunctionEnd |
| )"; |
| |
| SetTargetEnv(SPV_ENV_VULKAN_1_3); |
| SetAssembleOptions(SPV_TEXT_TO_BINARY_OPTION_PRESERVE_NUMERIC_IDS); |
| SinglePassRunAndMatch<EliminateDeadInputComponentsPass>(text, true, false, |
| false); |
| } |
| |
| TEST_F(ElimDeadInputComponentsTest, ElimStructMember) { |
| // Should eliminate uv |
| // |
| // #version 450 |
| // |
| // in Vertex { |
| // vec4 Cd; |
| // vec2 uv; |
| // } iVert; |
| // |
| // out vec4 fragColor; |
| // |
| // void main() |
| // { |
| // vec4 color = vec4(iVert.Cd); |
| // fragColor = color; |
| // } |
| const std::string text = R"( |
| OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint Fragment %main "main" %iVert %fragColor |
| OpExecutionMode %main OriginUpperLeft |
| OpSource GLSL 450 |
| OpName %main "main" |
| OpName %Vertex "Vertex" |
| OpMemberName %Vertex 0 "Cd" |
| OpMemberName %Vertex 1 "uv" |
| OpName %iVert "iVert" |
| OpName %fragColor "fragColor" |
| OpDecorate %Vertex Block |
| OpDecorate %iVert Location 0 |
| OpDecorate %fragColor Location 0 |
| %void = OpTypeVoid |
| %3 = OpTypeFunction %void |
| %float = OpTypeFloat 32 |
| %v4float = OpTypeVector %float 4 |
| %v2float = OpTypeVector %float 2 |
| %Vertex = OpTypeStruct %v4float %v2float |
| ; CHECK: %Vertex = OpTypeStruct %v4float %v2float |
| ; CHECK: [[sty:%\w+]] = OpTypeStruct %v4float |
| %_ptr_Input_Vertex = OpTypePointer Input %Vertex |
| ; CHECK: [[pty:%\w+]] = OpTypePointer Input [[sty]] |
| %iVert = OpVariable %_ptr_Input_Vertex Input |
| ; CHECK: %iVert = OpVariable [[pty]] Input |
| %int = OpTypeInt 32 1 |
| %int_0 = OpConstant %int 0 |
| %_ptr_Input_v4float = OpTypePointer Input %v4float |
| %_ptr_Output_v4float = OpTypePointer Output %v4float |
| %fragColor = OpVariable %_ptr_Output_v4float Output |
| %main = OpFunction %void None %3 |
| %5 = OpLabel |
| %17 = OpAccessChain %_ptr_Input_v4float %iVert %int_0 |
| %18 = OpLoad %v4float %17 |
| OpStore %fragColor %18 |
| OpReturn |
| OpFunctionEnd |
| )"; |
| |
| SetTargetEnv(SPV_ENV_VULKAN_1_3); |
| SetAssembleOptions(SPV_TEXT_TO_BINARY_OPTION_PRESERVE_NUMERIC_IDS); |
| SinglePassRunAndMatch<EliminateDeadInputComponentsPass>(text, true, false, |
| false); |
| } |
| |
| TEST_F(ElimDeadInputComponentsTest, ElimOutputStructMember) { |
| // Should eliminate uv from Vertex and all but gl_Position from gl_PerVertex |
| // |
| // #version 450 |
| // |
| // out Vertex { |
| // vec4 Cd; |
| // vec2 uv; |
| // } oVert; |
| // |
| // in vec3 P; |
| // |
| // void main() |
| // { |
| // vec4 worldSpacePos = vec4(P, 1); |
| // oVert.Cd = vec4(1, 0.5, 0, 1); |
| // gl_Position = worldSpacePos; |
| // } |
| |
| const std::string text = R"( |
| OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint Vertex %main "main" %P %oVert %_ |
| OpSource GLSL 450 |
| OpName %main "main" |
| OpName %P "P" |
| OpName %Vertex "Vertex" |
| OpMemberName %Vertex 0 "Cd" |
| OpMemberName %Vertex 1 "uv" |
| OpName %oVert "oVert" |
| OpName %gl_PerVertex "gl_PerVertex" |
| OpMemberName %gl_PerVertex 0 "gl_Position" |
| OpMemberName %gl_PerVertex 1 "gl_PointSize" |
| OpMemberName %gl_PerVertex 2 "gl_ClipDistance" |
| OpMemberName %gl_PerVertex 3 "gl_CullDistance" |
| OpName %_ "" |
| OpDecorate %P Location 0 |
| OpDecorate %Vertex Block |
| OpDecorate %oVert Location 0 |
| OpMemberDecorate %gl_PerVertex 0 BuiltIn Position |
| OpMemberDecorate %gl_PerVertex 1 BuiltIn PointSize |
| OpMemberDecorate %gl_PerVertex 2 BuiltIn ClipDistance |
| OpMemberDecorate %gl_PerVertex 3 BuiltIn CullDistance |
| OpDecorate %gl_PerVertex Block |
| %void = OpTypeVoid |
| %3 = OpTypeFunction %void |
| %float = OpTypeFloat 32 |
| %v4float = OpTypeVector %float 4 |
| %v3float = OpTypeVector %float 3 |
| %_ptr_Input_v3float = OpTypePointer Input %v3float |
| %P = OpVariable %_ptr_Input_v3float Input |
| %float_1 = OpConstant %float 1 |
| %v2float = OpTypeVector %float 2 |
| %Vertex = OpTypeStruct %v4float %v2float |
| %_ptr_Output_Vertex = OpTypePointer Output %Vertex |
| %oVert = OpVariable %_ptr_Output_Vertex Output |
| %int = OpTypeInt 32 1 |
| %int_0 = OpConstant %int 0 |
| %float_0_5 = OpConstant %float 0.5 |
| %float_0 = OpConstant %float 0 |
| %27 = OpConstantComposite %v4float %float_1 %float_0_5 %float_0 %float_1 |
| %_ptr_Output_v4float = OpTypePointer Output %v4float |
| %uint = OpTypeInt 32 0 |
| %uint_1 = OpConstant %uint 1 |
| %_arr_float_uint_1 = OpTypeArray %float %uint_1 |
| %gl_PerVertex = OpTypeStruct %v4float %float %_arr_float_uint_1 %_arr_float_uint_1 |
| %_ptr_Output_gl_PerVertex = OpTypePointer Output %gl_PerVertex |
| %_ = OpVariable %_ptr_Output_gl_PerVertex Output |
| ; CHECK: %Vertex = OpTypeStruct %v4float %v2float |
| ; CHECK: %gl_PerVertex = OpTypeStruct %v4float %float %_arr_float_uint_1 %_arr_float_uint_1 |
| ; CHECK: %_ptr_Output_gl_PerVertex = OpTypePointer Output %gl_PerVertex |
| ; CHECK: [[sty:%\w+]] = OpTypeStruct %v4float |
| ; CHECK: [[pty:%\w+]] = OpTypePointer Output [[sty]] |
| ; CHECK: %oVert = OpVariable [[pty]] Output |
| ; CHECK: [[sty2:%\w+]] = OpTypeStruct %v4float |
| ; CHECK: [[pty2:%\w+]] = OpTypePointer Output [[sty2]] |
| ; CHECK: %_ = OpVariable [[pty2]] Output |
| %main = OpFunction %void None %3 |
| %5 = OpLabel |
| %13 = OpLoad %v3float %P |
| %15 = OpCompositeExtract %float %13 0 |
| %16 = OpCompositeExtract %float %13 1 |
| %17 = OpCompositeExtract %float %13 2 |
| %18 = OpCompositeConstruct %v4float %15 %16 %17 %float_1 |
| %29 = OpAccessChain %_ptr_Output_v4float %oVert %int_0 |
| OpStore %29 %27 |
| %37 = OpAccessChain %_ptr_Output_v4float %_ %int_0 |
| OpStore %37 %18 |
| OpReturn |
| OpFunctionEnd |
| )"; |
| |
| SetTargetEnv(SPV_ENV_VULKAN_1_3); |
| SetAssembleOptions(SPV_TEXT_TO_BINARY_OPTION_PRESERVE_NUMERIC_IDS); |
| SinglePassRunAndMatch<EliminateDeadInputComponentsPass>(text, true, true, |
| false); |
| } |
| |
| TEST_F(ElimDeadInputComponentsTest, ElimOutputArrayMembers) { |
| // Should reduce to uv[2] |
| // |
| // #version 450 |
| // |
| // layout(location = 0) out vec2 uv[8]; |
| // |
| // void main() |
| // { |
| // uv[1] = vec2(1, 0.5); |
| // } |
| |
| const std::string text = R"( |
| OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint Fragment %main "main" %uv |
| OpExecutionMode %main OriginUpperLeft |
| OpSource GLSL 450 |
| OpName %main "main" |
| OpName %uv "uv" |
| OpDecorate %uv Location 0 |
| %void = OpTypeVoid |
| %3 = OpTypeFunction %void |
| %float = OpTypeFloat 32 |
| %v2float = OpTypeVector %float 2 |
| %uint = OpTypeInt 32 0 |
| %uint_8 = OpConstant %uint 8 |
| %_arr_v2float_uint_8 = OpTypeArray %v2float %uint_8 |
| %_ptr_Output__arr_v2float_uint_8 = OpTypePointer Output %_arr_v2float_uint_8 |
| %uv = OpVariable %_ptr_Output__arr_v2float_uint_8 Output |
| ;CHECK-NOT: %uv = OpVariable %_ptr_Output__arr_v2float_uint_8 Output |
| ;CHECK: %uv = OpVariable %_ptr_Output__arr_v2float_uint_2 Output |
| %int = OpTypeInt 32 1 |
| %int_1 = OpConstant %int 1 |
| %float_1 = OpConstant %float 1 |
| %float_0_5 = OpConstant %float 0.5 |
| %17 = OpConstantComposite %v2float %float_1 %float_0_5 |
| %_ptr_Output_v2float = OpTypePointer Output %v2float |
| %main = OpFunction %void None %3 |
| %5 = OpLabel |
| %19 = OpAccessChain %_ptr_Output_v2float %uv %int_1 |
| OpStore %19 %17 |
| OpReturn |
| OpFunctionEnd |
| )"; |
| |
| SetTargetEnv(SPV_ENV_VULKAN_1_3); |
| SetAssembleOptions(SPV_TEXT_TO_BINARY_OPTION_PRESERVE_NUMERIC_IDS); |
| SinglePassRunAndMatch<EliminateDeadInputComponentsPass>(text, true, true, |
| false); |
| } |
| |
| TEST_F(ElimDeadInputComponentsTest, VertexOnly) { |
| // Should NOT eliminate uv |
| // |
| // #version 450 |
| // |
| // in Vertex { |
| // vec4 Cd; |
| // vec2 uv; |
| // } iVert; |
| // |
| // out vec4 fragColor; |
| // |
| // void main() |
| // { |
| // vec4 color = vec4(iVert.Cd); |
| // fragColor = color; |
| // } |
| const std::string text = R"( |
| OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint Fragment %main "main" %iVert %fragColor |
| OpExecutionMode %main OriginUpperLeft |
| OpSource GLSL 450 |
| OpName %main "main" |
| OpName %Vertex "Vertex" |
| OpMemberName %Vertex 0 "Cd" |
| OpMemberName %Vertex 1 "uv" |
| OpName %iVert "iVert" |
| OpName %fragColor "fragColor" |
| OpDecorate %Vertex Block |
| OpDecorate %iVert Location 0 |
| OpDecorate %fragColor Location 0 |
| %void = OpTypeVoid |
| %3 = OpTypeFunction %void |
| %float = OpTypeFloat 32 |
| %v4float = OpTypeVector %float 4 |
| %v2float = OpTypeVector %float 2 |
| %Vertex = OpTypeStruct %v4float %v2float |
| ; CHECK: %Vertex = OpTypeStruct %v4float %v2float |
| %_ptr_Input_Vertex = OpTypePointer Input %Vertex |
| ; CHECK: %_ptr_Input_Vertex = OpTypePointer Input %Vertex |
| %iVert = OpVariable %_ptr_Input_Vertex Input |
| ; CHECK: %iVert = OpVariable %_ptr_Input_Vertex Input |
| %int = OpTypeInt 32 1 |
| %int_0 = OpConstant %int 0 |
| %_ptr_Input_v4float = OpTypePointer Input %v4float |
| %_ptr_Output_v4float = OpTypePointer Output %v4float |
| %fragColor = OpVariable %_ptr_Output_v4float Output |
| %main = OpFunction %void None %3 |
| %5 = OpLabel |
| %17 = OpAccessChain %_ptr_Input_v4float %iVert %int_0 |
| %18 = OpLoad %v4float %17 |
| OpStore %fragColor %18 |
| OpReturn |
| OpFunctionEnd |
| )"; |
| |
| SetTargetEnv(SPV_ENV_VULKAN_1_3); |
| SetAssembleOptions(SPV_TEXT_TO_BINARY_OPTION_PRESERVE_NUMERIC_IDS); |
| SinglePassRunAndMatch<EliminateDeadInputComponentsPass>(text, true, false, |
| true); |
| } |
| |
| } // namespace |
| } // namespace opt |
| } // namespace spvtools |
