| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168 |
- // 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/ir_loader.h"
- #include <utility>
- #include "source/opt/log.h"
- #include "source/opt/reflect.h"
- #include "source/util/make_unique.h"
- namespace spvtools {
- namespace opt {
- IrLoader::IrLoader(const MessageConsumer& consumer, Module* m)
- : consumer_(consumer),
- module_(m),
- source_("<instruction>"),
- inst_index_(0) {}
- bool IrLoader::AddInstruction(const spv_parsed_instruction_t* inst) {
- ++inst_index_;
- const auto opcode = static_cast<SpvOp>(inst->opcode);
- if (IsDebugLineInst(opcode)) {
- dbg_line_info_.push_back(Instruction(module()->context(), *inst));
- return true;
- }
- std::unique_ptr<Instruction> spv_inst(
- new Instruction(module()->context(), *inst, std::move(dbg_line_info_)));
- dbg_line_info_.clear();
- const char* src = source_.c_str();
- spv_position_t loc = {inst_index_, 0, 0};
- // Handle function and basic block boundaries first, then normal
- // instructions.
- if (opcode == SpvOpFunction) {
- if (function_ != nullptr) {
- Error(consumer_, src, loc, "function inside function");
- return false;
- }
- function_ = MakeUnique<Function>(std::move(spv_inst));
- } else if (opcode == SpvOpFunctionEnd) {
- if (function_ == nullptr) {
- Error(consumer_, src, loc,
- "OpFunctionEnd without corresponding OpFunction");
- return false;
- }
- if (block_ != nullptr) {
- Error(consumer_, src, loc, "OpFunctionEnd inside basic block");
- return false;
- }
- function_->SetFunctionEnd(std::move(spv_inst));
- module_->AddFunction(std::move(function_));
- function_ = nullptr;
- } else if (opcode == SpvOpLabel) {
- if (function_ == nullptr) {
- Error(consumer_, src, loc, "OpLabel outside function");
- return false;
- }
- if (block_ != nullptr) {
- Error(consumer_, src, loc, "OpLabel inside basic block");
- return false;
- }
- block_ = MakeUnique<BasicBlock>(std::move(spv_inst));
- } else if (IsTerminatorInst(opcode)) {
- if (function_ == nullptr) {
- Error(consumer_, src, loc, "terminator instruction outside function");
- return false;
- }
- if (block_ == nullptr) {
- Error(consumer_, src, loc, "terminator instruction outside basic block");
- return false;
- }
- block_->AddInstruction(std::move(spv_inst));
- function_->AddBasicBlock(std::move(block_));
- block_ = nullptr;
- } else {
- if (function_ == nullptr) { // Outside function definition
- SPIRV_ASSERT(consumer_, block_ == nullptr);
- if (opcode == SpvOpCapability) {
- module_->AddCapability(std::move(spv_inst));
- } else if (opcode == SpvOpExtension) {
- module_->AddExtension(std::move(spv_inst));
- } else if (opcode == SpvOpExtInstImport) {
- module_->AddExtInstImport(std::move(spv_inst));
- } else if (opcode == SpvOpMemoryModel) {
- module_->SetMemoryModel(std::move(spv_inst));
- } else if (opcode == SpvOpEntryPoint) {
- module_->AddEntryPoint(std::move(spv_inst));
- } else if (opcode == SpvOpExecutionMode) {
- module_->AddExecutionMode(std::move(spv_inst));
- } else if (IsDebug1Inst(opcode)) {
- module_->AddDebug1Inst(std::move(spv_inst));
- } else if (IsDebug2Inst(opcode)) {
- module_->AddDebug2Inst(std::move(spv_inst));
- } else if (IsDebug3Inst(opcode)) {
- module_->AddDebug3Inst(std::move(spv_inst));
- } else if (IsAnnotationInst(opcode)) {
- module_->AddAnnotationInst(std::move(spv_inst));
- } else if (IsTypeInst(opcode)) {
- module_->AddType(std::move(spv_inst));
- } else if (IsConstantInst(opcode) || opcode == SpvOpVariable ||
- opcode == SpvOpUndef) {
- module_->AddGlobalValue(std::move(spv_inst));
- } else {
- Errorf(consumer_, src, loc,
- "Unhandled inst type (opcode: %d) found outside function definition.",
- opcode);
- return false;
- }
- } else {
- if (block_ == nullptr) { // Inside function but outside blocks
- if (opcode != SpvOpFunctionParameter) {
- Errorf(consumer_, src, loc,
- "Non-OpFunctionParameter (opcode: %d) found inside "
- "function but outside basic block",
- opcode);
- return false;
- }
- function_->AddParameter(std::move(spv_inst));
- } else {
- block_->AddInstruction(std::move(spv_inst));
- }
- }
- }
- return true;
- }
- // Resolves internal references among the module, functions, basic blocks, etc.
- // This function should be called after adding all instructions.
- void IrLoader::EndModule() {
- if (block_ && function_) {
- // We're in the middle of a basic block, but the terminator is missing.
- // Register the block anyway. This lets us write tests with less
- // boilerplate.
- function_->AddBasicBlock(std::move(block_));
- block_ = nullptr;
- }
- if (function_) {
- // We're in the middle of a function, but the OpFunctionEnd is missing.
- // Register the function anyway. This lets us write tests with less
- // boilerplate.
- module_->AddFunction(std::move(function_));
- function_ = nullptr;
- }
- for (auto& function : *module_) {
- for (auto& bb : function) bb.SetParent(&function);
- }
- // Copy any trailing Op*Line instruction into the module
- module_->SetTrailingDbgLineInfo(std::move(dbg_line_info_));
- }
- } // namespace opt
- } // namespace spvtools
|