Commit 2cf1771f by alokp@chromium.org

Removed tabs. Fixed formatting. Only white-space changes.

Review URL: http://codereview.appspot.com/849043 git-svn-id: https://angleproject.googlecode.com/svn/trunk@89 736b8ea6-26fd-11df-bfd4-992fa37f6226
parent dd037b2a
...@@ -30,10 +30,10 @@ bool CompareStructure(const TType& leftNodeType, constUnion* rightUnionArray, co ...@@ -30,10 +30,10 @@ bool CompareStructure(const TType& leftNodeType, constUnion* rightUnionArray, co
// //
TIntermSymbol* TIntermediate::addSymbol(int id, const TString& name, const TType& type, TSourceLoc line) TIntermSymbol* TIntermediate::addSymbol(int id, const TString& name, const TType& type, TSourceLoc line)
{ {
TIntermSymbol* node = new TIntermSymbol(id, name, type); TIntermSymbol* node = new TIntermSymbol(id, name, type);
node->setLine(line); node->setLine(line);
return node; return node;
} }
// //
...@@ -43,88 +43,88 @@ TIntermSymbol* TIntermediate::addSymbol(int id, const TString& name, const TType ...@@ -43,88 +43,88 @@ TIntermSymbol* TIntermediate::addSymbol(int id, const TString& name, const TType
// //
TIntermTyped* TIntermediate::addBinaryMath(TOperator op, TIntermTyped* left, TIntermTyped* right, TSourceLoc line, TSymbolTable& symbolTable) TIntermTyped* TIntermediate::addBinaryMath(TOperator op, TIntermTyped* left, TIntermTyped* right, TSourceLoc line, TSymbolTable& symbolTable)
{ {
switch (op) { switch (op) {
case EOpLessThan: case EOpLessThan:
case EOpGreaterThan: case EOpGreaterThan:
case EOpLessThanEqual: case EOpLessThanEqual:
case EOpGreaterThanEqual: case EOpGreaterThanEqual:
if (left->getType().isMatrix() || left->getType().isArray() || left->getType().isVector() || left->getType().getBasicType() == EbtStruct) { if (left->getType().isMatrix() || left->getType().isArray() || left->getType().isVector() || left->getType().getBasicType() == EbtStruct) {
return 0; return 0;
} }
break; break;
case EOpLogicalOr: case EOpLogicalOr:
case EOpLogicalXor: case EOpLogicalXor:
case EOpLogicalAnd: case EOpLogicalAnd:
if (left->getType().getBasicType() != EbtBool || left->getType().isMatrix() || left->getType().isArray() || left->getType().isVector()) { if (left->getType().getBasicType() != EbtBool || left->getType().isMatrix() || left->getType().isArray() || left->getType().isVector()) {
return 0; return 0;
} }
break; break;
case EOpAdd: case EOpAdd:
case EOpSub: case EOpSub:
case EOpDiv: case EOpDiv:
case EOpMul: case EOpMul:
if (left->getType().getBasicType() == EbtStruct || left->getType().getBasicType() == EbtBool) if (left->getType().getBasicType() == EbtStruct || left->getType().getBasicType() == EbtBool)
return 0; return 0;
default: break; default: break;
} }
// //
// First try converting the children to compatible types. // First try converting the children to compatible types.
// //
if (!(left->getType().getStruct() && right->getType().getStruct())) { if (!(left->getType().getStruct() && right->getType().getStruct())) {
TIntermTyped* child = addConversion(op, left->getType(), right); TIntermTyped* child = addConversion(op, left->getType(), right);
if (child) if (child)
right = child; right = child;
else { else {
child = addConversion(op, right->getType(), left); child = addConversion(op, right->getType(), left);
if (child) if (child)
left = child; left = child;
else else
return 0; return 0;
} }
} else { } else {
if (left->getType() != right->getType()) if (left->getType() != right->getType())
return 0; return 0;
} }
// //
// Need a new node holding things together then. Make // Need a new node holding things together then. Make
// one and promote it to the right type. // one and promote it to the right type.
// //
TIntermBinary* node = new TIntermBinary(op); TIntermBinary* node = new TIntermBinary(op);
if (line == 0) if (line == 0)
line = right->getLine(); line = right->getLine();
node->setLine(line); node->setLine(line);
node->setLeft(left); node->setLeft(left);
node->setRight(right); node->setRight(right);
if (! node->promote(infoSink)) if (! node->promote(infoSink))
return 0; return 0;
TIntermConstantUnion *leftTempConstant = left->getAsConstantUnion(); TIntermConstantUnion *leftTempConstant = left->getAsConstantUnion();
TIntermConstantUnion *rightTempConstant = right->getAsConstantUnion(); TIntermConstantUnion *rightTempConstant = right->getAsConstantUnion();
if (leftTempConstant) if (leftTempConstant)
leftTempConstant = left->getAsConstantUnion(); leftTempConstant = left->getAsConstantUnion();
if (rightTempConstant) if (rightTempConstant)
rightTempConstant = right->getAsConstantUnion(); rightTempConstant = right->getAsConstantUnion();
// //
// See if we can fold constants. // See if we can fold constants.
// //
TIntermTyped* typedReturnNode = 0; TIntermTyped* typedReturnNode = 0;
if ( leftTempConstant && rightTempConstant) { if ( leftTempConstant && rightTempConstant) {
typedReturnNode = leftTempConstant->fold(node->getOp(), rightTempConstant, infoSink); typedReturnNode = leftTempConstant->fold(node->getOp(), rightTempConstant, infoSink);
if (typedReturnNode) if (typedReturnNode)
return typedReturnNode; return typedReturnNode;
} }
return node; return node;
} }
// //
...@@ -134,25 +134,25 @@ TIntermTyped* TIntermediate::addBinaryMath(TOperator op, TIntermTyped* left, TIn ...@@ -134,25 +134,25 @@ TIntermTyped* TIntermediate::addBinaryMath(TOperator op, TIntermTyped* left, TIn
// //
TIntermTyped* TIntermediate::addAssign(TOperator op, TIntermTyped* left, TIntermTyped* right, TSourceLoc line) TIntermTyped* TIntermediate::addAssign(TOperator op, TIntermTyped* left, TIntermTyped* right, TSourceLoc line)
{ {
// //
// Like adding binary math, except the conversion can only go // Like adding binary math, except the conversion can only go
// from right to left. // from right to left.
// //
TIntermBinary* node = new TIntermBinary(op); TIntermBinary* node = new TIntermBinary(op);
if (line == 0) if (line == 0)
line = left->getLine(); line = left->getLine();
node->setLine(line); node->setLine(line);
TIntermTyped* child = addConversion(op, left->getType(), right); TIntermTyped* child = addConversion(op, left->getType(), right);
if (child == 0) if (child == 0)
return 0; return 0;
node->setLeft(left); node->setLeft(left);
node->setRight(child); node->setRight(child);
if (! node->promote(infoSink)) if (! node->promote(infoSink))
return 0; return 0;
return node; return node;
} }
// //
...@@ -164,16 +164,16 @@ TIntermTyped* TIntermediate::addAssign(TOperator op, TIntermTyped* left, TInterm ...@@ -164,16 +164,16 @@ TIntermTyped* TIntermediate::addAssign(TOperator op, TIntermTyped* left, TInterm
// //
TIntermTyped* TIntermediate::addIndex(TOperator op, TIntermTyped* base, TIntermTyped* index, TSourceLoc line) TIntermTyped* TIntermediate::addIndex(TOperator op, TIntermTyped* base, TIntermTyped* index, TSourceLoc line)
{ {
TIntermBinary* node = new TIntermBinary(op); TIntermBinary* node = new TIntermBinary(op);
if (line == 0) if (line == 0)
line = index->getLine(); line = index->getLine();
node->setLine(line); node->setLine(line);
node->setLeft(base); node->setLeft(base);
node->setRight(index); node->setRight(index);
// caller should set the type // caller should set the type
return node; return node;
} }
// //
...@@ -183,88 +183,88 @@ TIntermTyped* TIntermediate::addIndex(TOperator op, TIntermTyped* base, TIntermT ...@@ -183,88 +183,88 @@ TIntermTyped* TIntermediate::addIndex(TOperator op, TIntermTyped* base, TIntermT
// //
TIntermTyped* TIntermediate::addUnaryMath(TOperator op, TIntermNode* childNode, TSourceLoc line, TSymbolTable& symbolTable) TIntermTyped* TIntermediate::addUnaryMath(TOperator op, TIntermNode* childNode, TSourceLoc line, TSymbolTable& symbolTable)
{ {
TIntermUnary* node; TIntermUnary* node;
TIntermTyped* child = childNode->getAsTyped(); TIntermTyped* child = childNode->getAsTyped();
if (child == 0) { if (child == 0) {
infoSink.info.message(EPrefixInternalError, "Bad type in AddUnaryMath", line); infoSink.info.message(EPrefixInternalError, "Bad type in AddUnaryMath", line);
return 0; return 0;
} }
switch (op) { switch (op) {
case EOpLogicalNot: case EOpLogicalNot:
if (child->getType().getBasicType() != EbtBool || child->getType().isMatrix() || child->getType().isArray() || child->getType().isVector()) { if (child->getType().getBasicType() != EbtBool || child->getType().isMatrix() || child->getType().isArray() || child->getType().isVector()) {
return 0; return 0;
} }
break; break;
case EOpPostIncrement: case EOpPostIncrement:
case EOpPreIncrement: case EOpPreIncrement:
case EOpPostDecrement: case EOpPostDecrement:
case EOpPreDecrement: case EOpPreDecrement:
case EOpNegative: case EOpNegative:
if (child->getType().getBasicType() == EbtStruct || child->getType().isArray()) if (child->getType().getBasicType() == EbtStruct || child->getType().isArray())
return 0; return 0;
default: break; default: break;
} }
// //
// Do we need to promote the operand? // Do we need to promote the operand?
// //
// Note: Implicit promotions were removed from the language. // Note: Implicit promotions were removed from the language.
// //
TBasicType newType = EbtVoid; TBasicType newType = EbtVoid;
switch (op) { switch (op) {
case EOpConstructInt: newType = EbtInt; break; case EOpConstructInt: newType = EbtInt; break;
case EOpConstructBool: newType = EbtBool; break; case EOpConstructBool: newType = EbtBool; break;
case EOpConstructFloat: newType = EbtFloat; break; case EOpConstructFloat: newType = EbtFloat; break;
default: break; default: break;
} }
if (newType != EbtVoid) { if (newType != EbtVoid) {
child = addConversion(op, TType(newType, EvqTemporary, child->getNominalSize(), child = addConversion(op, TType(newType, EvqTemporary, child->getNominalSize(),
child->isMatrix(), child->isMatrix(),
child->isArray()), child->isArray()),
child); child);
if (child == 0) if (child == 0)
return 0; return 0;
} }
// //
// For constructors, we are now done, it's all in the conversion. // For constructors, we are now done, it's all in the conversion.
// //
switch (op) { switch (op) {
case EOpConstructInt: case EOpConstructInt:
case EOpConstructBool: case EOpConstructBool:
case EOpConstructFloat: case EOpConstructFloat:
return child; return child;
default: break; default: break;
} }
TIntermConstantUnion *childTempConstant = 0; TIntermConstantUnion *childTempConstant = 0;
if (child->getAsConstantUnion()) if (child->getAsConstantUnion())
childTempConstant = child->getAsConstantUnion(); childTempConstant = child->getAsConstantUnion();
// //
// Make a new node for the operator. // Make a new node for the operator.
// //
node = new TIntermUnary(op); node = new TIntermUnary(op);
if (line == 0) if (line == 0)
line = child->getLine(); line = child->getLine();
node->setLine(line); node->setLine(line);
node->setOperand(child); node->setOperand(child);
if (! node->promote(infoSink)) if (! node->promote(infoSink))
return 0; return 0;
if (childTempConstant) { if (childTempConstant) {
TIntermTyped* newChild = childTempConstant->fold(op, 0, infoSink); TIntermTyped* newChild = childTempConstant->fold(op, 0, infoSink);
if (newChild) if (newChild)
return newChild; return newChild;
} }
return node; return node;
} }
// //
...@@ -279,33 +279,33 @@ TIntermTyped* TIntermediate::addUnaryMath(TOperator op, TIntermNode* childNode, ...@@ -279,33 +279,33 @@ TIntermTyped* TIntermediate::addUnaryMath(TOperator op, TIntermNode* childNode,
// //
TIntermAggregate* TIntermediate::setAggregateOperator(TIntermNode* node, TOperator op, TSourceLoc line) TIntermAggregate* TIntermediate::setAggregateOperator(TIntermNode* node, TOperator op, TSourceLoc line)
{ {
TIntermAggregate* aggNode; TIntermAggregate* aggNode;
// //
// Make sure we have an aggregate. If not turn it into one. // Make sure we have an aggregate. If not turn it into one.
// //
if (node) { if (node) {
aggNode = node->getAsAggregate(); aggNode = node->getAsAggregate();
if (aggNode == 0 || aggNode->getOp() != EOpNull) { if (aggNode == 0 || aggNode->getOp() != EOpNull) {
// //
// Make an aggregate containing this node. // Make an aggregate containing this node.
// //
aggNode = new TIntermAggregate(); aggNode = new TIntermAggregate();
aggNode->getSequence().push_back(node); aggNode->getSequence().push_back(node);
if (line == 0) if (line == 0)
line = node->getLine(); line = node->getLine();
} }
} else } else
aggNode = new TIntermAggregate(); aggNode = new TIntermAggregate();
// //
// Set the operator. // Set the operator.
// //
aggNode->setOperator(op); aggNode->setOperator(op);
if (line != 0) if (line != 0)
aggNode->setLine(line); aggNode->setLine(line);
return aggNode; return aggNode;
} }
// //
...@@ -318,114 +318,114 @@ TIntermAggregate* TIntermediate::setAggregateOperator(TIntermNode* node, TOperat ...@@ -318,114 +318,114 @@ TIntermAggregate* TIntermediate::setAggregateOperator(TIntermNode* node, TOperat
// //
TIntermTyped* TIntermediate::addConversion(TOperator op, const TType& type, TIntermTyped* node) TIntermTyped* TIntermediate::addConversion(TOperator op, const TType& type, TIntermTyped* node)
{ {
// //
// Does the base type allow operation? // Does the base type allow operation?
// //
switch (node->getBasicType()) { switch (node->getBasicType()) {
case EbtVoid: case EbtVoid:
case EbtSampler2D: case EbtSampler2D:
case EbtSamplerCube: case EbtSamplerCube:
return 0; return 0;
default: break; default: break;
} }
// //
// Otherwise, if types are identical, no problem // Otherwise, if types are identical, no problem
// //
if (type == node->getType()) if (type == node->getType())
return node; return node;
// //
// If one's a structure, then no conversions. // If one's a structure, then no conversions.
// //
if (type.getStruct() || node->getType().getStruct()) if (type.getStruct() || node->getType().getStruct())
return 0; return 0;
// //
// If one's an array, then no conversions. // If one's an array, then no conversions.
// //
if (type.isArray() || node->getType().isArray()) if (type.isArray() || node->getType().isArray())
return 0; return 0;
TBasicType promoteTo; TBasicType promoteTo;
switch (op) { switch (op) {
// //
// Explicit conversions // Explicit conversions
// //
case EOpConstructBool: case EOpConstructBool:
promoteTo = EbtBool; promoteTo = EbtBool;
break; break;
case EOpConstructFloat: case EOpConstructFloat:
promoteTo = EbtFloat; promoteTo = EbtFloat;
break; break;
case EOpConstructInt: case EOpConstructInt:
promoteTo = EbtInt; promoteTo = EbtInt;
break; break;
default: default:
// //
// implicit conversions were removed from the language. // implicit conversions were removed from the language.
// //
if (type.getBasicType() != node->getType().getBasicType()) if (type.getBasicType() != node->getType().getBasicType())
return 0; return 0;
// //
// Size and structure could still differ, but that's // Size and structure could still differ, but that's
// handled by operator promotion. // handled by operator promotion.
// //
return node; return node;
} }
if (node->getAsConstantUnion()) { if (node->getAsConstantUnion()) {
return (promoteConstantUnion(promoteTo, node->getAsConstantUnion())); return (promoteConstantUnion(promoteTo, node->getAsConstantUnion()));
} else { } else {
// //
// Add a new newNode for the conversion. // Add a new newNode for the conversion.
// //
TIntermUnary* newNode = 0; TIntermUnary* newNode = 0;
TOperator newOp = EOpNull; TOperator newOp = EOpNull;
switch (promoteTo) { switch (promoteTo) {
case EbtFloat: case EbtFloat:
switch (node->getBasicType()) { switch (node->getBasicType()) {
case EbtInt: newOp = EOpConvIntToFloat; break; case EbtInt: newOp = EOpConvIntToFloat; break;
case EbtBool: newOp = EOpConvBoolToFloat; break; case EbtBool: newOp = EOpConvBoolToFloat; break;
default: default:
infoSink.info.message(EPrefixInternalError, "Bad promotion node", node->getLine()); infoSink.info.message(EPrefixInternalError, "Bad promotion node", node->getLine());
return 0; return 0;
} }
break; break;
case EbtBool: case EbtBool:
switch (node->getBasicType()) { switch (node->getBasicType()) {
case EbtInt: newOp = EOpConvIntToBool; break; case EbtInt: newOp = EOpConvIntToBool; break;
case EbtFloat: newOp = EOpConvFloatToBool; break; case EbtFloat: newOp = EOpConvFloatToBool; break;
default: default:
infoSink.info.message(EPrefixInternalError, "Bad promotion node", node->getLine()); infoSink.info.message(EPrefixInternalError, "Bad promotion node", node->getLine());
return 0; return 0;
} }
break; break;
case EbtInt: case EbtInt:
switch (node->getBasicType()) { switch (node->getBasicType()) {
case EbtBool: newOp = EOpConvBoolToInt; break; case EbtBool: newOp = EOpConvBoolToInt; break;
case EbtFloat: newOp = EOpConvFloatToInt; break; case EbtFloat: newOp = EOpConvFloatToInt; break;
default: default:
infoSink.info.message(EPrefixInternalError, "Bad promotion node", node->getLine()); infoSink.info.message(EPrefixInternalError, "Bad promotion node", node->getLine());
return 0; return 0;
} }
break; break;
default: default:
infoSink.info.message(EPrefixInternalError, "Bad promotion type", node->getLine()); infoSink.info.message(EPrefixInternalError, "Bad promotion type", node->getLine());
return 0; return 0;
} }
TType type(promoteTo, EvqTemporary, node->getNominalSize(), node->isMatrix(), node->isArray()); TType type(promoteTo, EvqTemporary, node->getNominalSize(), node->isMatrix(), node->isArray());
newNode = new TIntermUnary(newOp, type); newNode = new TIntermUnary(newOp, type);
newNode->setLine(node->getLine()); newNode->setLine(node->getLine());
newNode->setOperand(node); newNode->setOperand(node);
return newNode; return newNode;
} }
} }
// //
...@@ -437,25 +437,25 @@ TIntermTyped* TIntermediate::addConversion(TOperator op, const TType& type, TInt ...@@ -437,25 +437,25 @@ TIntermTyped* TIntermediate::addConversion(TOperator op, const TType& type, TInt
// //
TIntermAggregate* TIntermediate::growAggregate(TIntermNode* left, TIntermNode* right, TSourceLoc line) TIntermAggregate* TIntermediate::growAggregate(TIntermNode* left, TIntermNode* right, TSourceLoc line)
{ {
if (left == 0 && right == 0) if (left == 0 && right == 0)
return 0; return 0;
TIntermAggregate* aggNode = 0; TIntermAggregate* aggNode = 0;
if (left) if (left)
aggNode = left->getAsAggregate(); aggNode = left->getAsAggregate();
if (!aggNode || aggNode->getOp() != EOpNull) { if (!aggNode || aggNode->getOp() != EOpNull) {
aggNode = new TIntermAggregate; aggNode = new TIntermAggregate;
if (left) if (left)
aggNode->getSequence().push_back(left); aggNode->getSequence().push_back(left);
} }
if (right) if (right)
aggNode->getSequence().push_back(right); aggNode->getSequence().push_back(right);
if (line != 0) if (line != 0)
aggNode->setLine(line); aggNode->setLine(line);
return aggNode; return aggNode;
} }
// //
...@@ -465,18 +465,18 @@ TIntermAggregate* TIntermediate::growAggregate(TIntermNode* left, TIntermNode* r ...@@ -465,18 +465,18 @@ TIntermAggregate* TIntermediate::growAggregate(TIntermNode* left, TIntermNode* r
// //
TIntermAggregate* TIntermediate::makeAggregate(TIntermNode* node, TSourceLoc line) TIntermAggregate* TIntermediate::makeAggregate(TIntermNode* node, TSourceLoc line)
{ {
if (node == 0) if (node == 0)
return 0; return 0;
TIntermAggregate* aggNode = new TIntermAggregate; TIntermAggregate* aggNode = new TIntermAggregate;
aggNode->getSequence().push_back(node); aggNode->getSequence().push_back(node);
if (line != 0) if (line != 0)
aggNode->setLine(line); aggNode->setLine(line);
else else
aggNode->setLine(node->getLine()); aggNode->setLine(node->getLine());
return aggNode; return aggNode;
} }
// //
...@@ -488,36 +488,36 @@ TIntermAggregate* TIntermediate::makeAggregate(TIntermNode* node, TSourceLoc lin ...@@ -488,36 +488,36 @@ TIntermAggregate* TIntermediate::makeAggregate(TIntermNode* node, TSourceLoc lin
// //
TIntermNode* TIntermediate::addSelection(TIntermTyped* cond, TIntermNodePair nodePair, TSourceLoc line) TIntermNode* TIntermediate::addSelection(TIntermTyped* cond, TIntermNodePair nodePair, TSourceLoc line)
{ {
// //
// For compile time constant selections, prune the code and // For compile time constant selections, prune the code and
// test now. // test now.
// //
if (cond->getAsTyped() && cond->getAsTyped()->getAsConstantUnion()) { if (cond->getAsTyped() && cond->getAsTyped()->getAsConstantUnion()) {
if (cond->getAsTyped()->getAsConstantUnion()->getUnionArrayPointer()->getBConst()) if (cond->getAsTyped()->getAsConstantUnion()->getUnionArrayPointer()->getBConst())
return nodePair.node1; return nodePair.node1;
else else
return nodePair.node2; return nodePair.node2;
} }
TIntermSelection* node = new TIntermSelection(cond, nodePair.node1, nodePair.node2); TIntermSelection* node = new TIntermSelection(cond, nodePair.node1, nodePair.node2);
node->setLine(line); node->setLine(line);
return node; return node;
} }
TIntermTyped* TIntermediate::addComma(TIntermTyped* left, TIntermTyped* right, TSourceLoc line) TIntermTyped* TIntermediate::addComma(TIntermTyped* left, TIntermTyped* right, TSourceLoc line)
{ {
if (left->getType().getQualifier() == EvqConst && right->getType().getQualifier() == EvqConst) { if (left->getType().getQualifier() == EvqConst && right->getType().getQualifier() == EvqConst) {
return right; return right;
} else { } else {
TIntermTyped *commaAggregate = growAggregate(left, right, line); TIntermTyped *commaAggregate = growAggregate(left, right, line);
commaAggregate->getAsAggregate()->setOperator(EOpComma); commaAggregate->getAsAggregate()->setOperator(EOpComma);
commaAggregate->setType(right->getType()); commaAggregate->setType(right->getType());
commaAggregate->getTypePointer()->changeQualifier(EvqTemporary); commaAggregate->getTypePointer()->changeQualifier(EvqTemporary);
return commaAggregate; return commaAggregate;
} }
} }
// //
...@@ -529,38 +529,38 @@ TIntermTyped* TIntermediate::addComma(TIntermTyped* left, TIntermTyped* right, T ...@@ -529,38 +529,38 @@ TIntermTyped* TIntermediate::addComma(TIntermTyped* left, TIntermTyped* right, T
// //
TIntermTyped* TIntermediate::addSelection(TIntermTyped* cond, TIntermTyped* trueBlock, TIntermTyped* falseBlock, TSourceLoc line) TIntermTyped* TIntermediate::addSelection(TIntermTyped* cond, TIntermTyped* trueBlock, TIntermTyped* falseBlock, TSourceLoc line)
{ {
// //
// Get compatible types. // Get compatible types.
// //
TIntermTyped* child = addConversion(EOpSequence, trueBlock->getType(), falseBlock); TIntermTyped* child = addConversion(EOpSequence, trueBlock->getType(), falseBlock);
if (child) if (child)
falseBlock = child; falseBlock = child;
else { else {
child = addConversion(EOpSequence, falseBlock->getType(), trueBlock); child = addConversion(EOpSequence, falseBlock->getType(), trueBlock);
if (child) if (child)
trueBlock = child; trueBlock = child;
else else
return 0; return 0;
} }
// //
// See if all the operands are constant, then fold it otherwise not. // See if all the operands are constant, then fold it otherwise not.
// //
if (cond->getAsConstantUnion() && trueBlock->getAsConstantUnion() && falseBlock->getAsConstantUnion()) { if (cond->getAsConstantUnion() && trueBlock->getAsConstantUnion() && falseBlock->getAsConstantUnion()) {
if (cond->getAsConstantUnion()->getUnionArrayPointer()->getBConst()) if (cond->getAsConstantUnion()->getUnionArrayPointer()->getBConst())
return trueBlock; return trueBlock;
else else
return falseBlock; return falseBlock;
} }
// //
// Make a selection node. // Make a selection node.
// //
TIntermSelection* node = new TIntermSelection(cond, trueBlock, falseBlock, trueBlock->getType()); TIntermSelection* node = new TIntermSelection(cond, trueBlock, falseBlock, trueBlock->getType());
node->setLine(line); node->setLine(line);
return node; return node;
} }
// //
...@@ -571,30 +571,30 @@ TIntermTyped* TIntermediate::addSelection(TIntermTyped* cond, TIntermTyped* true ...@@ -571,30 +571,30 @@ TIntermTyped* TIntermediate::addSelection(TIntermTyped* cond, TIntermTyped* true
TIntermConstantUnion* TIntermediate::addConstantUnion(constUnion* unionArrayPointer, const TType& t, TSourceLoc line) TIntermConstantUnion* TIntermediate::addConstantUnion(constUnion* unionArrayPointer, const TType& t, TSourceLoc line)
{ {
TIntermConstantUnion* node = new TIntermConstantUnion(unionArrayPointer, t); TIntermConstantUnion* node = new TIntermConstantUnion(unionArrayPointer, t);
node->setLine(line); node->setLine(line);
return node; return node;
} }
TIntermTyped* TIntermediate::addSwizzle(TVectorFields& fields, TSourceLoc line) TIntermTyped* TIntermediate::addSwizzle(TVectorFields& fields, TSourceLoc line)
{ {
TIntermAggregate* node = new TIntermAggregate(EOpSequence); TIntermAggregate* node = new TIntermAggregate(EOpSequence);
node->setLine(line); node->setLine(line);
TIntermConstantUnion* constIntNode; TIntermConstantUnion* constIntNode;
TIntermSequence &sequenceVector = node->getSequence(); TIntermSequence &sequenceVector = node->getSequence();
constUnion* unionArray; constUnion* unionArray;
for (int i = 0; i < fields.num; i++) { for (int i = 0; i < fields.num; i++) {
unionArray = new constUnion[1]; unionArray = new constUnion[1];
unionArray->setIConst(fields.offsets[i]); unionArray->setIConst(fields.offsets[i]);
constIntNode = addConstantUnion(unionArray, TType(EbtInt, EvqConst), line); constIntNode = addConstantUnion(unionArray, TType(EbtInt, EvqConst), line);
sequenceVector.push_back(constIntNode); sequenceVector.push_back(constIntNode);
} }
return node; return node;
} }
// //
...@@ -602,10 +602,10 @@ TIntermTyped* TIntermediate::addSwizzle(TVectorFields& fields, TSourceLoc line) ...@@ -602,10 +602,10 @@ TIntermTyped* TIntermediate::addSwizzle(TVectorFields& fields, TSourceLoc line)
// //
TIntermNode* TIntermediate::addLoop(TIntermNode *init, TIntermNode* body, TIntermTyped* test, TIntermTyped* terminal, bool testFirst, TSourceLoc line) TIntermNode* TIntermediate::addLoop(TIntermNode *init, TIntermNode* body, TIntermTyped* test, TIntermTyped* terminal, bool testFirst, TSourceLoc line)
{ {
TIntermNode* node = new TIntermLoop(init, body, test, terminal, testFirst); TIntermNode* node = new TIntermLoop(init, body, test, terminal, testFirst);
node->setLine(line); node->setLine(line);
return node; return node;
} }
// //
...@@ -613,15 +613,15 @@ TIntermNode* TIntermediate::addLoop(TIntermNode *init, TIntermNode* body, TInter ...@@ -613,15 +613,15 @@ TIntermNode* TIntermediate::addLoop(TIntermNode *init, TIntermNode* body, TInter
// //
TIntermBranch* TIntermediate::addBranch(TOperator branchOp, TSourceLoc line) TIntermBranch* TIntermediate::addBranch(TOperator branchOp, TSourceLoc line)
{ {
return addBranch(branchOp, 0, line); return addBranch(branchOp, 0, line);
} }
TIntermBranch* TIntermediate::addBranch(TOperator branchOp, TIntermTyped* expression, TSourceLoc line) TIntermBranch* TIntermediate::addBranch(TOperator branchOp, TIntermTyped* expression, TSourceLoc line)
{ {
TIntermBranch* node = new TIntermBranch(branchOp, expression); TIntermBranch* node = new TIntermBranch(branchOp, expression);
node->setLine(line); node->setLine(line);
return node; return node;
} }
// //
...@@ -630,17 +630,17 @@ TIntermBranch* TIntermediate::addBranch(TOperator branchOp, TIntermTyped* expres ...@@ -630,17 +630,17 @@ TIntermBranch* TIntermediate::addBranch(TOperator branchOp, TIntermTyped* expres
// //
bool TIntermediate::postProcess(TIntermNode* root, EShLanguage language) bool TIntermediate::postProcess(TIntermNode* root, EShLanguage language)
{ {
if (root == 0) if (root == 0)
return true; return true;
// //
// First, finish off the top level sequence, if any // First, finish off the top level sequence, if any
// //
TIntermAggregate* aggRoot = root->getAsAggregate(); TIntermAggregate* aggRoot = root->getAsAggregate();
if (aggRoot && aggRoot->getOp() == EOpNull) if (aggRoot && aggRoot->getOp() == EOpNull)
aggRoot->setOperator(EOpSequence); aggRoot->setOperator(EOpSequence);
return true; return true;
} }
// //
...@@ -648,8 +648,8 @@ bool TIntermediate::postProcess(TIntermNode* root, EShLanguage language) ...@@ -648,8 +648,8 @@ bool TIntermediate::postProcess(TIntermNode* root, EShLanguage language)
// //
void TIntermediate::remove(TIntermNode* root) void TIntermediate::remove(TIntermNode* root)
{ {
if (root) if (root)
RemoveAllTreeNodes(root); RemoveAllTreeNodes(root);
} }
//////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////
...@@ -665,24 +665,24 @@ void TIntermediate::remove(TIntermNode* root) ...@@ -665,24 +665,24 @@ void TIntermediate::remove(TIntermNode* root)
// //
bool TIntermOperator::modifiesState() const bool TIntermOperator::modifiesState() const
{ {
switch (op) { switch (op) {
case EOpPostIncrement: case EOpPostIncrement:
case EOpPostDecrement: case EOpPostDecrement:
case EOpPreIncrement: case EOpPreIncrement:
case EOpPreDecrement: case EOpPreDecrement:
case EOpAssign: case EOpAssign:
case EOpAddAssign: case EOpAddAssign:
case EOpSubAssign: case EOpSubAssign:
case EOpMulAssign: case EOpMulAssign:
case EOpVectorTimesMatrixAssign: case EOpVectorTimesMatrixAssign:
case EOpVectorTimesScalarAssign: case EOpVectorTimesScalarAssign:
case EOpMatrixTimesScalarAssign: case EOpMatrixTimesScalarAssign:
case EOpMatrixTimesMatrixAssign: case EOpMatrixTimesMatrixAssign:
case EOpDivAssign: case EOpDivAssign:
return true; return true;
default: default:
return false; return false;
} }
} }
// //
...@@ -690,27 +690,27 @@ bool TIntermOperator::modifiesState() const ...@@ -690,27 +690,27 @@ bool TIntermOperator::modifiesState() const
// //
bool TIntermOperator::isConstructor() const bool TIntermOperator::isConstructor() const
{ {
switch (op) { switch (op) {
case EOpConstructVec2: case EOpConstructVec2:
case EOpConstructVec3: case EOpConstructVec3:
case EOpConstructVec4: case EOpConstructVec4:
case EOpConstructMat2: case EOpConstructMat2:
case EOpConstructMat3: case EOpConstructMat3:
case EOpConstructMat4: case EOpConstructMat4:
case EOpConstructFloat: case EOpConstructFloat:
case EOpConstructIVec2: case EOpConstructIVec2:
case EOpConstructIVec3: case EOpConstructIVec3:
case EOpConstructIVec4: case EOpConstructIVec4:
case EOpConstructInt: case EOpConstructInt:
case EOpConstructBVec2: case EOpConstructBVec2:
case EOpConstructBVec3: case EOpConstructBVec3:
case EOpConstructBVec4: case EOpConstructBVec4:
case EOpConstructBool: case EOpConstructBool:
case EOpConstructStruct: case EOpConstructStruct:
return true; return true;
default: default:
return false; return false;
} }
} }
// //
// Make sure the type of a unary operator is appropriate for its // Make sure the type of a unary operator is appropriate for its
...@@ -720,34 +720,34 @@ bool TIntermOperator::isConstructor() const ...@@ -720,34 +720,34 @@ bool TIntermOperator::isConstructor() const
// //
bool TIntermUnary::promote(TInfoSink&) bool TIntermUnary::promote(TInfoSink&)
{ {
switch (op) { switch (op) {
case EOpLogicalNot: case EOpLogicalNot:
if (operand->getBasicType() != EbtBool) if (operand->getBasicType() != EbtBool)
return false; return false;
break; break;
case EOpNegative: case EOpNegative:
case EOpPostIncrement: case EOpPostIncrement:
case EOpPostDecrement: case EOpPostDecrement:
case EOpPreIncrement: case EOpPreIncrement:
case EOpPreDecrement: case EOpPreDecrement:
if (operand->getBasicType() == EbtBool) if (operand->getBasicType() == EbtBool)
return false; return false;
break; break;
// operators for built-ins are already type checked against their prototype // operators for built-ins are already type checked against their prototype
case EOpAny: case EOpAny:
case EOpAll: case EOpAll:
case EOpVectorLogicalNot: case EOpVectorLogicalNot:
return true; return true;
default: default:
if (operand->getBasicType() != EbtFloat) if (operand->getBasicType() != EbtFloat)
return false; return false;
} }
setType(operand->getType()); setType(operand->getType());
return true; return true;
} }
// //
...@@ -758,261 +758,261 @@ bool TIntermUnary::promote(TInfoSink&) ...@@ -758,261 +758,261 @@ bool TIntermUnary::promote(TInfoSink&)
// //
bool TIntermBinary::promote(TInfoSink& infoSink) bool TIntermBinary::promote(TInfoSink& infoSink)
{ {
int size = left->getNominalSize(); int size = left->getNominalSize();
if (right->getNominalSize() > size) if (right->getNominalSize() > size)
size = right->getNominalSize(); size = right->getNominalSize();
TBasicType type = left->getBasicType(); TBasicType type = left->getBasicType();
// //
// Arrays have to be exact matches. // Arrays have to be exact matches.
// //
if ((left->isArray() || right->isArray()) && (left->getType() != right->getType())) if ((left->isArray() || right->isArray()) && (left->getType() != right->getType()))
return false; return false;
// //
// Base assumption: just make the type the same as the left // Base assumption: just make the type the same as the left
// operand. Then only deviations from this need be coded. // operand. Then only deviations from this need be coded.
// //
setType(TType(type, EvqTemporary, left->getNominalSize(), left->isMatrix())); setType(TType(type, EvqTemporary, left->getNominalSize(), left->isMatrix()));
// //
// Array operations. // Array operations.
// //
if (left->isArray()) { if (left->isArray()) {
switch (op) { switch (op) {
// //
// Promote to conditional // Promote to conditional
// //
case EOpEqual: case EOpEqual:
case EOpNotEqual: case EOpNotEqual:
setType(TType(EbtBool)); setType(TType(EbtBool));
break; break;
// //
// Set array information. // Set array information.
// //
case EOpAssign: case EOpAssign:
case EOpInitialize: case EOpInitialize:
getTypePointer()->setArraySize(left->getType().getArraySize()); getTypePointer()->setArraySize(left->getType().getArraySize());
getTypePointer()->setArrayInformationType(left->getType().getArrayInformationType()); getTypePointer()->setArrayInformationType(left->getType().getArrayInformationType());
break; break;
default: default:
return false; return false;
} }
return true; return true;
} }
// //
// All scalars. Code after this test assumes this case is removed! // All scalars. Code after this test assumes this case is removed!
// //
if (size == 1) { if (size == 1) {
switch (op) { switch (op) {
// //
// Promote to conditional // Promote to conditional
// //
case EOpEqual: case EOpEqual:
case EOpNotEqual: case EOpNotEqual:
case EOpLessThan: case EOpLessThan:
case EOpGreaterThan: case EOpGreaterThan:
case EOpLessThanEqual: case EOpLessThanEqual:
case EOpGreaterThanEqual: case EOpGreaterThanEqual:
setType(TType(EbtBool)); setType(TType(EbtBool));
break; break;
// //
// And and Or operate on conditionals // And and Or operate on conditionals
// //
case EOpLogicalAnd: case EOpLogicalAnd:
case EOpLogicalOr: case EOpLogicalOr:
if (left->getBasicType() != EbtBool || right->getBasicType() != EbtBool) if (left->getBasicType() != EbtBool || right->getBasicType() != EbtBool)
return false; return false;
setType(TType(EbtBool)); setType(TType(EbtBool));
break; break;
// //
// Everything else should have matching types // Everything else should have matching types
// //
default: default:
if (left->getBasicType() != right->getBasicType() || if (left->getBasicType() != right->getBasicType() ||
left->isMatrix() != right->isMatrix()) left->isMatrix() != right->isMatrix())
return false; return false;
} }
return true; return true;
} }
// //
// Are the sizes compatible? // Are the sizes compatible?
// //
if ( left->getNominalSize() != size && left->getNominalSize() != 1 || if ( left->getNominalSize() != size && left->getNominalSize() != 1 ||
right->getNominalSize() != size && right->getNominalSize() != 1) right->getNominalSize() != size && right->getNominalSize() != 1)
return false; return false;
// //
// Can these two operands be combined? // Can these two operands be combined?
// //
switch (op) { switch (op) {
case EOpMul: case EOpMul:
if (!left->isMatrix() && right->isMatrix()) { if (!left->isMatrix() && right->isMatrix()) {
if (left->isVector()) if (left->isVector())
op = EOpVectorTimesMatrix; op = EOpVectorTimesMatrix;
else { else {
op = EOpMatrixTimesScalar; op = EOpMatrixTimesScalar;
setType(TType(type, EvqTemporary, size, true)); setType(TType(type, EvqTemporary, size, true));
} }
} else if (left->isMatrix() && !right->isMatrix()) { } else if (left->isMatrix() && !right->isMatrix()) {
if (right->isVector()) { if (right->isVector()) {
op = EOpMatrixTimesVector; op = EOpMatrixTimesVector;
setType(TType(type, EvqTemporary, size, false)); setType(TType(type, EvqTemporary, size, false));
} else { } else {
op = EOpMatrixTimesScalar; op = EOpMatrixTimesScalar;
} }
} else if (left->isMatrix() && right->isMatrix()) { } else if (left->isMatrix() && right->isMatrix()) {
op = EOpMatrixTimesMatrix; op = EOpMatrixTimesMatrix;
} else if (!left->isMatrix() && !right->isMatrix()) { } else if (!left->isMatrix() && !right->isMatrix()) {
if (left->isVector() && right->isVector()) { if (left->isVector() && right->isVector()) {
// leave as component product // leave as component product
} else if (left->isVector() || right->isVector()) { } else if (left->isVector() || right->isVector()) {
op = EOpVectorTimesScalar; op = EOpVectorTimesScalar;
setType(TType(type, EvqTemporary, size, false)); setType(TType(type, EvqTemporary, size, false));
} }
} else { } else {
infoSink.info.message(EPrefixInternalError, "Missing elses", getLine()); infoSink.info.message(EPrefixInternalError, "Missing elses", getLine());
return false; return false;
} }
break; break;
case EOpMulAssign: case EOpMulAssign:
if (!left->isMatrix() && right->isMatrix()) { if (!left->isMatrix() && right->isMatrix()) {
if (left->isVector()) if (left->isVector())
op = EOpVectorTimesMatrixAssign; op = EOpVectorTimesMatrixAssign;
else { else {
return false; return false;
} }
} else if (left->isMatrix() && !right->isMatrix()) { } else if (left->isMatrix() && !right->isMatrix()) {
if (right->isVector()) { if (right->isVector()) {
return false; return false;
} else { } else {
op = EOpMatrixTimesScalarAssign; op = EOpMatrixTimesScalarAssign;
} }
} else if (left->isMatrix() && right->isMatrix()) { } else if (left->isMatrix() && right->isMatrix()) {
op = EOpMatrixTimesMatrixAssign; op = EOpMatrixTimesMatrixAssign;
} else if (!left->isMatrix() && !right->isMatrix()) { } else if (!left->isMatrix() && !right->isMatrix()) {
if (left->isVector() && right->isVector()) { if (left->isVector() && right->isVector()) {
// leave as component product // leave as component product
} else if (left->isVector() || right->isVector()) { } else if (left->isVector() || right->isVector()) {
if (! left->isVector()) if (! left->isVector())
return false; return false;
op = EOpVectorTimesScalarAssign; op = EOpVectorTimesScalarAssign;
setType(TType(type, EvqTemporary, size, false)); setType(TType(type, EvqTemporary, size, false));
} }
} else { } else {
infoSink.info.message(EPrefixInternalError, "Missing elses", getLine()); infoSink.info.message(EPrefixInternalError, "Missing elses", getLine());
return false; return false;
} }
break; break;
case EOpAssign: case EOpAssign:
case EOpInitialize: case EOpInitialize:
if (left->getNominalSize() != right->getNominalSize()) if (left->getNominalSize() != right->getNominalSize())
return false; return false;
// fall through // fall through
case EOpAdd: case EOpAdd:
case EOpSub: case EOpSub:
case EOpDiv: case EOpDiv:
case EOpAddAssign: case EOpAddAssign:
case EOpSubAssign: case EOpSubAssign:
case EOpDivAssign: case EOpDivAssign:
if (left->isMatrix() && right->isVector() || if (left->isMatrix() && right->isVector() ||
left->isVector() && right->isMatrix() || left->isVector() && right->isMatrix() ||
left->getBasicType() != right->getBasicType()) left->getBasicType() != right->getBasicType())
return false; return false;
setType(TType(type, EvqTemporary, size, left->isMatrix() || right->isMatrix())); setType(TType(type, EvqTemporary, size, left->isMatrix() || right->isMatrix()));
break; break;
case EOpEqual: case EOpEqual:
case EOpNotEqual: case EOpNotEqual:
case EOpLessThan: case EOpLessThan:
case EOpGreaterThan: case EOpGreaterThan:
case EOpLessThanEqual: case EOpLessThanEqual:
case EOpGreaterThanEqual: case EOpGreaterThanEqual:
if (left->isMatrix() && right->isVector() || if (left->isMatrix() && right->isVector() ||
left->isVector() && right->isMatrix() || left->isVector() && right->isMatrix() ||
left->getBasicType() != right->getBasicType()) left->getBasicType() != right->getBasicType())
return false; return false;
setType(TType(EbtBool)); setType(TType(EbtBool));
break; break;
default: default:
return false; return false;
} }
// //
// One more check for assignment. The Resulting type has to match the left operand. // One more check for assignment. The Resulting type has to match the left operand.
// //
switch (op) { switch (op) {
case EOpAssign: case EOpAssign:
case EOpInitialize: case EOpInitialize:
case EOpAddAssign: case EOpAddAssign:
case EOpSubAssign: case EOpSubAssign:
case EOpMulAssign: case EOpMulAssign:
case EOpDivAssign: case EOpDivAssign:
if (getType() != left->getType()) if (getType() != left->getType())
return false; return false;
break; break;
default: default:
break; break;
} }
return true; return true;
} }
bool CompareStruct(const TType& leftNodeType, constUnion* rightUnionArray, constUnion* leftUnionArray) bool CompareStruct(const TType& leftNodeType, constUnion* rightUnionArray, constUnion* leftUnionArray)
{ {
TTypeList* fields = leftNodeType.getStruct(); TTypeList* fields = leftNodeType.getStruct();
size_t structSize = fields->size(); size_t structSize = fields->size();
int index = 0; int index = 0;
for (size_t j = 0; j < structSize; j++) { for (size_t j = 0; j < structSize; j++) {
int size = (*fields)[j].type->getObjectSize(); int size = (*fields)[j].type->getObjectSize();
for (int i = 0; i < size; i++) { for (int i = 0; i < size; i++) {
if ((*fields)[j].type->getBasicType() == EbtStruct) { if ((*fields)[j].type->getBasicType() == EbtStruct) {
if (!CompareStructure(*(*fields)[j].type, &rightUnionArray[index], &leftUnionArray[index])) if (!CompareStructure(*(*fields)[j].type, &rightUnionArray[index], &leftUnionArray[index]))
return false; return false;
} else { } else {
if (leftUnionArray[index] != rightUnionArray[index]) if (leftUnionArray[index] != rightUnionArray[index])
return false; return false;
index++; index++;
} }
} }
} }
return true; return true;
} }
bool CompareStructure(const TType& leftNodeType, constUnion* rightUnionArray, constUnion* leftUnionArray) bool CompareStructure(const TType& leftNodeType, constUnion* rightUnionArray, constUnion* leftUnionArray)
{ {
if (leftNodeType.isArray()) { if (leftNodeType.isArray()) {
TType typeWithoutArrayness = leftNodeType; TType typeWithoutArrayness = leftNodeType;
typeWithoutArrayness.clearArrayness(); typeWithoutArrayness.clearArrayness();
int arraySize = leftNodeType.getArraySize(); int arraySize = leftNodeType.getArraySize();
for (int i = 0; i < arraySize; ++i) { for (int i = 0; i < arraySize; ++i) {
int offset = typeWithoutArrayness.getObjectSize() * i; int offset = typeWithoutArrayness.getObjectSize() * i;
if (!CompareStruct(typeWithoutArrayness, &rightUnionArray[offset], &leftUnionArray[offset])) if (!CompareStruct(typeWithoutArrayness, &rightUnionArray[offset], &leftUnionArray[offset]))
return false; return false;
} }
} else } else
return CompareStruct(leftNodeType, rightUnionArray, leftUnionArray); return CompareStruct(leftNodeType, rightUnionArray, leftUnionArray);
return true; return true;
} }
// //
...@@ -1024,374 +1024,374 @@ bool CompareStructure(const TType& leftNodeType, constUnion* rightUnionArray, co ...@@ -1024,374 +1024,374 @@ bool CompareStructure(const TType& leftNodeType, constUnion* rightUnionArray, co
TIntermTyped* TIntermConstantUnion::fold(TOperator op, TIntermTyped* constantNode, TInfoSink& infoSink) TIntermTyped* TIntermConstantUnion::fold(TOperator op, TIntermTyped* constantNode, TInfoSink& infoSink)
{ {
constUnion *unionArray = getUnionArrayPointer(); constUnion *unionArray = getUnionArrayPointer();
int objectSize = getType().getObjectSize(); int objectSize = getType().getObjectSize();
if (constantNode) { // binary operations if (constantNode) { // binary operations
TIntermConstantUnion *node = constantNode->getAsConstantUnion(); TIntermConstantUnion *node = constantNode->getAsConstantUnion();
constUnion *rightUnionArray = node->getUnionArrayPointer(); constUnion *rightUnionArray = node->getUnionArrayPointer();
TType returnType = getType(); TType returnType = getType();
// for a case like float f = 1.2 + vec4(2,3,4,5); // for a case like float f = 1.2 + vec4(2,3,4,5);
if (constantNode->getType().getObjectSize() == 1 && objectSize > 1) { if (constantNode->getType().getObjectSize() == 1 && objectSize > 1) {
rightUnionArray = new constUnion[objectSize]; rightUnionArray = new constUnion[objectSize];
for (int i = 0; i < objectSize; ++i) for (int i = 0; i < objectSize; ++i)
rightUnionArray[i] = *node->getUnionArrayPointer(); rightUnionArray[i] = *node->getUnionArrayPointer();
returnType = getType(); returnType = getType();
} else if (constantNode->getType().getObjectSize() > 1 && objectSize == 1) { } else if (constantNode->getType().getObjectSize() > 1 && objectSize == 1) {
// for a case like float f = vec4(2,3,4,5) + 1.2; // for a case like float f = vec4(2,3,4,5) + 1.2;
unionArray = new constUnion[constantNode->getType().getObjectSize()]; unionArray = new constUnion[constantNode->getType().getObjectSize()];
for (int i = 0; i < constantNode->getType().getObjectSize(); ++i) for (int i = 0; i < constantNode->getType().getObjectSize(); ++i)
unionArray[i] = *getUnionArrayPointer(); unionArray[i] = *getUnionArrayPointer();
returnType = node->getType(); returnType = node->getType();
objectSize = constantNode->getType().getObjectSize(); objectSize = constantNode->getType().getObjectSize();
} }
constUnion* tempConstArray = 0; constUnion* tempConstArray = 0;
TIntermConstantUnion *tempNode; TIntermConstantUnion *tempNode;
bool boolNodeFlag = false; bool boolNodeFlag = false;
switch(op) { switch(op) {
case EOpAdd: case EOpAdd:
tempConstArray = new constUnion[objectSize]; tempConstArray = new constUnion[objectSize];
{// support MSVC++6.0 {// support MSVC++6.0
for (int i = 0; i < objectSize; i++) for (int i = 0; i < objectSize; i++)
tempConstArray[i] = unionArray[i] + rightUnionArray[i]; tempConstArray[i] = unionArray[i] + rightUnionArray[i];
} }
break; break;
case EOpSub: case EOpSub:
tempConstArray = new constUnion[objectSize]; tempConstArray = new constUnion[objectSize];
{// support MSVC++6.0 {// support MSVC++6.0
for (int i = 0; i < objectSize; i++) for (int i = 0; i < objectSize; i++)
tempConstArray[i] = unionArray[i] - rightUnionArray[i]; tempConstArray[i] = unionArray[i] - rightUnionArray[i];
} }
break; break;
case EOpMul: case EOpMul:
case EOpVectorTimesScalar: case EOpVectorTimesScalar:
case EOpMatrixTimesScalar: case EOpMatrixTimesScalar:
tempConstArray = new constUnion[objectSize]; tempConstArray = new constUnion[objectSize];
{// support MSVC++6.0 {// support MSVC++6.0
for (int i = 0; i < objectSize; i++) for (int i = 0; i < objectSize; i++)
tempConstArray[i] = unionArray[i] * rightUnionArray[i]; tempConstArray[i] = unionArray[i] * rightUnionArray[i];
} }
break; break;
case EOpMatrixTimesMatrix: case EOpMatrixTimesMatrix:
if (getType().getBasicType() != EbtFloat || node->getBasicType() != EbtFloat) { if (getType().getBasicType() != EbtFloat || node->getBasicType() != EbtFloat) {
infoSink.info.message(EPrefixInternalError, "Constant Folding cannot be done for matrix multiply", getLine()); infoSink.info.message(EPrefixInternalError, "Constant Folding cannot be done for matrix multiply", getLine());
return 0; return 0;
} }
{// support MSVC++6.0 {// support MSVC++6.0
int size = getNominalSize(); int size = getNominalSize();
tempConstArray = new constUnion[size*size]; tempConstArray = new constUnion[size*size];
for (int row = 0; row < size; row++) { for (int row = 0; row < size; row++) {
for (int column = 0; column < size; column++) { for (int column = 0; column < size; column++) {
tempConstArray[size * column + row].setFConst(0.0f); tempConstArray[size * column + row].setFConst(0.0f);
for (int i = 0; i < size; i++) { for (int i = 0; i < size; i++) {
tempConstArray[size * column + row].setFConst(tempConstArray[size * column + row].getFConst() + unionArray[i * size + row].getFConst() * (rightUnionArray[column * size + i].getFConst())); tempConstArray[size * column + row].setFConst(tempConstArray[size * column + row].getFConst() + unionArray[i * size + row].getFConst() * (rightUnionArray[column * size + i].getFConst()));
} }
} }
} }
} }
break; break;
case EOpDiv: case EOpDiv:
tempConstArray = new constUnion[objectSize]; tempConstArray = new constUnion[objectSize];
{// support MSVC++6.0 {// support MSVC++6.0
for (int i = 0; i < objectSize; i++) { for (int i = 0; i < objectSize; i++) {
switch (getType().getBasicType()) { switch (getType().getBasicType()) {
case EbtFloat: case EbtFloat:
if (rightUnionArray[i] == 0.0f) { if (rightUnionArray[i] == 0.0f) {
infoSink.info.message(EPrefixWarning, "Divide by zero error during constant folding", getLine()); infoSink.info.message(EPrefixWarning, "Divide by zero error during constant folding", getLine());
tempConstArray[i].setFConst(FLT_MAX); tempConstArray[i].setFConst(FLT_MAX);
} else } else
tempConstArray[i].setFConst(unionArray[i].getFConst() / rightUnionArray[i].getFConst()); tempConstArray[i].setFConst(unionArray[i].getFConst() / rightUnionArray[i].getFConst());
break; break;
case EbtInt: case EbtInt:
if (rightUnionArray[i] == 0) { if (rightUnionArray[i] == 0) {
infoSink.info.message(EPrefixWarning, "Divide by zero error during constant folding", getLine()); infoSink.info.message(EPrefixWarning, "Divide by zero error during constant folding", getLine());
tempConstArray[i].setIConst(INT_MAX); tempConstArray[i].setIConst(INT_MAX);
} else } else
tempConstArray[i].setIConst(unionArray[i].getIConst() / rightUnionArray[i].getIConst()); tempConstArray[i].setIConst(unionArray[i].getIConst() / rightUnionArray[i].getIConst());
break; break;
default: default:
infoSink.info.message(EPrefixInternalError, "Constant folding cannot be done for \"/\"", getLine()); infoSink.info.message(EPrefixInternalError, "Constant folding cannot be done for \"/\"", getLine());
return 0; return 0;
} }
} }
} }
break; break;
case EOpMatrixTimesVector: case EOpMatrixTimesVector:
if (node->getBasicType() != EbtFloat) { if (node->getBasicType() != EbtFloat) {
infoSink.info.message(EPrefixInternalError, "Constant Folding cannot be done for matrix times vector", getLine()); infoSink.info.message(EPrefixInternalError, "Constant Folding cannot be done for matrix times vector", getLine());
return 0; return 0;
} }
tempConstArray = new constUnion[getNominalSize()]; tempConstArray = new constUnion[getNominalSize()];
{// support MSVC++6.0 {// support MSVC++6.0
for (int size = getNominalSize(), i = 0; i < size; i++) { for (int size = getNominalSize(), i = 0; i < size; i++) {
tempConstArray[i].setFConst(0.0f); tempConstArray[i].setFConst(0.0f);
for (int j = 0; j < size; j++) { for (int j = 0; j < size; j++) {
tempConstArray[i].setFConst(tempConstArray[i].getFConst() + ((unionArray[j*size + i].getFConst()) * rightUnionArray[j].getFConst())); tempConstArray[i].setFConst(tempConstArray[i].getFConst() + ((unionArray[j*size + i].getFConst()) * rightUnionArray[j].getFConst()));
} }
} }
} }
tempNode = new TIntermConstantUnion(tempConstArray, node->getType()); tempNode = new TIntermConstantUnion(tempConstArray, node->getType());
tempNode->setLine(getLine()); tempNode->setLine(getLine());
return tempNode; return tempNode;
case EOpVectorTimesMatrix: case EOpVectorTimesMatrix:
if (getType().getBasicType() != EbtFloat) { if (getType().getBasicType() != EbtFloat) {
infoSink.info.message(EPrefixInternalError, "Constant Folding cannot be done for vector times matrix", getLine()); infoSink.info.message(EPrefixInternalError, "Constant Folding cannot be done for vector times matrix", getLine());
return 0; return 0;
} }
tempConstArray = new constUnion[getNominalSize()]; tempConstArray = new constUnion[getNominalSize()];
{// support MSVC++6.0 {// support MSVC++6.0
for (int size = getNominalSize(), i = 0; i < size; i++) { for (int size = getNominalSize(), i = 0; i < size; i++) {
tempConstArray[i].setFConst(0.0f); tempConstArray[i].setFConst(0.0f);
for (int j = 0; j < size; j++) { for (int j = 0; j < size; j++) {
tempConstArray[i].setFConst(tempConstArray[i].getFConst() + ((unionArray[j].getFConst()) * rightUnionArray[i*size + j].getFConst())); tempConstArray[i].setFConst(tempConstArray[i].getFConst() + ((unionArray[j].getFConst()) * rightUnionArray[i*size + j].getFConst()));
} }
} }
} }
break; break;
case EOpLogicalAnd: // this code is written for possible future use, will not get executed currently case EOpLogicalAnd: // this code is written for possible future use, will not get executed currently
tempConstArray = new constUnion[objectSize]; tempConstArray = new constUnion[objectSize];
{// support MSVC++6.0 {// support MSVC++6.0
for (int i = 0; i < objectSize; i++) for (int i = 0; i < objectSize; i++)
tempConstArray[i] = unionArray[i] && rightUnionArray[i]; tempConstArray[i] = unionArray[i] && rightUnionArray[i];
} }
break; break;
case EOpLogicalOr: // this code is written for possible future use, will not get executed currently case EOpLogicalOr: // this code is written for possible future use, will not get executed currently
tempConstArray = new constUnion[objectSize]; tempConstArray = new constUnion[objectSize];
{// support MSVC++6.0 {// support MSVC++6.0
for (int i = 0; i < objectSize; i++) for (int i = 0; i < objectSize; i++)
tempConstArray[i] = unionArray[i] || rightUnionArray[i]; tempConstArray[i] = unionArray[i] || rightUnionArray[i];
} }
break; break;
case EOpLogicalXor: case EOpLogicalXor:
tempConstArray = new constUnion[objectSize]; tempConstArray = new constUnion[objectSize];
{// support MSVC++6.0 {// support MSVC++6.0
for (int i = 0; i < objectSize; i++) for (int i = 0; i < objectSize; i++)
switch (getType().getBasicType()) { switch (getType().getBasicType()) {
case EbtBool: tempConstArray[i].setBConst((unionArray[i] == rightUnionArray[i]) ? false : true); break; case EbtBool: tempConstArray[i].setBConst((unionArray[i] == rightUnionArray[i]) ? false : true); break;
default: assert(false && "Default missing"); default: assert(false && "Default missing");
} }
} }
break; break;
case EOpLessThan: case EOpLessThan:
assert(objectSize == 1); assert(objectSize == 1);
tempConstArray = new constUnion[1]; tempConstArray = new constUnion[1];
tempConstArray->setBConst(*unionArray < *rightUnionArray); tempConstArray->setBConst(*unionArray < *rightUnionArray);
returnType = TType(EbtBool, EvqConst); returnType = TType(EbtBool, EvqConst);
break; break;
case EOpGreaterThan: case EOpGreaterThan:
assert(objectSize == 1); assert(objectSize == 1);
tempConstArray = new constUnion[1]; tempConstArray = new constUnion[1];
tempConstArray->setBConst(*unionArray > *rightUnionArray); tempConstArray->setBConst(*unionArray > *rightUnionArray);
returnType = TType(EbtBool, EvqConst); returnType = TType(EbtBool, EvqConst);
break; break;
case EOpLessThanEqual: case EOpLessThanEqual:
{ {
assert(objectSize == 1); assert(objectSize == 1);
constUnion constant; constUnion constant;
constant.setBConst(*unionArray > *rightUnionArray); constant.setBConst(*unionArray > *rightUnionArray);
tempConstArray = new constUnion[1]; tempConstArray = new constUnion[1];
tempConstArray->setBConst(!constant.getBConst()); tempConstArray->setBConst(!constant.getBConst());
returnType = TType(EbtBool, EvqConst); returnType = TType(EbtBool, EvqConst);
break; break;
} }
case EOpGreaterThanEqual: case EOpGreaterThanEqual:
{ {
assert(objectSize == 1); assert(objectSize == 1);
constUnion constant; constUnion constant;
constant.setBConst(*unionArray < *rightUnionArray); constant.setBConst(*unionArray < *rightUnionArray);
tempConstArray = new constUnion[1]; tempConstArray = new constUnion[1];
tempConstArray->setBConst(!constant.getBConst()); tempConstArray->setBConst(!constant.getBConst());
returnType = TType(EbtBool, EvqConst); returnType = TType(EbtBool, EvqConst);
break; break;
} }
case EOpEqual: case EOpEqual:
if (getType().getBasicType() == EbtStruct) { if (getType().getBasicType() == EbtStruct) {
if (!CompareStructure(node->getType(), node->getUnionArrayPointer(), unionArray)) if (!CompareStructure(node->getType(), node->getUnionArrayPointer(), unionArray))
boolNodeFlag = true; boolNodeFlag = true;
} else { } else {
for (int i = 0; i < objectSize; i++) { for (int i = 0; i < objectSize; i++) {
if (unionArray[i] != rightUnionArray[i]) { if (unionArray[i] != rightUnionArray[i]) {
boolNodeFlag = true; boolNodeFlag = true;
break; // break out of for loop break; // break out of for loop
} }
} }
} }
tempConstArray = new constUnion[1]; tempConstArray = new constUnion[1];
if (!boolNodeFlag) { if (!boolNodeFlag) {
tempConstArray->setBConst(true); tempConstArray->setBConst(true);
} }
else { else {
tempConstArray->setBConst(false); tempConstArray->setBConst(false);
} }
tempNode = new TIntermConstantUnion(tempConstArray, TType(EbtBool, EvqConst)); tempNode = new TIntermConstantUnion(tempConstArray, TType(EbtBool, EvqConst));
tempNode->setLine(getLine()); tempNode->setLine(getLine());
return tempNode; return tempNode;
case EOpNotEqual: case EOpNotEqual:
if (getType().getBasicType() == EbtStruct) { if (getType().getBasicType() == EbtStruct) {
if (CompareStructure(node->getType(), node->getUnionArrayPointer(), unionArray)) if (CompareStructure(node->getType(), node->getUnionArrayPointer(), unionArray))
boolNodeFlag = true; boolNodeFlag = true;
} else { } else {
for (int i = 0; i < objectSize; i++) { for (int i = 0; i < objectSize; i++) {
if (unionArray[i] == rightUnionArray[i]) { if (unionArray[i] == rightUnionArray[i]) {
boolNodeFlag = true; boolNodeFlag = true;
break; // break out of for loop break; // break out of for loop
} }
} }
} }
tempConstArray = new constUnion[1]; tempConstArray = new constUnion[1];
if (!boolNodeFlag) { if (!boolNodeFlag) {
tempConstArray->setBConst(true); tempConstArray->setBConst(true);
} }
else { else {
tempConstArray->setBConst(false); tempConstArray->setBConst(false);
} }
tempNode = new TIntermConstantUnion(tempConstArray, TType(EbtBool, EvqConst)); tempNode = new TIntermConstantUnion(tempConstArray, TType(EbtBool, EvqConst));
tempNode->setLine(getLine()); tempNode->setLine(getLine());
return tempNode; return tempNode;
default: default:
infoSink.info.message(EPrefixInternalError, "Invalid operator for constant folding", getLine()); infoSink.info.message(EPrefixInternalError, "Invalid operator for constant folding", getLine());
return 0; return 0;
} }
tempNode = new TIntermConstantUnion(tempConstArray, returnType); tempNode = new TIntermConstantUnion(tempConstArray, returnType);
tempNode->setLine(getLine()); tempNode->setLine(getLine());
return tempNode; return tempNode;
} else { } else {
// //
// Do unary operations // Do unary operations
// //
TIntermConstantUnion *newNode = 0; TIntermConstantUnion *newNode = 0;
constUnion* tempConstArray = new constUnion[objectSize]; constUnion* tempConstArray = new constUnion[objectSize];
for (int i = 0; i < objectSize; i++) { for (int i = 0; i < objectSize; i++) {
switch(op) { switch(op) {
case EOpNegative: case EOpNegative:
switch (getType().getBasicType()) { switch (getType().getBasicType()) {
case EbtFloat: tempConstArray[i].setFConst(-unionArray[i].getFConst()); break; case EbtFloat: tempConstArray[i].setFConst(-unionArray[i].getFConst()); break;
case EbtInt: tempConstArray[i].setIConst(-unionArray[i].getIConst()); break; case EbtInt: tempConstArray[i].setIConst(-unionArray[i].getIConst()); break;
default: default:
infoSink.info.message(EPrefixInternalError, "Unary operation not folded into constant", getLine()); infoSink.info.message(EPrefixInternalError, "Unary operation not folded into constant", getLine());
return 0; return 0;
} }
break; break;
case EOpLogicalNot: // this code is written for possible future use, will not get executed currently case EOpLogicalNot: // this code is written for possible future use, will not get executed currently
switch (getType().getBasicType()) { switch (getType().getBasicType()) {
case EbtBool: tempConstArray[i].setBConst(!unionArray[i].getBConst()); break; case EbtBool: tempConstArray[i].setBConst(!unionArray[i].getBConst()); break;
default: default:
infoSink.info.message(EPrefixInternalError, "Unary operation not folded into constant", getLine()); infoSink.info.message(EPrefixInternalError, "Unary operation not folded into constant", getLine());
return 0; return 0;
} }
break; break;
default: default:
return 0; return 0;
} }
} }
newNode = new TIntermConstantUnion(tempConstArray, getType()); newNode = new TIntermConstantUnion(tempConstArray, getType());
newNode->setLine(getLine()); newNode->setLine(getLine());
return newNode; return newNode;
} }
return this; return this;
} }
TIntermTyped* TIntermediate::promoteConstantUnion(TBasicType promoteTo, TIntermConstantUnion* node) TIntermTyped* TIntermediate::promoteConstantUnion(TBasicType promoteTo, TIntermConstantUnion* node)
{ {
constUnion *rightUnionArray = node->getUnionArrayPointer(); constUnion *rightUnionArray = node->getUnionArrayPointer();
int size = node->getType().getObjectSize(); int size = node->getType().getObjectSize();
constUnion *leftUnionArray = new constUnion[size]; constUnion *leftUnionArray = new constUnion[size];
for (int i=0; i < size; i++) { for (int i=0; i < size; i++) {
switch (promoteTo) { switch (promoteTo) {
case EbtFloat: case EbtFloat:
switch (node->getType().getBasicType()) { switch (node->getType().getBasicType()) {
case EbtInt: case EbtInt:
leftUnionArray[i].setFConst(static_cast<float>(rightUnionArray[i].getIConst())); leftUnionArray[i].setFConst(static_cast<float>(rightUnionArray[i].getIConst()));
break; break;
case EbtBool: case EbtBool:
leftUnionArray[i].setFConst(static_cast<float>(rightUnionArray[i].getBConst())); leftUnionArray[i].setFConst(static_cast<float>(rightUnionArray[i].getBConst()));
break; break;
case EbtFloat: case EbtFloat:
leftUnionArray[i] = rightUnionArray[i]; leftUnionArray[i] = rightUnionArray[i];
break; break;
default: default:
infoSink.info.message(EPrefixInternalError, "Cannot promote", node->getLine()); infoSink.info.message(EPrefixInternalError, "Cannot promote", node->getLine());
return 0; return 0;
} }
break; break;
case EbtInt: case EbtInt:
switch (node->getType().getBasicType()) { switch (node->getType().getBasicType()) {
case EbtInt: case EbtInt:
leftUnionArray[i] = rightUnionArray[i]; leftUnionArray[i] = rightUnionArray[i];
break; break;
case EbtBool: case EbtBool:
leftUnionArray[i].setIConst(static_cast<int>(rightUnionArray[i].getBConst())); leftUnionArray[i].setIConst(static_cast<int>(rightUnionArray[i].getBConst()));
break; break;
case EbtFloat: case EbtFloat:
leftUnionArray[i].setIConst(static_cast<int>(rightUnionArray[i].getFConst())); leftUnionArray[i].setIConst(static_cast<int>(rightUnionArray[i].getFConst()));
break; break;
default: default:
infoSink.info.message(EPrefixInternalError, "Cannot promote", node->getLine()); infoSink.info.message(EPrefixInternalError, "Cannot promote", node->getLine());
return 0; return 0;
} }
break; break;
case EbtBool: case EbtBool:
switch (node->getType().getBasicType()) { switch (node->getType().getBasicType()) {
case EbtInt: case EbtInt:
leftUnionArray[i].setBConst(rightUnionArray[i].getIConst() != 0); leftUnionArray[i].setBConst(rightUnionArray[i].getIConst() != 0);
break; break;
case EbtBool: case EbtBool:
leftUnionArray[i] = rightUnionArray[i]; leftUnionArray[i] = rightUnionArray[i];
break; break;
case EbtFloat: case EbtFloat:
leftUnionArray[i].setBConst(rightUnionArray[i].getFConst() != 0.0f); leftUnionArray[i].setBConst(rightUnionArray[i].getFConst() != 0.0f);
break; break;
default: default:
infoSink.info.message(EPrefixInternalError, "Cannot promote", node->getLine()); infoSink.info.message(EPrefixInternalError, "Cannot promote", node->getLine());
return 0; return 0;
} }
break; break;
default: default:
infoSink.info.message(EPrefixInternalError, "Incorrect data type found", node->getLine()); infoSink.info.message(EPrefixInternalError, "Incorrect data type found", node->getLine());
return 0; return 0;
} }
} }
const TType& t = node->getType(); const TType& t = node->getType();
return addConstantUnion(leftUnionArray, TType(promoteTo, t.getQualifier(), t.getNominalSize(), t.isMatrix(), t.isArray()), node->getLine()); return addConstantUnion(leftUnionArray, TType(promoteTo, t.getQualifier(), t.getNominalSize(), t.isMatrix(), t.isArray()), node->getLine());
} }
void TIntermAggregate::addToPragmaTable(const TPragmaTable& pTable) void TIntermAggregate::addToPragmaTable(const TPragmaTable& pTable)
{ {
assert(!pragmaTable); assert(!pragmaTable);
pragmaTable = new TPragmaTable(); pragmaTable = new TPragmaTable();
*pragmaTable = pTable; *pragmaTable = pTable;
} }
...@@ -24,162 +24,162 @@ ...@@ -24,162 +24,162 @@
// Operators used by the high-level (parse tree) representation. // Operators used by the high-level (parse tree) representation.
// //
enum TOperator { enum TOperator {
EOpNull, // if in a node, should only mean a node is still being built EOpNull, // if in a node, should only mean a node is still being built
EOpSequence, // denotes a list of statements, or parameters, etc. EOpSequence, // denotes a list of statements, or parameters, etc.
EOpFunctionCall, EOpFunctionCall,
EOpFunction, // For function definition EOpFunction, // For function definition
EOpParameters, // an aggregate listing the parameters to a function EOpParameters, // an aggregate listing the parameters to a function
EOpDeclaration, EOpDeclaration,
// //
// Unary operators // Unary operators
// //
EOpNegative, EOpNegative,
EOpLogicalNot, EOpLogicalNot,
EOpVectorLogicalNot, EOpVectorLogicalNot,
EOpPostIncrement, EOpPostIncrement,
EOpPostDecrement, EOpPostDecrement,
EOpPreIncrement, EOpPreIncrement,
EOpPreDecrement, EOpPreDecrement,
EOpConvIntToBool, EOpConvIntToBool,
EOpConvFloatToBool, EOpConvFloatToBool,
EOpConvBoolToFloat, EOpConvBoolToFloat,
EOpConvIntToFloat, EOpConvIntToFloat,
EOpConvFloatToInt, EOpConvFloatToInt,
EOpConvBoolToInt, EOpConvBoolToInt,
// //
// binary operations // binary operations
// //
EOpAdd, EOpAdd,
EOpSub, EOpSub,
EOpMul, EOpMul,
EOpDiv, EOpDiv,
EOpEqual, EOpEqual,
EOpNotEqual, EOpNotEqual,
EOpVectorEqual, EOpVectorEqual,
EOpVectorNotEqual, EOpVectorNotEqual,
EOpLessThan, EOpLessThan,
EOpGreaterThan, EOpGreaterThan,
EOpLessThanEqual, EOpLessThanEqual,
EOpGreaterThanEqual, EOpGreaterThanEqual,
EOpComma, EOpComma,
EOpVectorTimesScalar, EOpVectorTimesScalar,
EOpVectorTimesMatrix, EOpVectorTimesMatrix,
EOpMatrixTimesVector, EOpMatrixTimesVector,
EOpMatrixTimesScalar, EOpMatrixTimesScalar,
EOpLogicalOr, EOpLogicalOr,
EOpLogicalXor, EOpLogicalXor,
EOpLogicalAnd, EOpLogicalAnd,
EOpIndexDirect, EOpIndexDirect,
EOpIndexIndirect, EOpIndexIndirect,
EOpIndexDirectStruct, EOpIndexDirectStruct,
EOpVectorSwizzle, EOpVectorSwizzle,
// //
// Built-in functions potentially mapped to operators // Built-in functions potentially mapped to operators
// //
EOpRadians, EOpRadians,
EOpDegrees, EOpDegrees,
EOpSin, EOpSin,
EOpCos, EOpCos,
EOpTan, EOpTan,
EOpAsin, EOpAsin,
EOpAcos, EOpAcos,
EOpAtan, EOpAtan,
EOpPow, EOpPow,
EOpExp, EOpExp,
EOpLog, EOpLog,
EOpExp2, EOpExp2,
EOpLog2, EOpLog2,
EOpSqrt, EOpSqrt,
EOpInverseSqrt, EOpInverseSqrt,
EOpAbs, EOpAbs,
EOpSign, EOpSign,
EOpFloor, EOpFloor,
EOpCeil, EOpCeil,
EOpFract, EOpFract,
EOpMod, EOpMod,
EOpMin, EOpMin,
EOpMax, EOpMax,
EOpClamp, EOpClamp,
EOpMix, EOpMix,
EOpStep, EOpStep,
EOpSmoothStep, EOpSmoothStep,
EOpLength, EOpLength,
EOpDistance, EOpDistance,
EOpDot, EOpDot,
EOpCross, EOpCross,
EOpNormalize, EOpNormalize,
EOpFaceForward, EOpFaceForward,
EOpReflect, EOpReflect,
EOpRefract, EOpRefract,
// EOpDPdx, // Fragment only, OES_standard_derivatives extension //EOpDPdx, // Fragment only, OES_standard_derivatives extension
// EOpDPdy, // Fragment only, OES_standard_derivatives extension //EOpDPdy, // Fragment only, OES_standard_derivatives extension
// EOpFwidth, // Fragment only, OES_standard_derivatives extension //EOpFwidth, // Fragment only, OES_standard_derivatives extension
EOpMatrixTimesMatrix, EOpMatrixTimesMatrix,
EOpAny, EOpAny,
EOpAll, EOpAll,
// //
// Branch // Branch
// //
EOpKill, // Fragment only EOpKill, // Fragment only
EOpReturn, EOpReturn,
EOpBreak, EOpBreak,
EOpContinue, EOpContinue,
// //
// Constructors // Constructors
// //
EOpConstructInt, EOpConstructInt,
EOpConstructBool, EOpConstructBool,
EOpConstructFloat, EOpConstructFloat,
EOpConstructVec2, EOpConstructVec2,
EOpConstructVec3, EOpConstructVec3,
EOpConstructVec4, EOpConstructVec4,
EOpConstructBVec2, EOpConstructBVec2,
EOpConstructBVec3, EOpConstructBVec3,
EOpConstructBVec4, EOpConstructBVec4,
EOpConstructIVec2, EOpConstructIVec2,
EOpConstructIVec3, EOpConstructIVec3,
EOpConstructIVec4, EOpConstructIVec4,
EOpConstructMat2, EOpConstructMat2,
EOpConstructMat3, EOpConstructMat3,
EOpConstructMat4, EOpConstructMat4,
EOpConstructStruct, EOpConstructStruct,
// //
// moves // moves
// //
EOpAssign, EOpAssign,
EOpInitialize, EOpInitialize,
EOpAddAssign, EOpAddAssign,
EOpSubAssign, EOpSubAssign,
EOpMulAssign, EOpMulAssign,
EOpVectorTimesMatrixAssign, EOpVectorTimesMatrixAssign,
EOpVectorTimesScalarAssign, EOpVectorTimesScalarAssign,
EOpMatrixTimesScalarAssign, EOpMatrixTimesScalarAssign,
EOpMatrixTimesMatrixAssign, EOpMatrixTimesMatrixAssign,
EOpDivAssign, EOpDivAssign,
}; };
class TIntermTraverser; class TIntermTraverser;
...@@ -196,29 +196,29 @@ class TInfoSink; ...@@ -196,29 +196,29 @@ class TInfoSink;
// //
class TIntermNode { class TIntermNode {
public: public:
POOL_ALLOCATOR_NEW_DELETE(GlobalPoolAllocator) POOL_ALLOCATOR_NEW_DELETE(GlobalPoolAllocator)
TIntermNode() : line(0) {} TIntermNode() : line(0) {}
virtual TSourceLoc getLine() const { return line; } virtual TSourceLoc getLine() const { return line; }
virtual void setLine(TSourceLoc l) { line = l; } virtual void setLine(TSourceLoc l) { line = l; }
virtual void traverse(TIntermTraverser*) = 0; virtual void traverse(TIntermTraverser*) = 0;
virtual TIntermTyped* getAsTyped() { return 0; } virtual TIntermTyped* getAsTyped() { return 0; }
virtual TIntermConstantUnion* getAsConstantUnion() { return 0; } virtual TIntermConstantUnion* getAsConstantUnion() { return 0; }
virtual TIntermAggregate* getAsAggregate() { return 0; } virtual TIntermAggregate* getAsAggregate() { return 0; }
virtual TIntermBinary* getAsBinaryNode() { return 0; } virtual TIntermBinary* getAsBinaryNode() { return 0; }
virtual TIntermSelection* getAsSelectionNode() { return 0; } virtual TIntermSelection* getAsSelectionNode() { return 0; }
virtual TIntermSymbol* getAsSymbolNode() { return 0; } virtual TIntermSymbol* getAsSymbolNode() { return 0; }
virtual ~TIntermNode() { } virtual ~TIntermNode() { }
protected: protected:
TSourceLoc line; TSourceLoc line;
}; };
// //
// This is just to help yacc. // This is just to help yacc.
// //
struct TIntermNodePair { struct TIntermNodePair {
TIntermNode* node1; TIntermNode* node1;
TIntermNode* node2; TIntermNode* node2;
}; };
class TIntermSymbol; class TIntermSymbol;
...@@ -229,25 +229,25 @@ class TIntermBinary; ...@@ -229,25 +229,25 @@ class TIntermBinary;
// //
class TIntermTyped : public TIntermNode { class TIntermTyped : public TIntermNode {
public: public:
TIntermTyped(const TType& t) : type(t) { } TIntermTyped(const TType& t) : type(t) { }
virtual TIntermTyped* getAsTyped() { return this; } virtual TIntermTyped* getAsTyped() { return this; }
virtual void setType(const TType& t) { type = t; } virtual void setType(const TType& t) { type = t; }
virtual const TType& getType() const { return type; } virtual const TType& getType() const { return type; }
virtual TType* getTypePointer() { return &type; } virtual TType* getTypePointer() { return &type; }
virtual TBasicType getBasicType() const { return type.getBasicType(); } virtual TBasicType getBasicType() const { return type.getBasicType(); }
virtual TQualifier getQualifier() const { return type.getQualifier(); } virtual TQualifier getQualifier() const { return type.getQualifier(); }
virtual int getNominalSize() const { return type.getNominalSize(); } virtual int getNominalSize() const { return type.getNominalSize(); }
virtual int getSize() const { return type.getInstanceSize(); } virtual int getSize() const { return type.getInstanceSize(); }
virtual bool isMatrix() const { return type.isMatrix(); } virtual bool isMatrix() const { return type.isMatrix(); }
virtual bool isArray() const { return type.isArray(); } virtual bool isArray() const { return type.isArray(); }
virtual bool isVector() const { return type.isVector(); } virtual bool isVector() const { return type.isVector(); }
const char* getBasicString() const { return type.getBasicString(); } const char* getBasicString() const { return type.getBasicString(); }
const char* getQualifierString() const { return type.getQualifierString(); } const char* getQualifierString() const { return type.getQualifierString(); }
TString getCompleteString() const { return type.getCompleteString(); } TString getCompleteString() const { return type.getCompleteString(); }
protected: protected:
TType type; TType type;
}; };
// //
...@@ -255,24 +255,24 @@ protected: ...@@ -255,24 +255,24 @@ protected:
// //
class TIntermLoop : public TIntermNode { class TIntermLoop : public TIntermNode {
public: public:
TIntermLoop(TIntermNode *init, TIntermNode* aBody, TIntermTyped* aTest, TIntermTyped* aTerminal, bool testFirst) : TIntermLoop(TIntermNode *init, TIntermNode* aBody, TIntermTyped* aTest, TIntermTyped* aTerminal, bool testFirst) :
init(init), init(init),
body(aBody), body(aBody),
test(aTest), test(aTest),
terminal(aTerminal), terminal(aTerminal),
first(testFirst) { } first(testFirst) { }
virtual void traverse(TIntermTraverser*); virtual void traverse(TIntermTraverser*);
TIntermNode *getInit() { return init; } TIntermNode *getInit() { return init; }
TIntermNode *getBody() { return body; } TIntermNode *getBody() { return body; }
TIntermTyped *getTest() { return test; } TIntermTyped *getTest() { return test; }
TIntermTyped *getTerminal() { return terminal; } TIntermTyped *getTerminal() { return terminal; }
bool testFirst() { return first; } bool testFirst() { return first; }
protected: protected:
TIntermNode *init; TIntermNode *init;
TIntermNode *body; // code to loop over TIntermNode *body; // code to loop over
TIntermTyped *test; // exit condition associated with loop, could be 0 for 'for' loops TIntermTyped *test; // exit condition associated with loop, could be 0 for 'for' loops
TIntermTyped *terminal; // exists for for-loops TIntermTyped *terminal; // exists for for-loops
bool first; // true for while and for, not for do-while bool first; // true for while and for, not for do-while
}; };
// //
...@@ -280,15 +280,15 @@ protected: ...@@ -280,15 +280,15 @@ protected:
// //
class TIntermBranch : public TIntermNode { class TIntermBranch : public TIntermNode {
public: public:
TIntermBranch(TOperator op, TIntermTyped* e) : TIntermBranch(TOperator op, TIntermTyped* e) :
flowOp(op), flowOp(op),
expression(e) { } expression(e) { }
virtual void traverse(TIntermTraverser*); virtual void traverse(TIntermTraverser*);
TOperator getFlowOp() { return flowOp; } TOperator getFlowOp() { return flowOp; }
TIntermTyped* getExpression() { return expression; } TIntermTyped* getExpression() { return expression; }
protected: protected:
TOperator flowOp; TOperator flowOp;
TIntermTyped* expression; // non-zero except for "return exp;" statements TIntermTyped* expression; // non-zero except for "return exp;" statements
}; };
// //
...@@ -296,30 +296,30 @@ protected: ...@@ -296,30 +296,30 @@ protected:
// //
class TIntermSymbol : public TIntermTyped { class TIntermSymbol : public TIntermTyped {
public: public:
// if symbol is initialized as symbol(sym), the memory comes from the poolallocator of sym. If sym comes from // if symbol is initialized as symbol(sym), the memory comes from the poolallocator of sym. If sym comes from
// per process globalpoolallocator, then it causes increased memory usage per compile // per process globalpoolallocator, then it causes increased memory usage per compile
// it is essential to use "symbol = sym" to assign to symbol // it is essential to use "symbol = sym" to assign to symbol
TIntermSymbol(int i, const TString& sym, const TType& t) : TIntermSymbol(int i, const TString& sym, const TType& t) :
TIntermTyped(t), id(i) { symbol = sym;} TIntermTyped(t), id(i) { symbol = sym;}
virtual int getId() const { return id; } virtual int getId() const { return id; }
virtual const TString& getSymbol() const { return symbol; } virtual const TString& getSymbol() const { return symbol; }
virtual void traverse(TIntermTraverser*); virtual void traverse(TIntermTraverser*);
virtual TIntermSymbol* getAsSymbolNode() { return this; } virtual TIntermSymbol* getAsSymbolNode() { return this; }
protected: protected:
int id; int id;
TString symbol; TString symbol;
}; };
class TIntermConstantUnion : public TIntermTyped { class TIntermConstantUnion : public TIntermTyped {
public: public:
TIntermConstantUnion(constUnion *unionPointer, const TType& t) : TIntermTyped(t), unionArrayPointer(unionPointer) { } TIntermConstantUnion(constUnion *unionPointer, const TType& t) : TIntermTyped(t), unionArrayPointer(unionPointer) { }
constUnion* getUnionArrayPointer() const { return unionArrayPointer; } constUnion* getUnionArrayPointer() const { return unionArrayPointer; }
void setUnionArrayPointer(constUnion *c) { unionArrayPointer = c; } void setUnionArrayPointer(constUnion *c) { unionArrayPointer = c; }
virtual TIntermConstantUnion* getAsConstantUnion() { return this; } virtual TIntermConstantUnion* getAsConstantUnion() { return this; }
virtual void traverse(TIntermTraverser* ); virtual void traverse(TIntermTraverser* );
virtual TIntermTyped* fold(TOperator, TIntermTyped*, TInfoSink&); virtual TIntermTyped* fold(TOperator, TIntermTyped*, TInfoSink&);
protected: protected:
constUnion *unionArrayPointer; constUnion *unionArrayPointer;
}; };
// //
...@@ -327,14 +327,14 @@ protected: ...@@ -327,14 +327,14 @@ protected:
// //
class TIntermOperator : public TIntermTyped { class TIntermOperator : public TIntermTyped {
public: public:
TOperator getOp() const { return op; } TOperator getOp() const { return op; }
bool modifiesState() const; bool modifiesState() const;
bool isConstructor() const; bool isConstructor() const;
virtual bool promote(TInfoSink&) { return true; } virtual bool promote(TInfoSink&) { return true; }
protected: protected:
TIntermOperator(TOperator o) : TIntermTyped(TType(EbtFloat)), op(o) {} TIntermOperator(TOperator o) : TIntermTyped(TType(EbtFloat)), op(o) {}
TIntermOperator(TOperator o, TType& t) : TIntermTyped(t), op(o) {} TIntermOperator(TOperator o, TType& t) : TIntermTyped(t), op(o) {}
TOperator op; TOperator op;
}; };
// //
...@@ -342,17 +342,17 @@ protected: ...@@ -342,17 +342,17 @@ protected:
// //
class TIntermBinary : public TIntermOperator { class TIntermBinary : public TIntermOperator {
public: public:
TIntermBinary(TOperator o) : TIntermOperator(o) {} TIntermBinary(TOperator o) : TIntermOperator(o) {}
virtual void traverse(TIntermTraverser*); virtual void traverse(TIntermTraverser*);
virtual void setLeft(TIntermTyped* n) { left = n; } virtual void setLeft(TIntermTyped* n) { left = n; }
virtual void setRight(TIntermTyped* n) { right = n; } virtual void setRight(TIntermTyped* n) { right = n; }
virtual TIntermTyped* getLeft() const { return left; } virtual TIntermTyped* getLeft() const { return left; }
virtual TIntermTyped* getRight() const { return right; } virtual TIntermTyped* getRight() const { return right; }
virtual TIntermBinary* getAsBinaryNode() { return this; } virtual TIntermBinary* getAsBinaryNode() { return this; }
virtual bool promote(TInfoSink&); virtual bool promote(TInfoSink&);
protected: protected:
TIntermTyped* left; TIntermTyped* left;
TIntermTyped* right; TIntermTyped* right;
}; };
// //
...@@ -360,14 +360,14 @@ protected: ...@@ -360,14 +360,14 @@ protected:
// //
class TIntermUnary : public TIntermOperator { class TIntermUnary : public TIntermOperator {
public: public:
TIntermUnary(TOperator o, TType& t) : TIntermOperator(o, t), operand(0) {} TIntermUnary(TOperator o, TType& t) : TIntermOperator(o, t), operand(0) {}
TIntermUnary(TOperator o) : TIntermOperator(o), operand(0) {} TIntermUnary(TOperator o) : TIntermOperator(o), operand(0) {}
virtual void traverse(TIntermTraverser*); virtual void traverse(TIntermTraverser*);
virtual void setOperand(TIntermTyped* o) { operand = o; } virtual void setOperand(TIntermTyped* o) { operand = o; }
virtual TIntermTyped* getOperand() { return operand; } virtual TIntermTyped* getOperand() { return operand; }
virtual bool promote(TInfoSink&); virtual bool promote(TInfoSink&);
protected: protected:
TIntermTyped* operand; TIntermTyped* operand;
}; };
typedef TVector<TIntermNode*> TIntermSequence; typedef TVector<TIntermNode*> TIntermSequence;
...@@ -377,34 +377,34 @@ typedef TVector<int> TQualifierList; ...@@ -377,34 +377,34 @@ typedef TVector<int> TQualifierList;
// //
class TIntermAggregate : public TIntermOperator { class TIntermAggregate : public TIntermOperator {
public: public:
TIntermAggregate() : TIntermOperator(EOpNull), userDefined(false), pragmaTable(0) { } TIntermAggregate() : TIntermOperator(EOpNull), userDefined(false), pragmaTable(0) { }
TIntermAggregate(TOperator o) : TIntermOperator(o), pragmaTable(0) { } TIntermAggregate(TOperator o) : TIntermOperator(o), pragmaTable(0) { }
~TIntermAggregate() { delete pragmaTable; } ~TIntermAggregate() { delete pragmaTable; }
virtual TIntermAggregate* getAsAggregate() { return this; } virtual TIntermAggregate* getAsAggregate() { return this; }
virtual void setOperator(TOperator o) { op = o; } virtual void setOperator(TOperator o) { op = o; }
virtual TIntermSequence& getSequence() { return sequence; } virtual TIntermSequence& getSequence() { return sequence; }
virtual void setName(const TString& n) { name = n; } virtual void setName(const TString& n) { name = n; }
virtual const TString& getName() const { return name; } virtual const TString& getName() const { return name; }
virtual void traverse(TIntermTraverser*); virtual void traverse(TIntermTraverser*);
virtual void setUserDefined() { userDefined = true; } virtual void setUserDefined() { userDefined = true; }
virtual bool isUserDefined() { return userDefined; } virtual bool isUserDefined() { return userDefined; }
virtual TQualifierList& getQualifier() { return qualifier; } virtual TQualifierList& getQualifier() { return qualifier; }
void setOptimize(bool o) { optimize = o; } void setOptimize(bool o) { optimize = o; }
void setDebug(bool d) { debug = d; } void setDebug(bool d) { debug = d; }
bool getOptimize() { return optimize; } bool getOptimize() { return optimize; }
bool getDebug() { return debug; } bool getDebug() { return debug; }
void addToPragmaTable(const TPragmaTable& pTable); void addToPragmaTable(const TPragmaTable& pTable);
const TPragmaTable& getPragmaTable() const { return *pragmaTable; } const TPragmaTable& getPragmaTable() const { return *pragmaTable; }
protected: protected:
TIntermAggregate(const TIntermAggregate&); // disallow copy constructor TIntermAggregate(const TIntermAggregate&); // disallow copy constructor
TIntermAggregate& operator=(const TIntermAggregate&); // disallow assignment operator TIntermAggregate& operator=(const TIntermAggregate&); // disallow assignment operator
TIntermSequence sequence; TIntermSequence sequence;
TQualifierList qualifier; TQualifierList qualifier;
TString name; TString name;
bool userDefined; // used for user defined function names bool userDefined; // used for user defined function names
bool optimize; bool optimize;
bool debug; bool debug;
TPragmaTable *pragmaTable; TPragmaTable *pragmaTable;
}; };
// //
...@@ -412,27 +412,27 @@ protected: ...@@ -412,27 +412,27 @@ protected:
// //
class TIntermSelection : public TIntermTyped { class TIntermSelection : public TIntermTyped {
public: public:
TIntermSelection(TIntermTyped* cond, TIntermNode* trueB, TIntermNode* falseB) : TIntermSelection(TIntermTyped* cond, TIntermNode* trueB, TIntermNode* falseB) :
TIntermTyped(TType(EbtVoid)), condition(cond), trueBlock(trueB), falseBlock(falseB) {} TIntermTyped(TType(EbtVoid)), condition(cond), trueBlock(trueB), falseBlock(falseB) {}
TIntermSelection(TIntermTyped* cond, TIntermNode* trueB, TIntermNode* falseB, const TType& type) : TIntermSelection(TIntermTyped* cond, TIntermNode* trueB, TIntermNode* falseB, const TType& type) :
TIntermTyped(type), condition(cond), trueBlock(trueB), falseBlock(falseB) {} TIntermTyped(type), condition(cond), trueBlock(trueB), falseBlock(falseB) {}
virtual void traverse(TIntermTraverser*); virtual void traverse(TIntermTraverser*);
bool usesTernaryOperator() const { return getBasicType() != EbtVoid; } bool usesTernaryOperator() const { return getBasicType() != EbtVoid; }
virtual TIntermNode* getCondition() const { return condition; } virtual TIntermNode* getCondition() const { return condition; }
virtual TIntermNode* getTrueBlock() const { return trueBlock; } virtual TIntermNode* getTrueBlock() const { return trueBlock; }
virtual TIntermNode* getFalseBlock() const { return falseBlock; } virtual TIntermNode* getFalseBlock() const { return falseBlock; }
virtual TIntermSelection* getAsSelectionNode() { return this; } virtual TIntermSelection* getAsSelectionNode() { return this; }
protected: protected:
TIntermTyped* condition; TIntermTyped* condition;
TIntermNode* trueBlock; TIntermNode* trueBlock;
TIntermNode* falseBlock; TIntermNode* falseBlock;
}; };
enum Visit enum Visit
{ {
PreVisit, PreVisit,
InVisit, InVisit,
PostVisit PostVisit
}; };
// //
...@@ -446,36 +446,34 @@ enum Visit ...@@ -446,36 +446,34 @@ enum Visit
class TIntermTraverser class TIntermTraverser
{ {
public: public:
POOL_ALLOCATOR_NEW_DELETE(GlobalPoolAllocator) POOL_ALLOCATOR_NEW_DELETE(GlobalPoolAllocator)
TIntermTraverser(bool preVisit = true, bool inVisit = false, bool postVisit = false, bool rightToLeft = false) : TIntermTraverser(bool preVisit = true, bool inVisit = false, bool postVisit = false, bool rightToLeft = false) :
preVisit(preVisit), preVisit(preVisit),
inVisit(inVisit), inVisit(inVisit),
postVisit(postVisit), postVisit(postVisit),
rightToLeft(rightToLeft) rightToLeft(rightToLeft),
{ depth(0) {}
depth = 0;
} virtual void visitSymbol(TIntermSymbol*) {}
virtual void visitConstantUnion(TIntermConstantUnion*) {}
virtual void visitSymbol(TIntermSymbol*) {} virtual bool visitBinary(Visit visit, TIntermBinary*) {return true;}
virtual void visitConstantUnion(TIntermConstantUnion*) {} virtual bool visitUnary(Visit visit, TIntermUnary*) {return true;}
virtual bool visitBinary(Visit visit, TIntermBinary*) {return true;} virtual bool visitSelection(Visit visit, TIntermSelection*) {return true;}
virtual bool visitUnary(Visit visit, TIntermUnary*) {return true;} virtual bool visitAggregate(Visit visit, TIntermAggregate*) {return true;}
virtual bool visitSelection(Visit visit, TIntermSelection*) {return true;} virtual bool visitLoop(Visit visit, TIntermLoop*) {return true;}
virtual bool visitAggregate(Visit visit, TIntermAggregate*) {return true;} virtual bool visitBranch(Visit visit, TIntermBranch*) {return true;}
virtual bool visitLoop(Visit visit, TIntermLoop*) {return true;}
virtual bool visitBranch(Visit visit, TIntermBranch*) {return true;} void incrementDepth() {depth++;}
void decrementDepth() {depth--;}
void incrementDepth() {depth++;}
void decrementDepth() {depth--;} const bool preVisit;
const bool inVisit;
const bool preVisit; const bool postVisit;
const bool inVisit; const bool rightToLeft;
const bool postVisit;
const bool rightToLeft;
protected: protected:
int depth; int depth;
}; };
#endif // __INTERMEDIATE_H #endif // __INTERMEDIATE_H
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment