public void Test_StaticFlow_Forward_2()
{
// test StaticFlow with removal of empty lines
string programStr =
" jz label1 ;line 0 " + Environment.NewLine +
" mov rax, 10 ;line 1 " + Environment.NewLine +
" jmp label2 ;line 2 " + Environment.NewLine +
"label1: ;line 3 " + Environment.NewLine +
" mov rax, 20 ;line 4 " + Environment.NewLine +
"label2: ;line 5 " + Environment.NewLine +
" mov rbx, rax ;line 6 " + Environment.NewLine +
" jz label3 ;line 7 " + Environment.NewLine +
"label3: ;line 8 ";
StaticFlow sFlow = new StaticFlow(new Tools());
bool removeEmptyLines = true;
sFlow.Update(programStr, removeEmptyLines);
if (logToDisplay)
{
Console.WriteLine(sFlow);
}
#region Retrieve Data
var n0 = sFlow.Get_Next_LineNumber(0);
var n1 = sFlow.Get_Next_LineNumber(1);
var n2 = sFlow.Get_Next_LineNumber(2);
var n3 = sFlow.Get_Next_LineNumber(3);
var n4 = sFlow.Get_Next_LineNumber(4);
var n5 = sFlow.Get_Next_LineNumber(5);
var n6 = sFlow.Get_Next_LineNumber(6);
var n7 = sFlow.Get_Next_LineNumber(7);
var n8 = sFlow.Get_Next_LineNumber(8);
var n9 = sFlow.Get_Next_LineNumber(9);
// var n10 = sFlow.Get_Next_LineNumber(10);
Console.WriteLine("n0 = " + string.Join(",", n0));
Console.WriteLine("n1 = " + string.Join(",", n1));
Console.WriteLine("n2 = " + string.Join(",", n2));
Console.WriteLine("n3 = " + string.Join(",", n3));
Console.WriteLine("n4 = " + string.Join(",", n4));
Console.WriteLine("n5 = " + string.Join(",", n5));
Console.WriteLine("n6 = " + string.Join(",", n6));
Console.WriteLine("n7 = " + string.Join(",", n7));
Console.WriteLine("n8 = " + string.Join(",", n8));
Console.WriteLine("n9 = " + string.Join(",", n9));
// Console.WriteLine("n10 = " + string.Join(",", n10));
var p0 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(0));
var p1 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(1));
var p2 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(2));
var p3 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(3));
var p4 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(4));
var p5 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(5));
var p6 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(6));
var p7 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(7));
var p8 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(8));
var p9 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(9));
//var p10 = new List<(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(10));
Console.WriteLine("p0 = " + string.Join(",", p0));
Console.WriteLine("p1 = " + string.Join(",", p1));
Console.WriteLine("p2 = " + string.Join(",", p2));
Console.WriteLine("p3 = " + string.Join(",", p3));
Console.WriteLine("p4 = " + string.Join(",", p4));
Console.WriteLine("p5 = " + string.Join(",", p5));
Console.WriteLine("p6 = " + string.Join(",", p6));
Console.WriteLine("p7 = " + string.Join(",", p7));
Console.WriteLine("p8 = " + string.Join(",", p8));
Console.WriteLine("p9 = " + string.Join(",", p9));
//Console.WriteLine("p10 = " + string.Join(",", p10));
#endregion
#region Test Next
Assert.AreEqual(9, sFlow.NLines);
Assert.AreEqual((1, 4), n0);
Assert.AreEqual((2, -1), n1);
Assert.AreEqual((-1, 6), n2);
Assert.AreEqual((-1, -1), n3);
Assert.AreEqual((6, -1), n4);
Assert.AreEqual((-1, -1), n5);
Assert.AreEqual((7, -1), n6);
Assert.AreEqual((9, 9), n7);
Assert.AreEqual((-1, -1), n8);
Assert.AreEqual((-1, -1), n9);
//Assert.AreEqual((-1, -1), n10);
#endregion
#region Test Previous
Assert.AreEqual(0, p0.Count);
Assert.AreEqual(1, p1.Count);
Assert.AreEqual(1, p2.Count);
Assert.AreEqual(0, p3.Count);
Assert.AreEqual(1, p4.Count);
Assert.AreEqual(0, p5.Count);
Assert.AreEqual(2, p6.Count);
Assert.AreEqual(1, p7.Count);
Assert.AreEqual(0, p8.Count);
Assert.AreEqual(2, p9.Count);
//Assert.AreEqual(2, p10.Count);
Assert.AreEqual((0, false), p1[0]);
Assert.AreEqual((1, false), p2[0]);
Assert.AreEqual((0, true), p4[0]);
Assert.AreEqual((2, true), p6[0]);
Assert.AreEqual((4, false), p6[1]);
Assert.AreEqual((6, false), p7[0]);
//Assert.AreEqual((7, false), p10[0]);
//Assert.AreEqual((7, true), p10[1]);
#endregion
}
public void Test_StaticFlow_Forward_1()
{
// test StaticFlow with no removal of empty lines
string programStr =
" jz label1 ;line 0 " + Environment.NewLine +
" mov rax, 10 ;line 1 " + Environment.NewLine +
" jmp label2 ;line 2 " + Environment.NewLine +
"label1: ;line 3 " + Environment.NewLine +
" mov rax, 20 ;line 4 " + Environment.NewLine +
"label2: ;line 5 " + Environment.NewLine +
" mov rbx, rax ;line 6 " + Environment.NewLine +
" jz label3 ;line 7 " + Environment.NewLine +
"label3: ;line 8 ";
StaticFlow sFlow = new StaticFlow(new Tools());
bool removeEmptyLines = false;
sFlow.Update(programStr, removeEmptyLines);
if (logToDisplay)
{
Console.WriteLine(sFlow);
}
Assert.AreEqual(9, sFlow.NLines);
Assert.AreEqual((1, 3), sFlow.Get_Next_LineNumber(0));
Assert.AreEqual((2, -1), sFlow.Get_Next_LineNumber(1));
Assert.AreEqual((-1, 5), sFlow.Get_Next_LineNumber(2));
Assert.AreEqual((4, -1), sFlow.Get_Next_LineNumber(3));
Assert.AreEqual((5, -1), sFlow.Get_Next_LineNumber(4));
Assert.AreEqual((6, -1), sFlow.Get_Next_LineNumber(5));
Assert.AreEqual((7, -1), sFlow.Get_Next_LineNumber(6));
Assert.AreEqual((8, 8), sFlow.Get_Next_LineNumber(7));
Assert.AreEqual((9, -1), sFlow.Get_Next_LineNumber(8));
var p0 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(0));
var p1 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(1));
var p2 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(2));
var p3 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(3));
var p4 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(4));
var p5 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(5));
var p6 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(6));
var p7 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(7));
var p8 = new List <(int LineNumber, bool IsBranch)>(sFlow.Get_Prev_LineNumber(8));
Assert.AreEqual(0, p0.Count);
Assert.AreEqual(1, p1.Count);
Assert.AreEqual(1, p2.Count);
Assert.AreEqual(1, p3.Count);
Assert.AreEqual(1, p4.Count);
Assert.AreEqual(2, p5.Count);
Assert.AreEqual(1, p6.Count);
Assert.AreEqual(1, p7.Count);
Assert.AreEqual(2, p8.Count);
Assert.AreEqual((0, false), p1[0]);
Assert.AreEqual((1, false), p2[0]);
Assert.AreEqual((0, true), p3[0]);
Assert.AreEqual((3, false), p4[0]);
Assert.AreEqual((2, true), p5[0]);
Assert.AreEqual((4, false), p5[1]);
Assert.AreEqual((5, false), p6[0]);
Assert.AreEqual((6, false), p7[0]);
Assert.AreEqual((7, false), p8[0]);
Assert.AreEqual((7, true), p8[1]);
}
