public void VisitBinaryExpression(BinaryExpression binExp)
{
binExp.Left.Accept(this);
binExp.Right.Accept(this);
}
static ExpressionValueComparer()
{
Add(typeof(Application),
(ea, eb) =>
{
Application a = (Application)ea, b = (Application)eb;
if (a.Arguments.Length != b.Arguments.Length)
{
return(false);
}
if (!EqualsImpl(a.Procedure, b.Procedure))
{
return(false);
}
for (int i = 0; i != a.Arguments.Length; ++i)
{
if (!EqualsImpl(a.Arguments[i], b.Arguments[i]))
{
return(false);
}
}
return(true);
},
obj =>
{
Application a = (Application)obj;
int h = GetHashCodeImpl(a.Procedure);
h ^= a.Arguments.Length;
foreach (Expression e in a.Arguments)
{
h *= 47;
if (e != null)
{
h ^= GetHashCodeImpl(e);
}
}
return(h);
});
Add(typeof(BinaryExpression),
(ea, eb) =>
{
BinaryExpression a = (BinaryExpression)ea, b = (BinaryExpression)eb;
if (a.Operator != b.Operator)
{
return(false);
}
return(EqualsImpl(a.Left, b.Left) && EqualsImpl(a.Right, b.Right));
},
obj =>
{
BinaryExpression b = (BinaryExpression)obj;
return(b.Operator.GetHashCode() ^ GetHashCodeImpl(b.Left) ^ 47 * GetHashCodeImpl(b.Right));
});
Add(typeof(Cast),
(ea, eb) =>
{
Cast a = (Cast)ea, b = (Cast)eb;
return(EqualsImpl(a.Expression, b.Expression));
},
obj =>
{
Cast c = (Cast)obj;
return(GetHashCodeImpl(c.Expression) * 43);
});
Add(typeof(ConditionOf),
(ea, eb) =>
{
ConditionOf a = (ConditionOf)ea, b = (ConditionOf)eb;
return(EqualsImpl(a.Expression, b.Expression));
},
obj =>
{
return(0x10101010 * GetHashCodeImpl(((ConditionOf)obj).Expression));
});
Add(typeof(Address),
addrComp,
addrHash);
Add(typeof(Address16),
addrComp,
addrHash);
Add(typeof(Address32),
addrComp,
addrHash);
Add(typeof(Address64),
addrComp,
addrHash);
Add(typeof(ProtectedSegmentedAddress),
addrComp,
addrHash);
Add(typeof(RealSegmentedAddress),
addrComp,
addrHash);
Add(typeof(ConditionalExpression),
(ca, cb) =>
{
var a = (ConditionalExpression)ca;
var b = (ConditionalExpression)cb;
return(EqualsImpl(a.Condition, b.Condition) &&
EqualsImpl(a.ThenExp, b.ThenExp) &&
EqualsImpl(a.FalseExp, b.FalseExp));
},
obj =>
{
var self = (ConditionalExpression)obj;
return(GetHashCodeImpl(self.Condition) ^
GetHashCodeImpl(self.ThenExp) * 87 ^
GetHashCodeImpl(self.FalseExp) * 33);
});
Add(typeof(Constant),
(ea, eb) =>
{
Constant a = (Constant)ea, b = (Constant)eb;
return(object.Equals(a.ToUInt64(), b.ToUInt64()));
},
obj =>
{
return(((Constant)obj).ToUInt64().GetHashCode());
});
Add(typeof(DepositBits),
(ea, eb) =>
{
DepositBits a = (DepositBits)ea, b = (DepositBits)eb;
return(a.BitPosition == b.BitPosition &&
EqualsImpl(a.Source, b.Source) && EqualsImpl(a.InsertedBits, b.InsertedBits));
},
obj =>
{
DepositBits dpb = (DepositBits)obj;
return(GetHashCodeImpl(dpb.Source) * 67 ^ GetHashCodeImpl(dpb.InsertedBits) * 43 ^ dpb.BitPosition);
});
Add(typeof(Dereference),
(ea, eb) =>
{
Dereference a = (Dereference)ea, b = (Dereference)eb;
return(EqualsImpl(a.Expression, b.Expression));
},
obj =>
{
return(GetHashCodeImpl(((Dereference)obj).Expression) * 129);
});
Add(
typeof(Identifier),
delegate(Expression x, Expression y)
{
return(((Identifier)x).Name == ((Identifier)y).Name);
},
delegate(Expression x)
{
return(((Identifier)x).Name.GetHashCode());
});
Add(typeof(MemoryAccess),
(ea, eb) =>
{
MemoryAccess a = (MemoryAccess)ea, b = (MemoryAccess)eb;
return(EqualsImpl(a.MemoryId, b.MemoryId) &&
a.DataType == b.DataType &&
EqualsImpl(a.EffectiveAddress, b.EffectiveAddress));
},
obj =>
{
MemoryAccess m = (MemoryAccess)obj;
return(GetHashCodeImpl(m.MemoryId) ^ m.DataType.GetHashCode() ^ 47 * GetHashCodeImpl(m.EffectiveAddress));
});
Add(typeof(MemoryIdentifier),
(ea, eb) =>
{
return(((MemoryIdentifier)ea).Name == ((Identifier)eb).Name);
},
delegate(Expression x)
{
return(((Identifier)x).Name.GetHashCode());
});
Add(typeof(MkSequence),
(ea, eb) =>
{
var a = (MkSequence)ea;
var b = (MkSequence)eb;
return(EqualsImpl(a.Head, b.Tail) && EqualsImpl(a.Head, b.Tail));
},
obj =>
{
var s = (MkSequence)obj;
return(obj.GetType().GetHashCode() ^ 37 * GetHashCodeImpl(s.Head) ^
GetHashCodeImpl(s.Tail));
});
Add(typeof(PhiFunction),
(ea, eb) =>
{
PhiFunction a = (PhiFunction)ea, b = (PhiFunction)eb;
if (a.Arguments.Length != b.Arguments.Length)
{
return(false);
}
for (int i = 0; i != a.Arguments.Length; ++i)
{
if (!EqualsImpl(a.Arguments[i], b.Arguments[i]))
{
return(false);
}
}
return(true);
},
obj =>
{
PhiFunction phi = (PhiFunction)obj;
int h = phi.Arguments.Length.GetHashCode();
for (int i = 0; i < phi.Arguments.Length; ++i)
{
h = h * 47 ^ GetHashCodeImpl(phi.Arguments[i]);
}
return(h);
});
Add(typeof(ProcedureConstant),
(ea, eb) =>
{
ProcedureConstant a = (ProcedureConstant)ea, b = (ProcedureConstant)eb;
return(a.Procedure == b.Procedure);
},
obj =>
{
return(((ProcedureConstant)obj).GetHashCode());
});
Add(typeof(SegmentedAccess),
(ea, eb) =>
{
SegmentedAccess a = (SegmentedAccess)ea, b = (SegmentedAccess)eb;
return
(EqualsImpl(a.BasePointer, b.BasePointer) &&
EqualsImpl(a.MemoryId, b.MemoryId) &&
a.DataType == b.DataType &&
EqualsImpl(a.EffectiveAddress, b.EffectiveAddress));
},
obj =>
{
SegmentedAccess m = (SegmentedAccess)obj;
return(GetHashCodeImpl(m.MemoryId) ^
m.DataType.GetHashCode() ^
47 * GetHashCodeImpl(m.EffectiveAddress) ^
GetHashCodeImpl(m.BasePointer));
});
Add(typeof(Slice),
(ea, eb) =>
{
Slice a = (Slice)ea, b = (Slice)eb;
return(EqualsImpl(a.Expression, b.Expression) &&
a.Offset == b.Offset && a.DataType == b.DataType);
},
obj =>
{
Slice s = (Slice)obj;
return(GetHashCodeImpl(s.Expression) ^ s.Offset * 47 ^ s.DataType.GetHashCode() * 23);
});
Add(
typeof(TestCondition),
delegate(Expression x, Expression y)
{
TestCondition tx = (TestCondition)x, ty = (TestCondition)y;
return(Equals(tx.ConditionCode, ty.ConditionCode) && EqualsImpl(tx.Expression, ty.Expression));
},
delegate(Expression x)
{
TestCondition tx = (TestCondition)x;
return(tx.ConditionCode.GetHashCode() ^ GetHashCodeImpl(tx.Expression) & 47);
});
Add(typeof(UnaryExpression),
delegate(Expression x, Expression y)
{
UnaryExpression a = (UnaryExpression)x, b = (UnaryExpression)y;
return(a.Operator == b.Operator &&
EqualsImpl(a.Expression, b.Expression));
},
obj =>
{
UnaryExpression u = (UnaryExpression)obj;
return(GetHashCodeImpl(u.Expression) ^ u.Operator.GetHashCode());
});
}
public DataType VisitBinaryExpression(BinaryExpression binExp)
{
DataType dtLeft = binExp.Left.Accept(this);
DataType dtRight = binExp.Right.Accept(this);
DataType dt;
if (binExp.Operator == Operator.IAdd)
{
var dtField = GetPossibleFieldType(dtLeft, dtRight, binExp.Right);
if (dtField != null)
{
dt = dtField;
}
else
{
dtField = GetPossibleFieldType(dtRight, dtLeft, binExp.Left);
if (dtField != null)
{
dt = dtField;
}
else
{
dt = PullSumDataType(dtLeft, dtRight);
}
}
}
else if (binExp.Operator == Operator.ISub)
{
dt = PullDiffDataType(dtLeft, dtRight);
}
else if (binExp.Operator == Operator.And ||
binExp.Operator == Operator.Or)
{
dt = PrimitiveType.CreateWord(dtLeft.BitSize).MaskDomain(Domain.Boolean | Domain.Integer | Domain.Character);
}
else if (
binExp.Operator == Operator.IMul ||
binExp.Operator == Operator.Shl ||
binExp.Operator == Operator.IMod)
{
dt = PrimitiveType.CreateWord(binExp.DataType.BitSize).MaskDomain(Domain.Integer);
}
else if (
binExp.Operator == Operator.SMul ||
binExp.Operator == Operator.SDiv)
{
dt = PrimitiveType.CreateWord(binExp.DataType.BitSize).MaskDomain(Domain.SignedInt);
}
else if (
binExp.Operator == Operator.UMul ||
binExp.Operator == Operator.UDiv)
{
dt = PrimitiveType.CreateWord(binExp.DataType.BitSize).MaskDomain(Domain.UnsignedInt);
}
else if (binExp.Operator is ConditionalOperator ||
binExp.Operator is CorOperator ||
binExp.Operator is CandOperator)
{
dt = PrimitiveType.Bool;
}
else if (
binExp.Operator == Operator.FAdd ||
binExp.Operator == Operator.FSub ||
binExp.Operator == Operator.FMul ||
binExp.Operator == Operator.FDiv)
{
dt = PrimitiveType.Create(Domain.Real, binExp.DataType.BitSize);
}
else if (binExp.Operator == Operator.Shr)
{
dt = PrimitiveType.Create(Domain.UnsignedInt, dtLeft.BitSize);
}
else if (binExp.Operator == Operator.Sar)
{
dt = PrimitiveType.Create(Domain.SignedInt, dtLeft.BitSize);
}
else if (binExp.Operator == Operator.Xor ||
binExp.Operator == Operator.Shl)
{
dt = PrimitiveType.Create(Domain.Integer, dtLeft.BitSize);
}
else
{
throw NYI(binExp);
}
return(RecordDataType(dt, binExp));
}
static ExpressionValueComparer()
{
Add(typeof(Application),
(ea, eb) =>
{
Application a = (Application)ea, b = (Application)eb;
if (a.Arguments.Length != b.Arguments.Length)
{
return(false);
}
if (!EqualsImpl(a.Procedure, b.Procedure))
{
return(false);
}
for (int i = 0; i != a.Arguments.Length; ++i)
{
if (!EqualsImpl(a.Arguments[i], b.Arguments[i]))
{
return(false);
}
}
return(true);
},
obj =>
{
Application a = (Application)obj;
int h = GetHashCodeImpl(a.Procedure);
h ^= a.Arguments.Length;
foreach (Expression e in a.Arguments)
{
h *= 47;
if (e != null)
{
h ^= GetHashCodeImpl(e);
}
}
return(h);
});
Add(typeof(BinaryExpression),
(ea, eb) =>
{
BinaryExpression a = (BinaryExpression)ea, b = (BinaryExpression)eb;
if (a.Operator != b.Operator)
{
return(false);
}
return(EqualsImpl(a.Left, b.Left) && EqualsImpl(a.Right, b.Right));
},
obj =>
{
BinaryExpression b = (BinaryExpression)obj;
return(b.Operator.GetHashCode() ^ GetHashCodeImpl(b.Left) ^ 47 * GetHashCodeImpl(b.Right));
});
Add(typeof(Cast),
(ea, eb) =>
{
Cast a = (Cast)ea, b = (Cast)eb;
return(EqualsImpl(a.Expression, b.Expression));
},
obj =>
{
Cast c = (Cast)obj;
return(GetHashCodeImpl(c.Expression) * 43);
});
Add(typeof(Conversion),
(ea, eb) =>
{
Conversion a = (Conversion)ea, b = (Conversion)eb;
return(EqualsImpl(a.Expression, b.Expression));
},
obj =>
{
Conversion c = (Conversion)obj;
return(GetHashCodeImpl(c.Expression) * 47);
});
Add(typeof(ConditionOf),
(ea, eb) =>
{
ConditionOf a = (ConditionOf)ea, b = (ConditionOf)eb;
return(EqualsImpl(a.Expression, b.Expression));
},
obj =>
{
return(0x10101010 * GetHashCodeImpl(((ConditionOf)obj).Expression));
});
Add(typeof(Address),
addrComp,
addrHash);
Add(typeof(Address16),
addrComp,
addrHash);
Add(typeof(Address32),
addrComp,
addrHash);
Add(typeof(Address64),
addrComp,
addrHash);
Add(typeof(ProtectedSegmentedAddress),
addrComp,
addrHash);
Add(typeof(RealSegmentedAddress),
addrComp,
addrHash);
Add(typeof(ConditionalExpression),
(ca, cb) =>
{
var a = (ConditionalExpression)ca;
var b = (ConditionalExpression)cb;
return(EqualsImpl(a.Condition, b.Condition) &&
EqualsImpl(a.ThenExp, b.ThenExp) &&
EqualsImpl(a.FalseExp, b.FalseExp));
},
obj =>
{
var self = (ConditionalExpression)obj;
return(GetHashCodeImpl(self.Condition) ^
GetHashCodeImpl(self.ThenExp) * 87 ^
GetHashCodeImpl(self.FalseExp) * 33);
});
Add(typeof(Constant),
(ea, eb) =>
{
Constant a = (Constant)ea, b = (Constant)eb;
if (a.IsReal)
{
if (b.IsReal)
{
return(a.ToReal64() == b.ToReal64());
}
else
{
return(false);
}
}
return(object.Equals(a.ToUInt64(), b.ToUInt64()));
},
obj =>
{
return(((Constant)obj).ToUInt64().GetHashCode());
});
Add(typeof(Dereference),
(ea, eb) =>
{
Dereference a = (Dereference)ea, b = (Dereference)eb;
return(EqualsImpl(a.Expression, b.Expression));
},
obj =>
{
return(GetHashCodeImpl(((Dereference)obj).Expression) * 129);
});
Add(typeof(FieldAccess),
(a, b) =>
{
var fa = (FieldAccess)a;
var fb = (FieldAccess)b;
return(EqualsImpl(fa.Structure, fb.Structure) &&
fa.Field == fb.Field);
},
obj =>
{
var f = (FieldAccess)obj;
return(GetHashCodeImpl(f.Structure) * 23 ^
f.Field.Name.GetHashCode());
});
Add(
typeof(Identifier),
delegate(Expression x, Expression y)
{
return(((Identifier)x).Name == ((Identifier)y).Name);
},
delegate(Expression x)
{
return(((Identifier)x).Name.GetHashCode());
});
Add(typeof(MemberPointerSelector),
(a, b) =>
{
var mpsA = (MemberPointerSelector)a;
var mpsB = (MemberPointerSelector)b;
return
(EqualsImpl(mpsA.BasePointer, mpsB.BasePointer) &&
EqualsImpl(mpsA.MemberPointer, mpsB.MemberPointer));
},
obj =>
{
var mps = (MemberPointerSelector)obj;
return(GetHashCodeImpl(mps.BasePointer) * 29 ^
GetHashCodeImpl(mps.MemberPointer));
});
Add(typeof(MemoryAccess),
(ea, eb) =>
{
MemoryAccess a = (MemoryAccess)ea, b = (MemoryAccess)eb;
return(EqualsImpl(a.MemoryId, b.MemoryId) &&
a.DataType == b.DataType &&
EqualsImpl(a.EffectiveAddress, b.EffectiveAddress));
},
obj =>
{
MemoryAccess m = (MemoryAccess)obj;
return(GetHashCodeImpl(m.MemoryId) ^ m.DataType.GetHashCode() ^ 47 * GetHashCodeImpl(m.EffectiveAddress));
});
Add(typeof(MemoryIdentifier),
(ea, eb) =>
{
return(((MemoryIdentifier)ea).Name == ((Identifier)eb).Name);
},
delegate(Expression x)
{
return(((Identifier)x).Name.GetHashCode());
});
Add(typeof(MkSequence),
(ea, eb) =>
{
var a = (MkSequence)ea;
var b = (MkSequence)eb;
if (a.Expressions.Length != b.Expressions.Length)
{
return(false);
}
for (int i = 0; i < a.Expressions.Length; ++i)
{
if (!EqualsImpl(a.Expressions[i], b.Expressions[i]))
{
return(false);
}
}
return(true);
},
obj =>
{
var s = (MkSequence)obj;
int h = obj.GetType().GetHashCode();
foreach (var e in s.Expressions)
{
h = 32 * h ^ GetHashCodeImpl(e);
}
return(h);
});
Add(typeof(OutArgument),
(ea, eb) =>
{
var a = (OutArgument)ea;
var b = (OutArgument)eb;
return(EqualsImpl(a.Expression, b.Expression));
},
obj =>
{
var oa = (OutArgument)obj;
return(GetHashCodeImpl(oa.Expression));
});
Add(typeof(PhiFunction),
(ea, eb) =>
{
PhiFunction a = (PhiFunction)ea, b = (PhiFunction)eb;
if (a.Arguments.Length != b.Arguments.Length)
{
return(false);
}
for (int i = 0; i < a.Arguments.Length; ++i)
{
if (!EqualsImpl(a.Arguments[i].Value, b.Arguments[i].Value))
{
return(false);
}
}
return(true);
},
obj =>
{
PhiFunction phi = (PhiFunction)obj;
int h = phi.Arguments.Length.GetHashCode();
foreach (var arg in phi.Arguments)
{
// Order of parameters cannot be guaranteed,
// so we must form the hash code in an order-
// independent fashion.
h ^= GetHashCodeImpl(arg.Value);
}
return(h);
});
Add(typeof(ProcedureConstant),
(ea, eb) =>
{
ProcedureConstant a = (ProcedureConstant)ea, b = (ProcedureConstant)eb;
return(a.Procedure == b.Procedure);
},
obj =>
{
return(((ProcedureConstant)obj).GetHashCode());
});
Add(typeof(ScopeResolution),
(sa, sb) =>
{
var a = (ScopeResolution)sa;
var b = (ScopeResolution)sb;
return(a.DataType.ToString() == b.DataType.ToString());
},
obj =>
{
return(((ScopeResolution)obj).DataType.ToString().GetHashCode());
});
Add(typeof(SegmentedAccess),
(ea, eb) =>
{
SegmentedAccess a = (SegmentedAccess)ea, b = (SegmentedAccess)eb;
return
(EqualsImpl(a.BasePointer, b.BasePointer) &&
EqualsImpl(a.MemoryId, b.MemoryId) &&
a.DataType == b.DataType &&
EqualsImpl(a.EffectiveAddress, b.EffectiveAddress));
},
obj =>
{
SegmentedAccess m = (SegmentedAccess)obj;
return(GetHashCodeImpl(m.MemoryId) ^
m.DataType.GetHashCode() ^
47 * GetHashCodeImpl(m.EffectiveAddress) ^
GetHashCodeImpl(m.BasePointer));
});
Add(typeof(ArrayAccess),
(ea, eb) =>
{
ArrayAccess a = (ArrayAccess)ea, b = (ArrayAccess)eb;
return
(EqualsImpl(a.Array, b.Array) &&
EqualsImpl(a.Index, b.Index) &&
a.DataType == b.DataType);
},
obj =>
{
ArrayAccess m = (ArrayAccess)obj;
return(GetHashCodeImpl(m.Array) ^
m.DataType.GetHashCode() ^
47 * GetHashCodeImpl(m.Index));
});
Add(typeof(Slice),
(ea, eb) =>
{
Slice a = (Slice)ea, b = (Slice)eb;
return(EqualsImpl(a.Expression, b.Expression) &&
a.Offset == b.Offset && a.DataType == b.DataType);
},
obj =>
{
Slice s = (Slice)obj;
return(GetHashCodeImpl(s.Expression) ^ s.Offset * 47 ^ s.DataType.GetHashCode() * 23);
});
Add(
typeof(TestCondition),
delegate(Expression x, Expression y)
{
TestCondition tx = (TestCondition)x, ty = (TestCondition)y;
return(Equals(tx.ConditionCode, ty.ConditionCode) && EqualsImpl(tx.Expression, ty.Expression));
},
delegate(Expression x)
{
TestCondition tx = (TestCondition)x;
return(tx.ConditionCode.GetHashCode() ^ GetHashCodeImpl(tx.Expression) & 47);
});
Add(typeof(UnaryExpression),
delegate(Expression x, Expression y)
{
UnaryExpression a = (UnaryExpression)x, b = (UnaryExpression)y;
return(a.Operator == b.Operator &&
EqualsImpl(a.Expression, b.Expression));
},
obj =>
{
UnaryExpression u = (UnaryExpression)obj;
return(GetHashCodeImpl(u.Expression) ^ u.Operator.GetHashCode());
});
}