C# (CSharp) ConstantPropagation.Execute示例

示例#1

文件： OptimalSpeedIterativeAlgorithmTests.cs 项目： Molkree/FIIT_6_compiler

        public void ConstPropagation()
        {
            var program   = @"
var a, x, c;
input(c);
if c > 5
    x = 10;
else
    input(c);
if c > 5
    x = 20;
a = x;
";
            var graph     = GenCFG(program);
            var algorithm = new ConstantPropagation();

            _ = algorithm.Execute(graph);
            var iterationsFast = algorithm.Iterations;

            _ = algorithm.Execute(graph, false);
            var iterationsSlow = algorithm.Iterations;

            Assert.LessOrEqual(iterationsFast, iterationsSlow);
        }

示例#2

文件： ConstantPropagationTests.cs 项目： Taally/FIIT_6_compiler

        public void ConstPropagationIterative()
        {
            var cfg       = GenCFG(@"
var a, x, c;
if c > 5
    x = 10;
else
    input(c);
if c > 5
    a = x;
");
            var constProp = new ConstantPropagation();
            var result    = constProp.Execute(cfg);
            var blocks    = cfg.GetCurrentBasicBlocks();

            var(_, Out) = result[blocks.Last()];

            Assert.AreEqual(LatticeTypeData.NAC, Out["c"].Type);
            Assert.AreEqual(LatticeTypeData.CONST, Out["x"].Type);
            Assert.AreEqual(LatticeTypeData.CONST, Out["a"].Type);

            Assert.AreEqual("10", Out["x"].ConstValue);
            Assert.AreEqual("10", Out["a"].ConstValue);
        }