コード例 #1
0
        bool ExpressionVisitor <bool> .VisitTestCondition(TestCondition tc)
        {
            var tp = p as TestCondition;

            if (tp == null)
            {
                return(false);
            }
            return(tp.ConditionCode == tc.ConditionCode &&
                   Match(tp.Expression, tc.Expression));
        }
コード例 #2
0
ファイル: ExpressionVisitor.cs プロジェクト: tgiphil/reko
 public void VisitTestCondition(TestCondition tc)
 {
     tc.Expression.Accept(this);
 }
コード例 #3
0
 public Expression VisitTestCondition(TestCondition tc)
 {
     throw new NotImplementedException();
 }
コード例 #4
0
        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;
                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(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(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(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(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());
            });
        }
コード例 #5
0
 public DataType VisitTestCondition(TestCondition tc)
 {
     throw new NotImplementedException();
 }
コード例 #6
0
        static ExpressionValueComparer()
        {
            Add(typeof(Application),
                delegate(Expression ea, Expression 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);
            },
                delegate(Expression 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),
                delegate(Expression ea, Expression 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));
            },
                delegate(Expression obj)
            {
                BinaryExpression b = (BinaryExpression)obj;
                return(b.Operator.GetHashCode() ^ GetHashCodeImpl(b.Left) ^ 47 * GetHashCodeImpl(b.Right));
            });
            Add(typeof(Cast),
                delegate(Expression ea, Expression eb)
            {
                Cast a = (Cast)ea, b = (Cast)eb;
                return(EqualsImpl(a.Expression, b.Expression));
            },
                delegate(Expression obj)
            {
                Cast c = (Cast)obj;
                return(GetHashCodeImpl(c.Expression) * 43);
            });
            Add(typeof(ConditionOf),
                delegate(Expression ea, Expression eb)
            {
                ConditionOf a = (ConditionOf)ea, b = (ConditionOf)eb;
                return(EqualsImpl(a.Expression, b.Expression));
            },
                delegate(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(Constant),
                delegate(Expression ea, Expression eb)
            {
                Constant a = (Constant)ea, b = (Constant)eb;
                return(object.Equals(a.ToUInt64(), b.ToUInt64()));
            },
                delegate(Expression obj)
            {
                return(((Constant)obj).ToUInt64().GetHashCode());
            });

            Add(typeof(DepositBits),
                delegate(Expression ea, Expression eb)
            {
                DepositBits a = (DepositBits)ea, b = (DepositBits)eb;
                return(a.BitPosition == b.BitPosition &&
                       EqualsImpl(a.Source, b.Source) && EqualsImpl(a.InsertedBits, b.InsertedBits));
            },
                delegate(Expression obj)
            {
                DepositBits dpb = (DepositBits)obj;
                return(GetHashCodeImpl(dpb.Source) * 67 ^ GetHashCodeImpl(dpb.InsertedBits) * 43 ^ dpb.BitPosition);
            });

            Add(typeof(Dereference),
                delegate(Expression ea, Expression eb)
            {
                Dereference a = (Dereference)ea, b = (Dereference)eb;
                return(EqualsImpl(a.Expression, b.Expression));
            },
                delegate(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),
                delegate(Expression ea, Expression eb)
            {
                MemoryAccess a = (MemoryAccess)ea, b = (MemoryAccess)eb;
                return(EqualsImpl(a.MemoryId, b.MemoryId) &&
                       a.DataType == b.DataType &&
                       EqualsImpl(a.EffectiveAddress, b.EffectiveAddress));
            },
                delegate(Expression obj)
            {
                MemoryAccess m = (MemoryAccess)obj;
                return(GetHashCodeImpl(m.MemoryId) ^ m.DataType.GetHashCode() ^ 47 * GetHashCodeImpl(m.EffectiveAddress));
            });

            Add(typeof(MemoryIdentifier),
                delegate(Expression ea, Expression eb)
            {
                return(((MemoryIdentifier)ea).Name == ((Identifier)eb).Name);
            },
                delegate(Expression x)
            {
                return(((Identifier)x).Name.GetHashCode());
            });
            Add(typeof(MkSequence),
                delegate(Expression ea, Expression eb)
            {
                var a = (MkSequence)ea;
                var b = (MkSequence)eb;
                return(EqualsImpl(a.Head, b.Tail) && EqualsImpl(a.Head, b.Tail));
            },
                delegate(Expression obj)
            {
                var s = (MkSequence)obj;
                return(obj.GetType().GetHashCode() ^ 37 * GetHashCodeImpl(s.Head) ^
                       GetHashCodeImpl(s.Tail));
            });

            Add(typeof(PhiFunction),
                delegate(Expression ea, Expression 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);
            },
                delegate(Expression 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),
                delegate(Expression ea, Expression eb)
            {
                ProcedureConstant a = (ProcedureConstant)ea, b = (ProcedureConstant)eb;
                return(a.Procedure == b.Procedure);
            },
                delegate(Expression obj)
            {
                return(((ProcedureConstant)obj).GetHashCode());
            });

            Add(typeof(SegmentedAccess),
                delegate(Expression ea, Expression 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));
            },
                delegate(Expression obj)
            {
                SegmentedAccess m = (SegmentedAccess)obj;
                return(GetHashCodeImpl(m.MemoryId) ^
                       m.DataType.GetHashCode() ^
                       47 * GetHashCodeImpl(m.EffectiveAddress) ^
                       GetHashCodeImpl(m.BasePointer));
            });

            Add(typeof(Slice),
                delegate(Expression ea, Expression eb)
            {
                Slice a = (Slice)ea, b = (Slice)eb;
                return(EqualsImpl(a.Expression, b.Expression) &&
                       a.Offset == b.Offset && a.DataType == b.DataType);
            },
                delegate(Expression 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));
            },
                delegate(Expression obj)
            {
                UnaryExpression u = (UnaryExpression)obj;
                return(GetHashCodeImpl(u.Expression) ^ u.Operator.GetHashCode());
            });
        }
コード例 #7
0
 public DataType VisitTestCondition(TestCondition tc)
 {
     tc.Expression.Accept(this);
     return(RecordDataType(PrimitiveType.Bool, tc));
 }