SPIRV-Tools/test/opt/dominator_tree/nested_ifs.cpp
Victor Lomuller efc5061929 Dominator analysis interface clean.
Remove the CFG requirement when querying a dominator/post-dominator from an IRContext.

Updated all uses of the function and tests.
2018-04-20 15:41:59 -04:00

152 lines
4.6 KiB
C++

// Copyright (c) 2017 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 <gmock/gmock.h>
#include <memory>
#include <string>
#include <vector>
#include "../assembly_builder.h"
#include "../function_utils.h"
#include "../pass_fixture.h"
#include "../pass_utils.h"
#include "opt/dominator_analysis.h"
#include "opt/pass.h"
namespace {
using namespace spvtools;
using ::testing::UnorderedElementsAre;
using PassClassTest = PassTest<::testing::Test>;
/*
Generated from the following GLSL
#version 330 core
layout(location = 0) out vec4 v;
void main(){
if (true) {
if (true) {
v = vec4(1,1,1,1);
} else {
v = vec4(2,2,2,2);
}
} else {
if (true) {
v = vec4(3,3,3,3);
} else {
v = vec4(4,4,4,4);
}
}
}
*/
TEST_F(PassClassTest, UnreachableNestedIfs) {
const std::string text = R"(
OpCapability Shader
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
OpEntryPoint Fragment %4 "main" %15
OpExecutionMode %4 OriginUpperLeft
OpSource GLSL 330
OpName %4 "main"
OpName %15 "v"
OpDecorate %15 Location 0
%2 = OpTypeVoid
%3 = OpTypeFunction %2
%6 = OpTypeBool
%7 = OpConstantTrue %6
%12 = OpTypeFloat 32
%13 = OpTypeVector %12 4
%14 = OpTypePointer Output %13
%15 = OpVariable %14 Output
%16 = OpConstant %12 1
%17 = OpConstantComposite %13 %16 %16 %16 %16
%19 = OpConstant %12 2
%20 = OpConstantComposite %13 %19 %19 %19 %19
%24 = OpConstant %12 3
%25 = OpConstantComposite %13 %24 %24 %24 %24
%27 = OpConstant %12 4
%28 = OpConstantComposite %13 %27 %27 %27 %27
%4 = OpFunction %2 None %3
%5 = OpLabel
OpSelectionMerge %9 None
OpBranchConditional %7 %8 %21
%8 = OpLabel
OpSelectionMerge %11 None
OpBranchConditional %7 %10 %18
%10 = OpLabel
OpStore %15 %17
OpBranch %11
%18 = OpLabel
OpStore %15 %20
OpBranch %11
%11 = OpLabel
OpBranch %9
%21 = OpLabel
OpSelectionMerge %23 None
OpBranchConditional %7 %22 %26
%22 = OpLabel
OpStore %15 %25
OpBranch %23
%26 = OpLabel
OpStore %15 %28
OpBranch %23
%23 = OpLabel
OpBranch %9
%9 = OpLabel
OpReturn
OpFunctionEnd
)";
// clang-format on
std::unique_ptr<ir::IRContext> context =
BuildModule(SPV_ENV_UNIVERSAL_1_1, nullptr, text,
SPV_TEXT_TO_BINARY_OPTION_PRESERVE_NUMERIC_IDS);
ir::Module* module = context->module();
EXPECT_NE(nullptr, module) << "Assembling failed for shader:\n"
<< text << std::endl;
const ir::Function* f = spvtest::GetFunction(module, 4);
opt::DominatorAnalysis* analysis = context->GetDominatorAnalysis(f);
EXPECT_TRUE(analysis->Dominates(5, 8));
EXPECT_TRUE(analysis->Dominates(5, 9));
EXPECT_TRUE(analysis->Dominates(5, 21));
EXPECT_TRUE(analysis->Dominates(5, 18));
EXPECT_TRUE(analysis->Dominates(5, 10));
EXPECT_TRUE(analysis->Dominates(5, 11));
EXPECT_TRUE(analysis->Dominates(5, 23));
EXPECT_TRUE(analysis->Dominates(5, 22));
EXPECT_TRUE(analysis->Dominates(5, 26));
EXPECT_TRUE(analysis->Dominates(8, 18));
EXPECT_TRUE(analysis->Dominates(8, 10));
EXPECT_TRUE(analysis->Dominates(8, 11));
EXPECT_TRUE(analysis->Dominates(21, 23));
EXPECT_TRUE(analysis->Dominates(21, 22));
EXPECT_TRUE(analysis->Dominates(21, 26));
EXPECT_TRUE(analysis->StrictlyDominates(5, 8));
EXPECT_TRUE(analysis->StrictlyDominates(5, 9));
EXPECT_TRUE(analysis->StrictlyDominates(5, 21));
EXPECT_TRUE(analysis->StrictlyDominates(8, 18));
EXPECT_TRUE(analysis->StrictlyDominates(8, 10));
EXPECT_TRUE(analysis->StrictlyDominates(8, 11));
EXPECT_TRUE(analysis->StrictlyDominates(21, 23));
EXPECT_TRUE(analysis->StrictlyDominates(21, 22));
EXPECT_TRUE(analysis->StrictlyDominates(21, 26));
}
} // namespace