| // Copyright 2020 The Tint Authors. |
| // |
| // 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 "src/validator_impl.h" |
| #include "src/ast/variable_decl_statement.h" |
| |
| namespace tint { |
| |
| ValidatorImpl::ValidatorImpl() = default; |
| |
| ValidatorImpl::~ValidatorImpl() = default; |
| |
| void ValidatorImpl::set_error(const Source& src, const std::string& msg) { |
| error_ += |
| std::to_string(src.line) + ":" + std::to_string(src.column) + ": " + msg; |
| } |
| |
| bool ValidatorImpl::Validate(const ast::Module* module) { |
| if (!module) { |
| return false; |
| } |
| for (const auto& var : module->global_variables()) { |
| variable_stack_.set_global(var->name(), var.get()); |
| } |
| if (!CheckImports(module)) { |
| return false; |
| } |
| if (!ValidateFunctions(module->functions())) { |
| return false; |
| } |
| return true; |
| } |
| |
| bool ValidatorImpl::ValidateFunctions(const ast::FunctionList& funcs) { |
| for (const auto& func : funcs) { |
| if (!ValidateFunction(func.get())) { |
| return false; |
| } |
| } |
| return true; |
| } |
| |
| bool ValidatorImpl::ValidateFunction(const ast::Function* func) { |
| variable_stack_.push_scope(); |
| |
| for (const auto& param : func->params()) { |
| variable_stack_.set(param->name(), param.get()); |
| } |
| if (!ValidateStatements(func->body())) { |
| return false; |
| } |
| |
| variable_stack_.pop_scope(); |
| return true; |
| } |
| |
| bool ValidatorImpl::ValidateStatements(const ast::BlockStatement* block) { |
| if (!block) { |
| return false; |
| } |
| for (const auto& stmt : *block) { |
| // TODO(sarahM0): move the folowing to a function |
| if (stmt->IsVariableDecl()) { |
| auto* v = stmt->AsVariableDecl(); |
| variable_stack_.set(v->variable()->name(), v->variable()); |
| } |
| if (!ValidateStatement(stmt.get())) { |
| return false; |
| } |
| } |
| return true; |
| } |
| |
| bool ValidatorImpl::ValidateStatement(const ast::Statement* stmt) { |
| if (!stmt) { |
| return false; |
| } |
| if (stmt->IsAssign()) { |
| return ValidateAssign(stmt->AsAssign()); |
| } |
| return true; |
| } |
| |
| bool ValidatorImpl::ValidateAssign(const ast::AssignmentStatement* a) { |
| if (!a) { |
| return false; |
| } |
| if (!(ValidateExpression(a->lhs()) && ValidateExpression(a->rhs()))) { |
| return false; |
| } |
| if (!ValidateResultTypes(a)) { |
| return false; |
| } |
| |
| return true; |
| } |
| |
| bool ValidatorImpl::ValidateResultTypes(const ast::AssignmentStatement* a) { |
| if (!a->lhs()->result_type() || !a->rhs()->result_type()) { |
| set_error(a->source(), "result_type() is nullptr"); |
| return false; |
| } |
| |
| auto* lhs_result_type = a->lhs()->result_type()->UnwrapAliasPtrAlias(); |
| auto* rhs_result_type = a->rhs()->result_type()->UnwrapAliasPtrAlias(); |
| if (lhs_result_type != rhs_result_type) { |
| // TODO(sarahM0): figur out what should be the error number. |
| set_error(a->source(), "v-000x: invalid assignment of '" + |
| lhs_result_type->type_name() + "' to '" + |
| rhs_result_type->type_name() + "'"); |
| return false; |
| } |
| return true; |
| } |
| |
| bool ValidatorImpl::ValidateExpression(const ast::Expression* expr) { |
| if (!expr) { |
| return false; |
| } |
| if (expr->IsIdentifier()) { |
| return ValidateIdentifier(expr->AsIdentifier()); |
| } |
| |
| return true; |
| } |
| |
| bool ValidatorImpl::ValidateIdentifier(const ast::IdentifierExpression* ident) { |
| ast::Variable* var; |
| if (!variable_stack_.get(ident->name(), &var)) { |
| set_error(ident->source(), |
| "v-0006: '" + ident->name() + "' is not declared"); |
| return false; |
| } |
| return true; |
| } |
| |
| bool ValidatorImpl::CheckImports(const ast::Module* module) { |
| for (const auto& import : module->imports()) { |
| if (import->path() != "GLSL.std.450") { |
| set_error(import->source(), "v-0001: unknown import: " + import->path()); |
| return false; |
| } |
| } |
| return true; |
| } |
| |
| } // namespace tint |