public void Test_StaticFlow_IsLoopBranchPoint_1()
{
string programStr =
" mov rax, 10 ;line 0 " + Environment.NewLine +
"label1: ;line 1 " + Environment.NewLine +
" mov rbx, 1 ;line 2 " + Environment.NewLine +
" dec rax ;line 3 " + Environment.NewLine +
" jnz label1 ;line 4 " + Environment.NewLine +
" mov rcx, 1 ;line 5 ";
StaticFlow flow = new StaticFlow(new Tools());
flow.Update(programStr);
if (logToDisplay)
{
Console.WriteLine(flow);
}
{
var(IsLoopBranchPoint, BranchToExitLoop) = flow.Is_Loop_Branch_Point(0);
Assert.IsFalse(IsLoopBranchPoint);
}
{
var(IsLoopBranchPoint, BranchToExitLoop) = flow.Is_Loop_Branch_Point(1);
Assert.IsFalse(IsLoopBranchPoint);
}
{
var(IsLoopBranchPoint, BranchToExitLoop) = flow.Is_Loop_Branch_Point(2);
Assert.IsFalse(IsLoopBranchPoint);
}
{
var(IsLoopBranchPoint, BranchToExitLoop) = flow.Is_Loop_Branch_Point(3);
Assert.IsFalse(IsLoopBranchPoint);
}
{
var(IsLoopBranchPoint, BranchToExitLoop) = flow.Is_Loop_Branch_Point(4);
Assert.IsTrue(IsLoopBranchPoint);
Assert.IsFalse(BranchToExitLoop);
}
{
var(IsLoopBranchPoint, BranchToExitLoop) = flow.Is_Loop_Branch_Point(5);
Assert.IsFalse(IsLoopBranchPoint);
}
}
