public void TestEmpty()
{
var root = new Program(
new Core.Lexer.Range(new StringLocation(0), new StringLocation(1)),
new List <StructDeclaration>(),
new List <FunctionDeclaration>());
var graph = new Dictionary <FunctionDeclaration, IReadOnlyCollection <VariableDeclaration> >();
var resultExpected = new Dictionary <Node, IReadOnlyCollection <VariableDeclaration> >()
{
{ root, new List <VariableDeclaration>() }
};
var callGraphGenerator = new CallGraphGenerator();
var nodeInfoExtractors = new Dictionary <VariableInfo, INodeInfoExtractor>
{
[VariableInfo.Access] = new AccessInfoExtractor(),
[VariableInfo.Modifications] = new ModifyInfoExtractor(),
};
var generator = new VariableAccessGraphGenerator(callGraphGenerator, nodeInfoExtractors);
var resultActual = generator.GetVariableInfoPerAstNode(root);
MappingEquivalence.AssertAreEquivalentCollection(resultExpected, resultActual.Accesses);
MappingEquivalence.AssertAreEquivalentCollection(resultExpected, resultActual.Modifies);
}
public void TestSimple()
{
var state0 = GetMockState();
var state1 = GetMockState();
var state2 = GetMockState();
var state3 = GetMockState();
var first = new Dictionary <string, IReadOnlyCollection <DfaAndState <string> > >
{
{ "A", new List <DfaAndState <string> > {
state0, state1
} },
{ "B", new List <DfaAndState <string> > {
state1
} }
};
var follow = new Dictionary <string, IReadOnlyCollection <DfaAndState <string> > >
{
{ "A", new List <DfaAndState <string> > {
state2
} },
{ "C", new List <DfaAndState <string> > {
state1
} },
{ "D", new List <DfaAndState <string> > {
state3
} }
};
var nullables = new List <DfaAndState <string> > {
state2, state3
};
var firstPlusExpected = new Dictionary <string, IReadOnlyCollection <DfaAndState <string> > >
{
{ "A", new List <DfaAndState <string> > {
state0, state1, state2
} },
{ "B", new List <DfaAndState <string> > {
state1
} },
{ "D", new List <DfaAndState <string> > {
state3
} }
};
var firstPlus = FirstPlusHelper <string> .GetFirstPlusSymbols(first, follow, nullables);
MappingEquivalence.AssertAreEquivalentCollection(firstPlusExpected, firstPlus);
}
private void CheckAnswer(
IReadOnlyList <CodeBlock> instructions,
Dictionary <VirtualRegister, List <VirtualRegister> > expectedInterferenceGraph,
Dictionary <VirtualRegister, List <VirtualRegister> > expectedCopyGraph)
{
var result = new LivenessAnalyzer().GetInterferenceCopyGraphs(instructions);
MappingEquivalence.AssertAreEquivalentCollection(
expectedInterferenceGraph.ToDictionary(t => t.Key, t => (IReadOnlyCollection <VirtualRegister>)t.Value),
result.InterferenceGraph);
MappingEquivalence.AssertAreEquivalentCollection(
expectedCopyGraph.ToDictionary(t => t.Key, t => (IReadOnlyCollection <VirtualRegister>)t.Value),
result.CopyGraph);
}
public void TestComplex()
{
/* Build AST */
var declarationX = AstConstructionUtils.CreateVariableDeclaration("x");
var declarationY = AstConstructionUtils.CreateVariableDeclaration("y");
var assignmentX = AstConstructionUtils.CreateAssignment(
declarationX,
AstConstructionUtils.CreateVariable(declarationY));
var incrementY = AstConstructionUtils.CreateIncrement(declarationY);
var funInner = AstConstructionUtils.CreateFunction(
"funInner",
new List <Expression> {
assignmentX
});
var funOuter = AstConstructionUtils.CreateFunction(
"funOuter",
new List <Expression> {
declarationX, declarationY, incrementY, funInner
});
var functions = new List <FunctionDeclaration> {
funOuter
};
var root = new Program(
new Core.Lexer.Range(new StringLocation(0), new StringLocation(1)),
new List <StructDeclaration>(),
functions);
/* Prepare graphs */
var accessGraph = new Dictionary <FunctionDeclaration, IReadOnlyCollection <VariableDeclaration> >()
{
{ funInner, new List <VariableDeclaration> {
declarationX, declarationY
} },
{ funOuter, new List <VariableDeclaration> {
declarationY
} }
};
var modificationGraph = new Dictionary <FunctionDeclaration, IReadOnlyCollection <VariableDeclaration> >()
{
{ funInner, new List <VariableDeclaration> {
declarationX
} },
{ funOuter, new List <VariableDeclaration> {
declarationY
} }
};
/* Compute accesses per node */
var accessNothing = new List <Node>
{
root, funInner, funOuter, declarationX, declarationY,
declarationX.Value, declarationY.Value, incrementY.Value
};
var accessX = new List <Node> {
assignmentX.Lhs
};
var accessY = new List <Node> {
funOuter.Body, incrementY, incrementY.Lhs, assignmentX.Value
};
var accessBoth = new List <Node> {
assignmentX, funInner.Body
};
var expectedAccesses = new Dictionary <Node, IReadOnlyCollection <VariableDeclaration> >();
foreach (var node in accessNothing)
{
expectedAccesses[node] = new List <VariableDeclaration>();
}
foreach (var node in accessX)
{
expectedAccesses[node] = new List <VariableDeclaration> {
declarationX
};
}
foreach (var node in accessY)
{
expectedAccesses[node] = new List <VariableDeclaration> {
declarationY
};
}
foreach (var node in accessBoth)
{
expectedAccesses[node] = new List <VariableDeclaration> {
declarationX, declarationY
};
}
/* Compute modifications per node */
var modifyNothing = new List <Node>
{
root, funInner, funOuter, declarationX, declarationY, assignmentX.Lhs, assignmentX.Value,
declarationX.Value, declarationY.Value, incrementY.Value, incrementY.Lhs
};
var modifyX = new List <Node> {
funInner.Body, assignmentX
};
var modifyY = new List <Node> {
funOuter.Body, incrementY
};
var expectedModifications = new Dictionary <Node, IReadOnlyCollection <VariableDeclaration> >();
foreach (var node in modifyNothing)
{
expectedModifications[node] = new List <VariableDeclaration>();
}
foreach (var node in modifyX)
{
expectedModifications[node] = new List <VariableDeclaration> {
declarationX
};
}
foreach (var node in modifyY)
{
expectedModifications[node] = new List <VariableDeclaration> {
declarationY
};
}
/* Get results from generator and compare */
var callGraphGenerator = new CallGraphGenerator();
var nodeInfoExtractors = new Dictionary <VariableInfo, INodeInfoExtractor>
{
[VariableInfo.Access] = new AccessInfoExtractor(),
[VariableInfo.Modifications] = new ModifyInfoExtractor(),
};
var generator = new VariableAccessGraphGenerator(callGraphGenerator, nodeInfoExtractors);
var resultActual = generator.GetVariableInfoPerAstNode(root);
MappingEquivalence.AssertAreEquivalentCollection(expectedAccesses, resultActual.Accesses);
MappingEquivalence.AssertAreEquivalentCollection(expectedModifications, resultActual.Modifies);
}