public void SplitTACode_FourBasicBlocks() { var source = "a = 123;" + "if (a > 444) {" + "g = 34;" + "}"; /* * a = 123; * if (a > 44) { * g = 34; * } */ var scanner = new Scanner(); scanner.SetSource(source, 0); var parser = new Parser(scanner); parser.Parse(); var parentv = new FillParentVisitor(); parser.root.Visit(parentv); var threeAddressCodeVisitor = new ThreeAddressCodeVisitor(); parser.root.Visit(threeAddressCodeVisitor); threeAddressCodeVisitor.Postprocess(); var bblocks = new BasicBlocks(); bblocks.SplitTACode(threeAddressCodeVisitor.TACodeContainer); Assert.AreEqual(4, bblocks.BasicBlockItems.Count); }
public void SplitTACode_ThreeBasicBlocks() { var source = "goto l 7:" + "g = 34;" + "l 7:"; /* * goto l 7; * g = 34; * l 7: */ var scanner = new Scanner(); scanner.SetSource(source, 0); var parser = new Parser(scanner); parser.Parse(); var parentv = new FillParentVisitor(); parser.root.Visit(parentv); var threeAddressCodeVisitor = new ThreeAddressCodeVisitor(); parser.root.Visit(threeAddressCodeVisitor); threeAddressCodeVisitor.Postprocess(); var bblocks = new BasicBlocks(); bblocks.SplitTACode(threeAddressCodeVisitor.TACodeContainer); Assert.AreEqual(3, bblocks.BasicBlockItems.Count); }
public void SplitTACode_OneBasicBlock() { var source = "c = 9;\na = c == c;\n"; /* * c = 9; * a = c == c; */ var scanner = new Scanner(); scanner.SetSource(source, 0); var parser = new Parser(scanner); parser.Parse(); var parentv = new FillParentVisitor(); parser.root.Visit(parentv); var threeAddressCodeVisitor = new ThreeAddressCodeVisitor(); parser.root.Visit(threeAddressCodeVisitor); threeAddressCodeVisitor.Postprocess(); var bblocks = new BasicBlocks(); bblocks.SplitTACode(threeAddressCodeVisitor.TACodeContainer); Assert.AreEqual(1, bblocks.BasicBlockItems.Count); }
public void DefUseBBlocks_CopyPropagationTest() { TmpNameManager.Instance.Drop(); var tacVisitor = new ThreeAddressCodeVisitor(); var expectedResult = "a = 42 \nt1 = a + 10\nx = t1 \nz = 1 \nt2 = t1 + y\nb = t2 \nt3 = a * z\nt4 = t3 / t1\nt5 = 100 + t4\nv = t5 \nt6 = t1 + t2\nt7 = z + t6\nvar1 = t7 \n"; var source = "a = 42;\nx = a + 10;\nz = 1;\nb = x + y;\nv = 100 + (a * z) / x;\nvar1 = z + (x + b);\n"; var scanner = new Scanner(); scanner.SetSource(source, 0); var parser = new Parser(scanner); parser.Parse(); var root = parser.root; root.Visit(tacVisitor); tacVisitor.Postprocess(); var defUseConstPropagation = new DefUseCopyPropagation(); var result = defUseConstPropagation.Optimize(tacVisitor.TACodeContainer); while (result) { result = defUseConstPropagation.Optimize(tacVisitor.TACodeContainer); } Assert.AreEqual(expectedResult, tacVisitor.TACodeContainer.ToString()); }
static void Main(string[] args) { var DirectoryPath = Directory.GetParent(Directory.GetCurrentDirectory()).Parent.FullName; string FileName = Path.Combine(DirectoryPath, "a.txt"); try { string Text = File.ReadAllText(FileName); Text = Text.Replace('\t', ' '); Scanner scanner = new Scanner(); scanner.SetSource(Text, 0); Parser parser = new Parser(scanner); var b = parser.Parse(); var r = parser.root; var printv = new PrettyPrintVisitor(true); r.Visit(printv); Console.WriteLine("Текст программы:"); Console.WriteLine(printv.Text); Console.WriteLine(); var threeAddressCodeVisitor = new ThreeAddressCodeVisitor(); r.Visit(threeAddressCodeVisitor); threeAddressCodeVisitor.Postprocess(); var cfg = new ControlFlowGraph(threeAddressCodeVisitor.TACodeContainer); Console.WriteLine("CFG: "); Console.WriteLine(cfg); Console.WriteLine("DominationBorder: "); foreach (var vertex in cfg.Vertices) { Console.WriteLine(); Console.WriteLine("vertex: \n" + vertex); var borderSet = DominationBorder.Execute(cfg, vertex); string borderStr = ""; foreach (var el in borderSet) { borderStr += el + "\n"; } if (borderSet.Count() == 0) { borderStr = "Empty"; } Console.WriteLine("borderSet: \n\n" + borderStr); Console.WriteLine(); } } catch (FileNotFoundException) { Console.WriteLine("Файл {0} не найден", FileName); } catch (Exception e) { Console.WriteLine("{0}", e); } }
public void Visit_ifTacGeneration() { TmpNameManager.Instance.Drop(); var tacVisitor = new ThreeAddressCodeVisitor(); var tacTest = new ThreeAddressCode(); var source = "a = 42;\n" + "x = 13;" + "b = a + (30 * (a - 1));\n" + "if(b > (x + 10)){\n" + " a = 8;\n" + "}else{\n" + " a = 9;\n" + " x = 100;\n" + "}"; var scanner = new Scanner(); scanner.SetSource(source, 0); var parser = new Parser(scanner); parser.Parse(); var root = parser.root; root.Visit(tacVisitor); tacVisitor.Postprocess(); Utils.AddAssignmentNode(tacTest, null, "a", "42"); Utils.AddAssignmentNode(tacTest, null, "x", "13"); Utils.AddAssignmentNode(tacTest, null, "t1", "a", "-", "1"); Utils.AddAssignmentNode(tacTest, null, "t2", "30", "*", "t1"); Utils.AddAssignmentNode(tacTest, null, "t3", "a", "+", "t2"); Utils.AddAssignmentNode(tacTest, null, "b", "t3"); Utils.AddAssignmentNode(tacTest, null, "t4", "x", "+", "10"); Utils.AddAssignmentNode(tacTest, null, "t5", "b", ">", "t4"); Utils.AddIfGotoNode(tacTest, null, "L1", "t5"); Utils.AddAssignmentNode(tacTest, null, "a", "9"); Utils.AddAssignmentNode(tacTest, null, "x", "100"); Utils.AddGotoNode(tacTest, null, "L2"); Utils.AddAssignmentNode(tacTest, "L1", "a", "8"); Utils.AddEmptyNode(tacTest, "L2"); Assert.AreEqual(tacVisitor.TACodeContainer.ToString(), tacTest.ToString()); }
/// <summary> /// Parses the source code of the program and converts it into a three-address code /// </summary> protected ThreeAddressCode GetTAC(string source) { var scanner = new Scanner(); scanner.SetSource(source, 0); var parser = new Parser(scanner); if (!parser.Parse()) { throw new Exception("An error occurred while parsing the program."); } var root = parser.root; var tacVisitor = new ThreeAddressCodeVisitor(); root.Visit(tacVisitor); tacVisitor.Postprocess(); return(tacVisitor.TACodeContainer); }
public void Optimize_CombinationOfBlocks() { /* * x = b; * x = a; --> Should be deleted despite of it's latest operation in block * if (1==1) * { * x = b; * y = x; * } * x = 1; * v = x; */ TmpNameManager.Instance.Drop(); var tacVisitor = new ThreeAddressCodeVisitor(); var expectedResult = "t1 = 1 == 1\nif t1 goto L1\n"; var source = "x = b;\nx = a;\nif (1==1){\nx = b;\n y = x;\n}\n x = 1;\n v = x;\n"; var scanner = new Scanner(); scanner.SetSource(source, 0); var parser = new Parser(scanner); parser.Parse(); var root = parser.root; root.Visit(tacVisitor); tacVisitor.Postprocess(); var cfg = new ControlFlowGraph(tacVisitor.TACodeContainer); var defUseContainers = DefUseForBlocksGenerator.Execute(cfg.SourceBasicBlocks); var activeVariablesITA = new ActiveVariablesITA(cfg, defUseContainers); DeadCodeOptimizationWithITA optimization = new DeadCodeOptimizationWithITA(); var isOptimized = optimization.Optimize(activeVariablesITA); Assert.AreEqual(expectedResult, activeVariablesITA.controlFlowGraph.SourceBasicBlocks.BasicBlockItems[0].ToString()); }
public static void Main() { var DirectoryPath = Directory.GetParent(Directory.GetCurrentDirectory()).Parent.FullName; string FileName = Path.Combine(DirectoryPath, "a.txt"); try { string Text = File.ReadAllText(FileName); Text = Text.Replace('\t', ' '); Scanner scanner = new Scanner(); scanner.SetSource(Text, 0); Parser parser = new Parser(scanner); var b = parser.Parse(); var r = parser.root; // Console.WriteLine(r); Console.WriteLine("Исходный текст программы"); var printv = new PrettyPrintVisitor(true); r.Visit(printv); Console.WriteLine(printv.Text); Console.WriteLine("-------------------------------"); if (!b) { Console.WriteLine("Ошибка"); } else { Console.WriteLine("Синтаксическое дерево построено"); // TODO: add loop through all tree optimizations var avis = new AssignCountVisitor(); parser.root.Visit(avis); Console.WriteLine("Количество присваиваний = {0}", avis.Count); Console.WriteLine("-------------------------------"); var operv = new OperatorCountVisitor(); parser.root.Visit(operv); Console.WriteLine(operv.Result); var maxcv = new MaxOpExprVisitor(); parser.root.Visit(maxcv); Console.WriteLine(maxcv.Result); var inncycv = new IsInnerCycleVisitor(); parser.root.Visit(inncycv); Console.WriteLine(inncycv.Result); var innifv = new IsInnerIfCycleVisitor(); parser.root.Visit(innifv); Console.WriteLine(innifv.Result); var maxdeepv = new MaxDeepCycleVistor(); parser.root.Visit(maxdeepv); Console.WriteLine(maxdeepv.Result); var parentv = new FillParentVisitor(); parser.root.Visit(parentv); var sameminusv = new SameMinusOptVisitor(); parser.root.Visit(sameminusv); var zeroMulVisitor = new ZeroMulOptVisitor(); parser.root.Visit(zeroMulVisitor); var compareFalseVisitor = new CompareToItselfFalseOptVisitor(); parser.root.Visit(compareFalseVisitor); Console.WriteLine("-------------------------------"); var ifNodeWithBoolExpr = new IfNodeWithBoolExprVisitor(); parser.root.Visit(ifNodeWithBoolExpr); //var plusZeroExpr = new PlusZeroExprVisitor(); //parser.root.Visit(plusZeroExpr); //var alwaysElse = new AlwaysElseVisitor(); //parser.root.Visit(alwaysElse); //var checkTruth = new CheckTruthVisitor(); //parser.root.Visit(checkTruth); //Console.WriteLine("Оптимизированная программа"); //printv = new PrettyPrintVisitor(true); //r.Visit(printv); //Console.WriteLine(printv.Text); //Console.WriteLine("-------------------------------"); Console.WriteLine("Оптимизированная программа"); printv = new PrettyPrintVisitor(true); r.Visit(printv); Console.WriteLine(printv.Text); Console.WriteLine("-------------------------------"); var threeAddressCodeVisitor = new ThreeAddressCodeVisitor(); r.Visit(threeAddressCodeVisitor); threeAddressCodeVisitor.Postprocess(); var cfg = new ControlFlowGraph(threeAddressCodeVisitor.TACodeContainer); Console.WriteLine(cfg); cfg.SaveToFile(@"cfg.txt"); //Console.WriteLine(threeAddressCodeVisitor.TACodeContainer); //var availExprOpt = new AvailableExprOptimization(); //availExprOpt.Optimize(cfg); //Console.WriteLine("======= After algebraic identity ======="); //Console.WriteLine(cfg); Console.WriteLine("======= DV ======="); Console.WriteLine(threeAddressCodeVisitor); var detector = new DefUseDetector(); detector.DetectAndFillDefUse(threeAddressCodeVisitor.TACodeContainer); //Console.WriteLine("======= Detector 1 ======="); //Console.WriteLine(detector); //Console.WriteLine("======= Detector 2 ======="); //Console.WriteLine(detector.ToString2()); var constPropagationOptimizer = new DefUseConstPropagation(detector); var result = constPropagationOptimizer.Optimize(threeAddressCodeVisitor.TACodeContainer); Console.WriteLine("======= After const propagation ======="); Console.WriteLine(threeAddressCodeVisitor); result = constPropagationOptimizer.Optimize(threeAddressCodeVisitor.TACodeContainer); Console.WriteLine("======= After const propagation ======="); Console.WriteLine(threeAddressCodeVisitor); var copyPropagationOptimizer = new DefUseCopyPropagation(detector); result = copyPropagationOptimizer.Optimize(threeAddressCodeVisitor.TACodeContainer); Console.WriteLine("======= After copy propagation ======="); Console.WriteLine(threeAddressCodeVisitor); //var bblocks = new BasicBlocks(); //bblocks.SplitTACode(threeAddressCodeVisitor.TACodeContainer); //Console.WriteLine("Разбиение на базовые блоки завершилось"); var emptyopt = new EmptyNodeOptimization(); emptyopt.Optimize(threeAddressCodeVisitor.TACodeContainer); Console.WriteLine("Empty node optimization"); Console.WriteLine(threeAddressCodeVisitor.TACodeContainer); var gotoOpt = new GotoOptimization(); gotoOpt.Optimize(threeAddressCodeVisitor.TACodeContainer); Console.WriteLine("Goto optimization"); Console.WriteLine(threeAddressCodeVisitor.TACodeContainer); //var elimintaion = new EliminateTranToTranOpt(); //elimintaion.Optimize(threeAddressCodeVisitor.TACodeContainer); //Console.WriteLine("Удаление переходов к переходам завершилось"); var unreachableCode = new UnreachableCodeOpt(); var res = unreachableCode.Optimize(threeAddressCodeVisitor.TACodeContainer); Console.WriteLine("Оптимизация для недостижимых блоков"); var algOpt = new AlgebraicIdentityOptimization(); algOpt.Optimize(threeAddressCodeVisitor.TACodeContainer); Console.WriteLine("algebraic identity optimization"); Console.WriteLine(threeAddressCodeVisitor.TACodeContainer); var bblocks = new BasicBlocks(); bblocks.SplitTACode(threeAddressCodeVisitor.TACodeContainer); Console.WriteLine("Разбиение на базовые блоки завершилось"); Console.WriteLine(); GenKillVisitor genKillVisitor = new GenKillVisitor(); var genKillContainers = genKillVisitor.GenerateReachingDefinitionForBlocks(cfg.SourceBasicBlocks); // InOutContainerWithFilling inOutContainers = // new InOutContainerWithFilling(cfg.SourceBasicBlocks, genKillContainers); // Console.WriteLine("=== InOut для базовых блоков ==="); // Console.WriteLine(inOutContainers.ToString()); var defUseContainers = DefUseForBlocksGenerator.Execute(cfg.SourceBasicBlocks); DefUseForBlocksPrinter.Execute(defUseContainers); var reachingDefenitionsITA = new ReachingDefinitionsITA(cfg, genKillContainers); Console.WriteLine("=== InOut после итерационного алгоритма для достигающих определения ==="); Console.WriteLine(reachingDefenitionsITA.InOut); var activeVariablesITA = new ActiveVariablesITA(cfg, defUseContainers); Console.WriteLine("=== InOut после итерационного алгоритма для активных переменных ==="); Console.WriteLine(activeVariablesITA.InOut); } } catch (FileNotFoundException) { Console.WriteLine("Файл {0} не найден", FileName); } catch (Exception e) { Console.WriteLine("{0}", e); } Console.ReadLine(); }
public void Compute_CheckFirstBlockActiveVariables() { var source = "c = 123;\nm = 1 + c + y;\nif (m > 2) {\n c = 3;\n} else {\n c = 456;\n}\na = 11;"; /* * c = 123; * m = 1 + c + y; * if (m > 2) { * c = 3; * } else { * c = 456; * } * a = 11; */ var scanner = new Scanner(); scanner.SetSource(source, 0); var parser = new Parser(scanner); parser.Parse(); var parentv = new FillParentVisitor(); parser.root.Visit(parentv); var threeAddressCodeVisitor = new ThreeAddressCodeVisitor(); parser.root.Visit(threeAddressCodeVisitor); threeAddressCodeVisitor.Postprocess(); var cfg = new ControlFlowGraph(threeAddressCodeVisitor.TACodeContainer); var basicBlocks = new BasicBlocks(); basicBlocks.SplitTACode(cfg.SourceCode); var defUseContainers = DefUseForBlocksGenerator.Execute(cfg.SourceBasicBlocks); DefUseForBlocksPrinter.Execute(defUseContainers); var tfFunction = new TFByComposition(defUseContainers); var collectionOperator = new UnionCollectionOperator <TacNode>(); var mop = new MeetOverPaths(cfg, tfFunction, collectionOperator, new HashSet <TacNode>(), false); mop.Compute(); var expectedIn = new List <string> { "y" }; var outputIn = mop.InOut.In[cfg.SourceBasicBlocks.BasicBlockItems[0]] .Select(x => x.ToString()).ToList(); Assert.IsTrue(expectedIn.SequenceEqual(outputIn)); var outputOut = mop.InOut.Out[cfg.SourceBasicBlocks.BasicBlockItems[0]] .Select(x => x.ToString()).ToList(); Assert.AreEqual(0, outputOut.Count); }
public static void Main() { var DirectoryPath = Directory.GetParent(Directory.GetCurrentDirectory()).Parent.FullName; string FileName = Path.Combine(DirectoryPath, "a.txt"); try { string Text = File.ReadAllText(FileName); Text = Text.Replace('\t', ' '); Scanner scanner = new Scanner(); scanner.SetSource(Text, 0); Parser parser = new Parser(scanner); var b = parser.Parse(); var r = parser.root; // Console.WriteLine(r); Console.WriteLine("Исходный текст программы"); var printv = new PrettyPrintVisitor(true); r.Visit(printv); Console.WriteLine(printv.Text); Console.WriteLine("-------------------------------"); if (!b) { Console.WriteLine("Ошибка"); } else { Console.WriteLine("Синтаксическое дерево построено"); // TODO: add loop through all tree optimizations var avis = new AssignCountVisitor(); parser.root.Visit(avis); Console.WriteLine("Количество присваиваний = {0}", avis.Count); Console.WriteLine("-------------------------------"); // var operv = new OperatorCountVisitor(); // parser.root.Visit(operv); // Console.WriteLine(operv.Result); // // var maxcv = new MaxOpExprVisitor(); // parser.root.Visit(maxcv); // Console.WriteLine(maxcv.Result); // // var inncycv = new IsInnerCycleVisitor(); // parser.root.Visit(inncycv); // Console.WriteLine(inncycv.Result); // // var innifv = new IsInnerIfCycleVisitor(); // parser.root.Visit(innifv); // Console.WriteLine(innifv.Result); // // var maxdeepv = new MaxDeepCycleVistor(); // parser.root.Visit(maxdeepv); // Console.WriteLine(maxdeepv.Result); // // var parentv = new FillParentVisitor(); // parser.root.Visit(parentv); // // var sameminusv = new SameMinusOptVisitor(); // parser.root.Visit(sameminusv); // // var zeroMulVisitor = new ZeroMulOptVisitor(); // parser.root.Visit(zeroMulVisitor); // // var compareFalseVisitor = new CompareToItselfFalseOptVisitor(); // parser.root.Visit(compareFalseVisitor); var operv = new OperatorCountVisitor(); parser.root.Visit(operv); Console.WriteLine(operv.Result); var maxcv = new MaxOpExprVisitor(); parser.root.Visit(maxcv); Console.WriteLine(maxcv.Result); var inncycv = new IsInnerCycleVisitor(); parser.root.Visit(inncycv); Console.WriteLine(inncycv.Result); var innifv = new IsInnerIfCycleVisitor(); parser.root.Visit(innifv); Console.WriteLine(innifv.Result); var maxdeepv = new MaxDeepCycleVistor(); parser.root.Visit(maxdeepv); Console.WriteLine(maxdeepv.Result); var parentv = new FillParentVisitor(); parser.root.Visit(parentv); var sameminusv = new SameMinusOptVisitor(); parser.root.Visit(sameminusv); var whilefalsev = new WhileFalseOptVisitor(); parser.root.Visit(whilefalsev); var zeroMulVisitor = new ZeroMulOptVisitor(); parser.root.Visit(zeroMulVisitor); var compareFalseVisitor = new CompareToItselfFalseOptVisitor(); parser.root.Visit(compareFalseVisitor); Console.WriteLine("-------------------------------"); // // var ifNodeWithBoolExpr = new IfNodeWithBoolExprVisitor(); // parser.root.Visit(ifNodeWithBoolExpr); //var plusZeroExpr = new PlusZeroExprVisitor(); //parser.root.Visit(plusZeroExpr); var alwaysElse = new AlwaysElseVisitor(); parser.root.Visit(alwaysElse); //var checkTruth = new CheckTruthVisitor(); //parser.root.Visit(checkTruth); //Console.WriteLine("Оптимизированная программа"); //printv = new PrettyPrintVisitor(true); //r.Visit(printv); //Console.WriteLine(printv.Text); //Console.WriteLine("-------------------------------"); Console.WriteLine("Оптимизированная программа"); printv = new PrettyPrintVisitor(true); r.Visit(printv); Console.WriteLine(printv.Text); Console.WriteLine("-------------------------------"); var threeAddressCodeVisitor = new ThreeAddressCodeVisitor(); r.Visit(threeAddressCodeVisitor); threeAddressCodeVisitor.Postprocess(); Console.WriteLine("========== TAC =============="); Console.WriteLine(threeAddressCodeVisitor); var cfg = new ControlFlowGraph(threeAddressCodeVisitor.TACodeContainer); // Console.WriteLine(cfg); // cfg.SaveToFile(@"cfg.txt"); // var dstClassifier = new DstEdgeClassifier(cfg); // dstClassifier.ClassificateEdges(cfg); // Console.WriteLine(dstClassifier); Console.WriteLine(cfg); cfg.SaveToFile(@"cfg.txt"); var dstClassifier = new DstEdgeClassifier(cfg); dstClassifier.ClassificateEdges(cfg); Console.WriteLine(dstClassifier); var depth = cfg.GetDepth(dstClassifier.EdgeTypes); Console.WriteLine($"Depth CFG = {depth}"); /* -----------------------CFG TASKS START---------------------------------*/ Console.WriteLine("\nCFG TASKS START"); Console.WriteLine(cfg); var edgeClassifierService = new EdgeClassifierService(cfg); Console.WriteLine("EdgeClassifierService: \n" + edgeClassifierService); bool isReducibility = DSTReducibility.IsReducibility(cfg); Console.WriteLine("IsReducibility: " + isReducibility); var naturalCycles = new CFGNaturalCycles(cfg); Console.WriteLine("\nNaturalCycles: \n" + naturalCycles); //Console.WriteLine("\nNestedCycles: \n" + naturalCycles.NestedLoopsText()); Console.WriteLine("\nCFG TASKS END"); /* -----------------------CFG TASKS END---------------------------------*/ //Console.WriteLine(threeAddressCodeVisitor.TACodeContainer); //var availExprOpt = new AvailableExprOptimization(); //availExprOpt.Optimize(cfg); //Console.WriteLine("======= After algebraic identity ======="); //Console.WriteLine(cfg); // Console.WriteLine("======= DV ======="); // Console.WriteLine(threeAddressCodeVisitor); // var detector = new DefUseDetector(); // detector.DetectAndFillDefUse(threeAddressCodeVisitor.TACodeContainer); Console.WriteLine(); Console.WriteLine("Before optimization"); Console.WriteLine(threeAddressCodeVisitor.TACodeContainer); /*Console.WriteLine("======= DV ======="); * Console.WriteLine(threeAddressCodeVisitor); * var detector = new DefUseDetector(); * detector.DetectAndFillDefUse(threeAddressCodeVisitor.TACodeContainer); * * //Console.WriteLine("======= Detector 1 ======="); * //Console.WriteLine(detector); * //Console.WriteLine("======= Detector 2 ======="); * //Console.WriteLine(detector.ToString2()); * * // var constPropagationOptimizer = new DefUseConstPropagation(detector); * // var result = constPropagationOptimizer.Optimize(threeAddressCodeVisitor.TACodeContainer); * // * // Console.WriteLine("======= After const propagation ======="); * // Console.WriteLine(threeAddressCodeVisitor); * // * // result = constPropagationOptimizer.Optimize(threeAddressCodeVisitor.TACodeContainer); * // Console.WriteLine("======= After const propagation ======="); * // Console.WriteLine(threeAddressCodeVisitor); * // * // var copyPropagationOptimizer = new DefUseCopyPropagation(detector); * // result = copyPropagationOptimizer.Optimize(threeAddressCodeVisitor.TACodeContainer); * // * // Console.WriteLine("======= After copy propagation ======="); * // Console.WriteLine(threeAddressCodeVisitor); * ======= * var constPropagationOptimizer = new DefUseConstPropagation(detector); * var result = constPropagationOptimizer.Optimize(threeAddressCodeVisitor.TACodeContainer); * * Console.WriteLine("======= After const propagation ======="); * Console.WriteLine(threeAddressCodeVisitor); * * result = constPropagationOptimizer.Optimize(threeAddressCodeVisitor.TACodeContainer); * Console.WriteLine("======= After const propagation ======="); * Console.WriteLine(threeAddressCodeVisitor); * * var copyPropagationOptimizer = new DefUseCopyPropagation(detector); * result = copyPropagationOptimizer.Optimize(threeAddressCodeVisitor.TACodeContainer); * * Console.WriteLine("======= After copy propagation ======="); * Console.WriteLine(threeAddressCodeVisitor); */ //var bblocks = new BasicBlocks(); //bblocks.SplitTACode(threeAddressCodeVisitor.TACodeContainer); //Console.WriteLine("Разбиение на базовые блоки завершилось"); var emptyopt = new EmptyNodeOptimization(); emptyopt.Optimize(threeAddressCodeVisitor.TACodeContainer); Console.WriteLine("Empty node optimization"); Console.WriteLine(threeAddressCodeVisitor.TACodeContainer); // var gotoOpt = new GotoOptimization(); // gotoOpt.Optimize(threeAddressCodeVisitor.TACodeContainer); // Console.WriteLine("Goto optimization"); // Console.WriteLine(threeAddressCodeVisitor.TACodeContainer); //var elimintaion = new EliminateTranToTranOpt(); //elimintaion.Optimize(threeAddressCodeVisitor.TACodeContainer); //Console.WriteLine("Удаление переходов к переходам завершилось"); // var unreachableCode = new UnreachableCodeOpt(); // var res = unreachableCode.Optimize(threeAddressCodeVisitor.TACodeContainer); // Console.WriteLine("Оптимизация для недостижимых блоков"); var algOpt = new AlgebraicIdentityOptimization(); algOpt.Optimize(threeAddressCodeVisitor.TACodeContainer); Console.WriteLine("algebraic identity optimization"); Console.WriteLine(threeAddressCodeVisitor.TACodeContainer); var bblocks = new BasicBlocks(); bblocks.SplitTACode(threeAddressCodeVisitor.TACodeContainer); Console.WriteLine("Разбиение на базовые блоки завершилось"); Console.WriteLine(); GenKillVisitor genKillVisitor = new GenKillVisitor(); var genKillContainers = genKillVisitor.GenerateReachingDefinitionForBlocks(cfg.SourceBasicBlocks); //start var commonTf = new TFByCommonWay(genKillContainers); var composTf = new TFByComposition(genKillContainers); Console.WriteLine("=== Compos ==="); Console.WriteLine(composTf.Calculate(new HashSet <TacNode>(), cfg.SourceBasicBlocks.BasicBlockItems.First())); Console.WriteLine("=== Common ==="); Console.WriteLine(commonTf.Calculate(new HashSet <TacNode>(), cfg.SourceBasicBlocks.BasicBlockItems.First())); //end // InOutContainerWithFilling inOutContainers = // new InOutContainerWithFilling(cfg.SourceBasicBlocks, genKillContainers); // Console.WriteLine("=== InOut для базовых блоков ==="); // Console.WriteLine(inOutContainers.ToString()); var defUseContainers = DefUseForBlocksGenerator.Execute(cfg.SourceBasicBlocks); DefUseForBlocksPrinter.Execute(defUseContainers); var reachingDefenitionsITA = new ReachingDefinitionsITA(cfg, genKillContainers); Console.WriteLine("=== InOut после итерационного алгоритма для достигающих определения ==="); Console.WriteLine(reachingDefenitionsITA.InOut); Console.WriteLine("======================================================================="); var reachingDefConstPropagation = new ReachingDefinitionsConstPropagation(); Console.WriteLine(threeAddressCodeVisitor); reachingDefConstPropagation.Optimize(reachingDefenitionsITA); reachingDefConstPropagation.Optimize(reachingDefenitionsITA); foreach (var bblock in bblocks) { Console.Write(bblock); } Console.WriteLine("============ Dominators ============"); var dominators = new DominatorsFinder(cfg); for (var i = 0; i < dominators.Dominators.Count; ++i) { Console.WriteLine(i + ": "); foreach (var tacNode in dominators.Dominators.ElementAt(i).Value) { Console.WriteLine(tacNode); } } Console.WriteLine("============ Immediate Dominators ============"); for (var i = 0; i < dominators.ImmediateDominators.Count; ++i) { Console.WriteLine(i + ": "); if (dominators.ImmediateDominators.ElementAt(i).Value == null) { Console.WriteLine("null"); } else { foreach (var tacNode in dominators.ImmediateDominators.ElementAt(i).Value) { Console.WriteLine(tacNode); } } Console.WriteLine(); } // var activeVariablesITA = new ActiveVariablesITA(cfg, defUseContainers); // Console.WriteLine("=== InOut после итерационного алгоритма для активных переменных ==="); // Console.WriteLine(activeVariablesITA.InOut); var activeVariablesITA = new ActiveVariablesITA(cfg, defUseContainers); Console.WriteLine("=== InOut после итерационного алгоритма для активных переменных ==="); Console.WriteLine(activeVariablesITA.InOut); /* -----------------------AvailableExpressions START---------------------------------*/ Console.WriteLine("AvailableExpressions Optimization"); Console.WriteLine("Before AvailableExprOptimization"); Console.WriteLine(cfg.SourceBasicBlocks .BasicBlockItems.Select((bl, ind) => $"BLOCK{ind}:\n" + bl.ToString()).Aggregate((b1, b2) => b1 + b2)); E_GenKillVisitor availExprVisitor = new E_GenKillVisitor(); var availExprContainers = availExprVisitor.GenerateAvailableExpressionForBlocks(cfg.SourceBasicBlocks); var availableExpressionsITA = new AvailableExpressionsITA(cfg, availExprContainers); Console.WriteLine("=== InOut после итерационного алгоритма для доступных выражений ==="); Console.WriteLine(availableExpressionsITA.InOut); var inData = availableExpressionsITA.InOut.In; var availableExprOptimization = new AvailableExprOptimization(); bool isUsed = availableExprOptimization.Optimize(availableExpressionsITA); Console.WriteLine("AvailableExprOptimization isUsed: " + isUsed); isUsed = availableExprOptimization.Optimize(availableExpressionsITA); Console.WriteLine("AvailableExprOptimization isUsed: " + isUsed); Console.WriteLine(cfg.SourceBasicBlocks .BasicBlockItems.Select((bl, ind) => $"BLOCK{ind}:\n" + bl.ToString()).Aggregate((b1, b2) => b1 + b2)); /* -----------------------AvailableExpressions END---------------------------------*/ /* -----------------------ConstDistribOptimization START---------------------------------*/ Console.WriteLine("ConstDistributionOptimization: Before"); Console.WriteLine(cfg.SourceBasicBlocks .BasicBlockItems.Select((bl, ind) => $"BLOCK{ind}:\n" + bl.ToString()).Aggregate((b1, b2) => b1 + b2)); var constDistITA = new ConstDistributionITA(cfg); var constDistOpt = new ConstDistributionOptimization(); var isConstDistApplied = constDistOpt.Optimize(constDistITA); Console.WriteLine("ConstDistributionOptimization isUsed: " + isConstDistApplied); Console.WriteLine(cfg.SourceBasicBlocks .BasicBlockItems.Select((bl, ind) => $"BLOCK{ind}:\n" + bl.ToString()).Aggregate((b1, b2) => b1 + b2)); /* -----------------------ConstDistrib END---------------------------------*/ } } catch (FileNotFoundException) { Console.WriteLine("Файл {0} не найден", FileName); } catch (Exception e) { Console.WriteLine("{0}", e); } Console.ReadLine(); }