public override ExprNode Simplify()
{
Condition = Condition.Simplify();
TrueResult = TrueResult.Simplify();
FalseResult = FalseResult.Simplify();
return(this);
}
public override ExprNode Simplify()
{
if (Lhs != null)
{
Lhs = Lhs.Simplify();
}
return(this);
}
public override ExprNode Simplify()
{
Lhs = Lhs.Simplify();
Index = Index.Simplify();
return this;
}
public override ExprNode Simplify()
{
Lhs = Lhs.Simplify();
return(this);
}
public override ExprNode Simplify()
{
Lhs = Lhs.Simplify();
SimplifyList(Arguments);
return(this);
}
public override ExprNode Simplify()
{
// First, simplify all our terms
Lhs = Lhs.Simplify();
foreach (var t in Terms)
{
t.Rhs = t.Rhs.Simplify();
}
// Combine add/subtract subterms
if (GetPrecedence() == OperatorPrecedence.add)
{
for (int i = 0; i < Terms.Count; i++)
{
var t = Terms[i];
// Negative term, swap our own operator
// eg: a - -b -> a+b
var unaryTerm = t.Rhs as ExprNodeUnary;
if (unaryTerm != null)
{
if (unaryTerm.Op == Token.subtract)
{
t.Op = InverseOp(t.Op);
t.Rhs = unaryTerm.Rhs;
}
}
/*
* // Nested LTR add operation
* // eg: x-(a+b) => x-a-b
* var ltrTerm = t.Rhs as ExprNodeLtr;
* if (ltrTerm != null && ltrTerm.GetPrecedence()==OperatorPrecedence.add)
* {
* // Move the first child term to self
* t.Rhs=ltrTerm.Lhs;
*
* // Negate the other child terms
* if (t.Op == Token.subtract)
* {
* // Swap the operator of other terms
* foreach (var nestedTerm in ltrTerm.Terms)
* {
* nestedTerm.Op = InverseOp(nestedTerm.Op);
* }
* }
*
* // Insert the inner terms
* Terms.InsertRange(i + 1, ltrTerm.Terms);
*
* // Continue with self again to catch new subtract of negative
* // eg: we've now done this: x-(-a+b) => x- -a + b
* // need to reprocess this term to get x+a+b
* i--;
* }
*/
}
}
// Combine multiply subterms
if (GetPrecedence() == OperatorPrecedence.multiply)
{
// Remove negatives on any modulus ops eg: a%-b => a%b
foreach (var t in Terms)
{
if (t.Op == Token.modulus)
{
var unaryTerm = t.Rhs as ExprNodeUnary;
if (unaryTerm != null && unaryTerm.Op == Token.subtract)
{
t.Rhs = unaryTerm.Rhs;
}
}
}
// Nested LTR multiply operation
// eg: x*(a*b) => x*a*b
/*
* for (int i = 0; i < Terms.Count; i++)
* {
* var t = Terms[i];
*
* // nb: we don't do x/(a*b)=>x/a/b on the (possibly flawed) assumption div is slower
* if (t.Op != Token.multiply)
* continue;
*
* var ltrTerm = t.Rhs as ExprNodeLtr;
* if (ltrTerm != null && ltrTerm.GetPrecedence() == OperatorPrecedence.multiply)
* {
* int iLastMod = ltrTerm.IndexOfLastModulusOp();
*
* if (iLastMod < 0)
* {
* // Move the first child term to self
* t.Rhs = ltrTerm.Lhs;
*
* // Insert the inner terms
* Terms.InsertRange(i + 1, ltrTerm.Terms);
* }
* else
* {
* // Move the trailing multiply/divs to self
* // ie: a*(b%c*d) => a*(b%c)*d
* int iInsertPos = i + 1;
* while (iLastMod + 1 < ltrTerm.Terms.Count)
* {
* Terms.Insert(iInsertPos++, ltrTerm.Terms[iLastMod+1]);
* ltrTerm.Terms.RemoveAt(iLastMod + 1);
* }
* }
* }
* }
*/
// Remove -ve * -ve eg: -a * -b => a*b
// Step 1 - make all negated terms, positive.
// and count how many
int negateCount = 0;
foreach (var t in Terms)
{
var unaryTerm = t.Rhs as ExprNodeUnary;
if (unaryTerm != null && unaryTerm.Op == Token.subtract)
{
// Remove the negate
t.Rhs = unaryTerm.Rhs;
negateCount++;
}
}
// Step 2 - if there was an odd number of negates in the
// other terms, negate the Lhs term
if ((negateCount % 2) == 1)
{
var temp = new ExprNodeUnary(Lhs.Bookmark, Lhs, Token.subtract);
Lhs = temp.Simplify();
}
}
return(this);
}
public override ExprNode Simplify()
{
// Simplify the RHS
Rhs = Rhs.Simplify();
// Redundant positive operator?
if (Op == Token.add)
{
return(Rhs);
}
// Negatives?
if (Op == Token.subtract)
{
// Double negative
var rhsUnary = Rhs as ExprNodeUnary;
if (rhsUnary != null && rhsUnary.Op == Token.subtract)
{
return(rhsUnary.Rhs);
}
// Negative Add/Subtract
var rhsLtr = Rhs as ExprNodeLtr;
if (rhsLtr != null && rhsLtr.GetPrecedence() == OperatorPrecedence.add)
{
//eg: convert -(a+b) to -a-b
// Swap all operators
// Wrap the LHS in a unary negative, then simplify it again
rhsLtr.Lhs = new ast.ExprNodeUnary(Bookmark, rhsLtr.Lhs, Token.subtract);
rhsLtr.Lhs = rhsLtr.Lhs.Simplify();
// Swap the add/subtract on all other terms
foreach (var t in rhsLtr.Terms)
{
switch (t.Op)
{
case Token.add:
t.Op = Token.subtract;
break;
case Token.subtract:
t.Op = Token.add;
break;
default:
System.Diagnostics.Debug.Assert(false);
break;
}
}
// Return the simplified LTR expression
return(rhsLtr);
}
// Negative of multiply terms
if (rhsLtr != null && rhsLtr.GetPrecedence() == OperatorPrecedence.multiply)
{
// eg: convert -(a*b) to -a*b
// Wrap the first term in a unary negative, then simplify it again
rhsLtr.Lhs = new ast.ExprNodeUnary(Bookmark, rhsLtr.Lhs, Token.subtract);
return(rhsLtr.Simplify());
}
}
if (Op == Token.bitwiseNot || Op == Token.logicalNot)
{
/*
* // Double negative eg: !!x or ~~x
* var rhsUnary = Rhs as ExprNodeUnary;
* if (rhsUnary != null && rhsUnary.Op == Op)
* {
* return rhsUnary.Rhs;
* }
*/
// Actually, don't do the above cause
// !! converts to bool
// ~~ converts bool to integer
}
return(this);
}
public override ExprNode Simplify()
{
return(Inner.Simplify());
}
public override ExprNode Simplify()
{
ObjectType = ObjectType.Simplify();
SimplifyList(Arguments);
return(this);
}
