+#include <msp/core/algorithm.h>
+#include <msp/core/maputils.h>
#include "syntax.h"
#include "visitor.h"
const Operator Operator::operators[] =
{
- { "[", 2, BINARY, LEFT_TO_RIGHT },
- { "(", 2, BINARY, LEFT_TO_RIGHT },
- { ".", 2, BINARY, LEFT_TO_RIGHT },
- { "++", 2, POSTFIX, LEFT_TO_RIGHT },
- { "--", 2, POSTFIX, LEFT_TO_RIGHT },
- { "++", 3, PREFIX, RIGHT_TO_LEFT },
- { "--", 3, PREFIX, RIGHT_TO_LEFT },
- { "+", 3, PREFIX, RIGHT_TO_LEFT },
- { "-", 3, PREFIX, RIGHT_TO_LEFT },
- { "~", 3, PREFIX, RIGHT_TO_LEFT },
- { "!", 3, PREFIX, RIGHT_TO_LEFT },
- { "*", 4, BINARY, LEFT_TO_RIGHT },
- { "/", 4, BINARY, LEFT_TO_RIGHT },
- { "%", 4, BINARY, LEFT_TO_RIGHT },
- { "+", 5, BINARY, LEFT_TO_RIGHT },
- { "-", 5, BINARY, LEFT_TO_RIGHT },
- { "<<", 6, BINARY, LEFT_TO_RIGHT },
- { ">>", 6, BINARY, LEFT_TO_RIGHT },
- { "<", 7, BINARY, LEFT_TO_RIGHT },
- { ">", 7, BINARY, LEFT_TO_RIGHT },
- { "<=", 7, BINARY, LEFT_TO_RIGHT },
- { ">=", 7, BINARY, LEFT_TO_RIGHT },
- { "==", 8, BINARY, LEFT_TO_RIGHT },
- { "!=", 8, BINARY, LEFT_TO_RIGHT },
- { "&", 9, BINARY, LEFT_TO_RIGHT },
- { "^", 10, BINARY, LEFT_TO_RIGHT },
- { "|", 11, BINARY, LEFT_TO_RIGHT },
- { "&&", 12, BINARY, LEFT_TO_RIGHT },
- { "^^", 13, BINARY, LEFT_TO_RIGHT },
- { "||", 14, BINARY, LEFT_TO_RIGHT },
- { "?", 15, BINARY, RIGHT_TO_LEFT },
- { ":", 15, BINARY, RIGHT_TO_LEFT },
- { "=", 16, BINARY, RIGHT_TO_LEFT },
- { "+=", 16, BINARY, RIGHT_TO_LEFT },
- { "-=", 16, BINARY, RIGHT_TO_LEFT },
- { "*=", 16, BINARY, RIGHT_TO_LEFT },
- { "/=", 16, BINARY, RIGHT_TO_LEFT },
- { "%=", 16, BINARY, RIGHT_TO_LEFT },
- { "<<=", 16, BINARY, RIGHT_TO_LEFT },
- { ">>=", 16, BINARY, RIGHT_TO_LEFT },
- { "&=", 16, BINARY, RIGHT_TO_LEFT },
- { "^=", 16, BINARY, RIGHT_TO_LEFT },
- { "|=", 16, BINARY, RIGHT_TO_LEFT },
- { ",", 17, BINARY, LEFT_TO_RIGHT },
- { { 0 }, 18, NO_OPERATOR, LEFT_TO_RIGHT }
+ { "[", "]", 2, BINARY, LEFT_TO_RIGHT },
+ { "(", ")", 2, POSTFIX, LEFT_TO_RIGHT },
+ { ".", { }, 2, POSTFIX, LEFT_TO_RIGHT },
+ { "++", { }, 2, POSTFIX, LEFT_TO_RIGHT },
+ { "--", { }, 2, POSTFIX, LEFT_TO_RIGHT },
+ { "++", { }, 3, PREFIX, RIGHT_TO_LEFT },
+ { "--", { }, 3, PREFIX, RIGHT_TO_LEFT },
+ { "+", { }, 3, PREFIX, RIGHT_TO_LEFT },
+ { "-", { }, 3, PREFIX, RIGHT_TO_LEFT },
+ { "~", { }, 3, PREFIX, RIGHT_TO_LEFT },
+ { "!", { }, 3, PREFIX, RIGHT_TO_LEFT },
+ { "*", { }, 4, BINARY, ASSOCIATIVE },
+ { "/", { }, 4, BINARY, LEFT_TO_RIGHT },
+ { "%", { }, 4, BINARY, LEFT_TO_RIGHT },
+ { "+", { }, 5, BINARY, ASSOCIATIVE },
+ { "-", { }, 5, BINARY, LEFT_TO_RIGHT },
+ { "<<", { }, 6, BINARY, LEFT_TO_RIGHT },
+ { ">>", { }, 6, BINARY, LEFT_TO_RIGHT },
+ { "<", { }, 7, BINARY, LEFT_TO_RIGHT },
+ { ">", { }, 7, BINARY, LEFT_TO_RIGHT },
+ { "<=", { }, 7, BINARY, LEFT_TO_RIGHT },
+ { ">=", { }, 7, BINARY, LEFT_TO_RIGHT },
+ { "==", { }, 8, BINARY, LEFT_TO_RIGHT },
+ { "!=", { }, 8, BINARY, LEFT_TO_RIGHT },
+ { "&", { }, 9, BINARY, ASSOCIATIVE },
+ { "^", { }, 10, BINARY, ASSOCIATIVE },
+ { "|", { }, 11, BINARY, ASSOCIATIVE },
+ { "&&", { }, 12, BINARY, ASSOCIATIVE },
+ { "^^", { }, 13, BINARY, ASSOCIATIVE },
+ { "||", { }, 14, BINARY, ASSOCIATIVE },
+ { "?", ":", 15, TERNARY, RIGHT_TO_LEFT },
+ { "=", { }, 16, BINARY, RIGHT_TO_LEFT },
+ { "+=", { }, 16, BINARY, RIGHT_TO_LEFT },
+ { "-=", { }, 16, BINARY, RIGHT_TO_LEFT },
+ { "*=", { }, 16, BINARY, RIGHT_TO_LEFT },
+ { "/=", { }, 16, BINARY, RIGHT_TO_LEFT },
+ { "%=", { }, 16, BINARY, RIGHT_TO_LEFT },
+ { "<<=", { }, 16, BINARY, RIGHT_TO_LEFT },
+ { ">>=", { }, 16, BINARY, RIGHT_TO_LEFT },
+ { "&=", { }, 16, BINARY, RIGHT_TO_LEFT },
+ { "^=", { }, 16, BINARY, RIGHT_TO_LEFT },
+ { "|=", { }, 16, BINARY, RIGHT_TO_LEFT },
+ { ",", { }, 17, BINARY, LEFT_TO_RIGHT },
+ { { 0 }, { }, 18, NO_OPERATOR, LEFT_TO_RIGHT }
};
+const Operator &Operator::get_operator(const string &token, Type type)
+{
+ for(const Operator *i=operators; i->type; ++i)
+ if(i->type==type && i->token==token)
+ return *i;
+ throw key_error(token);
+}
+
template<typename C>
NodeContainer<C>::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();
}
-Statement::Statement():
- source(GENERATED_SOURCE),
- line(1)
-{ }
-
-
-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)
}
-void ParenthesizedExpression::visit(NodeVisitor &visitor)
-{
- visitor.visit(*this);
-}
-
-
-VariableReference::VariableReference():
- declaration(0)
-{ }
-
VariableReference::VariableReference(const VariableReference &other):
- name(other.name),
- declaration(0)
+ Expression(other),
+ name(other.name)
{ }
void VariableReference::visit(NodeVisitor &visitor)
}
-InterfaceBlockReference::InterfaceBlockReference():
- declaration(0)
-{ }
-
-InterfaceBlockReference::InterfaceBlockReference(const InterfaceBlockReference &other):
- name(other.name),
- declaration(0)
+MemberAccess::MemberAccess(const MemberAccess &other):
+ Expression(other),
+ left(other.left),
+ member(other.member)
+ // Do not copy declaration
{ }
-void InterfaceBlockReference::visit(NodeVisitor &visitor)
+void MemberAccess::visit(NodeVisitor &visitor)
{
visitor.visit(*this);
}
-MemberAccess::MemberAccess():
- declaration(0)
-{ }
-
-MemberAccess::MemberAccess(const MemberAccess &other):
- left(other.left),
- member(other.member),
- declaration(0)
-{ }
-
-void MemberAccess::visit(NodeVisitor &visitor)
+void Swizzle::visit(NodeVisitor &visitor)
{
visitor.visit(*this);
}
-UnaryExpression::UnaryExpression():
- prefix(true)
-{ }
-
void UnaryExpression::visit(NodeVisitor &visitor)
{
visitor.visit(*this);
}
-Assignment::Assignment():
- self_referencing(false),
- target_declaration(0)
-{ }
-
Assignment::Assignment(const Assignment &other):
- self_referencing(other.self_referencing),
- target_declaration(0)
+ BinaryExpression(other),
+ self_referencing(other.self_referencing)
+ // Do not copy target
{ }
void Assignment::visit(NodeVisitor &visitor)
}
-FunctionCall::FunctionCall():
- constructor(false),
- declaration(0)
-{ }
+bool Assignment::Target::operator<(const Target &other) const
+{
+ if(declaration!=other.declaration)
+ return declaration<other.declaration;
+ for(unsigned i=0; (i<7 && i<chain_len && i<other.chain_len); ++i)
+ if(chain[i]!=other.chain[i])
+ return chain[i]<other.chain[i];
+ return chain_len<other.chain_len;
+}
+
+
+void TernaryExpression::visit(NodeVisitor &visitor)
+{
+ visitor.visit(*this);
+}
+
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)
}
+BasicTypeDeclaration::BasicTypeDeclaration(const BasicTypeDeclaration &other):
+ TypeDeclaration(other),
+ kind(other.kind),
+ size(other.size),
+ sign(other.sign),
+ extended_alignment(other.extended_alignment),
+ base(other.base)
+ // Do not copy base type
+{ }
+
+void BasicTypeDeclaration::visit(NodeVisitor &visitor)
+{
+ visitor.visit(*this);
+}
+
+
+void ImageTypeDeclaration::visit(NodeVisitor &visitor)
+{
+ visitor.visit(*this);
+}
+
+
StructDeclaration::StructDeclaration()
{
members.use_braces = true;
}
+StructDeclaration::StructDeclaration(const StructDeclaration &other):
+ TypeDeclaration(other),
+ members(other.members),
+ block_name(other.block_name),
+ extended_alignment(other.extended_alignment)
+ // Do not copy block declaration
+{ }
+
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),
constant(other.constant),
sampling(other.sampling),
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()
}
-InterfaceBlock::InterfaceBlock():
- array(false),
- linked_block(0)
-{
- members.use_braces = true;
-}
-
-InterfaceBlock::InterfaceBlock(const InterfaceBlock &other):
- interface(other.interface),
- name(other.name),
- members(other.members),
- instance_name(other.instance_name),
- array(other.array),
- linked_block(0)
-{ }
-
-InterfaceBlock::~InterfaceBlock()
-{
- if(linked_block && linked_block->linked_block==this)
- linked_block->linked_block = 0;
-}
-
-void InterfaceBlock::visit(NodeVisitor &visitor)
-{
- visitor.visit(*this);
-}
-
-
-FunctionDeclaration::FunctionDeclaration():
- definition(0)
-{ }
-
FunctionDeclaration::FunctionDeclaration(const FunctionDeclaration &other):
+ Statement(other),
return_type(other.return_type),
name(other.name),
parameters(other.parameters),
+ virtua(other.virtua),
+ overrd(other.overrd),
body(other.body),
+ signature(other.signature),
definition(other.definition==&other ? this : 0)
+ // Do not copy return type declaration
{ }
void FunctionDeclaration::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];
}
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<const BasicTypeDeclaration *>(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> &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<unsigned>(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_len && i<target2.chain_len); ++i)
+ {
+ Assignment::Target::ChainType type1 = static_cast<Assignment::Target::ChainType>(target1.chain[i]&0xC0);
+ Assignment::Target::ChainType type2 = static_cast<Assignment::Target::ChainType>(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<<index1);
+ else if(type2==Assignment::Target::ARRAY && index2<4)
+ overlap = index1&(1<<index2);
+ // Treat other combinations as overlapping (shouldn't happen)
+ }
+ else
+ overlap = (type1==type2 && (index1==index2 || index1==0x3F || index2==0x3F));
+ }
+
+ return overlap;
+}
+
} // namespace SL
} // namespace GL
} // namespace Msp