123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848 |
- // Copyright (c) 2016 Google 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 <algorithm>
- #include <cstdarg>
- #include <iostream>
- #include <sstream>
- #include <string>
- #include <unordered_set>
- #include <vector>
- #include "test/opt/assembly_builder.h"
- #include "test/opt/pass_fixture.h"
- #include "test/opt/pass_utils.h"
- namespace spvtools {
- namespace opt {
- namespace {
- using EliminateDeadConstantBasicTest = PassTest<::testing::Test>;
- TEST_F(EliminateDeadConstantBasicTest, BasicAllDeadConstants) {
- const std::vector<const char*> text = {
- // clang-format off
- "OpCapability Shader",
- "OpCapability Float64",
- "%1 = OpExtInstImport \"GLSL.std.450\"",
- "OpMemoryModel Logical GLSL450",
- "OpEntryPoint Vertex %main \"main\"",
- "OpName %main \"main\"",
- "%void = OpTypeVoid",
- "%4 = OpTypeFunction %void",
- "%bool = OpTypeBool",
- "%true = OpConstantTrue %bool",
- "%false = OpConstantFalse %bool",
- "%int = OpTypeInt 32 1",
- "%9 = OpConstant %int 1",
- "%uint = OpTypeInt 32 0",
- "%11 = OpConstant %uint 2",
- "%float = OpTypeFloat 32",
- "%13 = OpConstant %float 3.1415",
- "%double = OpTypeFloat 64",
- "%15 = OpConstant %double 3.14159265358979",
- "%main = OpFunction %void None %4",
- "%16 = OpLabel",
- "OpReturn",
- "OpFunctionEnd",
- // clang-format on
- };
- // None of the above constants is ever used, so all of them should be
- // eliminated.
- const char* const_decl_opcodes[] = {
- " OpConstantTrue ",
- " OpConstantFalse ",
- " OpConstant ",
- };
- // Skip lines that have any one of const_decl_opcodes.
- const std::string expected_disassembly =
- SelectiveJoin(text, [&const_decl_opcodes](const char* line) {
- return std::any_of(
- std::begin(const_decl_opcodes), std::end(const_decl_opcodes),
- [&line](const char* const_decl_op) {
- return std::string(line).find(const_decl_op) != std::string::npos;
- });
- });
- SinglePassRunAndCheck<EliminateDeadConstantPass>(
- JoinAllInsts(text), expected_disassembly, /* skip_nop = */ true);
- }
- TEST_F(EliminateDeadConstantBasicTest, BasicNoneDeadConstants) {
- const std::vector<const char*> text = {
- // clang-format off
- "OpCapability Shader",
- "OpCapability Float64",
- "%1 = OpExtInstImport \"GLSL.std.450\"",
- "OpMemoryModel Logical GLSL450",
- "OpEntryPoint Vertex %main \"main\"",
- "OpName %main \"main\"",
- "OpName %btv \"btv\"",
- "OpName %bfv \"bfv\"",
- "OpName %iv \"iv\"",
- "OpName %uv \"uv\"",
- "OpName %fv \"fv\"",
- "OpName %dv \"dv\"",
- "%void = OpTypeVoid",
- "%10 = OpTypeFunction %void",
- "%bool = OpTypeBool",
- "%_ptr_Function_bool = OpTypePointer Function %bool",
- "%true = OpConstantTrue %bool",
- "%false = OpConstantFalse %bool",
- "%int = OpTypeInt 32 1",
- "%_ptr_Function_int = OpTypePointer Function %int",
- "%int_1 = OpConstant %int 1",
- "%uint = OpTypeInt 32 0",
- "%_ptr_Function_uint = OpTypePointer Function %uint",
- "%uint_2 = OpConstant %uint 2",
- "%float = OpTypeFloat 32",
- "%_ptr_Function_float = OpTypePointer Function %float",
- "%float_3_1415 = OpConstant %float 3.1415",
- "%double = OpTypeFloat 64",
- "%_ptr_Function_double = OpTypePointer Function %double",
- "%double_3_14159265358979 = OpConstant %double 3.14159265358979",
- "%main = OpFunction %void None %10",
- "%27 = OpLabel",
- "%btv = OpVariable %_ptr_Function_bool Function",
- "%bfv = OpVariable %_ptr_Function_bool Function",
- "%iv = OpVariable %_ptr_Function_int Function",
- "%uv = OpVariable %_ptr_Function_uint Function",
- "%fv = OpVariable %_ptr_Function_float Function",
- "%dv = OpVariable %_ptr_Function_double Function",
- "OpStore %btv %true",
- "OpStore %bfv %false",
- "OpStore %iv %int_1",
- "OpStore %uv %uint_2",
- "OpStore %fv %float_3_1415",
- "OpStore %dv %double_3_14159265358979",
- "OpReturn",
- "OpFunctionEnd",
- // clang-format on
- };
- // All constants are used, so none of them should be eliminated.
- SinglePassRunAndCheck<EliminateDeadConstantPass>(
- JoinAllInsts(text), JoinAllInsts(text), /* skip_nop = */ true);
- }
- struct EliminateDeadConstantTestCase {
- // Type declarations and constants that should be kept.
- std::vector<std::string> used_consts;
- // Instructions that refer to constants, this is added to create uses for
- // some constants so they won't be treated as dead constants.
- std::vector<std::string> main_insts;
- // Dead constants that should be removed.
- std::vector<std::string> dead_consts;
- };
- // All types that are potentially required in EliminateDeadConstantTest.
- const std::vector<std::string> CommonTypes = {
- // clang-format off
- // scalar types
- "%bool = OpTypeBool",
- "%uint = OpTypeInt 32 0",
- "%int = OpTypeInt 32 1",
- "%float = OpTypeFloat 32",
- "%double = OpTypeFloat 64",
- // vector types
- "%v2bool = OpTypeVector %bool 2",
- "%v2uint = OpTypeVector %uint 2",
- "%v2int = OpTypeVector %int 2",
- "%v3int = OpTypeVector %int 3",
- "%v4int = OpTypeVector %int 4",
- "%v2float = OpTypeVector %float 2",
- "%v3float = OpTypeVector %float 3",
- "%v2double = OpTypeVector %double 2",
- // variable pointer types
- "%_pf_bool = OpTypePointer Function %bool",
- "%_pf_uint = OpTypePointer Function %uint",
- "%_pf_int = OpTypePointer Function %int",
- "%_pf_float = OpTypePointer Function %float",
- "%_pf_double = OpTypePointer Function %double",
- "%_pf_v2int = OpTypePointer Function %v2int",
- "%_pf_v3int = OpTypePointer Function %v3int",
- "%_pf_v2float = OpTypePointer Function %v2float",
- "%_pf_v3float = OpTypePointer Function %v3float",
- "%_pf_v2double = OpTypePointer Function %v2double",
- // struct types
- "%inner_struct = OpTypeStruct %bool %int %float %double",
- "%outer_struct = OpTypeStruct %inner_struct %int %double",
- "%flat_struct = OpTypeStruct %bool %int %float %double",
- // clang-format on
- };
- using EliminateDeadConstantTest =
- PassTest<::testing::TestWithParam<EliminateDeadConstantTestCase>>;
- TEST_P(EliminateDeadConstantTest, Custom) {
- auto& tc = GetParam();
- AssemblyBuilder builder;
- builder.AppendTypesConstantsGlobals(CommonTypes)
- .AppendTypesConstantsGlobals(tc.used_consts)
- .AppendInMain(tc.main_insts);
- const std::string expected = builder.GetCode();
- builder.AppendTypesConstantsGlobals(tc.dead_consts);
- const std::string assembly_with_dead_const = builder.GetCode();
- SinglePassRunAndCheck<EliminateDeadConstantPass>(
- assembly_with_dead_const, expected, /* skip_nop = */ true);
- }
- INSTANTIATE_TEST_SUITE_P(
- ScalarTypeConstants, EliminateDeadConstantTest,
- ::testing::ValuesIn(std::vector<EliminateDeadConstantTestCase>({
- // clang-format off
- // Scalar type constants, one dead constant and one used constant.
- {
- /* .used_consts = */
- {
- "%used_const_int = OpConstant %int 1",
- },
- /* .main_insts = */
- {
- "%int_var = OpVariable %_pf_int Function",
- "OpStore %int_var %used_const_int",
- },
- /* .dead_consts = */
- {
- "%dead_const_int = OpConstant %int 1",
- },
- },
- {
- /* .used_consts = */
- {
- "%used_const_uint = OpConstant %uint 1",
- },
- /* .main_insts = */
- {
- "%uint_var = OpVariable %_pf_uint Function",
- "OpStore %uint_var %used_const_uint",
- },
- /* .dead_consts = */
- {
- "%dead_const_uint = OpConstant %uint 1",
- },
- },
- {
- /* .used_consts = */
- {
- "%used_const_float = OpConstant %float 3.1415",
- },
- /* .main_insts = */
- {
- "%float_var = OpVariable %_pf_float Function",
- "OpStore %float_var %used_const_float",
- },
- /* .dead_consts = */
- {
- "%dead_const_float = OpConstant %float 3.1415",
- },
- },
- {
- /* .used_consts = */
- {
- "%used_const_double = OpConstant %double 3.141592653",
- },
- /* .main_insts = */
- {
- "%double_var = OpVariable %_pf_double Function",
- "OpStore %double_var %used_const_double",
- },
- /* .dead_consts = */
- {
- "%dead_const_double = OpConstant %double 3.141592653",
- },
- },
- // clang-format on
- })));
- INSTANTIATE_TEST_SUITE_P(
- VectorTypeConstants, EliminateDeadConstantTest,
- ::testing::ValuesIn(std::vector<EliminateDeadConstantTestCase>({
- // clang-format off
- // Tests eliminating dead constant type ivec2. One dead constant vector
- // and one used constant vector, each built from its own group of
- // scalar constants.
- {
- /* .used_consts = */
- {
- "%used_int_x = OpConstant %int 1",
- "%used_int_y = OpConstant %int 2",
- "%used_v2int = OpConstantComposite %v2int %used_int_x %used_int_y",
- },
- /* .main_insts = */
- {
- "%v2int_var = OpVariable %_pf_v2int Function",
- "OpStore %v2int_var %used_v2int",
- },
- /* .dead_consts = */
- {
- "%dead_int_x = OpConstant %int 1",
- "%dead_int_y = OpConstant %int 2",
- "%dead_v2int = OpConstantComposite %v2int %dead_int_x %dead_int_y",
- },
- },
- // Tests eliminating dead constant ivec2. One dead constant vector and
- // one used constant vector. But both built from a same group of
- // scalar constants.
- {
- /* .used_consts = */
- {
- "%used_int_x = OpConstant %int 1",
- "%used_int_y = OpConstant %int 2",
- "%used_int_z = OpConstant %int 3",
- "%used_v3int = OpConstantComposite %v3int %used_int_x %used_int_y %used_int_z",
- },
- /* .main_insts = */
- {
- "%v3int_var = OpVariable %_pf_v3int Function",
- "OpStore %v3int_var %used_v3int",
- },
- /* .dead_consts = */
- {
- "%dead_v3int = OpConstantComposite %v3int %used_int_x %used_int_y %used_int_z",
- },
- },
- // Tests eliminating dead cosntant vec2. One dead constant vector and
- // one used constant vector. Each built from its own group of scalar
- // constants.
- {
- /* .used_consts = */
- {
- "%used_float_x = OpConstant %float 3.1415",
- "%used_float_y = OpConstant %float 4.25",
- "%used_v2float = OpConstantComposite %v2float %used_float_x %used_float_y",
- },
- /* .main_insts = */
- {
- "%v2float_var = OpVariable %_pf_v2float Function",
- "OpStore %v2float_var %used_v2float",
- },
- /* .dead_consts = */
- {
- "%dead_float_x = OpConstant %float 3.1415",
- "%dead_float_y = OpConstant %float 4.25",
- "%dead_v2float = OpConstantComposite %v2float %dead_float_x %dead_float_y",
- },
- },
- // Tests eliminating dead cosntant vec2. One dead constant vector and
- // one used constant vector. Both built from a same group of scalar
- // constants.
- {
- /* .used_consts = */
- {
- "%used_float_x = OpConstant %float 3.1415",
- "%used_float_y = OpConstant %float 4.25",
- "%used_float_z = OpConstant %float 4.75",
- "%used_v3float = OpConstantComposite %v3float %used_float_x %used_float_y %used_float_z",
- },
- /* .main_insts = */
- {
- "%v3float_var = OpVariable %_pf_v3float Function",
- "OpStore %v3float_var %used_v3float",
- },
- /* .dead_consts = */
- {
- "%dead_v3float = OpConstantComposite %v3float %used_float_x %used_float_y %used_float_z",
- },
- },
- // clang-format on
- })));
- INSTANTIATE_TEST_SUITE_P(
- StructTypeConstants, EliminateDeadConstantTest,
- ::testing::ValuesIn(std::vector<EliminateDeadConstantTestCase>({
- // clang-format off
- // A plain struct type dead constants. All of its components are dead
- // constants too.
- {
- /* .used_consts = */ {},
- /* .main_insts = */ {},
- /* .dead_consts = */
- {
- "%dead_bool = OpConstantTrue %bool",
- "%dead_int = OpConstant %int 1",
- "%dead_float = OpConstant %float 2.5",
- "%dead_double = OpConstant %double 3.14159265358979",
- "%dead_struct = OpConstantComposite %flat_struct %dead_bool %dead_int %dead_float %dead_double",
- },
- },
- // A plain struct type dead constants. Some of its components are dead
- // constants while others are not.
- {
- /* .used_consts = */
- {
- "%used_int = OpConstant %int 1",
- "%used_double = OpConstant %double 3.14159265358979",
- },
- /* .main_insts = */
- {
- "%int_var = OpVariable %_pf_int Function",
- "OpStore %int_var %used_int",
- "%double_var = OpVariable %_pf_double Function",
- "OpStore %double_var %used_double",
- },
- /* .dead_consts = */
- {
- "%dead_bool = OpConstantTrue %bool",
- "%dead_float = OpConstant %float 2.5",
- "%dead_struct = OpConstantComposite %flat_struct %dead_bool %used_int %dead_float %used_double",
- },
- },
- // A nesting struct type dead constants. All components of both outer
- // and inner structs are dead and should be removed after dead constant
- // elimination.
- {
- /* .used_consts = */ {},
- /* .main_insts = */ {},
- /* .dead_consts = */
- {
- "%dead_bool = OpConstantTrue %bool",
- "%dead_int = OpConstant %int 1",
- "%dead_float = OpConstant %float 2.5",
- "%dead_double = OpConstant %double 3.1415926535",
- "%dead_inner_struct = OpConstantComposite %inner_struct %dead_bool %dead_int %dead_float %dead_double",
- "%dead_int2 = OpConstant %int 2",
- "%dead_double2 = OpConstant %double 1.428571428514",
- "%dead_outer_struct = OpConstantComposite %outer_struct %dead_inner_struct %dead_int2 %dead_double2",
- },
- },
- // A nesting struct type dead constants. Some of its components are
- // dead constants while others are not.
- {
- /* .used_consts = */
- {
- "%used_int = OpConstant %int 1",
- "%used_double = OpConstant %double 3.14159265358979",
- },
- /* .main_insts = */
- {
- "%int_var = OpVariable %_pf_int Function",
- "OpStore %int_var %used_int",
- "%double_var = OpVariable %_pf_double Function",
- "OpStore %double_var %used_double",
- },
- /* .dead_consts = */
- {
- "%dead_bool = OpConstantTrue %bool",
- "%dead_float = OpConstant %float 2.5",
- "%dead_inner_struct = OpConstantComposite %inner_struct %dead_bool %used_int %dead_float %used_double",
- "%dead_int = OpConstant %int 2",
- "%dead_outer_struct = OpConstantComposite %outer_struct %dead_inner_struct %dead_int %used_double",
- },
- },
- // A nesting struct case. The inner struct is used while the outer struct is not
- {
- /* .used_const = */
- {
- "%used_bool = OpConstantTrue %bool",
- "%used_int = OpConstant %int 1",
- "%used_float = OpConstant %float 1.25",
- "%used_double = OpConstant %double 1.23456789012345",
- "%used_inner_struct = OpConstantComposite %inner_struct %used_bool %used_int %used_float %used_double",
- },
- /* .main_insts = */
- {
- "%bool_var = OpVariable %_pf_bool Function",
- "%bool_from_inner_struct = OpCompositeExtract %bool %used_inner_struct 0",
- "OpStore %bool_var %bool_from_inner_struct",
- },
- /* .dead_consts = */
- {
- "%dead_int = OpConstant %int 2",
- "%dead_outer_struct = OpConstantComposite %outer_struct %used_inner_struct %dead_int %used_double"
- },
- },
- // A nesting struct case. The outer struct is used, so the inner struct should not
- // be removed even though it is not used anywhere.
- {
- /* .used_const = */
- {
- "%used_bool = OpConstantTrue %bool",
- "%used_int = OpConstant %int 1",
- "%used_float = OpConstant %float 1.25",
- "%used_double = OpConstant %double 1.23456789012345",
- "%used_inner_struct = OpConstantComposite %inner_struct %used_bool %used_int %used_float %used_double",
- "%used_outer_struct = OpConstantComposite %outer_struct %used_inner_struct %used_int %used_double"
- },
- /* .main_insts = */
- {
- "%int_var = OpVariable %_pf_int Function",
- "%int_from_outer_struct = OpCompositeExtract %int %used_outer_struct 1",
- "OpStore %int_var %int_from_outer_struct",
- },
- /* .dead_consts = */ {},
- },
- // clang-format on
- })));
- INSTANTIATE_TEST_SUITE_P(
- ScalarTypeSpecConstants, EliminateDeadConstantTest,
- ::testing::ValuesIn(std::vector<EliminateDeadConstantTestCase>({
- // clang-format off
- // All scalar type spec constants.
- {
- /* .used_consts = */
- {
- "%used_bool = OpSpecConstantTrue %bool",
- "%used_uint = OpSpecConstant %uint 2",
- "%used_int = OpSpecConstant %int 2",
- "%used_float = OpSpecConstant %float 2.5",
- "%used_double = OpSpecConstant %double 1.42857142851",
- },
- /* .main_insts = */
- {
- "%bool_var = OpVariable %_pf_bool Function",
- "%uint_var = OpVariable %_pf_uint Function",
- "%int_var = OpVariable %_pf_int Function",
- "%float_var = OpVariable %_pf_float Function",
- "%double_var = OpVariable %_pf_double Function",
- "OpStore %bool_var %used_bool", "OpStore %uint_var %used_uint",
- "OpStore %int_var %used_int", "OpStore %float_var %used_float",
- "OpStore %double_var %used_double",
- },
- /* .dead_consts = */
- {
- "%dead_bool = OpSpecConstantTrue %bool",
- "%dead_uint = OpSpecConstant %uint 2",
- "%dead_int = OpSpecConstant %int 2",
- "%dead_float = OpSpecConstant %float 2.5",
- "%dead_double = OpSpecConstant %double 1.42857142851",
- },
- },
- // clang-format on
- })));
- INSTANTIATE_TEST_SUITE_P(
- VectorTypeSpecConstants, EliminateDeadConstantTest,
- ::testing::ValuesIn(std::vector<EliminateDeadConstantTestCase>({
- // clang-format off
- // Bool vector type spec constants. One vector has all component dead,
- // another vector has one dead boolean and one used boolean.
- {
- /* .used_consts = */
- {
- "%used_bool = OpSpecConstantTrue %bool",
- },
- /* .main_insts = */
- {
- "%bool_var = OpVariable %_pf_bool Function",
- "OpStore %bool_var %used_bool",
- },
- /* .dead_consts = */
- {
- "%dead_bool = OpSpecConstantFalse %bool",
- "%dead_bool_vec1 = OpSpecConstantComposite %v2bool %dead_bool %dead_bool",
- "%dead_bool_vec2 = OpSpecConstantComposite %v2bool %dead_bool %used_bool",
- },
- },
- // Uint vector type spec constants. One vector has all component dead,
- // another vector has one dead unsigend integer and one used unsigned
- // integer.
- {
- /* .used_consts = */
- {
- "%used_uint = OpSpecConstant %uint 3",
- },
- /* .main_insts = */
- {
- "%uint_var = OpVariable %_pf_uint Function",
- "OpStore %uint_var %used_uint",
- },
- /* .dead_consts = */
- {
- "%dead_uint = OpSpecConstant %uint 1",
- "%dead_uint_vec1 = OpSpecConstantComposite %v2uint %dead_uint %dead_uint",
- "%dead_uint_vec2 = OpSpecConstantComposite %v2uint %dead_uint %used_uint",
- },
- },
- // Int vector type spec constants. One vector has all component dead,
- // another vector has one dead integer and one used integer.
- {
- /* .used_consts = */
- {
- "%used_int = OpSpecConstant %int 3",
- },
- /* .main_insts = */
- {
- "%int_var = OpVariable %_pf_int Function",
- "OpStore %int_var %used_int",
- },
- /* .dead_consts = */
- {
- "%dead_int = OpSpecConstant %int 1",
- "%dead_int_vec1 = OpSpecConstantComposite %v2int %dead_int %dead_int",
- "%dead_int_vec2 = OpSpecConstantComposite %v2int %dead_int %used_int",
- },
- },
- // Int vector type spec constants built with both spec constants and
- // front-end constants.
- {
- /* .used_consts = */
- {
- "%used_spec_int = OpSpecConstant %int 3",
- "%used_front_end_int = OpConstant %int 3",
- },
- /* .main_insts = */
- {
- "%int_var1 = OpVariable %_pf_int Function",
- "OpStore %int_var1 %used_spec_int",
- "%int_var2 = OpVariable %_pf_int Function",
- "OpStore %int_var2 %used_front_end_int",
- },
- /* .dead_consts = */
- {
- "%dead_spec_int = OpSpecConstant %int 1",
- "%dead_front_end_int = OpConstant %int 1",
- // Dead front-end and dead spec constants
- "%dead_int_vec1 = OpSpecConstantComposite %v2int %dead_spec_int %dead_front_end_int",
- // Used front-end and dead spec constants
- "%dead_int_vec2 = OpSpecConstantComposite %v2int %dead_spec_int %used_front_end_int",
- // Dead front-end and used spec constants
- "%dead_int_vec3 = OpSpecConstantComposite %v2int %dead_front_end_int %used_spec_int",
- },
- },
- // clang-format on
- })));
- INSTANTIATE_TEST_SUITE_P(
- SpecConstantOp, EliminateDeadConstantTest,
- ::testing::ValuesIn(std::vector<EliminateDeadConstantTestCase>({
- // clang-format off
- // Cast operations: uint <-> int <-> bool
- {
- /* .used_consts = */ {},
- /* .main_insts = */ {},
- /* .dead_consts = */
- {
- // Assistant constants, only used in dead spec constant
- // operations.
- "%signed_zero = OpConstant %int 0",
- "%signed_zero_vec = OpConstantComposite %v2int %signed_zero %signed_zero",
- "%unsigned_zero = OpConstant %uint 0",
- "%unsigned_zero_vec = OpConstantComposite %v2uint %unsigned_zero %unsigned_zero",
- "%signed_one = OpConstant %int 1",
- "%signed_one_vec = OpConstantComposite %v2int %signed_one %signed_one",
- "%unsigned_one = OpConstant %uint 1",
- "%unsigned_one_vec = OpConstantComposite %v2uint %unsigned_one %unsigned_one",
- // Spec constants that support casting to each other.
- "%dead_bool = OpSpecConstantTrue %bool",
- "%dead_uint = OpSpecConstant %uint 1",
- "%dead_int = OpSpecConstant %int 2",
- "%dead_bool_vec = OpSpecConstantComposite %v2bool %dead_bool %dead_bool",
- "%dead_uint_vec = OpSpecConstantComposite %v2uint %dead_uint %dead_uint",
- "%dead_int_vec = OpSpecConstantComposite %v2int %dead_int %dead_int",
- // Scalar cast to boolean spec constant.
- "%int_to_bool = OpSpecConstantOp %bool INotEqual %dead_int %signed_zero",
- "%uint_to_bool = OpSpecConstantOp %bool INotEqual %dead_uint %unsigned_zero",
- // Vector cast to boolean spec constant.
- "%int_to_bool_vec = OpSpecConstantOp %v2bool INotEqual %dead_int_vec %signed_zero_vec",
- "%uint_to_bool_vec = OpSpecConstantOp %v2bool INotEqual %dead_uint_vec %unsigned_zero_vec",
- // Scalar cast to int spec constant.
- "%bool_to_int = OpSpecConstantOp %int Select %dead_bool %signed_one %signed_zero",
- "%uint_to_int = OpSpecConstantOp %uint IAdd %dead_uint %unsigned_zero",
- // Vector cast to int spec constant.
- "%bool_to_int_vec = OpSpecConstantOp %v2int Select %dead_bool_vec %signed_one_vec %signed_zero_vec",
- "%uint_to_int_vec = OpSpecConstantOp %v2uint IAdd %dead_uint_vec %unsigned_zero_vec",
- // Scalar cast to uint spec constant.
- "%bool_to_uint = OpSpecConstantOp %uint Select %dead_bool %unsigned_one %unsigned_zero",
- "%int_to_uint_vec = OpSpecConstantOp %uint IAdd %dead_int %signed_zero",
- // Vector cast to uint spec constant.
- "%bool_to_uint_vec = OpSpecConstantOp %v2uint Select %dead_bool_vec %unsigned_one_vec %unsigned_zero_vec",
- "%int_to_uint = OpSpecConstantOp %v2uint IAdd %dead_int_vec %signed_zero_vec",
- },
- },
- // Add, sub, mul, div, rem.
- {
- /* .used_consts = */ {},
- /* .main_insts = */ {},
- /* .dead_consts = */
- {
- "%dead_spec_int_a = OpSpecConstant %int 1",
- "%dead_spec_int_a_vec = OpSpecConstantComposite %v2int %dead_spec_int_a %dead_spec_int_a",
- "%dead_spec_int_b = OpSpecConstant %int 2",
- "%dead_spec_int_b_vec = OpSpecConstantComposite %v2int %dead_spec_int_b %dead_spec_int_b",
- "%dead_const_int_c = OpConstant %int 3",
- "%dead_const_int_c_vec = OpConstantComposite %v2int %dead_const_int_c %dead_const_int_c",
- // Add
- "%add_a_b = OpSpecConstantOp %int IAdd %dead_spec_int_a %dead_spec_int_b",
- "%add_a_b_vec = OpSpecConstantOp %v2int IAdd %dead_spec_int_a_vec %dead_spec_int_b_vec",
- // Sub
- "%sub_a_b = OpSpecConstantOp %int ISub %dead_spec_int_a %dead_spec_int_b",
- "%sub_a_b_vec = OpSpecConstantOp %v2int ISub %dead_spec_int_a_vec %dead_spec_int_b_vec",
- // Mul
- "%mul_a_b = OpSpecConstantOp %int IMul %dead_spec_int_a %dead_spec_int_b",
- "%mul_a_b_vec = OpSpecConstantOp %v2int IMul %dead_spec_int_a_vec %dead_spec_int_b_vec",
- // Div
- "%div_a_b = OpSpecConstantOp %int SDiv %dead_spec_int_a %dead_spec_int_b",
- "%div_a_b_vec = OpSpecConstantOp %v2int SDiv %dead_spec_int_a_vec %dead_spec_int_b_vec",
- // Bitwise Xor
- "%xor_a_b = OpSpecConstantOp %int BitwiseXor %dead_spec_int_a %dead_spec_int_b",
- "%xor_a_b_vec = OpSpecConstantOp %v2int BitwiseXor %dead_spec_int_a_vec %dead_spec_int_b_vec",
- // Scalar Comparison
- "%less_a_b = OpSpecConstantOp %bool SLessThan %dead_spec_int_a %dead_spec_int_b",
- },
- },
- // Vectors without used swizzles should be removed.
- {
- /* .used_consts = */
- {
- "%used_int = OpConstant %int 3",
- },
- /* .main_insts = */
- {
- "%int_var = OpVariable %_pf_int Function",
- "OpStore %int_var %used_int",
- },
- /* .dead_consts = */
- {
- "%dead_int = OpConstant %int 3",
- "%dead_spec_int_a = OpSpecConstant %int 1",
- "%vec_a = OpSpecConstantComposite %v4int %dead_spec_int_a %dead_spec_int_a %dead_int %dead_int",
- "%dead_spec_int_b = OpSpecConstant %int 2",
- "%vec_b = OpSpecConstantComposite %v4int %dead_spec_int_b %dead_spec_int_b %used_int %used_int",
- // Extract scalar
- "%a_x = OpSpecConstantOp %int CompositeExtract %vec_a 0",
- "%b_x = OpSpecConstantOp %int CompositeExtract %vec_b 0",
- // Extract vector
- "%a_xy = OpSpecConstantOp %v2int VectorShuffle %vec_a %vec_a 0 1",
- "%b_xy = OpSpecConstantOp %v2int VectorShuffle %vec_b %vec_b 0 1",
- },
- },
- // Vectors with used swizzles should not be removed.
- {
- /* .used_consts = */
- {
- "%used_int = OpConstant %int 3",
- "%used_spec_int_a = OpSpecConstant %int 1",
- "%used_spec_int_b = OpSpecConstant %int 2",
- // Create vectors
- "%vec_a = OpSpecConstantComposite %v4int %used_spec_int_a %used_spec_int_a %used_int %used_int",
- "%vec_b = OpSpecConstantComposite %v4int %used_spec_int_b %used_spec_int_b %used_int %used_int",
- // Extract vector
- "%a_xy = OpSpecConstantOp %v2int VectorShuffle %vec_a %vec_a 0 1",
- "%b_xy = OpSpecConstantOp %v2int VectorShuffle %vec_b %vec_b 0 1",
- },
- /* .main_insts = */
- {
- "%v2int_var_a = OpVariable %_pf_v2int Function",
- "%v2int_var_b = OpVariable %_pf_v2int Function",
- "OpStore %v2int_var_a %a_xy",
- "OpStore %v2int_var_b %b_xy",
- },
- /* .dead_consts = */ {},
- },
- // clang-format on
- })));
- INSTANTIATE_TEST_SUITE_P(
- LongDefUseChain, EliminateDeadConstantTest,
- ::testing::ValuesIn(std::vector<EliminateDeadConstantTestCase>({
- // clang-format off
- // Long Def-Use chain with binary operations.
- {
- /* .used_consts = */
- {
- "%array_size = OpConstant %int 4",
- "%type_arr_int_4 = OpTypeArray %int %array_size",
- "%used_int_0 = OpConstant %int 100",
- "%used_int_1 = OpConstant %int 1",
- "%used_int_2 = OpSpecConstantOp %int IAdd %used_int_0 %used_int_1",
- "%used_int_3 = OpSpecConstantOp %int ISub %used_int_0 %used_int_2",
- "%used_int_4 = OpSpecConstantOp %int IAdd %used_int_0 %used_int_3",
- "%used_int_5 = OpSpecConstantOp %int ISub %used_int_0 %used_int_4",
- "%used_int_6 = OpSpecConstantOp %int IAdd %used_int_0 %used_int_5",
- "%used_int_7 = OpSpecConstantOp %int ISub %used_int_0 %used_int_6",
- "%used_int_8 = OpSpecConstantOp %int IAdd %used_int_0 %used_int_7",
- "%used_int_9 = OpSpecConstantOp %int ISub %used_int_0 %used_int_8",
- "%used_int_10 = OpSpecConstantOp %int IAdd %used_int_0 %used_int_9",
- "%used_int_11 = OpSpecConstantOp %int ISub %used_int_0 %used_int_10",
- "%used_int_12 = OpSpecConstantOp %int IAdd %used_int_0 %used_int_11",
- "%used_int_13 = OpSpecConstantOp %int ISub %used_int_0 %used_int_12",
- "%used_int_14 = OpSpecConstantOp %int IAdd %used_int_0 %used_int_13",
- "%used_int_15 = OpSpecConstantOp %int ISub %used_int_0 %used_int_14",
- "%used_int_16 = OpSpecConstantOp %int ISub %used_int_0 %used_int_15",
- "%used_int_17 = OpSpecConstantOp %int IAdd %used_int_0 %used_int_16",
- "%used_int_18 = OpSpecConstantOp %int ISub %used_int_0 %used_int_17",
- "%used_int_19 = OpSpecConstantOp %int IAdd %used_int_0 %used_int_18",
- "%used_int_20 = OpSpecConstantOp %int ISub %used_int_0 %used_int_19",
- "%used_vec_a = OpSpecConstantComposite %v2int %used_int_18 %used_int_19",
- "%used_vec_b = OpSpecConstantOp %v2int IMul %used_vec_a %used_vec_a",
- "%used_int_21 = OpSpecConstantOp %int CompositeExtract %used_vec_b 0",
- "%used_array = OpConstantComposite %type_arr_int_4 %used_int_20 %used_int_20 %used_int_21 %used_int_21",
- },
- /* .main_insts = */
- {
- "%int_var = OpVariable %_pf_int Function",
- "%used_array_2 = OpCompositeExtract %int %used_array 2",
- "OpStore %int_var %used_array_2",
- },
- /* .dead_consts = */
- {
- "%dead_int_1 = OpConstant %int 2",
- "%dead_int_2 = OpSpecConstantOp %int IAdd %used_int_0 %dead_int_1",
- "%dead_int_3 = OpSpecConstantOp %int ISub %used_int_0 %dead_int_2",
- "%dead_int_4 = OpSpecConstantOp %int IAdd %used_int_0 %dead_int_3",
- "%dead_int_5 = OpSpecConstantOp %int ISub %used_int_0 %dead_int_4",
- "%dead_int_6 = OpSpecConstantOp %int IAdd %used_int_0 %dead_int_5",
- "%dead_int_7 = OpSpecConstantOp %int ISub %used_int_0 %dead_int_6",
- "%dead_int_8 = OpSpecConstantOp %int IAdd %used_int_0 %dead_int_7",
- "%dead_int_9 = OpSpecConstantOp %int ISub %used_int_0 %dead_int_8",
- "%dead_int_10 = OpSpecConstantOp %int IAdd %used_int_0 %dead_int_9",
- "%dead_int_11 = OpSpecConstantOp %int ISub %used_int_0 %dead_int_10",
- "%dead_int_12 = OpSpecConstantOp %int IAdd %used_int_0 %dead_int_11",
- "%dead_int_13 = OpSpecConstantOp %int ISub %used_int_0 %dead_int_12",
- "%dead_int_14 = OpSpecConstantOp %int IAdd %used_int_0 %dead_int_13",
- "%dead_int_15 = OpSpecConstantOp %int ISub %used_int_0 %dead_int_14",
- "%dead_int_16 = OpSpecConstantOp %int ISub %used_int_0 %dead_int_15",
- "%dead_int_17 = OpSpecConstantOp %int IAdd %used_int_0 %dead_int_16",
- "%dead_int_18 = OpSpecConstantOp %int ISub %used_int_0 %dead_int_17",
- "%dead_int_19 = OpSpecConstantOp %int IAdd %used_int_0 %dead_int_18",
- "%dead_int_20 = OpSpecConstantOp %int ISub %used_int_0 %dead_int_19",
- "%dead_vec_a = OpSpecConstantComposite %v2int %dead_int_18 %dead_int_19",
- "%dead_vec_b = OpSpecConstantOp %v2int IMul %dead_vec_a %dead_vec_a",
- "%dead_int_21 = OpSpecConstantOp %int CompositeExtract %dead_vec_b 0",
- "%dead_array = OpConstantComposite %type_arr_int_4 %dead_int_20 %used_int_20 %dead_int_19 %used_int_19",
- },
- },
- // Long Def-Use chain with swizzle
- // clang-format on
- })));
- } // namespace
- } // namespace opt
- } // namespace spvtools
|