public bool Optimize(ThreeAddressCode tac)
{
_detector = new DefUseDetector();
_detector.DetectAndFillDefUse(tac);
var initialTac = tac.ToString();
var node = tac.Last;
while (node != null)
{
if (node.Value is TacAssignmentNode assignment)
{
if (assignment.SecondOperand == null && Utility.Utility.IsNum(assignment.FirstOperand))
{
var key = new VarNodePair(assignment.LeftPartIdentifier, node);
if (_detector.Definitions.ContainsKey(key))
{
foreach (var usage in _detector.Definitions[key])
{
ChangeByConst(usage.Value, assignment);
}
_detector.Definitions.Remove(key);
}
}
}
node = node.Previous;
}
return(!initialTac.Equals(tac.ToString()));
}
public bool Optimize(ThreeAddressCode tac)
{
_detector = new DefUseDetector();
_detector.DetectAndFillDefUse(tac);
var initialTac = tac.ToString();
var node = tac.First;
while (node != null)
{
if (node.Value is TacAssignmentNode assignment)
{
if (assignment.SecondOperand == null && Utility.Utility.IsVariable(assignment.FirstOperand))
{
var key = new VarNodePair(assignment.LeftPartIdentifier, node);
if (_detector.Definitions.ContainsKey(key))
{
foreach (var usage in _detector.Definitions[key])
{
ChangeByVariable(usage.Value, assignment);
var keyAdded = new VarNodePair(assignment.FirstOperand, usage);
var keyDefenition = new VarNodePair(assignment.FirstOperand, node);
_detector.Usages[keyAdded] = _detector.Usages[keyDefenition];
if (_detector.Usages[keyDefenition] != null)
{
var keyUsage = new VarNodePair(assignment.FirstOperand, _detector.Usages[keyDefenition]);
_detector.Definitions[keyUsage].Add(node);
}
}
_detector.Definitions.Remove(key);
}
}
}
node = node.Next;
}
return(!initialTac.Equals(tac.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);
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);
InOutContainer inOutContainers = new InOutContainer(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);
var activeVariablesITA = new ActiveVariablesITA(cfg, defUseContainers);
Console.WriteLine("=== InOut после итерационного алгоритма для активных переменных ===");
Console.WriteLine(activeVariablesITA);
}
}
catch (FileNotFoundException)
{
Console.WriteLine("Файл {0} не найден", FileName);
}
catch (Exception e)
{
Console.WriteLine("{0}", e);
}
Console.ReadLine();
}
public DefUseConstPropagation(DefUseDetector detector)
{
_detector = detector;
}