| // 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); | |
| } | |
| } | |
| } // namespace opt | |
| } // namespace spvtools |