public void SimpleTest3()
{
BasicBlock.clearIndexCounter();
var cfg = GenerateCFG(
@"{
a = 5;
b = c;
if (a < b)
{
goto 2;
}
else
{
2: a = c;
}
}");
/*
* 4 блокa
* 0 {a = 5; b = c; #t0 = a < b; goto #L0}
* 1 {2: a = c; goto #L1}
* 2 {#L0: goto 2}
* 3 {#L1}
*/
var dominators = (new DominatorsTree(cfg)).GenDominatorsTree();
Assert.IsTrue(ReducibleGraph.IsReducible(cfg, dominators));
}
public void SimpleTest2()
{
BasicBlock.clearIndexCounter();
var cfg = GenerateCFG(
@"{
a = 5;
1:
b = c;
2:
goto 2;
goto 1;
d = a;
goto 1;
}");
/*
* 5 блоков
* 0 {a = 5}
* 1 {1: b = c}
* 2 {2: goto 2}
* 3 {goto 1}
* 4 {d = a; goto 1}
*/
var dominators = (new DominatorsTree(cfg)).GenDominatorsTree();
Assert.IsTrue(ReducibleGraph.IsReducible(cfg, dominators));
}
public void Test4()
{
BasicBlock.clearIndexCounter();
var cfg = GenerateCFG(
@"{
n = 4;
if b
{
1: a = 1;
}
else
{
b = 5;
}
s = 8;
goto 1;
b = 2;
}");
/*
* 5 блоков
* 0 {n = 4; if b goto #L0}
* 1 {b = 5; goto #L1}
* 2 {#L0}
* 3 {1: a = 1}
* 4 {#L1: s = 8; goto 1}
* 5 {b = 2}
*/
var dominators = (new DominatorsTree(cfg)).GenDominatorsTree();
Assert.IsFalse(ReducibleGraph.IsReducible(cfg, dominators));
}
public void SimpleTest1()
{
BasicBlock.clearIndexCounter();
var cfg = GenerateCFG(
@"{
goto 1;
a = 5;
1:
while (a == 5)
{
x = 7;
}
if (z > 99)
{
f = 5;
}
else
{
b = 1;
}
a = 5 == 2;
}");
/*
* 10 блоков
* 0 {goto 1}
* 1 {a = 5}
* 2 {1}
* 3 {#L0 #t0 = a == 5; if #t0 goto #L1}
* 4 {goto #L2}
* 5 {#L1 x = 7; goto #L0}
* 6 {#L2 #t1 = z > 99; if #t1 goto #L3}
* 7 {b = 1; goto #L4}
* 8 {#L3 f = 5}
* 9 {#L4 #t2 = 5 == 2; a = #t2}
*/
var dominators = (new DominatorsTree(cfg)).GenDominatorsTree();
Assert.IsTrue(ReducibleGraph.IsReducible(cfg, dominators));
}
