public void Optimize_NoParamsWithDefinedType()
{
TmpNameManager.Instance.Drop();
var tacContainer = new ThreeAddressCode();
Utils.AddAssignmentNode(tacContainer, null, "a", "x", "+", "y");
Utils.AddAssignmentNode(tacContainer, null, "b", "x", "+", "y");
Utils.AddAssignmentNode(tacContainer, null, "a", "17");
Utils.AddAssignmentNode(tacContainer, null, "b", "18");
Utils.AddAssignmentNode(tacContainer, null, "c", "x", "+", "y");
var expectedResult = new ThreeAddressCodeVisitor();
Utils.AddAssignmentNode(expectedResult, null, "a", "x", "+", "y");
Utils.AddAssignmentNode(expectedResult, null, "b", "a");
Utils.AddAssignmentNode(expectedResult, null, "t1", "a");
Utils.AddAssignmentNode(expectedResult, null, "a", "17");
Utils.AddAssignmentNode(expectedResult, null, "b", "18");
Utils.AddAssignmentNode(expectedResult, null, "c", "t1");
var optimization = new LocalValueNumberingOptimization();
var isOptimized = optimization.Optimize(tacContainer);
Assert.IsTrue(isOptimized);
Assert.AreEqual(tacContainer.ToString(), expectedResult.ToString());
}
public void Optimize_ReversedExpressions()
{
var tacContainer = new ThreeAddressCode();
Utils.AddAssignmentNode(tacContainer, null, "a", "1", "+", "2");
Utils.AddAssignmentNode(tacContainer, null, "b", "2", "+", "1");
var expectedResult = new ThreeAddressCodeVisitor();
Utils.AddAssignmentNode(expectedResult, null, "a", "1", "+", "2");
Utils.AddAssignmentNode(expectedResult, null, "b", "a");
var optimization = new LocalValueNumberingOptimization();
var isOptimized = optimization.Optimize(tacContainer);
Assert.IsTrue(isOptimized);
Assert.AreEqual(tacContainer.ToString(), expectedResult.ToString());
}
public void Optimize_ChangedSecondOperand()
{
var tacVisitor = new ThreeAddressCodeVisitor();
Utils.AddAssignmentNode(tacVisitor, "L1", "t1", "a", "+", "b");
Utils.AddAssignmentNode(tacVisitor, null, "b", "2");
Utils.AddAssignmentNode(tacVisitor, null, "t2", "a", "+", "b");
var expectedResult = new ThreeAddressCodeVisitor();
Utils.AddAssignmentNode(expectedResult, "L1", "t1", "a", "+", "b");
Utils.AddAssignmentNode(expectedResult, null, "b", "2");
Utils.AddAssignmentNode(expectedResult, null, "t2", "a", "+", "b");
var optimization = new CommonSubexprOptimization();
var isOptimized = optimization.Optimize(tacVisitor.TACodeContainer);
Assert.IsFalse(isOptimized);
Assert.AreEqual(tacVisitor.ToString(), expectedResult.ToString());
}
public void Optimize_MultipleExpressions()
{
var tacVisitor = new ThreeAddressCodeVisitor();
Utils.AddAssignmentNode(tacVisitor, "L1", "t1", "a", "+", "b");
Utils.AddAssignmentNode(tacVisitor, null, "t2", "c", "+", "d");
Utils.AddAssignmentNode(tacVisitor, null, "t3", "c", "+", "d");
Utils.AddAssignmentNode(tacVisitor, null, "t4", "a", "+", "b");
var expectedResult = new ThreeAddressCodeVisitor();
Utils.AddAssignmentNode(expectedResult, "L1", "t1", "a", "+", "b");
Utils.AddAssignmentNode(expectedResult, null, "t2", "c", "+", "d");
Utils.AddAssignmentNode(expectedResult, null, "t3", "t2");
Utils.AddAssignmentNode(expectedResult, null, "t4", "t1");
var optimization = new CommonSubexprOptimization();
var isOptimized = optimization.Optimize(tacVisitor.TACodeContainer);
Assert.IsTrue(isOptimized);
Assert.AreEqual(tacVisitor.ToString(), expectedResult.ToString());
}
public void Optimize_ChangedOperandThenTwiceRepeatedExpression()
{
var tacContainer = new ThreeAddressCode();
Utils.AddAssignmentNode(tacContainer, "L1", "t1", "a", "+", "b");
Utils.AddAssignmentNode(tacContainer, null, "b", "2");
Utils.AddAssignmentNode(tacContainer, null, "t2", "a", "+", "b");
Utils.AddAssignmentNode(tacContainer, null, "t3", "a", "+", "b");
var expectedResult = new ThreeAddressCodeVisitor();
Utils.AddAssignmentNode(expectedResult, "L1", "t1", "a", "+", "b");
Utils.AddAssignmentNode(expectedResult, null, "b", "2");
Utils.AddAssignmentNode(expectedResult, null, "t2", "a", "+", "b");
Utils.AddAssignmentNode(expectedResult, null, "t3", "t2");
var optimization = new CommonSubexprOptimization();
var isOptimized = optimization.Optimize(tacContainer);
Assert.IsTrue(isOptimized);
Assert.AreEqual(tacContainer.ToString(), expectedResult.ToString());
}
public void Optimize_EmptyNodeTest()
{
var tacContainer = new ThreeAddressCode();
Utils.AddAssignmentNode(tacContainer, null, "t1", "m", ">", "2");
Utils.AddIfGotoNode(tacContainer, null, "L1", "t1");
Utils.AddGotoNode(tacContainer, null, "L2");
Utils.AddAssignmentNode(tacContainer, "L1", "c", "3");
Utils.AddAssignmentNode(tacContainer, "L2", null, null);
var expectedResult = new ThreeAddressCodeVisitor();
Utils.AddAssignmentNode(expectedResult, null, "t1", "m", ">", "2");
Utils.AddIfGotoNode(expectedResult, null, "L1", "t1");
Utils.AddGotoNode(expectedResult, null, "L2");
Utils.AddAssignmentNode(expectedResult, "L1", "c", "3");
Utils.AddAssignmentNode(expectedResult, "L2", null, null);
var optimization = new EmptyNodeOptimization();
var isOptimized = optimization.Optimize(tacContainer);
Assert.AreEqual(tacContainer.ToString(), expectedResult.ToString());
Assert.IsFalse(isOptimized);
}
public static void Main(string[] args)
{
string FileName = @"../../../data/DeadOrAliveOptimizationTest.txt";
if (args.Length > 0)
{
FileName = args[0];
}
try {
string Text = File.ReadAllText(FileName);
Scanner scanner = new Scanner();
scanner.SetSource(Text, 0);
Parser parser = new Parser(scanner);
var b = parser.Parse();
if (!b)
{
Console.WriteLine("Ошибка");
}
else
{
Console.WriteLine("Синтаксическое дерево построено");
var r = parser.root;
FillParentVisitor generateParrent = new FillParentVisitor();
r.Visit(generateParrent);
{
ThreeAddressCodeVisitor treeCod2e = new ThreeAddressCodeVisitor();
r.Visit(treeCod2e);
//var blocks = new Block(treeCod2e).GenerateBlocks();
AutoThreeCodeOptimiser ap2p = new AutoThreeCodeOptimiser();
ap2p.Add(new DeadOrAliveOptimizationAdapter());
var blockwss = ap2p.Apply(treeCod2e);
Console.WriteLine(ThreeAddressCodeVisitor.ToString(blockwss));
}
//Console.WriteLine(r.ToString());
/*Opt2Visitor opt2 = new Opt2Visitor();
* r.Visit(opt2);
*
* PrettyPrintVisitor ppvis = new PrettyPrintVisitor();
* r.Visit(ppvis);
* Console.WriteLine(ppvis.Text);
*
* Console.WriteLine("\nAssignCountVisitor");
* AssignCountVisitor vis1 = new AssignCountVisitor();
* r.Visit(vis1);
* Console.WriteLine(vis1.Count);
*
* Console.WriteLine("\nStatementCountVisitor");
* StatementCountVisitor vis2 = new StatementCountVisitor();
* r.Visit(vis2);
* Console.WriteLine(vis2.Count);
*
* Console.WriteLine("\nMaxCountExprOpsVisitor");
* MaxCountExprOpsVisitor vis3 = new MaxCountExprOpsVisitor();
* r.Visit(vis3);
* Console.WriteLine(vis3.Max);
*
* Console.WriteLine("\nNestedCyclesVisitor");
* NestedCyclesVisitor vis4 = new NestedCyclesVisitor();
* r.Visit(vis4);
* Console.WriteLine(vis4.HasNestedCycles);
*
* Console.WriteLine("\nCycleNestedToIfVisitor");
* CycleNestedToIfVisitor vis5 = new CycleNestedToIfVisitor();
* r.Visit(vis5);
* Console.WriteLine(vis5.HasCycleNestedToIf);
*
* Console.WriteLine("\nIfNestedToCycleVisitor");
* IfNestedToCycleVisitor vis6 = new IfNestedToCycleVisitor();
* r.Visit(vis6);
* Console.WriteLine(vis6.HasIfNestedToCycle);
*
* Console.WriteLine("\nMaxDepthOfNestedCyclesVisitor");
* MaxDepthOfNestedCyclesVisitor vis7 = new MaxDepthOfNestedCyclesVisitor();
* r.Visit(vis7);
* Console.WriteLine(vis7.Max);*/
Console.WriteLine("\nGenerate Three address code");
ThreeAddressCodeVisitor treeCode = new ThreeAddressCodeVisitor();
r.Visit(treeCode);
var blocks = new Block(treeCode).GenerateBlocks();
CFG controlFlowGraph = new CFG(blocks);
Console.WriteLine("\nГлубина графа:\n" + GraphDepth.GetGraphDepth(controlFlowGraph));
Console.WriteLine(treeCode.ToString());
// выполнение оптимизации для программы, не разбитой на блоки
//DeadOrAliveOptimization.DeleteDeadVariables(treeCode.GetCode());
// вычисление множеств Def и Use для всего графа потоков данных
/*var DefUse = new DefUseBlocks(controlFlowGraph);
*
* var InOut = new InOutActiveVariables(DefUse, controlFlowGraph);
*
* ControlFlowOptimisations.DeadOrAliveOnGraph(InOut, controlFlowGraph);
*
* var DefUse = new DefUseBlocks(controlFlowGraph);
*
* GraphToDOTHelper.SaveAsDOT("C:\\Users\\vladr\\Desktop\\graph.dot", controlFlowGraph);
* var InOut = new InOutActiveVariables(DefUse, controlFlowGraph);
*
* //ControlFlowOptimisations.DeadOrAliveOnGraph(InOut, controlFlowGraph);
* Console.WriteLine("\nafter DeleteDeadVariables for graph\n");
* foreach (var block in controlFlowGraph.blocks)
* foreach (var line in block)
* Console.WriteLine(line);
*
* Console.Write("");*/
//DeadOrAliveOptimization.
/* SimpleLang.Compiler.ILCodeGenerator gen = new SimpleLang.Compiler.ILCodeGenerator();
* gen.Generate(treeCode.GetCode());
*
* gen.PrintCommands();
* Console.WriteLine("\nExecute:");
* gen.Execute();
*
* Console.Write("");*/
//DeadOrAliveOptimization.
/*CFG cfg = SimpleLang.GenericIterativeAlgorithm.Test
* .DeadOrAliveOptimization(controlFlowGraph.blocks);
* Console.WriteLine("\nafter DeadOrAliveOptimization\n");
* Console.WriteLine(cfg);*/
/*var constPropOptimizer = new ConstantPropagationOptimizer();
* CFG cfg1 = constPropOptimizer.ApplyOptimization(controlFlowGraph.blocks);
* Console.WriteLine("\nafter ConstantPropagationOptimization\n");
* Console.WriteLine(cfg1);*/
//var reachingDefsTest = new ReachingDefsTest();
//reachingDefsTest.IterativeAlgorithm(controlFlowGraph.blocks);
//reachingDefsTest.PrintOutput();
//SimpleLang.Compiler.ILCodeGenerator gen = new SimpleLang.Compiler.ILCodeGenerator();
//gen.Generate(treeCode.GetCode());
//gen.PrintCommands();
//Console.WriteLine("\nExecute:");
//gen.Execute();
AutoThreeCodeOptimiser app = new AutoThreeCodeOptimiser();
app.Add(new DistributionOfConstants());
app.Add(new EvalConstExpr());
app.Add(new ApplyAlgebraicIdentities());
var blockws = app.Apply(treeCode);
Console.WriteLine(ThreeAddressCodeVisitor.ToString(blockws));
/*CFG cfg = new CFG(blocks);
* TransferFunction tf = new TransferFunction(cfg);
* Console.WriteLine("\nGen 1");
* foreach (var d in tf.Gen(blocks[0]))
* Console.WriteLine(d);
* Console.WriteLine("\nGen");
* foreach (var d in tf.Gen(blocks[3]))
* Console.WriteLine(d);
* Console.WriteLine("\nKill");
* foreach (var d in tf.Kill(blocks[3]))
* Console.WriteLine(d);
*
* Console.WriteLine("\nTransfer function");
* var f = tf.BlockTransferFunction(blocks[3]);
* foreach (var d in f(tf.Gen(blocks[0])))
* Console.WriteLine(d);
*
* var code = treeCode.GetCode();
* app.Apply(code);*/
/*Opt11Visitor opt11vis = new Opt11Visitor();
* ppvis.Text = "";
* r.Visit(opt11vis);
* r.Visit(ppvis);
* Console.WriteLine(ppvis.Text);*/
/*var avis = new AssignCountVisitor();
* parser.root.Visit(avis);
* Console.WriteLine("Количество присваиваний = {0}", avis.Count);
* Console.WriteLine("-------------------------------");
*
* var pp = new PrettyPrintVisitor();
* parser.root.Visit(pp);
* Console.WriteLine(pp.Text);*/
}
}
catch (FileNotFoundException)
{
Console.WriteLine("Файл {0} не найден", FileName);
}
catch (Exception e)
{
Console.WriteLine("{0}", e);
}
Console.ReadLine();
// ========
// My part, don't touch !!!
// Sorry for this troubles, I deleted bad part
// CFG controlFlowGraph = new CFG(blocks);
// Console.WriteLine(treeCode.ToString());
// // выполнение оптимизации для программы, не разбитой на блоки
// //DeadOrAliveOptimization.DeleteDeadVariables(treeCode.GetCode());
// // вычисление множеств Def и Use для всего графа потоков данных
// var DefUse = new DefUseBlocks(controlFlowGraph);
//
// var InOut = new InOutActiveVariables(DefUse, controlFlowGraph);
//
// ControlFlowOptimisations.DeadOrAliveOnGraph(InOut, controlFlowGraph);
// Console.WriteLine("\nafter DeleteDeadVariables for graph\n");
// foreach (var block in controlFlowGraph.blocks)
// foreach (var line in block)
// Console.WriteLine(line);
// Console.Write("");
// ========
}