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(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():
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))
r_result = false;
else
{
- // TODO Compare array sizes
- if(var1->type_declaration!=var.type_declaration)
+ 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
}
void DependencyCollector::visit(FunctionCall &call)
{
if(call.declaration)
+ {
dependencies.insert(call.declaration);
+ call.declaration->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