优化的一般模式

（1）程序分析：控制流分析，数据流分析，依赖分析等，得到被优化程序的静态保守信息（是对动态运行行为的近似）

（2）程序重写：以上一步得到的信息制导对程序的重写

常量传播

先进行到达定义分析，如果这个定义"x = 3"是唯一能够到达使用"a = x"的定义，那么可以进行这个替换。

常量传播算法

const_prop(Prog_t p)
{
    // 第一步：程序分析
    reaching_definition(p);
    // 第二步：程序改写
    foreach(stm s in p: y = x1, ..., xn)
        foreach(use of xi in s)
            if (the reaching def of xi is unique: xi = n)
                y = x1, ..., xi - 1, n, xi + 1, ..., xn
}

注：针对程序p做到达定义分析后，就会在每个语句前面都有一组能够到达这个语句的一组对变量的定义，这个信息会指导第二步的程序改写

（注：上图右侧的集合为每个语句前面能够到达这个语句的定义）

拷贝传播

先进行到达定义分析，如果这个定义"x = y"是唯一能够到达使用"a = x"的定义，那么可以进行这个替换。

拷贝传播算法

copy_prop(Prog_t p)
{
    // 第一步：程序分析
    reaching_definition(p);
    // 第二步：程序改写
    foreach(stm s in p: y = x1, ..., xn)
        foreach(use of xi in s)
            if (the reaching def of xi is unique: xi = z)
                y = x1, ..., xi - 1, z, xi + 1, ..., xn
}

死代码删除

需要进行活性分析，如果x不是该语句的live_out（什么叫语句的live_out？就是x变量的值，在这个语句在后面会用到），则可以将该语句移除。

死代码删除算法

dead_code(Prog_t p)
    // 第一步：程序分析
    liveness_analysis(p);
    // 第二步：程序改写
    foreach (stm s in p: y = ...)
        if (y is NOT in live_out[s])
            remove(s);

经过活性分析后就会得到每个语句的out[s]，是活着出去的那些变量，是在它后面活跃的变量的集合，根据这样的信息再对程序进行改写

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.coloradmin.cn/o/448596.html

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！