public void ForLoopRenameIgnoreDeclaredVariables()
{
var c1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s1 = new StatementForLoop(c1, new ValSimple("5", typeof(int)));
var a1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var v1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
s1.Add(new StatementAssign(a1, new ValSimple("10", typeof(int))));
s1.Add(new StatementAssign(a1, new ValSimple($"{a1.RawValue}+{v1.RawValue}", typeof(int), new IDeclaredParameter[] { a1, v1 })));
s1.Add(v1);
var c2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s2 = new StatementForLoop(c2, new ValSimple("5", typeof(int)));
var a2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var v2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
s2.Add(new StatementAssign(a2, new ValSimple("10", typeof(int))));
s2.Add(new StatementAssign(a2, new ValSimple($"{a2.RawValue}+{v2.RawValue}", typeof(int), new IDeclaredParameter[] { a2, v2 })));
s2.Add(v2);
var r = s1.RequiredForEquivalence(s2);
// Since only loop variable matters here, we don't care, and we can do the rename.
Assert.IsTrue(r.Item1, "Should be equivalent");
var renames = r.Item2.ToArray();
Assert.AreEqual(1, renames.Length, "# of renames");
}
public void ForLoopEmptyDifferentLimit()
{
var c1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s1 = new StatementForLoop(c1, new ValSimple("5", typeof(int)));
var c2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s2 = new StatementForLoop(c1, new ValSimple("6", typeof(int)));
var r = s1.RequiredForEquivalence(s2);
// Since only loop variable matters here, we don't care, and we can do the rename.
Assert.IsFalse(r.Item1, "Can't be equivalent");
}
public void ForLoopEmptySameLimit()
{
var c1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s1 = new StatementForLoop(c1, new ValSimple("5", typeof(int)));
var c2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s2 = new StatementForLoop(c1, new ValSimple("5", typeof(int)));
var r = s1.RequiredForEquivalence(s2);
// Since only loop variable matters here, we don't care, and we can do the rename.
Assert.IsTrue(r.Item1, "Are Equivalent");
Assert.AreEqual(0, r.Item2.Count(), "# of renames");
}
public void ForLoopGivenRenameInLoopLimit()
{
var c1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var l1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s1 = new StatementForLoop(c1, l1);
var a1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var c2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var l2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s2 = new StatementForLoop(c2, l2);
var r = s1.RequiredForEquivalence(s2, new Tuple <string, string>[] { new Tuple <string, string>(l2.RawValue, l1.RawValue) });
// Since only loop variable matters here, we don't care, and we can do the rename.
Assert.IsTrue(r.Item1, "Should be equivalent");
var renames = r.Item2.ToArray();
Assert.AreEqual(0, renames.Length, "# of renames");
}
public void ForLoopGivenRenameRequestStatements()
{
var c1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s1 = new StatementForLoop(c1, new ValSimple("5", typeof(int)));
var a1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
s1.Add(new StatementAssign(a1, new ValSimple("10", typeof(int))));
var c2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s2 = new StatementForLoop(c2, new ValSimple("5", typeof(int)));
var a2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
s2.Add(new StatementAssign(a2, new ValSimple("10", typeof(int))));
var r = s1.RequiredForEquivalence(s2, new Tuple <string, string>[] { new Tuple <string, string>(a2.RawValue, a1.RawValue) });
// Since only loop variable matters here, we don't care, and we can do the rename.
Assert.IsTrue(r.Item1, "Should be equivalent");
var renames = r.Item2.ToArray();
Assert.AreEqual(0, renames.Length, "# of renames");
}
public void ForLoopRenameTwiceAsSource()
{
var c1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s1 = new StatementForLoop(c1, new ValSimple("5", typeof(int)));
var a1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var v1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
s1.Add(new StatementAssign(a1, new ValSimple("10", typeof(int))));
s1.Add(new StatementAssign(a1, new ValSimple($"{a1.RawValue}+{a1.RawValue}", typeof(int), new IDeclaredParameter[] { a1 })));
var c2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s2 = new StatementForLoop(c1, new ValSimple("6", typeof(int)));
var a2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var v2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
s2.Add(new StatementAssign(a2, new ValSimple("10", typeof(int))));
s2.Add(new StatementAssign(a2, new ValSimple($"{a2.RawValue}+{v2.RawValue}", typeof(int), new IDeclaredParameter[] { a2, v2 })));
var r = s1.RequiredForEquivalence(s2);
// Since only loop variable matters here, we don't care, and we can do the rename.
Assert.IsFalse(r.Item1, "Should be equivalent");
}
public void ForLoopRenameTwiceAsSource()
{
var c1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s1 = new StatementForLoop(c1, new ValSimple("5", typeof(int)));
var a1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var v1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
s1.Add(new StatementAssign(a1, new ValSimple("10", typeof(int))));
s1.Add(new StatementAssign(a1, new ValSimple($"{a1.RawValue}+{a1.RawValue}", typeof(int), new IDeclaredParameter[] { a1 })));
var c2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s2 = new StatementForLoop(c1, new ValSimple("6", typeof(int)));
var a2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var v2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
s2.Add(new StatementAssign(a2, new ValSimple("10", typeof(int))));
s2.Add(new StatementAssign(a2, new ValSimple($"{a2.RawValue}+{v2.RawValue}", typeof(int), new IDeclaredParameter[] { a2, v2 })));
var r = s1.RequiredForEquivalence(s2);
// Since only loop variable matters here, we don't care, and we can do the rename.
Assert.IsFalse(r.Item1, "Should be equivalent");
}
public void ForLoopRenameIgnoreDeclaredVariables()
{
var c1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s1 = new StatementForLoop(c1, new ValSimple("5", typeof(int)));
var a1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var v1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
s1.Add(new StatementAssign(a1, new ValSimple("10", typeof(int))));
s1.Add(new StatementAssign(a1, new ValSimple($"{a1.RawValue}+{v1.RawValue}", typeof(int), new IDeclaredParameter[] { a1, v1 })));
s1.Add(v1);
var c2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s2 = new StatementForLoop(c2, new ValSimple("5", typeof(int)));
var a2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var v2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
s2.Add(new StatementAssign(a2, new ValSimple("10", typeof(int))));
s2.Add(new StatementAssign(a2, new ValSimple($"{a2.RawValue}+{v2.RawValue}", typeof(int), new IDeclaredParameter[] { a2, v2 })));
s2.Add(v2);
var r = s1.RequiredForEquivalence(s2);
// Since only loop variable matters here, we don't care, and we can do the rename.
Assert.IsTrue(r.Item1, "Should be equivalent");
var renames = r.Item2.ToArray();
Assert.AreEqual(1, renames.Length, "# of renames");
}
public void ForLoopGivenRenameInLoopLimit()
{
var c1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var l1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s1 = new StatementForLoop(c1, l1);
var a1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var c2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var l2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s2 = new StatementForLoop(c2, l2);
var r = s1.RequiredForEquivalence(s2, new Tuple<string, string>[] { new Tuple<string, string>(l2.RawValue, l1.RawValue) });
// Since only loop variable matters here, we don't care, and we can do the rename.
Assert.IsTrue(r.Item1, "Should be equivalent");
var renames = r.Item2.ToArray();
Assert.AreEqual(0, renames.Length, "# of renames");
}
public void ForLoopGivenRenameRequestStatements()
{
var c1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s1 = new StatementForLoop(c1, new ValSimple("5", typeof(int)));
var a1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
s1.Add(new StatementAssign(a1, new ValSimple("10", typeof(int))));
var c2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s2 = new StatementForLoop(c2, new ValSimple("5", typeof(int)));
var a2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
s2.Add(new StatementAssign(a2, new ValSimple("10", typeof(int))));
var r = s1.RequiredForEquivalence(s2, new Tuple<string, string>[] { new Tuple<string, string>(a2.RawValue, a1.RawValue) });
// Since only loop variable matters here, we don't care, and we can do the rename.
Assert.IsTrue(r.Item1, "Should be equivalent");
var renames = r.Item2.ToArray();
Assert.AreEqual(0, renames.Length, "# of renames");
}
public void ForLoopDifferentNumberOfStatements()
{
var c1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s1 = new StatementForLoop(c1, new ValSimple("5", typeof(int)));
var a1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
s1.Add(new StatementAssign(a1, new ValSimple("10", typeof(int))));
var c2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s2 = new StatementForLoop(c1, new ValSimple("6", typeof(int)));
var r = s1.RequiredForEquivalence(s2);
// Since only loop variable matters here, we don't care, and we can do the rename.
Assert.IsFalse(r.Item1, "Can't be equivalent");
}
public void ForLoopEmptySameLimit()
{
var c1 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s1 = new StatementForLoop(c1, new ValSimple("5", typeof(int)));
var c2 = DeclarableParameter.CreateDeclarableParameterExpression(typeof(int));
var s2 = new StatementForLoop(c1, new ValSimple("5", typeof(int)));
var r = s1.RequiredForEquivalence(s2);
// Since only loop variable matters here, we don't care, and we can do the rename.
Assert.IsTrue(r.Item1, "Are Equivalent");
Assert.AreEqual(0, r.Item2.Count(), "# of renames");
}