NazaraEngine/include/Nazara/Shader/Ast/SanitizeVisitor.hpp

// Copyright (C) 2020 Jérôme Leclercq
// This file is part of the "Nazara Engine - Shader generator"
// For conditions of distribution and use, see copyright notice in Config.hpp

#pragma once

#ifndef NAZARA_SHADERAST_TRANSFORMVISITOR_HPP
#define NAZARA_SHADERAST_TRANSFORMVISITOR_HPP

#include <Nazara/Prerequisites.hpp>
#include <Nazara/Core/Bitset.hpp>
#include <Nazara/Shader/Config.hpp>
#include <Nazara/Shader/Ast/AstCloner.hpp>
#include <unordered_map>
#include <unordered_set>
#include <vector>

namespace Nz::ShaderAst
{
	class NAZARA_SHADER_API SanitizeVisitor final : AstCloner
	{
		public:
			struct Options;

			SanitizeVisitor() = default;
			SanitizeVisitor(const SanitizeVisitor&) = delete;
			SanitizeVisitor(SanitizeVisitor&&) = delete;
			~SanitizeVisitor() = default;

			inline StatementPtr Sanitize(const StatementPtr& statement, std::string* error = nullptr);
			StatementPtr Sanitize(const StatementPtr& statement, const Options& options, std::string* error = nullptr);

			SanitizeVisitor& operator=(const SanitizeVisitor&) = delete;
			SanitizeVisitor& operator=(SanitizeVisitor&&) = delete;

			struct Options
			{
				std::unordered_set<std::string> reservedIdentifiers;
				bool removeOptionDeclaration = true;
			};

		private:
			struct FunctionData;
			struct Identifier;

			const ExpressionType& CheckField(const ExpressionType& structType, const std::string* memberIdentifier, std::size_t remainingMembers, std::size_t* structIndices);

			using AstCloner::CloneExpression;

			ExpressionPtr Clone(AccessIdentifierExpression& node) override;
			ExpressionPtr Clone(AssignExpression& node) override;
			ExpressionPtr Clone(BinaryExpression& node) override;
			ExpressionPtr Clone(CallFunctionExpression& node) override;
			ExpressionPtr Clone(CastExpression& node) override;
			ExpressionPtr Clone(ConditionalExpression& node) override;
			ExpressionPtr Clone(ConstantExpression& node) override;
			ExpressionPtr Clone(IdentifierExpression& node) override;
			ExpressionPtr Clone(IntrinsicExpression& node) override;
			ExpressionPtr Clone(SelectOptionExpression& node) override;
			ExpressionPtr Clone(SwizzleExpression& node) override;
			ExpressionPtr Clone(UnaryExpression& node) override;

			StatementPtr Clone(BranchStatement& node) override;
			StatementPtr Clone(ConditionalStatement& node) override;
			StatementPtr Clone(DeclareExternalStatement& node) override;
			StatementPtr Clone(DeclareFunctionStatement& node) override;
			StatementPtr Clone(DeclareOptionStatement& node) override;
			StatementPtr Clone(DeclareStructStatement& node) override;
			StatementPtr Clone(DeclareVariableStatement& node) override;
			StatementPtr Clone(DiscardStatement& node) override;
			StatementPtr Clone(ExpressionStatement& node) override;
			StatementPtr Clone(MultiStatement& node) override;

			inline const Identifier* FindIdentifier(const std::string_view& identifierName) const;

			Expression& MandatoryExpr(ExpressionPtr& node);
			Statement& MandatoryStatement(StatementPtr& node);
			void TypeMustMatch(ExpressionPtr& left, ExpressionPtr& right);
			void TypeMustMatch(const ExpressionType& left, const ExpressionType& right);

			void PushScope();
			void PopScope();

			std::size_t DeclareFunction(DeclareFunctionStatement* funcDecl);

			void PropagateFunctionFlags(std::size_t funcIndex, FunctionFlags flags, Bitset<>& seen);

			FunctionData& RegisterFunction(std::size_t functionIndex);
			std::size_t RegisterIntrinsic(std::string name, IntrinsicType type);
			std::size_t RegisterOption(std::string name, ExpressionType type);
			std::size_t RegisterStruct(std::string name, StructDescription description);
			std::size_t RegisterVariable(std::string name, ExpressionType type);

			void ResolveFunctions();

			std::size_t ResolveStruct(const ExpressionType& exprType);
			std::size_t ResolveStruct(const IdentifierType& identifierType);
			std::size_t ResolveStruct(const StructType& structType);
			std::size_t ResolveStruct(const UniformType& uniformType);
			ExpressionType ResolveType(const ExpressionType& exprType);

			void SanitizeIdentifier(std::string& identifier);

			void Validate(CallFunctionExpression& node, const DeclareFunctionStatement* referenceDeclaration);
			void Validate(IntrinsicExpression& node);

			struct FunctionData
			{
				Bitset<> calledByFunctions;
				DeclareFunctionStatement* node;
				FunctionFlags flags;
				bool defined = false;
			};

			struct Identifier
			{
				enum class Type
				{
					Alias,
					Function,
					Intrinsic,
					Option,
					Struct,
					Variable
				};

				std::string name;
				std::size_t index;
				Type type;
			};

			std::vector<Identifier> m_identifiersInScope;
			std::vector<FunctionData> m_functions;
			std::vector<IntrinsicType> m_intrinsics;
			std::vector<ExpressionType> m_options;
			std::vector<StructDescription> m_structs;
			std::vector<ExpressionType> m_variableTypes;
			std::vector<std::size_t> m_scopeSizes;

			struct Context;
			Context* m_context;
	};

	inline StatementPtr Sanitize(const StatementPtr& ast, std::string* error = nullptr);
	inline StatementPtr Sanitize(const StatementPtr& ast, const SanitizeVisitor::Options& options, std::string* error = nullptr);
}

#include <Nazara/Shader/Ast/SanitizeVisitor.inl>

#endif