X-Git-Url: http://git.tdb.fi/?p=libs%2Fgl.git;a=blobdiff_plain;f=source%2Fglsl%2Fsyntax.cpp;h=c37ad0895a86dfd09517b8a7d94d764c3fc4ed8f;hp=bbd364c0730d7cca157376ad34bbdbd028ec1581;hb=08d3b5a55fad7439b47fc93d8ba604cbeb7e19ca;hpb=911c6c4acc8218bc40d93917207f9dc32e9f2596 diff --git a/source/glsl/syntax.cpp b/source/glsl/syntax.cpp index bbd364c0..c37ad089 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,33 +87,15 @@ void Block::visit(NodeVisitor &visitor) } -Expression::Expression(): - oper(0), - type(0), - lvalue(false) -{ } - - void Literal::visit(NodeVisitor &visitor) { visitor.visit(*this); } -void ParenthesizedExpression::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) @@ -127,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) @@ -160,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); @@ -184,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) @@ -199,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) @@ -223,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) @@ -272,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) @@ -292,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; } @@ -314,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), @@ -348,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() @@ -365,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), - name(other.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), @@ -414,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) @@ -455,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", "tess_control", "tess_eval", "geometry", "fragment", "compute" }; return names[type]; } @@ -470,6 +341,96 @@ Module::Module(): shared(Stage::SHARED) { } + +string get_unused_variable_name(const Block &block, const string &base) +{ + string name = base; + + unsigned number = 1; + unsigned base_size = name.size(); + while(1) + { + bool unused = true; + for(const Block *b=█ (unused && b); b=b->parent) + unused = !b->variables.count(name); + if(unused) + return name; + + name.erase(base_size); + name += format("_%d", number); + ++number; + } +} + +TypeDeclaration *get_ultimate_base_type(TypeDeclaration *type) +{ + if(!type) + return 0; + while(const BasicTypeDeclaration *basic = dynamic_cast(type)) + { + if(!basic->base_type) + break; + type = basic->base_type; + } + return type; +} + +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(); +} + +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); +} + +void add_layout_qualifier(RefPtr &layout, const Layout::Qualifier &q) +{ + if(!layout) + layout = new Layout; + layout->qualifiers.push_back(q); +} + +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; +} + +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) + { + if(type1==Assignment::Target::SWIZZLE && type2==Assignment::Target::SWIZZLE) + overlap = index1&index2; + else if(type1==Assignment::Target::ARRAY && index1<4) + overlap = index2&(1<