X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Fglsl%2Fsyntax.cpp;h=38a7f003be8b239f360df2a143cf214ed50a43b8;hb=1a5dafe20e47c764f2914c341fb7b8f1fba59fb8;hp=23b8f0301e9bd76196ec15b7388ef74f5ed2887e;hpb=20a86c5905e1f7527d3c9edc3f56f6b7679c268a;p=libs%2Fgl.git diff --git a/source/glsl/syntax.cpp b/source/glsl/syntax.cpp index 23b8f030..38a7f003 100644 --- a/source/glsl/syntax.cpp +++ b/source/glsl/syntax.cpp @@ -1,3 +1,4 @@ +#include #include #include "syntax.h" #include "visitor.h" @@ -69,21 +70,15 @@ template NodeContainer::NodeContainer(const NodeContainer &c): C(c) { - for(typename C::iterator i=this->begin(); i!=this->end(); ++i) - *i = (*i)->clone(); + for(auto &i: *this) + i = i->clone(); } -Block::Block(): - use_braces(false), - parent(0) -{ } - Block::Block(const Block &other): Node(other), body(other.body), - use_braces(other.use_braces), - parent(0) + use_braces(other.use_braces) { } void Block::visit(NodeVisitor &visitor) @@ -92,27 +87,15 @@ void Block::visit(NodeVisitor &visitor) } -Expression::Expression(): - oper(0), - type(0), - lvalue(false) -{ } - - void Literal::visit(NodeVisitor &visitor) { visitor.visit(*this); } -VariableReference::VariableReference(): - declaration(0) -{ } - VariableReference::VariableReference(const VariableReference &other): Expression(other), - name(other.name), - declaration(0) + name(other.name) { } void VariableReference::visit(NodeVisitor &visitor) @@ -121,31 +104,11 @@ void VariableReference::visit(NodeVisitor &visitor) } -InterfaceBlockReference::InterfaceBlockReference(): - declaration(0) -{ } - -InterfaceBlockReference::InterfaceBlockReference(const InterfaceBlockReference &other): - Expression(other), - name(other.name), - declaration(0) -{ } - -void InterfaceBlockReference::visit(NodeVisitor &visitor) -{ - visitor.visit(*this); -} - - -MemberAccess::MemberAccess(): - declaration(0) -{ } - MemberAccess::MemberAccess(const MemberAccess &other): Expression(other), left(other.left), - member(other.member), - declaration(0) + member(other.member) + // Do not copy declaration { } void MemberAccess::visit(NodeVisitor &visitor) @@ -154,12 +117,6 @@ void MemberAccess::visit(NodeVisitor &visitor) } -Swizzle::Swizzle(): - count(0) -{ - fill(components, components+4, 0); -} - void Swizzle::visit(NodeVisitor &visitor) { visitor.visit(*this); @@ -178,13 +135,10 @@ void BinaryExpression::visit(NodeVisitor &visitor) } -Assignment::Assignment(): - self_referencing(false) -{ } - Assignment::Assignment(const Assignment &other): BinaryExpression(other), self_referencing(other.self_referencing) + // Do not copy target { } void Assignment::visit(NodeVisitor &visitor) @@ -193,13 +147,6 @@ void Assignment::visit(NodeVisitor &visitor) } -Assignment::Target::Target(Statement *d): - declaration(d), - chain_len(0) -{ - fill(chain, chain+7, 0); -} - bool Assignment::Target::operator<(const Target &other) const { if(declaration!=other.declaration) @@ -217,17 +164,12 @@ void TernaryExpression::visit(NodeVisitor &visitor) } -FunctionCall::FunctionCall(): - constructor(false), - declaration(0) -{ } - FunctionCall::FunctionCall(const FunctionCall &other): Expression(other), name(other.name), constructor(other.constructor), - arguments(other.arguments), - declaration(0) + arguments(other.arguments) + // Do not copy declaration { } void FunctionCall::visit(NodeVisitor &visitor) @@ -266,18 +208,14 @@ void InterfaceLayout::visit(NodeVisitor &visitor) } -BasicTypeDeclaration::BasicTypeDeclaration(): - kind(ALIAS), - size(0), - base_type(0) -{ } - BasicTypeDeclaration::BasicTypeDeclaration(const BasicTypeDeclaration &other): TypeDeclaration(other), kind(other.kind), size(other.size), - base(other.base), - base_type(0) + sign(other.sign), + extended_alignment(other.extended_alignment), + base(other.base) + // Do not copy base type { } void BasicTypeDeclaration::visit(NodeVisitor &visitor) @@ -286,21 +224,13 @@ void BasicTypeDeclaration::visit(NodeVisitor &visitor) } -ImageTypeDeclaration::ImageTypeDeclaration(): - dimensions(TWO), - array(false), - sampled(true), - shadow(false) -{ } - void ImageTypeDeclaration::visit(NodeVisitor &visitor) { visitor.visit(*this); } -StructDeclaration::StructDeclaration(): - interface_block(0) +StructDeclaration::StructDeclaration() { members.use_braces = true; } @@ -308,28 +238,17 @@ StructDeclaration::StructDeclaration(): StructDeclaration::StructDeclaration(const StructDeclaration &other): TypeDeclaration(other), members(other.members), - interface_block(0) + block_name(other.block_name), + extended_alignment(other.extended_alignment) + // Do not copy block declaration { } -StructDeclaration::~StructDeclaration() -{ - if(interface_block && interface_block->struct_declaration==this) - interface_block->struct_declaration = 0; -} - void StructDeclaration::visit(NodeVisitor &visitor) { visitor.visit(*this); } -VariableDeclaration::VariableDeclaration(): - constant(false), - array(false), - type_declaration(0), - linked_declaration(0) -{ } - VariableDeclaration::VariableDeclaration(const VariableDeclaration &other): Statement(other), layout(other.layout), @@ -342,9 +261,8 @@ VariableDeclaration::VariableDeclaration(const VariableDeclaration &other): name(other.name), array(other.array), array_size(other.array_size), - init_expression(other.init_expression), - type_declaration(0), - linked_declaration(0) + init_expression(other.init_expression) + // Do not copy pointers to other nodes { } VariableDeclaration::~VariableDeclaration() @@ -359,46 +277,6 @@ void VariableDeclaration::visit(NodeVisitor &visitor) } -InterfaceBlock::InterfaceBlock(): - array(false), - type_declaration(0), - struct_declaration(0), - linked_block(0) -{ } - -InterfaceBlock::InterfaceBlock(const InterfaceBlock &other): - Statement(other), - interface(other.interface), - block_name(other.block_name), - members(other.members), - instance_name(other.instance_name), - array(other.array), - type_declaration(0), - struct_declaration(0), - linked_block(0) -{ } - -InterfaceBlock::~InterfaceBlock() -{ - if(linked_block && linked_block->linked_block==this) - linked_block->linked_block = 0; - if(struct_declaration && struct_declaration->interface_block==this) - struct_declaration->interface_block = 0; -} - -void InterfaceBlock::visit(NodeVisitor &visitor) -{ - visitor.visit(*this); -} - - -FunctionDeclaration::FunctionDeclaration(): - virtua(false), - overrd(false), - definition(0), - return_type_declaration(0) -{ } - FunctionDeclaration::FunctionDeclaration(const FunctionDeclaration &other): Statement(other), return_type(other.return_type), @@ -408,8 +286,8 @@ FunctionDeclaration::FunctionDeclaration(const FunctionDeclaration &other): overrd(other.overrd), body(other.body), signature(other.signature), - definition(other.definition==&other ? this : 0), - return_type_declaration(0) + definition(other.definition==&other ? this : 0) + // Do not copy return type declaration { } void FunctionDeclaration::visit(NodeVisitor &visitor) @@ -449,13 +327,12 @@ void Jump::visit(NodeVisitor &visitor) Stage::Stage(Stage::Type t): - type(t), - previous(0) + type(t) { } const char *Stage::get_stage_name(Type type) { - static const char *names[] = { "shared", "vertex", "geometry", "fragment" }; + static const char *const names[] = { "shared", "vertex", "geometry", "fragment" }; return names[type]; } @@ -485,64 +362,73 @@ string get_unused_variable_name(const Block &block, const string &base) } } -bool is_same_type(const TypeDeclaration &type1, const TypeDeclaration &type2) +TypeDeclaration *get_ultimate_base_type(TypeDeclaration *type) { - if(const BasicTypeDeclaration *basic1 = dynamic_cast(&type1)) + if(!type) + return 0; + while(const BasicTypeDeclaration *basic = dynamic_cast(type)) { - const BasicTypeDeclaration *basic2 = dynamic_cast(&type2); - if(!basic2) - return false; + if(!basic->base_type) + break; + type = basic->base_type; + } + return type; +} - if(basic1->kind!=basic2->kind || basic1->size!=basic2->size) - return false; +bool has_layout_qualifier(const Layout *layout, const string &name) +{ + if(!layout) + return false; + auto i = find_member(layout->qualifiers, name, &Layout::Qualifier::name); + return i!=layout->qualifiers.end(); +} - if(basic1->base_type && basic2->base_type) - return is_same_type(*basic1->base_type, *basic2->base_type); - else - return (!basic1->base_type && !basic2->base_type); - } - else if(const ImageTypeDeclaration *image1 = dynamic_cast(&type1)) - { - const ImageTypeDeclaration *image2 = dynamic_cast(&type2); - if(!image2) - return false; +int get_layout_value(const Layout *layout, const string &name, int def_value) +{ + if(!layout) + return def_value; + auto i = find_member(layout->qualifiers, name, &Layout::Qualifier::name); + return (i!=layout->qualifiers.end() ? i->value : def_value); +} - if(image1->dimensions!=image2->dimensions || image1->array!=image2->array) - return false; - if(image1->sampled!=image2->sampled || image1->shadow!=image2->shadow) - return false; +void add_layout_qualifier(RefPtr &layout, const Layout::Qualifier &q) +{ + if(!layout) + layout = new Layout; + layout->qualifiers.push_back(q); +} - if(image1->base_type && image2->base_type) - return is_same_type(*image1->base_type, *image2->base_type); - else - return (!image1->base_type && !image2->base_type); - } - else if(const StructDeclaration *strct1 = dynamic_cast(&type1)) - { - const StructDeclaration *strct2 = dynamic_cast(&type2); - if(!strct2) - return false; +void add_to_chain(Assignment::Target &target, Assignment::Target::ChainType type, unsigned index) +{ + if(target.chain_len<7) + target.chain[target.chain_len] = type | min(index, 0x3F); + ++target.chain_len; +} - NodeList::const_iterator i = strct1->members.body.begin(); - NodeList::const_iterator j = strct2->members.body.begin(); - for(; (i!=strct1->members.body.end() && j!=strct2->members.body.end()); ++i, ++j) +bool targets_overlap(const Assignment::Target &target1, const Assignment::Target &target2) +{ + bool overlap = (target1.declaration==target2.declaration); + for(unsigned i=0; (overlap && i(target1.chain[i]&0xC0); + Assignment::Target::ChainType type2 = static_cast(target2.chain[i]&0xC0); + unsigned index1 = target1.chain[i]&0x3F; + unsigned index2 = target2.chain[i]&0x3F; + if(type1==Assignment::Target::SWIZZLE || type2==Assignment::Target::SWIZZLE) { - const VariableDeclaration *var1 = dynamic_cast(i->get()); - const VariableDeclaration *var2 = dynamic_cast(j->get()); - if(!var1 || !var1->type_declaration || !var2 || !var2->type_declaration) - return false; - if(!is_same_type(*var1->type_declaration, *var2->type_declaration)) - return false; - if(var1->name!=var2->name || var1->array!=var2->array) - return false; - // TODO Compare array sizes - // TODO Compare layout qualifiers for interface block members + if(type1==Assignment::Target::SWIZZLE && type2==Assignment::Target::SWIZZLE) + overlap = index1&index2; + else if(type1==Assignment::Target::ARRAY && index1<4) + overlap = index2&(1<members.body.end() && j==strct2->members.body.end()); + else + overlap = (type1==type2 && (index1==index2 || index1==0x3F || index2==0x3F)); } - else - return false; + + return overlap; } } // namespace SL