blob: 3870e2f995edc91defb3cfb87670b4be62552e2e [file] [log] [blame]
// Copyright (c) 2018 Google LLC.
//
// 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 <memory>
#include <unordered_set>
#include <vector>
#include "gmock/gmock.h"
#include "source/opt/register_pressure.h"
#include "test/opt/assembly_builder.h"
#include "test/opt/function_utils.h"
#include "test/opt/pass_fixture.h"
#include "test/opt/pass_utils.h"
namespace spvtools {
namespace opt {
namespace {
using ::testing::UnorderedElementsAre;
using PassClassTest = PassTest<::testing::Test>;
void CompareSets(const std::unordered_set<Instruction*>& computed,
const std::unordered_set<uint32_t>& expected) {
for (Instruction* insn : computed) {
EXPECT_TRUE(expected.count(insn->result_id()))
<< "Unexpected instruction in live set: " << *insn;
}
EXPECT_EQ(computed.size(), expected.size());
}
/*
Generated from the following GLSL
#version 330
in vec4 BaseColor;
flat in int Count;
void main()
{
vec4 color = BaseColor;
vec4 acc;
if (Count == 0) {
acc = color;
}
else {
acc = color + vec4(0,1,2,0);
}
gl_FragColor = acc + color;
}
*/
TEST_F(PassClassTest, LivenessWithIf) {
const std::string text = R"(
OpCapability Shader
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Fragment %4 "main" %11 %15 %32
OpExecutionMode %4 OriginLowerLeft
OpSource GLSL 330
OpName %4 "main"
OpName %11 "BaseColor"
OpName %15 "Count"
OpName %32 "gl_FragColor"
OpDecorate %11 Location 0
OpDecorate %15 Flat
OpDecorate %15 Location 0
OpDecorate %32 Location 0
%2 = OpTypeVoid
%3 = OpTypeFunction %2
%6 = OpTypeFloat 32
%7 = OpTypeVector %6 4
%10 = OpTypePointer Input %7
%11 = OpVariable %10 Input
%13 = OpTypeInt 32 1
%14 = OpTypePointer Input %13
%15 = OpVariable %14 Input
%17 = OpConstant %13 0
%18 = OpTypeBool
%26 = OpConstant %6 0
%27 = OpConstant %6 1
%28 = OpConstant %6 2
%29 = OpConstantComposite %7 %26 %27 %28 %26
%31 = OpTypePointer Output %7
%32 = OpVariable %31 Output
%4 = OpFunction %2 None %3
%5 = OpLabel
%12 = OpLoad %7 %11
%16 = OpLoad %13 %15
%19 = OpIEqual %18 %16 %17
OpSelectionMerge %21 None
OpBranchConditional %19 %20 %24
%20 = OpLabel
OpBranch %21
%24 = OpLabel
%30 = OpFAdd %7 %12 %29
OpBranch %21
%21 = OpLabel
%36 = OpPhi %7 %12 %20 %30 %24
%35 = OpFAdd %7 %36 %12
OpStore %32 %35
OpReturn
OpFunctionEnd
)";
std::unique_ptr<IRContext> context =
BuildModule(SPV_ENV_UNIVERSAL_1_1, nullptr, text,
SPV_TEXT_TO_BINARY_OPTION_PRESERVE_NUMERIC_IDS);
Module* module = context->module();
EXPECT_NE(nullptr, module) << "Assembling failed for shader:\n"
<< text << std::endl;
Function* f = &*module->begin();
LivenessAnalysis* liveness_analysis = context->GetLivenessAnalysis();
const RegisterLiveness* register_liveness = liveness_analysis->Get(f);
{
SCOPED_TRACE("Block 5");
auto live_sets = register_liveness->Get(5);
std::unordered_set<uint32_t> live_in{
11, // %11 = OpVariable %10 Input
15, // %15 = OpVariable %14 Input
32, // %32 = OpVariable %31 Output
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{
12, // %12 = OpLoad %7 %11
32, // %32 = OpVariable %31 Output
};
CompareSets(live_sets->live_out_, live_out);
}
{
SCOPED_TRACE("Block 20");
auto live_sets = register_liveness->Get(20);
std::unordered_set<uint32_t> live_inout{
12, // %12 = OpLoad %7 %11
32, // %32 = OpVariable %31 Output
};
CompareSets(live_sets->live_in_, live_inout);
CompareSets(live_sets->live_out_, live_inout);
}
{
SCOPED_TRACE("Block 24");
auto live_sets = register_liveness->Get(24);
std::unordered_set<uint32_t> live_in{
12, // %12 = OpLoad %7 %11
32, // %32 = OpVariable %31 Output
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{
12, // %12 = OpLoad %7 %11
30, // %30 = OpFAdd %7 %12 %29
32, // %32 = OpVariable %31 Output
};
CompareSets(live_sets->live_out_, live_out);
}
{
SCOPED_TRACE("Block 21");
auto live_sets = register_liveness->Get(21);
std::unordered_set<uint32_t> live_in{
12, // %12 = OpLoad %7 %11
32, // %32 = OpVariable %31 Output
36, // %36 = OpPhi %7 %12 %20 %30 %24
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{};
CompareSets(live_sets->live_out_, live_out);
}
}
/*
Generated from the following GLSL
#version 330
in vec4 bigColor;
in vec4 BaseColor;
in float f;
flat in int Count;
flat in uvec4 v4;
void main()
{
vec4 color = BaseColor;
for (int i = 0; i < Count; ++i)
color += bigColor;
float sum = 0.0;
for (int i = 0; i < 4; ++i) {
float acc = 0.0;
if (sum == 0.0) {
acc = v4[i];
}
else {
acc = BaseColor[i];
}
sum += acc + v4[i];
}
vec4 tv4;
for (int i = 0; i < 4; ++i)
tv4[i] = v4[i] * 4u;
color += vec4(sum) + tv4;
vec4 r;
r.xyz = BaseColor.xyz;
for (int i = 0; i < Count; ++i)
r.w = f;
color.xyz += r.xyz;
for (int i = 0; i < 16; i += 4)
for (int j = 0; j < 4; j++)
color *= f;
gl_FragColor = color + tv4;
}
*/
TEST_F(PassClassTest, RegisterLiveness) {
const std::string text = R"(
OpCapability Shader
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Fragment %4 "main" %11 %24 %28 %55 %124 %176
OpExecutionMode %4 OriginLowerLeft
OpSource GLSL 330
OpName %4 "main"
OpName %11 "BaseColor"
OpName %24 "Count"
OpName %28 "bigColor"
OpName %55 "v4"
OpName %84 "tv4"
OpName %124 "f"
OpName %176 "gl_FragColor"
OpDecorate %11 Location 0
OpDecorate %24 Flat
OpDecorate %24 Location 0
OpDecorate %28 Location 0
OpDecorate %55 Flat
OpDecorate %55 Location 0
OpDecorate %124 Location 0
OpDecorate %176 Location 0
%2 = OpTypeVoid
%3 = OpTypeFunction %2
%6 = OpTypeFloat 32
%7 = OpTypeVector %6 4
%8 = OpTypePointer Function %7
%10 = OpTypePointer Input %7
%11 = OpVariable %10 Input
%13 = OpTypeInt 32 1
%16 = OpConstant %13 0
%23 = OpTypePointer Input %13
%24 = OpVariable %23 Input
%26 = OpTypeBool
%28 = OpVariable %10 Input
%33 = OpConstant %13 1
%35 = OpTypePointer Function %6
%37 = OpConstant %6 0
%45 = OpConstant %13 4
%52 = OpTypeInt 32 0
%53 = OpTypeVector %52 4
%54 = OpTypePointer Input %53
%55 = OpVariable %54 Input
%57 = OpTypePointer Input %52
%63 = OpTypePointer Input %6
%89 = OpConstant %52 4
%102 = OpTypeVector %6 3
%124 = OpVariable %63 Input
%158 = OpConstant %13 16
%175 = OpTypePointer Output %7
%176 = OpVariable %175 Output
%195 = OpUndef %7
%4 = OpFunction %2 None %3
%5 = OpLabel
%84 = OpVariable %8 Function
%12 = OpLoad %7 %11
OpBranch %17
%17 = OpLabel
%191 = OpPhi %7 %12 %5 %31 %18
%184 = OpPhi %13 %16 %5 %34 %18
%25 = OpLoad %13 %24
%27 = OpSLessThan %26 %184 %25
OpLoopMerge %19 %18 None
OpBranchConditional %27 %18 %19
%18 = OpLabel
%29 = OpLoad %7 %28
%31 = OpFAdd %7 %191 %29
%34 = OpIAdd %13 %184 %33
OpBranch %17
%19 = OpLabel
OpBranch %39
%39 = OpLabel
%188 = OpPhi %6 %37 %19 %73 %51
%185 = OpPhi %13 %16 %19 %75 %51
%46 = OpSLessThan %26 %185 %45
OpLoopMerge %41 %51 None
OpBranchConditional %46 %40 %41
%40 = OpLabel
%49 = OpFOrdEqual %26 %188 %37
OpSelectionMerge %51 None
OpBranchConditional %49 %50 %61
%50 = OpLabel
%58 = OpAccessChain %57 %55 %185
%59 = OpLoad %52 %58
%60 = OpConvertUToF %6 %59
OpBranch %51
%61 = OpLabel
%64 = OpAccessChain %63 %11 %185
%65 = OpLoad %6 %64
OpBranch %51
%51 = OpLabel
%210 = OpPhi %6 %60 %50 %65 %61
%68 = OpAccessChain %57 %55 %185
%69 = OpLoad %52 %68
%70 = OpConvertUToF %6 %69
%71 = OpFAdd %6 %210 %70
%73 = OpFAdd %6 %188 %71
%75 = OpIAdd %13 %185 %33
OpBranch %39
%41 = OpLabel
OpBranch %77
%77 = OpLabel
%186 = OpPhi %13 %16 %41 %94 %78
%83 = OpSLessThan %26 %186 %45
OpLoopMerge %79 %78 None
OpBranchConditional %83 %78 %79
%78 = OpLabel
%87 = OpAccessChain %57 %55 %186
%88 = OpLoad %52 %87
%90 = OpIMul %52 %88 %89
%91 = OpConvertUToF %6 %90
%92 = OpAccessChain %35 %84 %186
OpStore %92 %91
%94 = OpIAdd %13 %186 %33
OpBranch %77
%79 = OpLabel
%96 = OpCompositeConstruct %7 %188 %188 %188 %188
%97 = OpLoad %7 %84
%98 = OpFAdd %7 %96 %97
%100 = OpFAdd %7 %191 %98
%104 = OpVectorShuffle %102 %12 %12 0 1 2
%106 = OpVectorShuffle %7 %195 %104 4 5 6 3
OpBranch %108
%108 = OpLabel
%197 = OpPhi %7 %106 %79 %208 %133
%196 = OpPhi %13 %16 %79 %143 %133
%115 = OpSLessThan %26 %196 %25
OpLoopMerge %110 %133 None
OpBranchConditional %115 %109 %110
%109 = OpLabel
OpBranch %117
%117 = OpLabel
%209 = OpPhi %7 %197 %109 %181 %118
%204 = OpPhi %13 %16 %109 %129 %118
%123 = OpSLessThan %26 %204 %45
OpLoopMerge %119 %118 None
OpBranchConditional %123 %118 %119
%118 = OpLabel
%125 = OpLoad %6 %124
%181 = OpCompositeInsert %7 %125 %209 3
%129 = OpIAdd %13 %204 %33
OpBranch %117
%119 = OpLabel
OpBranch %131
%131 = OpLabel
%208 = OpPhi %7 %209 %119 %183 %132
%205 = OpPhi %13 %16 %119 %141 %132
%137 = OpSLessThan %26 %205 %45
OpLoopMerge %133 %132 None
OpBranchConditional %137 %132 %133
%132 = OpLabel
%138 = OpLoad %6 %124
%183 = OpCompositeInsert %7 %138 %208 3
%141 = OpIAdd %13 %205 %33
OpBranch %131
%133 = OpLabel
%143 = OpIAdd %13 %196 %33
OpBranch %108
%110 = OpLabel
%145 = OpVectorShuffle %102 %197 %197 0 1 2
%147 = OpVectorShuffle %102 %100 %100 0 1 2
%148 = OpFAdd %102 %147 %145
%150 = OpVectorShuffle %7 %100 %148 4 5 6 3
OpBranch %152
%152 = OpLabel
%200 = OpPhi %7 %150 %110 %203 %163
%199 = OpPhi %13 %16 %110 %174 %163
%159 = OpSLessThan %26 %199 %158
OpLoopMerge %154 %163 None
OpBranchConditional %159 %153 %154
%153 = OpLabel
OpBranch %161
%161 = OpLabel
%203 = OpPhi %7 %200 %153 %170 %162
%201 = OpPhi %13 %16 %153 %172 %162
%167 = OpSLessThan %26 %201 %45
OpLoopMerge %163 %162 None
OpBranchConditional %167 %162 %163
%162 = OpLabel
%168 = OpLoad %6 %124
%170 = OpVectorTimesScalar %7 %203 %168
%172 = OpIAdd %13 %201 %33
OpBranch %161
%163 = OpLabel
%174 = OpIAdd %13 %199 %45
OpBranch %152
%154 = OpLabel
%178 = OpLoad %7 %84
%179 = OpFAdd %7 %200 %178
OpStore %176 %179
OpReturn
OpFunctionEnd
)";
std::unique_ptr<IRContext> context =
BuildModule(SPV_ENV_UNIVERSAL_1_1, nullptr, text,
SPV_TEXT_TO_BINARY_OPTION_PRESERVE_NUMERIC_IDS);
Module* module = context->module();
EXPECT_NE(nullptr, module) << "Assembling failed for shader:\n"
<< text << std::endl;
Function* f = &*module->begin();
LivenessAnalysis* liveness_analysis = context->GetLivenessAnalysis();
const RegisterLiveness* register_liveness = liveness_analysis->Get(f);
LoopDescriptor& ld = *context->GetLoopDescriptor(f);
{
SCOPED_TRACE("Block 5");
auto live_sets = register_liveness->Get(5);
std::unordered_set<uint32_t> live_in{
11, // %11 = OpVariable %10 Input
24, // %24 = OpVariable %23 Input
28, // %28 = OpVariable %10 Input
55, // %55 = OpVariable %54 Input
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{
11, // %11 = OpVariable %10 Input
12, // %12 = OpLoad %7 %11
24, // %24 = OpVariable %23 Input
28, // %28 = OpVariable %10 Input
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
};
CompareSets(live_sets->live_out_, live_out);
EXPECT_EQ(live_sets->used_registers_, 8u);
}
{
SCOPED_TRACE("Block 17");
auto live_sets = register_liveness->Get(17);
std::unordered_set<uint32_t> live_in{
11, // %11 = OpVariable %10 Input
12, // %12 = OpLoad %7 %11
24, // %24 = OpVariable %23 Input
28, // %28 = OpVariable %10 Input
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
184, // %184 = OpPhi %13 %16 %5 %34 %18
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{
11, // %11 = OpVariable %10 Input
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
28, // %28 = OpVariable %10 Input
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
184, // %184 = OpPhi %13 %16 %5 %34 %18
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(live_sets->live_out_, live_out);
EXPECT_EQ(live_sets->used_registers_, 11u);
}
{
SCOPED_TRACE("Block 18");
auto live_sets = register_liveness->Get(18);
std::unordered_set<uint32_t> live_in{
11, // %11 = OpVariable %10 Input
12, // %12 = OpLoad %7 %11
24, // %24 = OpVariable %23 Input
28, // %28 = OpVariable %10 Input
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
184, // %184 = OpPhi %13 %16 %5 %34 %18
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{
11, // %11 = OpVariable %10 Input
12, // %12 = OpLoad %7 %11
24, // %24 = OpVariable %23 Input
28, // %28 = OpVariable %10 Input
31, // %31 = OpFAdd %7 %191 %29
34, // %34 = OpIAdd %13 %184 %33
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
};
CompareSets(live_sets->live_out_, live_out);
EXPECT_EQ(live_sets->used_registers_, 12u);
}
{
SCOPED_TRACE("Block 19");
auto live_sets = register_liveness->Get(19);
std::unordered_set<uint32_t> live_inout{
11, // %11 = OpVariable %10 Input
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(live_sets->live_in_, live_inout);
CompareSets(live_sets->live_out_, live_inout);
EXPECT_EQ(live_sets->used_registers_, 8u);
}
{
SCOPED_TRACE("Block 39");
auto live_sets = register_liveness->Get(39);
std::unordered_set<uint32_t> live_inout{
11, // %11 = OpVariable %10 Input
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
185, // %185 = OpPhi %13 %16 %19 %75 %51
188, // %188 = OpPhi %6 %37 %19 %73 %51
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(live_sets->live_in_, live_inout);
CompareSets(live_sets->live_out_, live_inout);
EXPECT_EQ(live_sets->used_registers_, 11u);
}
{
SCOPED_TRACE("Block 40");
auto live_sets = register_liveness->Get(40);
std::unordered_set<uint32_t> live_inout{
11, // %11 = OpVariable %10 Input
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
185, // %185 = OpPhi %13 %16 %19 %75 %51
188, // %188 = OpPhi %6 %37 %19 %73 %51
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(live_sets->live_in_, live_inout);
CompareSets(live_sets->live_out_, live_inout);
EXPECT_EQ(live_sets->used_registers_, 11u);
}
{
SCOPED_TRACE("Block 50");
auto live_sets = register_liveness->Get(50);
std::unordered_set<uint32_t> live_in{
11, // %11 = OpVariable %10 Input
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
185, // %185 = OpPhi %13 %16 %19 %75 %51
188, // %188 = OpPhi %6 %37 %19 %73 %51
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{
11, // %11 = OpVariable %10 Input
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
55, // %55 = OpVariable %54 Input
60, // %60 = OpConvertUToF %6 %59
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
185, // %185 = OpPhi %13 %16 %19 %75 %51
188, // %188 = OpPhi %6 %37 %19 %73 %51
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(live_sets->live_out_, live_out);
EXPECT_EQ(live_sets->used_registers_, 12u);
}
{
SCOPED_TRACE("Block 61");
auto live_sets = register_liveness->Get(61);
std::unordered_set<uint32_t> live_in{
11, // %11 = OpVariable %10 Input
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
185, // %185 = OpPhi %13 %16 %19 %75 %51
188, // %188 = OpPhi %6 %37 %19 %73 %51
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{
11, // %11 = OpVariable %10 Input
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
55, // %55 = OpVariable %54 Input
65, // %65 = OpLoad %6 %64
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
185, // %185 = OpPhi %13 %16 %19 %75 %51
188, // %188 = OpPhi %6 %37 %19 %73 %51
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(live_sets->live_out_, live_out);
EXPECT_EQ(live_sets->used_registers_, 12u);
}
{
SCOPED_TRACE("Block 51");
auto live_sets = register_liveness->Get(51);
std::unordered_set<uint32_t> live_in{
11, // %11 = OpVariable %10 Input
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
185, // %185 = OpPhi %13 %16 %19 %75 %51
188, // %188 = OpPhi %6 %37 %19 %73 %51
191, // %191 = OpPhi %7 %12 %5 %31 %18
210, // %210 = OpPhi %6 %60 %50 %65 %61
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{
11, // %11 = OpVariable %10 Input
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
55, // %55 = OpVariable %54 Input
73, // %73 = OpFAdd %6 %188 %71
75, // %75 = OpIAdd %13 %185 %33
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(live_sets->live_out_, live_out);
EXPECT_EQ(live_sets->used_registers_, 13u);
}
{
SCOPED_TRACE("Block 41");
auto live_sets = register_liveness->Get(41);
std::unordered_set<uint32_t> live_inout{
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
188, // %188 = OpPhi %6 %37 %19 %73 %51
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(live_sets->live_in_, live_inout);
CompareSets(live_sets->live_out_, live_inout);
EXPECT_EQ(live_sets->used_registers_, 8u);
}
{
SCOPED_TRACE("Block 77");
auto live_sets = register_liveness->Get(77);
std::unordered_set<uint32_t> live_inout{
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
186, // %186 = OpPhi %13 %16 %41 %94 %78
188, // %188 = OpPhi %6 %37 %19 %73 %51
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(live_sets->live_in_, live_inout);
CompareSets(live_sets->live_out_, live_inout);
EXPECT_EQ(live_sets->used_registers_, 10u);
}
{
SCOPED_TRACE("Block 78");
auto live_sets = register_liveness->Get(78);
std::unordered_set<uint32_t> live_in{
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
186, // %186 = OpPhi %13 %16 %41 %94 %78
188, // %188 = OpPhi %6 %37 %19 %73 %51
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
94, // %94 = OpIAdd %13 %186 %33
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
188, // %188 = OpPhi %6 %37 %19 %73 %51
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(live_sets->live_out_, live_out);
EXPECT_EQ(live_sets->used_registers_, 11u);
}
{
SCOPED_TRACE("Block 79");
auto live_sets = register_liveness->Get(79);
std::unordered_set<uint32_t> live_in{
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
188, // %188 = OpPhi %6 %37 %19 %73 %51
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{
25, // %25 = OpLoad %13 %24
84, // %84 = OpVariable %8 Function
100, // %100 = OpFAdd %7 %191 %98
106, // %106 = OpVectorShuffle %7 %195 %104 4 5 6 3
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
};
CompareSets(live_sets->live_out_, live_out);
EXPECT_EQ(live_sets->used_registers_, 9u);
}
{
SCOPED_TRACE("Block 108");
auto live_sets = register_liveness->Get(108);
std::unordered_set<uint32_t> live_in{
25, // %25 = OpLoad %13 %24
84, // %84 = OpVariable %8 Function
100, // %100 = OpFAdd %7 %191 %98
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
196, // %196 = OpPhi %13 %16 %79 %143 %133
197, // %197 = OpPhi %7 %106 %79 %208 %133
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{
84, // %84 = OpVariable %8 Function
100, // %100 = OpFAdd %7 %191 %98
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
196, // %196 = OpPhi %13 %16 %79 %143 %133
197, // %197 = OpPhi %7 %106 %79 %208 %133
};
CompareSets(live_sets->live_out_, live_out);
EXPECT_EQ(live_sets->used_registers_, 8u);
}
{
SCOPED_TRACE("Block 109");
auto live_sets = register_liveness->Get(109);
std::unordered_set<uint32_t> live_inout{
25, // %25 = OpLoad %13 %24
84, // %84 = OpVariable %8 Function
100, // %100 = OpFAdd %7 %191 %98
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
196, // %196 = OpPhi %13 %16 %79 %143 %133
197, // %197 = OpPhi %7 %106 %79 %208 %133
};
CompareSets(live_sets->live_in_, live_inout);
CompareSets(live_sets->live_out_, live_inout);
EXPECT_EQ(live_sets->used_registers_, 7u);
}
{
SCOPED_TRACE("Block 117");
auto live_sets = register_liveness->Get(117);
std::unordered_set<uint32_t> live_inout{
25, // %25 = OpLoad %13 %24
84, // %84 = OpVariable %8 Function
100, // %100 = OpFAdd %7 %191 %98
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
196, // %196 = OpPhi %13 %16 %79 %143 %133
204, // %204 = OpPhi %13 %16 %109 %129 %118
209, // %209 = OpPhi %7 %197 %109 %181 %118
};
CompareSets(live_sets->live_in_, live_inout);
CompareSets(live_sets->live_out_, live_inout);
EXPECT_EQ(live_sets->used_registers_, 9u);
}
{
SCOPED_TRACE("Block 118");
auto live_sets = register_liveness->Get(118);
std::unordered_set<uint32_t> live_in{
25, // %25 = OpLoad %13 %24
84, // %84 = OpVariable %8 Function
100, // %100 = OpFAdd %7 %191 %98
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
196, // %196 = OpPhi %13 %16 %79 %143 %133
204, // %204 = OpPhi %13 %16 %109 %129 %118
209, // %209 = OpPhi %7 %197 %109 %181 %118
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{
25, // %25 = OpLoad %13 %24
84, // %84 = OpVariable %8 Function
100, // %100 = OpFAdd %7 %191 %98
124, // %124 = OpVariable %63 Input
129, // %129 = OpIAdd %13 %204 %33
176, // %176 = OpVariable %175 Output
181, // %181 = OpCompositeInsert %7 %125 %209 3
196, // %196 = OpPhi %13 %16 %79 %143 %133
};
CompareSets(live_sets->live_out_, live_out);
EXPECT_EQ(live_sets->used_registers_, 10u);
}
{
SCOPED_TRACE("Block 119");
auto live_sets = register_liveness->Get(119);
std::unordered_set<uint32_t> live_inout{
25, // %25 = OpLoad %13 %24
84, // %84 = OpVariable %8 Function
100, // %100 = OpFAdd %7 %191 %98
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
196, // %196 = OpPhi %13 %16 %79 %143 %133
209, // %209 = OpPhi %7 %197 %109 %181 %118
};
CompareSets(live_sets->live_in_, live_inout);
CompareSets(live_sets->live_out_, live_inout);
EXPECT_EQ(live_sets->used_registers_, 7u);
}
{
SCOPED_TRACE("Block 131");
auto live_sets = register_liveness->Get(131);
std::unordered_set<uint32_t> live_inout{
25, // %25 = OpLoad %13 %24
84, // %84 = OpVariable %8 Function
100, // %100 = OpFAdd %7 %191 %98
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
196, // %196 = OpPhi %13 %16 %79 %143 %133
205, // %205 = OpPhi %13 %16 %119 %141 %132
208, // %208 = OpPhi %7 %209 %119 %183 %132
};
CompareSets(live_sets->live_in_, live_inout);
CompareSets(live_sets->live_out_, live_inout);
EXPECT_EQ(live_sets->used_registers_, 9u);
}
{
SCOPED_TRACE("Block 132");
auto live_sets = register_liveness->Get(132);
std::unordered_set<uint32_t> live_in{
25, // %25 = OpLoad %13 %24
84, // %84 = OpVariable %8 Function
100, // %100 = OpFAdd %7 %191 %98
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
196, // %196 = OpPhi %13 %16 %79 %143 %133
205, // %205 = OpPhi %13 %16 %119 %141 %132
208, // %208 = OpPhi %7 %209 %119 %183 %132
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{
25, // %25 = OpLoad %13 %24
84, // %84 = OpVariable %8 Function
100, // %100 = OpFAdd %7 %191 %98
124, // %124 = OpVariable %63 Input
141, // %141 = OpIAdd %13 %205 %33
176, // %176 = OpVariable %175 Output
183, // %183 = OpCompositeInsert %7 %138 %208 3
196, // %196 = OpPhi %13 %16 %79 %143 %133
};
CompareSets(live_sets->live_out_, live_out);
EXPECT_EQ(live_sets->used_registers_, 10u);
}
{
SCOPED_TRACE("Block 133");
auto live_sets = register_liveness->Get(133);
std::unordered_set<uint32_t> live_in{
25, // %25 = OpLoad %13 %24
84, // %84 = OpVariable %8 Function
100, // %100 = OpFAdd %7 %191 %98
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
196, // %196 = OpPhi %13 %16 %79 %143 %133
208, // %208 = OpPhi %7 %209 %119 %183 %132
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{
25, // %25 = OpLoad %13 %24
84, // %84 = OpVariable %8 Function
100, // %100 = OpFAdd %7 %191 %98
124, // %124 = OpVariable %63 Input
143, // %143 = OpIAdd %13 %196 %33
176, // %176 = OpVariable %175 Output
208, // %208 = OpPhi %7 %209 %119 %183 %132
};
CompareSets(live_sets->live_out_, live_out);
EXPECT_EQ(live_sets->used_registers_, 8u);
}
{
SCOPED_TRACE("Block 110");
auto live_sets = register_liveness->Get(110);
std::unordered_set<uint32_t> live_in{
84, // %84 = OpVariable %8 Function
100, // %100 = OpFAdd %7 %191 %98
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
197, // %197 = OpPhi %7 %106 %79 %208 %133
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
150, // %150 = OpVectorShuffle %7 %100 %148 4 5 6 3
176, // %176 = OpVariable %175 Output
};
CompareSets(live_sets->live_out_, live_out);
EXPECT_EQ(live_sets->used_registers_, 7u);
}
{
SCOPED_TRACE("Block 152");
auto live_sets = register_liveness->Get(152);
std::unordered_set<uint32_t> live_inout{
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
199, // %199 = OpPhi %13 %16 %110 %174 %163
200, // %200 = OpPhi %7 %150 %110 %203 %163
};
CompareSets(live_sets->live_in_, live_inout);
CompareSets(live_sets->live_out_, live_inout);
EXPECT_EQ(live_sets->used_registers_, 6u);
}
{
SCOPED_TRACE("Block 153");
auto live_sets = register_liveness->Get(153);
std::unordered_set<uint32_t> live_inout{
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
199, // %199 = OpPhi %13 %16 %110 %174 %163
200, // %200 = OpPhi %7 %150 %110 %203 %163
};
CompareSets(live_sets->live_in_, live_inout);
CompareSets(live_sets->live_out_, live_inout);
EXPECT_EQ(live_sets->used_registers_, 5u);
}
{
SCOPED_TRACE("Block 161");
auto live_sets = register_liveness->Get(161);
std::unordered_set<uint32_t> live_inout{
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
199, // %199 = OpPhi %13 %16 %110 %174 %163
201, // %201 = OpPhi %13 %16 %153 %172 %162
203, // %203 = OpPhi %7 %200 %153 %170 %162
};
CompareSets(live_sets->live_in_, live_inout);
CompareSets(live_sets->live_out_, live_inout);
EXPECT_EQ(live_sets->used_registers_, 7u);
}
{
SCOPED_TRACE("Block 162");
auto live_sets = register_liveness->Get(162);
std::unordered_set<uint32_t> live_in{
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
199, // %199 = OpPhi %13 %16 %110 %174 %163
201, // %201 = OpPhi %13 %16 %153 %172 %162
203, // %203 = OpPhi %7 %200 %153 %170 %162
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
170, // %170 = OpVectorTimesScalar %7 %203 %168
172, // %172 = OpIAdd %13 %201 %33
176, // %176 = OpVariable %175 Output
199, // %199 = OpPhi %13 %16 %110 %174 %163
};
CompareSets(live_sets->live_out_, live_out);
EXPECT_EQ(live_sets->used_registers_, 8u);
}
{
SCOPED_TRACE("Block 163");
auto live_sets = register_liveness->Get(163);
std::unordered_set<uint32_t> live_in{
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
199, // %199 = OpPhi %13 %16 %110 %174 %163
203, // %203 = OpPhi %7 %200 %153 %170 %162
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
174, // %174 = OpIAdd %13 %199 %45
176, // %176 = OpVariable %175 Output
203, // %203 = OpPhi %7 %200 %153 %170 %162
};
CompareSets(live_sets->live_out_, live_out);
EXPECT_EQ(live_sets->used_registers_, 6u);
}
{
SCOPED_TRACE("Block 154");
auto live_sets = register_liveness->Get(154);
std::unordered_set<uint32_t> live_in{
84, // %84 = OpVariable %8 Function
176, // %176 = OpVariable %175 Output
200, // %200 = OpPhi %7 %150 %110 %203 %163
};
CompareSets(live_sets->live_in_, live_in);
std::unordered_set<uint32_t> live_out{};
CompareSets(live_sets->live_out_, live_out);
EXPECT_EQ(live_sets->used_registers_, 4u);
}
{
SCOPED_TRACE("Compute loop pressure");
RegisterLiveness::RegionRegisterLiveness loop_reg_pressure;
register_liveness->ComputeLoopRegisterPressure(*ld[39], &loop_reg_pressure);
// Generate(*context->cfg()->block(39), &loop_reg_pressure);
std::unordered_set<uint32_t> live_in{
11, // %11 = OpVariable %10 Input
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
185, // %185 = OpPhi %13 %16 %19 %75 %51
188, // %188 = OpPhi %6 %37 %19 %73 %51
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(loop_reg_pressure.live_in_, live_in);
std::unordered_set<uint32_t> live_out{
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
188, // %188 = OpPhi %6 %37 %19 %73 %51
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(loop_reg_pressure.live_out_, live_out);
EXPECT_EQ(loop_reg_pressure.used_registers_, 13u);
}
{
SCOPED_TRACE("Loop Fusion simulation");
RegisterLiveness::RegionRegisterLiveness simulation_resut;
register_liveness->SimulateFusion(*ld[17], *ld[39], &simulation_resut);
std::unordered_set<uint32_t> live_in{
11, // %11 = OpVariable %10 Input
12, // %12 = OpLoad %7 %11
24, // %24 = OpVariable %23 Input
25, // %25 = OpLoad %13 %24
28, // %28 = OpVariable %10 Input
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
184, // %184 = OpPhi %13 %16 %5 %34 %18
185, // %185 = OpPhi %13 %16 %19 %75 %51
188, // %188 = OpPhi %6 %37 %19 %73 %51
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(simulation_resut.live_in_, live_in);
std::unordered_set<uint32_t> live_out{
12, // %12 = OpLoad %7 %11
25, // %25 = OpLoad %13 %24
55, // %55 = OpVariable %54 Input
84, // %84 = OpVariable %8 Function
124, // %124 = OpVariable %63 Input
176, // %176 = OpVariable %175 Output
188, // %188 = OpPhi %6 %37 %19 %73 %51
191, // %191 = OpPhi %7 %12 %5 %31 %18
};
CompareSets(simulation_resut.live_out_, live_out);
EXPECT_EQ(simulation_resut.used_registers_, 17u);
}
}
TEST_F(PassClassTest, FissionSimulation) {
const std::string source = R"(
OpCapability Shader
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Fragment %2 "main"
OpExecutionMode %2 OriginUpperLeft
OpSource GLSL 430
OpName %2 "main"
OpName %3 "i"
OpName %4 "A"
OpName %5 "B"
%6 = OpTypeVoid
%7 = OpTypeFunction %6
%8 = OpTypeInt 32 1
%9 = OpTypePointer Function %8
%10 = OpConstant %8 0
%11 = OpConstant %8 10
%12 = OpTypeBool
%13 = OpTypeFloat 32
%14 = OpTypeInt 32 0
%15 = OpConstant %14 10
%16 = OpTypeArray %13 %15
%17 = OpTypePointer Function %16
%18 = OpTypePointer Function %13
%19 = OpConstant %8 1
%2 = OpFunction %6 None %7
%20 = OpLabel
%3 = OpVariable %9 Function
%4 = OpVariable %17 Function
%5 = OpVariable %17 Function
OpBranch %21
%21 = OpLabel
%22 = OpPhi %8 %10 %20 %23 %24
OpLoopMerge %25 %24 None
OpBranch %26
%26 = OpLabel
%27 = OpSLessThan %12 %22 %11
OpBranchConditional %27 %28 %25
%28 = OpLabel
%29 = OpAccessChain %18 %5 %22
%30 = OpLoad %13 %29
%31 = OpAccessChain %18 %4 %22
OpStore %31 %30
%32 = OpAccessChain %18 %4 %22
%33 = OpLoad %13 %32
%34 = OpAccessChain %18 %5 %22
OpStore %34 %33
OpBranch %24
%24 = OpLabel
%23 = OpIAdd %8 %22 %19
OpBranch %21
%25 = OpLabel
OpStore %3 %22
OpReturn
OpFunctionEnd
)";
std::unique_ptr<IRContext> context =
BuildModule(SPV_ENV_UNIVERSAL_1_1, nullptr, source,
SPV_TEXT_TO_BINARY_OPTION_PRESERVE_NUMERIC_IDS);
Module* module = context->module();
EXPECT_NE(nullptr, module) << "Assembling failed for shader:\n"
<< source << std::endl;
Function* f = &*module->begin();
LivenessAnalysis* liveness_analysis = context->GetLivenessAnalysis();
const RegisterLiveness* register_liveness = liveness_analysis->Get(f);
LoopDescriptor& ld = *context->GetLoopDescriptor(f);
analysis::DefUseManager& def_use_mgr = *context->get_def_use_mgr();
{
RegisterLiveness::RegionRegisterLiveness l1_sim_resut;
RegisterLiveness::RegionRegisterLiveness l2_sim_resut;
std::unordered_set<Instruction*> moved_instructions{
def_use_mgr.GetDef(29), def_use_mgr.GetDef(30), def_use_mgr.GetDef(31),
def_use_mgr.GetDef(31)->NextNode()};
std::unordered_set<Instruction*> copied_instructions{
def_use_mgr.GetDef(22), def_use_mgr.GetDef(27),
def_use_mgr.GetDef(27)->NextNode(), def_use_mgr.GetDef(23)};
register_liveness->SimulateFission(*ld[21], moved_instructions,
copied_instructions, &l1_sim_resut,
&l2_sim_resut);
{
SCOPED_TRACE("L1 simulation");
std::unordered_set<uint32_t> live_in{
3, // %3 = OpVariable %9 Function
4, // %4 = OpVariable %17 Function
5, // %5 = OpVariable %17 Function
22, // %22 = OpPhi %8 %10 %20 %23 %24
};
CompareSets(l1_sim_resut.live_in_, live_in);
std::unordered_set<uint32_t> live_out{
3, // %3 = OpVariable %9 Function
4, // %4 = OpVariable %17 Function
5, // %5 = OpVariable %17 Function
22, // %22 = OpPhi %8 %10 %20 %23 %24
};
CompareSets(l1_sim_resut.live_out_, live_out);
EXPECT_EQ(l1_sim_resut.used_registers_, 6u);
}
{
SCOPED_TRACE("L2 simulation");
std::unordered_set<uint32_t> live_in{
3, // %3 = OpVariable %9 Function
4, // %4 = OpVariable %17 Function
5, // %5 = OpVariable %17 Function
22, // %22 = OpPhi %8 %10 %20 %23 %24
};
CompareSets(l2_sim_resut.live_in_, live_in);
std::unordered_set<uint32_t> live_out{
3, // %3 = OpVariable %9 Function
22, // %22 = OpPhi %8 %10 %20 %23 %24
};
CompareSets(l2_sim_resut.live_out_, live_out);
EXPECT_EQ(l2_sim_resut.used_registers_, 6u);
}
}
}
// Test that register liveness does not fail when there is an unreachable block.
// We are not testing if the liveness is computed correctly because the specific
// results do not matter for unreachable blocks.
TEST_F(PassClassTest, RegisterLivenessWithUnreachableBlock) {
const std::string text = R"(
OpCapability Shader
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Fragment %2 "main"
OpExecutionMode %2 OriginLowerLeft
OpSource GLSL 330
OpSourceExtension "GL_ARB_shading_language_420pack"
%void = OpTypeVoid
%4 = OpTypeFunction %void
%2 = OpFunction %void None %4
%5 = OpLabel
OpBranch %6
%6 = OpLabel
OpLoopMerge %7 %8 None
OpBranch %9
%9 = OpLabel
OpBranch %7
%8 = OpLabel
OpBranch %6
%7 = OpLabel
OpReturn
OpFunctionEnd
)";
std::unique_ptr<IRContext> context =
BuildModule(SPV_ENV_UNIVERSAL_1_1, nullptr, text,
SPV_TEXT_TO_BINARY_OPTION_PRESERVE_NUMERIC_IDS);
Module* module = context->module();
EXPECT_NE(nullptr, module) << "Assembling failed for shader:\n"
<< text << std::endl;
Function* f = &*module->begin();
LivenessAnalysis* liveness_analysis = context->GetLivenessAnalysis();
liveness_analysis->Get(f);
}
} // namespace
} // namespace opt
} // namespace spvtools