2020-03-02 20:47:43 +00:00
|
|
|
// 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.
|
|
|
|
|
|
|
|
#ifndef SRC_TYPE_DETERMINER_H_
|
|
|
|
#define SRC_TYPE_DETERMINER_H_
|
|
|
|
|
|
|
|
#include <string>
|
2020-04-06 18:43:56 +00:00
|
|
|
#include <unordered_map>
|
2020-11-03 16:26:09 +00:00
|
|
|
#include <vector>
|
2020-03-02 20:47:43 +00:00
|
|
|
|
|
|
|
#include "src/ast/module.h"
|
2020-08-31 15:11:23 +00:00
|
|
|
#include "src/ast/type/storage_texture_type.h"
|
2020-04-06 18:43:56 +00:00
|
|
|
#include "src/scope_stack.h"
|
2020-03-02 20:47:43 +00:00
|
|
|
|
|
|
|
namespace tint {
|
2020-04-06 18:43:56 +00:00
|
|
|
namespace ast {
|
|
|
|
|
2020-04-07 12:57:42 +00:00
|
|
|
class ArrayAccessorExpression;
|
2020-04-07 19:27:41 +00:00
|
|
|
class BinaryExpression;
|
2020-09-22 22:07:13 +00:00
|
|
|
class BitcastExpression;
|
2020-04-07 16:41:10 +00:00
|
|
|
class CallExpression;
|
2020-04-07 12:46:30 +00:00
|
|
|
class ConstructorExpression;
|
2020-04-07 19:26:39 +00:00
|
|
|
class Function;
|
2020-04-07 12:57:27 +00:00
|
|
|
class IdentifierExpression;
|
2020-04-07 16:41:33 +00:00
|
|
|
class MemberAccessorExpression;
|
2020-04-07 19:27:11 +00:00
|
|
|
class UnaryOpExpression;
|
2020-04-06 18:43:56 +00:00
|
|
|
class Variable;
|
|
|
|
|
|
|
|
} // namespace ast
|
2020-03-02 20:47:43 +00:00
|
|
|
|
|
|
|
/// Determines types for all items in the given tint module
|
|
|
|
class TypeDeterminer {
|
|
|
|
public:
|
|
|
|
/// Constructor
|
2020-12-02 21:17:58 +00:00
|
|
|
/// @param mod the module to update with typing information
|
|
|
|
explicit TypeDeterminer(ast::Module* mod);
|
2020-03-02 20:47:43 +00:00
|
|
|
~TypeDeterminer();
|
|
|
|
|
|
|
|
/// @returns error messages from the type determiner
|
|
|
|
const std::string& error() { return error_; }
|
|
|
|
|
2020-04-06 21:07:41 +00:00
|
|
|
/// @returns true if the type determiner was successful
|
2020-04-20 14:20:01 +00:00
|
|
|
bool Determine();
|
2020-04-06 21:07:41 +00:00
|
|
|
/// Determines type information for functions
|
|
|
|
/// @param funcs the functions to check
|
|
|
|
/// @returns true if the determination was successful
|
|
|
|
bool DetermineFunctions(const ast::FunctionList& funcs);
|
|
|
|
/// Determines type information for a function
|
|
|
|
/// @param func the function to check
|
|
|
|
/// @returns true if the determination was successful
|
|
|
|
bool DetermineFunction(ast::Function* func);
|
|
|
|
/// Determines type information for a set of statements
|
|
|
|
/// @param stmts the statements to check
|
|
|
|
/// @returns true if the determination was successful
|
2020-07-27 15:25:00 +00:00
|
|
|
bool DetermineStatements(const ast::BlockStatement* stmts);
|
2020-04-06 21:07:41 +00:00
|
|
|
/// Determines type information for a statement
|
|
|
|
/// @param stmt the statement to check
|
|
|
|
/// @returns true if the determination was successful
|
|
|
|
bool DetermineResultType(ast::Statement* stmt);
|
2020-04-20 15:46:18 +00:00
|
|
|
/// Determines type information for an expression list
|
|
|
|
/// @param list the expression list to check
|
|
|
|
/// @returns true if the determination was successful
|
|
|
|
bool DetermineResultType(const ast::ExpressionList& list);
|
2020-04-06 21:07:41 +00:00
|
|
|
/// Determines type information for an expression
|
|
|
|
/// @param expr the expression to check
|
|
|
|
/// @returns true if the determination was successful
|
|
|
|
bool DetermineResultType(ast::Expression* expr);
|
2020-04-08 19:58:20 +00:00
|
|
|
/// Determines the storage class for variables. This assumes that it is only
|
|
|
|
/// called for things in function scope, not module scope.
|
|
|
|
/// @param stmt the statement to check
|
|
|
|
/// @returns false on error
|
|
|
|
bool DetermineVariableStorageClass(ast::Statement* stmt);
|
2020-09-21 15:38:10 +00:00
|
|
|
/// Determines the result type based off a storage texture format
|
|
|
|
/// @param tex the storage texture
|
|
|
|
/// @returns false on error
|
2020-11-30 23:30:58 +00:00
|
|
|
bool DetermineStorageTextureSubtype(ast::type::StorageTexture* tex);
|
2020-04-06 21:07:41 +00:00
|
|
|
|
2020-04-12 18:21:59 +00:00
|
|
|
/// Testing method to set a given variable into the type stack
|
|
|
|
/// @param var the variable to set
|
|
|
|
void RegisterVariableForTesting(ast::Variable* var) {
|
2021-01-11 15:10:19 +00:00
|
|
|
variable_stack_.set(var->symbol(), var);
|
2020-04-12 18:21:59 +00:00
|
|
|
}
|
|
|
|
|
2020-04-20 15:46:18 +00:00
|
|
|
/// Retrieves information for the requested import.
|
2020-04-21 13:05:42 +00:00
|
|
|
/// @param src the source of the import
|
2020-04-20 15:46:18 +00:00
|
|
|
/// @param path the import path
|
|
|
|
/// @param name the method name to get information on
|
|
|
|
/// @param params the parameters to the method call
|
|
|
|
/// @param id out parameter for the external call ID. Must not be a nullptr.
|
2020-12-02 15:31:08 +00:00
|
|
|
/// @returns the return type of `name` in `path` or nullptr on error.
|
2020-04-21 13:05:42 +00:00
|
|
|
ast::type::Type* GetImportData(const Source& src,
|
|
|
|
const std::string& path,
|
2020-04-20 15:46:18 +00:00
|
|
|
const std::string& name,
|
|
|
|
const ast::ExpressionList& params,
|
|
|
|
uint32_t* id);
|
|
|
|
|
2020-09-22 19:42:13 +00:00
|
|
|
/// Sets the intrinsic data information for the identifier if needed
|
|
|
|
/// @param ident the identifier expression
|
2020-10-14 18:26:31 +00:00
|
|
|
/// @returns true if an intrinsic was set
|
|
|
|
bool SetIntrinsicIfNeeded(ast::IdentifierExpression* ident);
|
2020-09-22 19:42:13 +00:00
|
|
|
|
2020-03-02 20:47:43 +00:00
|
|
|
private:
|
2020-04-08 19:58:35 +00:00
|
|
|
void set_error(const Source& src, const std::string& msg);
|
2020-12-08 21:07:24 +00:00
|
|
|
void set_referenced_from_function_if_needed(ast::Variable* var, bool local);
|
2020-12-11 18:24:53 +00:00
|
|
|
void set_entry_points(const std::string& fn_name, Symbol ep_sym);
|
2020-04-08 19:58:35 +00:00
|
|
|
|
2020-04-07 12:57:42 +00:00
|
|
|
bool DetermineArrayAccessor(ast::ArrayAccessorExpression* expr);
|
2020-04-07 19:27:41 +00:00
|
|
|
bool DetermineBinary(ast::BinaryExpression* expr);
|
2020-09-22 22:07:13 +00:00
|
|
|
bool DetermineBitcast(ast::BitcastExpression* expr);
|
2020-04-07 16:41:10 +00:00
|
|
|
bool DetermineCall(ast::CallExpression* expr);
|
2020-04-07 12:46:30 +00:00
|
|
|
bool DetermineConstructor(ast::ConstructorExpression* expr);
|
2020-04-07 12:57:27 +00:00
|
|
|
bool DetermineIdentifier(ast::IdentifierExpression* expr);
|
2020-09-22 19:42:13 +00:00
|
|
|
bool DetermineIntrinsic(ast::IdentifierExpression* name,
|
|
|
|
ast::CallExpression* expr);
|
2020-04-07 16:41:33 +00:00
|
|
|
bool DetermineMemberAccessor(ast::MemberAccessorExpression* expr);
|
2020-04-07 19:27:11 +00:00
|
|
|
bool DetermineUnaryOp(ast::UnaryOpExpression* expr);
|
2020-04-07 16:41:33 +00:00
|
|
|
|
2020-04-20 14:20:01 +00:00
|
|
|
ast::Module* mod_;
|
2020-03-02 20:47:43 +00:00
|
|
|
std::string error_;
|
2020-04-06 18:43:56 +00:00
|
|
|
ScopeStack<ast::Variable*> variable_stack_;
|
|
|
|
std::unordered_map<std::string, ast::Function*> name_to_function_;
|
2020-06-22 20:52:24 +00:00
|
|
|
ast::Function* current_function_ = nullptr;
|
2020-07-14 19:45:47 +00:00
|
|
|
|
|
|
|
// Map from caller functions to callee functions.
|
|
|
|
std::unordered_map<std::string, std::vector<std::string>> caller_to_callee_;
|
2020-03-02 20:47:43 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
} // namespace tint
|
|
|
|
|
|
|
|
#endif // SRC_TYPE_DETERMINER_H_
|