9 bool is_scalar(const BasicTypeDeclaration &type)
11 return (type.kind==BasicTypeDeclaration::INT || type.kind==BasicTypeDeclaration::FLOAT);
14 bool is_vector_or_matrix(const BasicTypeDeclaration &type)
16 return (type.kind==BasicTypeDeclaration::VECTOR || type.kind==BasicTypeDeclaration::MATRIX);
19 BasicTypeDeclaration *get_element_type(BasicTypeDeclaration &type)
21 if(is_vector_or_matrix(type) || type.kind==BasicTypeDeclaration::ARRAY)
23 BasicTypeDeclaration *basic_base = dynamic_cast<BasicTypeDeclaration *>(type.base_type);
24 return (basic_base ? get_element_type(*basic_base) : 0);
30 bool can_convert(const BasicTypeDeclaration &from, const BasicTypeDeclaration &to)
32 if(from.kind==BasicTypeDeclaration::INT && to.kind==BasicTypeDeclaration::FLOAT)
33 return from.size<=to.size;
34 else if(from.kind!=to.kind)
36 else if(from.kind==BasicTypeDeclaration::INT && from.sign!=to.sign)
37 return from.sign && from.size<=to.size;
38 else if(is_vector_or_matrix(from) && from.size==to.size)
40 BasicTypeDeclaration *from_base = dynamic_cast<BasicTypeDeclaration *>(from.base_type);
41 BasicTypeDeclaration *to_base = dynamic_cast<BasicTypeDeclaration *>(to.base_type);
42 return (from_base && to_base && can_convert(*from_base, *to_base));
49 unsigned TypeComparer::next_tag = 1;
51 TypeComparer::TypeComparer():
58 void TypeComparer::compare(Node &node1, Node &node2)
70 T *TypeComparer::multi_visit(T &node)
72 static unsigned tag = next_tag++;
82 else if(!first || tag!=first_tag)
86 T *f = static_cast<T *>(first);
94 void TypeComparer::visit(Literal &literal)
96 if(Literal *lit1 = multi_visit(literal))
98 if(!lit1->type || !literal.type)
102 compare(*lit1->type, *literal.type);
104 r_result = (literal.value.check_type<int>() && lit1->value.value<int>()==literal.value.value<int>());
109 void TypeComparer::visit(VariableReference &var)
111 if(VariableReference *var1 = multi_visit(var))
113 if(!var1->declaration || !var.declaration)
115 else if(!var1->declaration->constant || !var.declaration->constant)
117 else if(!var1->declaration->init_expression || !var.declaration->init_expression)
120 compare(*var1->declaration->init_expression, *var.declaration->init_expression);
124 void TypeComparer::visit(BasicTypeDeclaration &basic)
126 if(BasicTypeDeclaration *basic1 = multi_visit(basic))
128 if(basic1->kind!=basic.kind || basic1->size!=basic.size || basic1->sign!=basic.sign)
130 else if(basic1->base_type && basic.base_type)
131 compare(*basic1->base_type, *basic.base_type);
133 r_result = (!basic1->base_type && !basic.base_type);
137 void TypeComparer::visit(ImageTypeDeclaration &image)
139 if(ImageTypeDeclaration *image1 = multi_visit(image))
141 if(image1->dimensions!=image.dimensions || image1->array!=image.array)
143 else if(image1->sampled!=image.sampled || image1->shadow!=image.shadow)
145 else if(image1->base_type && image.base_type)
146 compare(*image1->base_type, *image.base_type);
148 r_result = (!image1->base_type && !image.base_type);
152 void TypeComparer::visit(StructDeclaration &strct)
154 if(StructDeclaration *strct1 = multi_visit(strct))
156 if(strct1->members.body.size()!=strct.members.body.size())
161 NodeList<Statement>::const_iterator i = strct1->members.body.begin();
162 NodeList<Statement>::const_iterator j = strct.members.body.begin();
163 for(; (r_result && i!=strct1->members.body.end()); ++i, ++j)
169 void TypeComparer::visit(VariableDeclaration &var)
171 if(VariableDeclaration *var1 = multi_visit(var))
173 if(var1->name!=var.name || var1->array!=var.array)
175 else if(!var1->type_declaration || !var.type_declaration)
182 if(var1->array_size && var.array_size)
183 compare(*var1->array_size, *var.array_size);
185 if(r_result && var1->type_declaration!=var.type_declaration)
186 compare(*var1->type_declaration, *var.type_declaration);
187 // TODO Compare layout qualifiers for interface block members
193 LocationCounter::LocationCounter():
197 void LocationCounter::visit(BasicTypeDeclaration &basic)
199 r_count = basic.kind==BasicTypeDeclaration::MATRIX ? basic.size>>16 : 1;
202 void LocationCounter::visit(ImageTypeDeclaration &)
207 void LocationCounter::visit(StructDeclaration &strct)
210 for(NodeList<Statement>::const_iterator i=strct.members.body.begin(); i!=strct.members.body.end(); ++i)
219 void LocationCounter::visit(VariableDeclaration &var)
222 if(var.type_declaration)
223 var.type_declaration->visit(*this);
225 if(const Literal *literal = dynamic_cast<const Literal *>(var.array_size.get()))
226 if(literal->value.check_type<int>())
227 r_count *= literal->value.value<int>();
231 void MemoryRequirementsCalculator::visit(BasicTypeDeclaration &basic)
233 if(basic.kind==BasicTypeDeclaration::BOOL)
238 else if(basic.kind==BasicTypeDeclaration::INT || basic.kind==BasicTypeDeclaration::FLOAT)
240 r_size = basic.size/8;
241 r_alignment = r_size;
243 else if(basic.kind==BasicTypeDeclaration::VECTOR || basic.kind==BasicTypeDeclaration::MATRIX)
245 basic.base_type->visit(*this);
246 unsigned n_elem = basic.size&0xFFFF;
248 if(basic.kind==BasicTypeDeclaration::VECTOR)
249 r_alignment *= (n_elem==3 ? 4 : n_elem);
251 else if(basic.kind==BasicTypeDeclaration::ARRAY)
252 basic.base_type->visit(*this);
255 void MemoryRequirementsCalculator::visit(StructDeclaration &strct)
258 unsigned max_align = 1;
259 for(NodeList<Statement>::iterator i=strct.members.body.begin(); i!=strct.members.body.end(); ++i)
267 total += r_alignment-1;
268 total -= total%r_alignment;
270 max_align = max(max_align, r_alignment);
273 r_alignment = max_align;
276 void MemoryRequirementsCalculator::visit(VariableDeclaration &var)
280 const vector<Layout::Qualifier> qualifiers = var.layout->qualifiers;
281 for(vector<Layout::Qualifier>::const_iterator i=qualifiers.begin(); (r_offset<0 && i!=qualifiers.end()); ++i)
282 if(i->name=="offset")
286 if(var.type_declaration)
287 var.type_declaration->visit(*this);
289 if(const Literal *literal = dynamic_cast<const Literal *>(var.array_size.get()))
290 if(literal->value.check_type<int>())
291 r_size += r_alignment*(literal->value.value<int>()-1);
295 set<Node *> DependencyCollector::apply(FunctionDeclaration &func)
301 void DependencyCollector::visit(VariableReference &var)
303 if(var.declaration && !locals.count(var.declaration))
305 dependencies.insert(var.declaration);
306 var.declaration->visit(*this);
310 void DependencyCollector::visit(InterfaceBlockReference &iface)
312 if(iface.declaration)
314 dependencies.insert(iface.declaration);
315 iface.declaration->visit(*this);
319 void DependencyCollector::visit(FunctionCall &call)
323 dependencies.insert(call.declaration);
324 if(call.declaration->definition)
325 call.declaration->definition->visit(*this);
327 TraversingVisitor::visit(call);
330 void DependencyCollector::visit(VariableDeclaration &var)
333 if(var.type_declaration)
335 dependencies.insert(var.type_declaration);
336 var.type_declaration->visit(*this);
339 TraversingVisitor::visit(var);
342 void DependencyCollector::visit(FunctionDeclaration &func)
344 if(!visited_functions.count(&func))
346 visited_functions.insert(&func);
347 TraversingVisitor::visit(func);