+void DeclarationValidator::visit(Layout &layout)
+{
+ bool push_constant = false;
+ bool binding = false;
+ for(const Layout::Qualifier &q: layout.qualifiers)
+ {
+ bool allowed = false;
+ string err_descr;
+ bool value = true;
+ if(q.name=="location")
+ allowed = (variable && scope==GLOBAL);
+ else if(q.name=="binding" || q.name=="set")
+ {
+ binding = true;
+
+ if(q.name=="set" && features.target_api!=VULKAN)
+ {
+ error(layout, "Layout qualifier 'set' not allowed when targeting OpenGL");
+ continue;
+ }
+
+ if(variable)
+ {
+ const TypeDeclaration *base_type = get_ultimate_base_type(variable->type_declaration);
+ bool uniform = (variable->interface=="uniform");
+ allowed = (scope==GLOBAL && uniform && dynamic_cast<const ImageTypeDeclaration *>(base_type));
+ err_descr = (uniform ? "variable of non-opaque type" : "non-uniform variable");
+ }
+ else if(iface_block)
+ {
+ allowed = (iface_block->interface=="uniform");
+ err_descr = "non-uniform interface block";
+ }
+ }
+ else if(q.name=="constant_id")
+ {
+ allowed = (variable && scope==GLOBAL);
+ if(allowed)
+ {
+ if(!variable->constant)
+ {
+ allowed = false;
+ err_descr = "non-constant variable";
+ }
+ else
+ {
+ BasicTypeDeclaration *basic = dynamic_cast<BasicTypeDeclaration *>(variable->type_declaration);
+ if(!basic || basic->kind<BasicTypeDeclaration::BOOL || basic->kind>BasicTypeDeclaration::INT)
+ {
+ allowed = false;
+ err_descr = format("variable of type '%s'",
+ (variable->type_declaration ? variable->type_declaration->name : variable->type));
+ }
+ }
+ }
+ }
+ else if(q.name=="offset")
+ allowed = (variable && scope==INTERFACE_BLOCK && iface_block->interface=="uniform");
+ else if(q.name=="align")
+ allowed = (scope==INTERFACE_BLOCK && iface_block->interface=="uniform");
+ else if(q.name=="points")
+ {
+ allowed = (stage->type==Stage::GEOMETRY && iface_layout && (iface_layout->interface=="in" || iface_layout->interface=="out"));
+ value = false;
+ if(allowed)
+ {
+ if(iface_layout->interface=="in")
+ have_input_primitive = true;
+ else if(iface_layout->interface=="out")
+ have_output_primitive = true;
+ }
+ }
+ else if(q.name=="triangles")
+ {
+ allowed = ((stage->type==Stage::GEOMETRY || stage->type==Stage::TESS_EVAL) && iface_layout && iface_layout->interface=="in");
+ value = false;
+ if(allowed)
+ have_input_primitive = true;
+ }
+ else if(q.name=="lines" || q.name=="lines_adjacency" || q.name=="triangles_adjacency")
+ {
+ allowed = (stage->type==Stage::GEOMETRY && iface_layout && iface_layout->interface=="in");
+ value = false;
+ if(allowed)
+ have_input_primitive = true;
+ }
+ else if(q.name=="quads" || q.name=="isolines")
+ {
+ allowed = (stage->type==Stage::TESS_EVAL && iface_layout && iface_layout->interface=="in");
+ value = false;
+ if(allowed)
+ have_input_primitive = true;
+ }
+ else if(q.name=="line_strip" || q.name=="triangle_strip")
+ {
+ allowed = (stage->type==Stage::GEOMETRY && iface_layout && iface_layout->interface=="out");
+ value = false;
+ if(allowed)
+ have_output_primitive = true;
+ }
+ else if(q.name=="invocations")
+ allowed = (stage->type==Stage::GEOMETRY && iface_layout && iface_layout->interface=="in");
+ else if(q.name=="max_vertices")
+ {
+ allowed = (stage->type==Stage::GEOMETRY && iface_layout && iface_layout->interface=="out");
+ if(allowed)
+ have_output_vertex_count = true;
+ }
+ else if(q.name=="vertices")
+ {
+ allowed = (stage->type==Stage::TESS_CONTROL && iface_layout && iface_layout->interface=="out");
+ if(allowed)
+ have_output_vertex_count = true;
+ }
+ else if(q.name=="cw" || q.name=="ccw" ||
+ q.name=="equal_spacing" || q.name=="fractional_even_spacing" || q.name=="fractional_odd_spacing")
+ {
+ allowed = (stage->type==Stage::TESS_EVAL && iface_layout && iface_layout->interface=="in");
+ value = false;
+ }
+ else if(q.name=="std140" || q.name=="std430")
+ {
+ allowed = (iface_block && !variable && iface_block->interface=="uniform");
+ value = false;
+ }
+ else if(q.name=="column_major" || q.name=="row_major")
+ {
+ allowed = (variable && scope==INTERFACE_BLOCK);
+ if(allowed)
+ {
+ BasicTypeDeclaration *basic = dynamic_cast<BasicTypeDeclaration *>(variable->type_declaration);
+ while(basic && basic->kind==BasicTypeDeclaration::ARRAY)
+ basic = dynamic_cast<BasicTypeDeclaration *>(basic->base_type);
+ allowed = (basic && basic->kind==BasicTypeDeclaration::MATRIX);
+ err_descr = "non-matrix variable";
+ }
+ }
+ else if(q.name=="push_constant")
+ {
+ push_constant = true;
+ allowed = (iface_block && !variable && iface_block->interface=="uniform");
+ value = false;
+ }
+ else if(q.name=="local_size_x" || q.name=="local_size_y" || q.name=="local_size_z")
+ {
+ allowed = (stage->type==Stage::COMPUTE && iface_layout && iface_layout->interface=="in");
+ if(allowed)
+ have_workgroup_size = true;
+ }
+ else if(q.name=="rgba32f" || q.name=="rgba16f" || q.name=="rg32f" || q.name=="rg16f" || q.name=="r32f" || q.name=="r16f" ||
+ q.name=="rgba16" || q.name=="rgba8" || q.name=="rg16" || q.name=="rg8" || q.name=="r16" || q.name=="r8" ||
+ q.name=="rgba16_snorm" || q.name=="rgba8_snorm" || q.name=="rg16_snorm" || q.name=="rg8_snorm" || q.name=="r16_snorm" || q.name=="r8_snorm")
+ {
+ allowed = variable;
+ value = false;
+ if(allowed)
+ {
+ const TypeDeclaration *base_type = get_ultimate_base_type(variable->type_declaration);
+ const ImageTypeDeclaration *image = dynamic_cast<const ImageTypeDeclaration *>(base_type);
+ allowed = (image && !image->sampled);
+ err_descr = (image ? "sampled image" : "non-image variable");
+ }
+ }
+
+ if(!allowed)
+ {
+ if(err_descr.empty())
+ {
+ if(variable)
+ err_descr = describe_variable(scope);
+ else if(iface_block)
+ err_descr = "interface block";
+ else if(iface_layout)
+ err_descr = format("interface '%s'", iface_layout->interface);
+ else
+ err_descr = "unknown declaration";
+ }
+ error(layout, format("Layout qualifier '%s' not allowed on %s", q.name, err_descr));
+ }
+ else if(value && !q.has_value)
+ error(layout, format("Layout qualifier '%s' requires a value", q.name));
+ else if(!value && q.has_value)
+ error(layout, format("Layout qualifier '%s' does not allow a value", q.name));
+ }
+
+ if(push_constant && binding)
+ error(layout, "Layout qualifier 'push_constant' not allowed together with 'binding' or 'set'");
+}
+
+void DeclarationValidator::visit(InterfaceLayout &layout)
+{
+ SetForScope<InterfaceLayout *> set_layout(iface_layout, &layout);
+ TraversingVisitor::visit(layout);
+}
+
+void DeclarationValidator::visit(BasicTypeDeclaration &type)
+{
+ BasicTypeDeclaration *basic_base = dynamic_cast<BasicTypeDeclaration *>(type.base_type);
+ BasicTypeDeclaration::Kind base_kind = (basic_base ? basic_base->kind : BasicTypeDeclaration::VOID);
+
+ if(type.kind==BasicTypeDeclaration::VECTOR && (base_kind<BasicTypeDeclaration::BOOL || base_kind>BasicTypeDeclaration::FLOAT))
+ error(type, format("Invalid base type '%s' for vector type '%s'", type.base, type.name));
+ else if(type.kind==BasicTypeDeclaration::MATRIX && base_kind!=BasicTypeDeclaration::VECTOR)
+ error(type, format("Invalid base type '%s' for matrix type '%s'", type.base, type.name));
+ else if(type.kind==BasicTypeDeclaration::ARRAY && basic_base && base_kind==BasicTypeDeclaration::VOID)
+ error(type, format("Invalid base type '%s' for array type '%s'", type.base, type.name));
+}
+
+void DeclarationValidator::visit(ImageTypeDeclaration &type)
+{
+ BasicTypeDeclaration::Kind base_kind = BasicTypeDeclaration::VOID;
+ if(BasicTypeDeclaration *basic_base = dynamic_cast<BasicTypeDeclaration *>(type.base_type))
+ base_kind = basic_base->kind;
+ if(base_kind!=BasicTypeDeclaration::INT && base_kind!=BasicTypeDeclaration::FLOAT)
+ error(type, format("Invalid base type '%s' for image type '%s'", type.base, type.name));
+}
+
+void DeclarationValidator::visit(StructDeclaration &strct)
+{
+ SetForScope<ScopeType> set_scope(scope, (strct.block_name.empty() ? STRUCT : INTERFACE_BLOCK));
+ SetForScope<VariableDeclaration *> set_iface(iface_block, strct.block_declaration);
+ TraversingVisitor::visit(strct);
+}
+
+void DeclarationValidator::visit(VariableDeclaration &var)
+{
+ SetForScope<VariableDeclaration *> set_var((var.block_declaration ? iface_block : variable), &var);
+
+ const char *descr = describe_variable(scope);
+
+ if(var.layout)
+ {
+ if(scope!=GLOBAL && scope!=INTERFACE_BLOCK)
+ error(var, format("Layout qualifier not allowed on %s", descr));
+ else
+ var.layout->visit(*this);
+ }
+
+ if(var.constant)
+ {
+ if(scope==STRUCT || scope==INTERFACE_BLOCK)
+ error(var, format("Constant qualifier not allowed on %s", descr));
+ if(!var.init_expression)
+ error(var, "Constant variable must have an initializer");
+ }
+
+ if(!var.interpolation.empty() || !var.sampling.empty())
+ {
+ if(var.interface=="in" && stage->type==Stage::VERTEX)
+ error(var, "Interpolation qualifier not allowed on vertex input");
+ else if(var.interface=="out" && stage->type==Stage::FRAGMENT)
+ error(var, "Interpolation qualifier not allowed on fragment output");
+ else if((var.interface!="in" && var.interface!="out") || (scope==FUNCTION_PARAM || scope==FUNCTION))
+ error(var, "Interpolation qualifier not allowed on non-interpolated variable");
+ else if(var.sampling=="patch" && (stage->type!=Stage::TESS_CONTROL || var.interface!="out") && (stage->type!=Stage::TESS_EVAL || var.interface!="in"))
+ error(var, "Per-patch variables only allowed on tessellation control output or tessellation evaluation input");
+ if(var.sampling=="patch" && !var.interpolation.empty())
+ error(var, "Interpolation qualifier not allowed on per-patch variable");
+ }
+
+ if(!var.interface.empty())
+ {
+ if(iface_block && var.interface!=iface_block->interface)
+ error(var, format("Mismatched interface qualifier '%s' inside '%s' block", var.interface, iface_block->interface));
+ else if(scope==STRUCT || scope==FUNCTION)
+ error(var, format("Interface qualifier not allowed on %s", descr));
+ else if(scope==GLOBAL && var.interface=="uniform" && !var.block_declaration && features.target_api==VULKAN)
+ {
+ if(!dynamic_cast<const ImageTypeDeclaration *>(get_ultimate_base_type(var.type_declaration)))
+ error(var, "Interface qualifier 'uniform' not allowed on non-opaque variable in global scope");
+ }
+ }
+
+ TypeDeclaration *type = var.type_declaration;
+ BasicTypeDeclaration::Kind kind = BasicTypeDeclaration::ALIAS;
+ while(BasicTypeDeclaration *basic = dynamic_cast<BasicTypeDeclaration *>(type))
+ {
+ kind = basic->kind;
+ type = basic->base_type;
+ }
+ if(dynamic_cast<ImageTypeDeclaration *>(type))
+ {
+ if(scope!=GLOBAL && scope!=FUNCTION_PARAM)
+ error(var, format("Type '%s' not allowed on %s", type->name, descr));
+ else if(scope==GLOBAL && var.interface!="uniform")
+ error(var, format("Type '%s' only allowed with uniform interface", type->name));
+ }
+ else if(var.block_declaration)
+ {
+ if(stage->type==Stage::VERTEX && var.interface=="in")
+ error(var, "Interface block not allowed on vertex shader input");
+ else if(stage->type==Stage::FRAGMENT && var.interface=="out")
+ error(var, "Interface block not allowed on fragment shader output");
+ }
+ else if(kind==BasicTypeDeclaration::VOID)
+ error(var, "Type 'void' not allowed on variable");
+ else if(kind==BasicTypeDeclaration::BOOL && var.source!=BUILTIN_SOURCE)
+ {
+ if(scope==INTERFACE_BLOCK)
+ error(var, "Type 'bool' not allowed in an interface block");
+ else if(!var.interface.empty())
+ error(var, "Type 'bool' not allowed on interface variable");
+ }
+
+ if(var.array && !var.array_size)
+ error(var, "Array must have a size");
+
+ if(var.init_expression)
+ {
+ if(scope==GLOBAL && !var.constant)
+ error(var, format("Initializer not allowed on non-constant %s", descr));
+ else if(scope!=GLOBAL && scope!=FUNCTION)
+ error(var, format("Initializer not allowed on %s", descr));
+ else
+ var.init_expression->visit(*this);
+ }
+}
+
+void DeclarationValidator::visit(FunctionDeclaration &func)
+{
+ SetForScope<ScopeType> set_scope(scope, FUNCTION_PARAM);
+ for(const RefPtr<VariableDeclaration> &p: func.parameters)
+ p->visit(*this);
+ scope = FUNCTION;
+ func.body.visit(*this);
+}
+
+
+void IdentifierValidator::multiple_definition(const string &name, Statement &statement, Statement &previous)
+{
+ error(statement, format("Multiple definition of %s", name));
+ add_info(previous, "Previous definition is here");
+}
+
+Statement *IdentifierValidator::find_definition(const string &name)