X-Git-Url: http://git.tdb.fi/?p=libs%2Fgl.git;a=blobdiff_plain;f=source%2Fglsl%2Fvalidate.h;h=c9a7b736035519e3d3767062e198cb22e5f8ba6b;hp=52ae136bb61da6053f425cd1d70cc2ad87231be9;hb=HEAD;hpb=38712d8ecc57d043a2419ffbaeeb57f7a6586f14 diff --git a/source/glsl/validate.h b/source/glsl/validate.h index 52ae136b..3166c39b 100644 --- a/source/glsl/validate.h +++ b/source/glsl/validate.h @@ -39,13 +39,18 @@ private: FUNCTION }; + Features features; ScopeType scope = GLOBAL; InterfaceLayout *iface_layout = 0; - InterfaceBlock *iface_block = 0; + VariableDeclaration *iface_block = 0; VariableDeclaration *variable = 0; + bool have_input_primitive = false; + bool have_output_primitive = false; + bool have_output_vertex_count = false; + bool have_workgroup_size = false; public: - void apply(Stage &s) { stage = &s; s.content.visit(*this); } + void apply(Stage &, const Features &); private: static const char *describe_variable(ScopeType); @@ -56,7 +61,6 @@ private: virtual void visit(ImageTypeDeclaration &); virtual void visit(StructDeclaration &); virtual void visit(VariableDeclaration &); - virtual void visit(InterfaceBlock &); virtual void visit(FunctionDeclaration &); }; @@ -68,7 +72,7 @@ private: typedef std::map BlockDeclarationMap; std::map declarations; - std::map interface_blocks; + std::map interface_blocks; std::map overloaded_functions; bool anonymous_block = false; @@ -86,7 +90,6 @@ private: virtual void visit(ImageTypeDeclaration &t) { visit(static_cast(t)); } virtual void visit(StructDeclaration &); virtual void visit(VariableDeclaration &); - virtual void visit(InterfaceBlock &); virtual void visit(FunctionDeclaration &); }; @@ -101,10 +104,8 @@ private: virtual void visit(ImageTypeDeclaration &); virtual void visit(VariableReference &); virtual void visit(MemberAccess &); - virtual void visit(InterfaceBlockReference &); virtual void visit(FunctionCall &); virtual void visit(VariableDeclaration &); - virtual void visit(InterfaceBlock &); virtual void visit(FunctionDeclaration &); }; @@ -113,20 +114,28 @@ is indicated by a null result type. */ class ExpressionValidator: private Validator { private: + enum ConstantKind + { + NOT_CONSTANT, + FIXED_CONSTANT, + SPEC_CONSTANT + }; + FunctionDeclaration *current_function = 0; - bool constant_expression = false; + bool in_struct = false; + ConstantKind constant_expression = NOT_CONSTANT; public: void apply(Stage &s) { stage = &s; s.content.visit(*this); } private: virtual void visit(VariableReference &); - virtual void visit(InterfaceBlockReference &); virtual void visit(Swizzle &); virtual void visit(UnaryExpression &); virtual void visit(BinaryExpression &); virtual void visit(Assignment &); virtual void visit(TernaryExpression &); + virtual void visit(StructDeclaration &); virtual void visit(VariableDeclaration &); virtual void visit(FunctionDeclaration &); virtual void visit(Conditional &); @@ -165,8 +174,6 @@ public: void apply(Stage &s) { stage = &s; s.content.visit(*this); } private: - int get_location(const Layout &); - virtual void visit(VariableDeclaration &); virtual void visit(FunctionDeclaration &) { } }; @@ -199,7 +206,6 @@ private: void check_uniform(const Uniform &); virtual void visit(VariableDeclaration &); - virtual void visit(InterfaceBlock &); virtual void visit(FunctionDeclaration &) { } };