mirror of
https://github.com/KhronosGroup/SPIRV-Tools
synced 2024-10-18 11:10:05 +00:00
6a2bdeee75
* val, core: add support for OpExtInstWithForwardRefs This commit adds validation and support for OpExtInstWithForwardRefs. This new instruction will be used for non-semantic debug info, when forward references are required. For now, this commit only fixes the code to handle this new instruction, and adds validation rules. But it does not add the pass to generate/fix the OpExtInst instruction when forward references are in use. Such pass would be useful for DXC or other tools, but I wanted to land validation rules first. This commit also bumps SPIRV-Headers to get this new opcode. --------- Signed-off-by: Nathan Gauër <brioche@google.com>
112 lines
4.0 KiB
C++
112 lines
4.0 KiB
C++
// 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 "source/opt/strip_debug_info_pass.h"
|
|
#include "source/opt/ir_context.h"
|
|
#include "source/util/string_utils.h"
|
|
|
|
namespace spvtools {
|
|
namespace opt {
|
|
|
|
Pass::Status StripDebugInfoPass::Process() {
|
|
bool uses_non_semantic_info = false;
|
|
for (auto& inst : context()->module()->extensions()) {
|
|
const std::string ext_name = inst.GetInOperand(0).AsString();
|
|
if (ext_name == "SPV_KHR_non_semantic_info") {
|
|
uses_non_semantic_info = true;
|
|
}
|
|
}
|
|
|
|
std::vector<Instruction*> to_kill;
|
|
|
|
// if we use non-semantic info, it may reference OpString. Do a more
|
|
// expensive pass checking the uses of the OpString to see if any are
|
|
// OpExtInst on a non-semantic instruction set. If we're not using the
|
|
// extension then we can do a simpler pass and kill all debug1 instructions
|
|
if (uses_non_semantic_info) {
|
|
for (auto& inst : context()->module()->debugs1()) {
|
|
switch (inst.opcode()) {
|
|
case spv::Op::OpString: {
|
|
analysis::DefUseManager* def_use = context()->get_def_use_mgr();
|
|
|
|
// see if this string is used anywhere by a non-semantic instruction
|
|
bool no_nonsemantic_use =
|
|
def_use->WhileEachUser(&inst, [def_use](Instruction* use) {
|
|
if (spvIsExtendedInstruction(use->opcode())) {
|
|
auto ext_inst_set =
|
|
def_use->GetDef(use->GetSingleWordInOperand(0u));
|
|
const std::string extension_name =
|
|
ext_inst_set->GetInOperand(0).AsString();
|
|
if (spvtools::utils::starts_with(extension_name,
|
|
"NonSemantic.")) {
|
|
// found a non-semantic use, return false as we cannot
|
|
// remove this OpString
|
|
return false;
|
|
}
|
|
}
|
|
|
|
// other instructions can't be a non-semantic use
|
|
return true;
|
|
});
|
|
|
|
if (no_nonsemantic_use) to_kill.push_back(&inst);
|
|
|
|
break;
|
|
}
|
|
|
|
default:
|
|
to_kill.push_back(&inst);
|
|
break;
|
|
}
|
|
}
|
|
} else {
|
|
for (auto& dbg : context()->debugs1()) to_kill.push_back(&dbg);
|
|
}
|
|
|
|
for (auto& dbg : context()->debugs2()) to_kill.push_back(&dbg);
|
|
for (auto& dbg : context()->debugs3()) to_kill.push_back(&dbg);
|
|
for (auto& dbg : context()->ext_inst_debuginfo()) to_kill.push_back(&dbg);
|
|
|
|
// OpName must come first, since they may refer to other debug instructions.
|
|
// If they are after the instructions that refer to, then they will be killed
|
|
// when that instruction is killed, which will lead to a double kill.
|
|
std::sort(to_kill.begin(), to_kill.end(),
|
|
[](Instruction* lhs, Instruction* rhs) -> bool {
|
|
if (lhs->opcode() == spv::Op::OpName &&
|
|
rhs->opcode() != spv::Op::OpName)
|
|
return true;
|
|
return false;
|
|
});
|
|
|
|
bool modified = !to_kill.empty();
|
|
|
|
for (auto* inst : to_kill) context()->KillInst(inst);
|
|
|
|
// clear OpLine information
|
|
context()->module()->ForEachInst([&modified](Instruction* inst) {
|
|
modified |= !inst->dbg_line_insts().empty();
|
|
inst->dbg_line_insts().clear();
|
|
});
|
|
|
|
if (!get_module()->trailing_dbg_line_info().empty()) {
|
|
modified = true;
|
|
get_module()->trailing_dbg_line_info().clear();
|
|
}
|
|
|
|
return modified ? Status::SuccessWithChange : Status::SuccessWithoutChange;
|
|
}
|
|
|
|
} // namespace opt
|
|
} // namespace spvtools
|