| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189 |
- // 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/module.h"
- #include <algorithm>
- #include <cstring>
- #include <ostream>
- #include "source/operand.h"
- #include "source/opt/ir_context.h"
- #include "source/opt/reflect.h"
- namespace spvtools {
- namespace opt {
- uint32_t Module::TakeNextIdBound() {
- if (context()) {
- if (id_bound() >= context()->max_id_bound()) {
- return 0;
- }
- } else if (id_bound() >= kDefaultMaxIdBound) {
- return 0;
- }
- return header_.bound++;
- }
- std::vector<Instruction*> Module::GetTypes() {
- std::vector<Instruction*> type_insts;
- for (auto& inst : types_values_) {
- if (IsTypeInst(inst.opcode())) type_insts.push_back(&inst);
- }
- return type_insts;
- }
- std::vector<const Instruction*> Module::GetTypes() const {
- std::vector<const Instruction*> type_insts;
- for (auto& inst : types_values_) {
- if (IsTypeInst(inst.opcode())) type_insts.push_back(&inst);
- }
- return type_insts;
- }
- std::vector<Instruction*> Module::GetConstants() {
- std::vector<Instruction*> const_insts;
- for (auto& inst : types_values_) {
- if (IsConstantInst(inst.opcode())) const_insts.push_back(&inst);
- }
- return const_insts;
- }
- std::vector<const Instruction*> Module::GetConstants() const {
- std::vector<const Instruction*> const_insts;
- for (auto& inst : types_values_) {
- if (IsConstantInst(inst.opcode())) const_insts.push_back(&inst);
- }
- return const_insts;
- }
- uint32_t Module::GetGlobalValue(SpvOp opcode) const {
- for (auto& inst : types_values_) {
- if (inst.opcode() == opcode) return inst.result_id();
- }
- return 0;
- }
- void Module::AddGlobalValue(SpvOp opcode, uint32_t result_id,
- uint32_t type_id) {
- std::unique_ptr<Instruction> newGlobal(
- new Instruction(context(), opcode, type_id, result_id, {}));
- AddGlobalValue(std::move(newGlobal));
- }
- void Module::ForEachInst(const std::function<void(Instruction*)>& f,
- bool run_on_debug_line_insts) {
- #define DELEGATE(list) list.ForEachInst(f, run_on_debug_line_insts)
- DELEGATE(capabilities_);
- DELEGATE(extensions_);
- DELEGATE(ext_inst_imports_);
- if (memory_model_) memory_model_->ForEachInst(f, run_on_debug_line_insts);
- DELEGATE(entry_points_);
- DELEGATE(execution_modes_);
- DELEGATE(debugs1_);
- DELEGATE(debugs2_);
- DELEGATE(debugs3_);
- DELEGATE(annotations_);
- DELEGATE(types_values_);
- for (auto& i : functions_) i->ForEachInst(f, run_on_debug_line_insts);
- #undef DELEGATE
- }
- void Module::ForEachInst(const std::function<void(const Instruction*)>& f,
- bool run_on_debug_line_insts) const {
- #define DELEGATE(i) i.ForEachInst(f, run_on_debug_line_insts)
- for (auto& i : capabilities_) DELEGATE(i);
- for (auto& i : extensions_) DELEGATE(i);
- for (auto& i : ext_inst_imports_) DELEGATE(i);
- if (memory_model_)
- static_cast<const Instruction*>(memory_model_.get())
- ->ForEachInst(f, run_on_debug_line_insts);
- for (auto& i : entry_points_) DELEGATE(i);
- for (auto& i : execution_modes_) DELEGATE(i);
- for (auto& i : debugs1_) DELEGATE(i);
- for (auto& i : debugs2_) DELEGATE(i);
- for (auto& i : debugs3_) DELEGATE(i);
- for (auto& i : annotations_) DELEGATE(i);
- for (auto& i : types_values_) DELEGATE(i);
- for (auto& i : functions_) {
- static_cast<const Function*>(i.get())->ForEachInst(f,
- run_on_debug_line_insts);
- }
- if (run_on_debug_line_insts) {
- for (auto& i : trailing_dbg_line_info_) DELEGATE(i);
- }
- #undef DELEGATE
- }
- void Module::ToBinary(std::vector<uint32_t>* binary, bool skip_nop) const {
- binary->push_back(header_.magic_number);
- binary->push_back(header_.version);
- // TODO(antiagainst): should we change the generator number?
- binary->push_back(header_.generator);
- binary->push_back(header_.bound);
- binary->push_back(header_.reserved);
- auto write_inst = [binary, skip_nop](const Instruction* i) {
- if (!(skip_nop && i->IsNop())) i->ToBinaryWithoutAttachedDebugInsts(binary);
- };
- ForEachInst(write_inst, true);
- }
- uint32_t Module::ComputeIdBound() const {
- uint32_t highest = 0;
- ForEachInst(
- [&highest](const Instruction* inst) {
- for (const auto& operand : *inst) {
- if (spvIsIdType(operand.type)) {
- highest = std::max(highest, operand.words[0]);
- }
- }
- },
- true /* scan debug line insts as well */);
- return highest + 1;
- }
- bool Module::HasExplicitCapability(uint32_t cap) {
- for (auto& ci : capabilities_) {
- uint32_t tcap = ci.GetSingleWordOperand(0);
- if (tcap == cap) {
- return true;
- }
- }
- return false;
- }
- uint32_t Module::GetExtInstImportId(const char* extstr) {
- for (auto& ei : ext_inst_imports_)
- if (!strcmp(extstr,
- reinterpret_cast<const char*>(&(ei.GetInOperand(0).words[0]))))
- return ei.result_id();
- return 0;
- }
- std::ostream& operator<<(std::ostream& str, const Module& module) {
- module.ForEachInst([&str](const Instruction* inst) {
- str << *inst;
- if (inst->opcode() != SpvOpFunctionEnd) {
- str << std::endl;
- }
- });
- return str;
- }
- } // namespace opt
- } // namespace spvtools
|