namespace GL {
namespace SL {
+bool is_scalar(const BasicTypeDeclaration &type)
+{
+ return (type.kind==BasicTypeDeclaration::INT || type.kind==BasicTypeDeclaration::FLOAT);
+}
+
+bool is_vector_or_matrix(const BasicTypeDeclaration &type)
+{
+ return (type.kind==BasicTypeDeclaration::VECTOR || type.kind==BasicTypeDeclaration::MATRIX);
+}
+
+BasicTypeDeclaration *get_element_type(BasicTypeDeclaration &type)
+{
+ if(is_vector_or_matrix(type) || type.kind==BasicTypeDeclaration::ARRAY)
+ {
+ BasicTypeDeclaration *basic_base = dynamic_cast<BasicTypeDeclaration *>(type.base_type);
+ return (basic_base ? get_element_type(*basic_base) : 0);
+ }
+ else
+ return &type;
+}
+
+bool can_convert(const BasicTypeDeclaration &from, const BasicTypeDeclaration &to)
+{
+ if(from.kind==BasicTypeDeclaration::INT && to.kind==BasicTypeDeclaration::FLOAT)
+ return from.size<=to.size;
+ else if(from.kind!=to.kind)
+ return false;
+ else if(from.kind==BasicTypeDeclaration::INT && from.sign!=to.sign)
+ return from.sign && from.size<=to.size;
+ else if(is_vector_or_matrix(from) && from.size==to.size)
+ {
+ BasicTypeDeclaration *from_base = dynamic_cast<BasicTypeDeclaration *>(from.base_type);
+ BasicTypeDeclaration *to_base = dynamic_cast<BasicTypeDeclaration *>(to.base_type);
+ return (from_base && to_base && can_convert(*from_base, *to_base));
+ }
+ else
+ return false;
+}
+
+
+unsigned TypeComparer::next_tag = 1;
+
+TypeComparer::TypeComparer():
+ first(0),
+ second(0),
+ first_tag(0),
+ r_result(false)
+{ }
+
+void TypeComparer::compare(Node &node1, Node &node2)
+{
+ if(&node1==&node2)
+ r_result = true;
+ else
+ {
+ second = &node2;
+ node1.visit(*this);
+ }
+}
+
+template<typename T>
+T *TypeComparer::multi_visit(T &node)
+{
+ static unsigned tag = next_tag++;
+
+ if(second)
+ {
+ Node *s = second;
+ first = &node;
+ first_tag = tag;
+ second = 0;
+ s->visit(*this);
+ }
+ else if(!first || tag!=first_tag)
+ r_result = false;
+ else
+ {
+ T *f = static_cast<T *>(first);
+ first = 0;
+ return f;
+ }
+
+ return 0;
+}
+
+void TypeComparer::visit(Literal &literal)
+{
+ if(Literal *lit1 = multi_visit(literal))
+ {
+ if(!lit1->type || !literal.type)
+ r_result = false;
+ else
+ {
+ compare(*lit1->type, *literal.type);
+ if(r_result)
+ r_result = (literal.value.check_type<int>() && lit1->value.value<int>()==literal.value.value<int>());
+ }
+ }
+}
+
+void TypeComparer::visit(VariableReference &var)
+{
+ if(VariableReference *var1 = multi_visit(var))
+ {
+ if(!var1->declaration || !var.declaration)
+ r_result = false;
+ else if(!var1->declaration->constant || !var.declaration->constant)
+ r_result = false;
+ else if(!var1->declaration->init_expression || !var.declaration->init_expression)
+ r_result = false;
+ else
+ compare(*var1->declaration->init_expression, *var.declaration->init_expression);
+ }
+}
+
+void TypeComparer::visit(BasicTypeDeclaration &basic)
+{
+ if(BasicTypeDeclaration *basic1 = multi_visit(basic))
+ {
+ if(basic1->kind!=basic.kind || basic1->size!=basic.size || basic1->sign!=basic.sign)
+ r_result = false;
+ else if(basic1->base_type && basic.base_type)
+ compare(*basic1->base_type, *basic.base_type);
+ else
+ r_result = (!basic1->base_type && !basic.base_type);
+ }
+}
+
+void TypeComparer::visit(ImageTypeDeclaration &image)
+{
+ if(ImageTypeDeclaration *image1 = multi_visit(image))
+ {
+ if(image1->dimensions!=image.dimensions || image1->array!=image.array)
+ r_result = false;
+ else if(image1->sampled!=image.sampled || image1->shadow!=image.shadow)
+ r_result = false;
+ else if(image1->base_type && image.base_type)
+ compare(*image1->base_type, *image.base_type);
+ else
+ r_result = (!image1->base_type && !image.base_type);
+ }
+}
+
+void TypeComparer::visit(StructDeclaration &strct)
+{
+ if(StructDeclaration *strct1 = multi_visit(strct))
+ {
+ if(strct1->members.body.size()!=strct.members.body.size())
+ r_result = false;
+ else
+ {
+ r_result = true;
+ NodeList<Statement>::const_iterator i = strct1->members.body.begin();
+ NodeList<Statement>::const_iterator j = strct.members.body.begin();
+ for(; (r_result && i!=strct1->members.body.end()); ++i, ++j)
+ compare(**i, **j);
+ }
+ }
+}
+
+void TypeComparer::visit(VariableDeclaration &var)
+{
+ if(VariableDeclaration *var1 = multi_visit(var))
+ {
+ if(var1->name!=var.name || var1->array!=var.array)
+ r_result = false;
+ else if(!var1->type_declaration || !var.type_declaration)
+ r_result = false;
+ else
+ {
+ if(var1->array)
+ {
+ r_result = false;
+ if(var1->array_size && var.array_size)
+ compare(*var1->array_size, *var.array_size);
+ }
+ if(r_result && var1->type_declaration!=var.type_declaration)
+ compare(*var1->type_declaration, *var.type_declaration);
+ // TODO Compare layout qualifiers for interface block members
+ }
+ }
+}
+
+
LocationCounter::LocationCounter():
r_count(0)
{ }
}
+void MemoryRequirementsCalculator::visit(BasicTypeDeclaration &basic)
+{
+ if(basic.kind==BasicTypeDeclaration::BOOL)
+ {
+ r_size = 1;
+ r_alignment = 1;
+ }
+ else if(basic.kind==BasicTypeDeclaration::INT || basic.kind==BasicTypeDeclaration::FLOAT)
+ {
+ r_size = basic.size/8;
+ r_alignment = r_size;
+ }
+ else if(basic.kind==BasicTypeDeclaration::VECTOR || basic.kind==BasicTypeDeclaration::MATRIX)
+ {
+ basic.base_type->visit(*this);
+ unsigned n_elem = basic.size&0xFFFF;
+ r_size *= n_elem;
+ if(basic.kind==BasicTypeDeclaration::VECTOR)
+ r_alignment *= (n_elem==3 ? 4 : n_elem);
+ }
+ else if(basic.kind==BasicTypeDeclaration::ARRAY)
+ basic.base_type->visit(*this);
+}
+
+void MemoryRequirementsCalculator::visit(StructDeclaration &strct)
+{
+ unsigned total = 0;
+ unsigned max_align = 1;
+ for(NodeList<Statement>::iterator i=strct.members.body.begin(); i!=strct.members.body.end(); ++i)
+ {
+ r_size = 0;
+ r_alignment = 1;
+ r_offset = -1;
+ (*i)->visit(*this);
+ if(r_offset)
+ total = r_offset;
+ total += r_alignment-1;
+ total -= total%r_alignment;
+ total += r_size;
+ max_align = max(max_align, r_alignment);
+ }
+ r_size = total;
+ r_alignment = max_align;
+}
+
+void MemoryRequirementsCalculator::visit(VariableDeclaration &var)
+{
+ if(var.layout)
+ {
+ const vector<Layout::Qualifier> qualifiers = var.layout->qualifiers;
+ for(vector<Layout::Qualifier>::const_iterator i=qualifiers.begin(); (r_offset<0 && i!=qualifiers.end()); ++i)
+ if(i->name=="offset")
+ r_offset = i->value;
+ }
+
+ if(var.type_declaration)
+ var.type_declaration->visit(*this);
+ if(var.array)
+ if(const Literal *literal = dynamic_cast<const Literal *>(var.array_size.get()))
+ if(literal->value.check_type<int>())
+ r_size += r_alignment*(literal->value.value<int>()-1);
+}
+
+
set<Node *> DependencyCollector::apply(FunctionDeclaration &func)
{
func.visit(*this);
void DependencyCollector::visit(FunctionCall &call)
{
if(call.declaration)
+ {
dependencies.insert(call.declaration);
+ if(call.declaration->definition)
+ call.declaration->definition->visit(*this);
+ }
TraversingVisitor::visit(call);
}
TraversingVisitor::visit(var);
}
+void DependencyCollector::visit(FunctionDeclaration &func)
+{
+ if(!visited_functions.count(&func))
+ {
+ visited_functions.insert(&func);
+ TraversingVisitor::visit(func);
+ }
+}
+
} // namespace SL
} // namespace GL
} // namespace Msp