【编译原理笔记17】代码优化：数据流分析，到达定值分析，到达定值方程的计算

最新推荐文章于 2023-02-14 09:25:00 发布
最新推荐文章于 2023-02-14 09:25:00 发布
阅读量5.2k 收藏 34
点赞数 8
分类专栏： 编译原理 文章标签： ud链 到达 IN值表
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_42815609/article/details/107992351
版权
本文详细介绍了数据流分析的概念，包括到达定值分析及其主要用途，阐述了“生成”与“杀死”定值的概念，并通过实例解析了到达定值方程的计算过程，为代码优化提供了理论基础。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

本次笔记内容：
8-5 数据流分析
8-6 到达定值分析
8-7 到达定值方程的计算

本节课幻灯片，见于我的 GitHub 仓库：第17讲 代码优化_2.pdf

文章目录

数据流分析

数据流分析(data-flow analysis)

数据流分析：一组用来获取程序执行路径上的数据流信息的技术。

数据流分析应用：

  • 到达-定值分析(Reaching-Definition Analysis)
  • 活跃变量分析(Live-Variable Analysis)
  • 可用表达式分析(Available-Expression Analysis)

在每一种数据流分析应用中，都会把每个程序点和一个数据流值关联起来。

数据流分析模式

语句的数据流模式

  • I N [ s ] IN[s] IN[s]：语句s之前的数据流值
  • O U T [ s ] OUT[s] OUT[s]： 语句s之后的数据流值
  • f s f_s fs​：语句s的传递函数(transfer function)
    • 一个赋值语句s之前和之后的数据流值的关系
    • 传递函数的两种风格
      • 信息沿执行路径前向传播(前向数据流问题)
        O U T [ s ] = f s ( I N [ s ] ) OUT[s] = f_s(IN[s]) OUT[s]=fs​(IN[s])
      • 信息沿执行路径逆向传播(逆向数据流问题)
        I N [ s ] = f s ( O U T [ s ] ) IN[s] = f_s(OUT[s]) IN[s]=fs​(OUT[s])
  • 基本块中相邻两个语句之间的数据流值的关系
    • 设基本块B由语句 s 1 , s 2 , … , s n s_1, s_2, … , s_n s1​,s2​,…,sn​顺序组成，则
      I N
最低0.47元/天 解锁文章
编译原理习题（含答案）——16-19代码优化——哈工大陈鄞配套版本
JZ
06-14 2万+
代码优化_11 优化可生成（）的目标代码。A. 运行时间较短B. 占用存储空间较小C. 运行时间短但占用内存空间大D. 运行时间短且占用存储空间小 2 基本块内的优化为 ( )。A. 代码外提，删除归纳变量B. 删除多余运算，删除无用赋值C. 强度削弱，代码外提D. 循环展开，循环合并 3 对一个基本块来说，( )是正确的。A. 只有一个入口语句和一个出口语句B. 有一个入口语句和多个出口语句C....
【编译原理笔记18】代码优化：活跃变量分析，可用表达式分析
记录学习痕迹的公众号：Piper蛋窝
08-15 9242
关于活跃变量与可用表达式的分析。
鲸书阅读笔记-------第八章数据流分析（二）：到达---定值分析
weixin_39466563的博客
10-23 1888
本篇通过到达--定值分析来引出数据流分析的过程 什么是到达--定值？ 定值是对某个变量的赋值。 假设变量x的定值为d，如果存在一条紧随在定值d后面的程序点到达某一个程序点p的路径，并且在这条路径上d并没有被“杀死”（也就是说，变量x没有被重新赋值为其他值），我们就说定值到达程序点p。一个编译器能够根据到达定值信息知道变量x在程序点p上的值是否为常量。 局部数据流分析和全局数据...
编译器设计(十)——数据流分析
yelvens的博客
10-25 4941
数据流分析是用于编译时程序分析的经典技术，它使编译器能够推断程序中的值在运行时的流动。在简单的情况下，静态分析可以生成精确的结果，此时编译器能够确切地知道在代码执行时到底将发生什么。如果编译器能够推导出精确信息，那么它可以将表达式或函数的运行时求值操作替换为对（编译时预计算）结果的立即数加载操作。另一方面，如果代码从任何外部来源读取值、涉及（即使很少的）控制流，或者遇到具有歧义的内存引用（指针、数组引用或引用调用参数），那么静态分析会变得困难得多，而分析的结果也会变得不那么精确。
数据流分析：可用表达式的计算+活跃变量计算+到达定值。
qq_43391414的博客
12-08 2371
引言 什么是可用表达式和活跃变量？假设有如下代码： int main() { int a=1,b=2,c=1; int x=a+b+b+b+b; int y=a+b+b+b+b; int z=a+b+b+b+b; return 0; } 可用表达式： 举例来说，a+b+b+b+b就是可用表达式，如果不加以优化，其将被计算三次，太浪费了，所以编译优化过程要求发现这个可用表达式。 活跃变量： 举例来说，a,b就是活跃变量，c是不活跃变量，前者叫做live，后者叫做dead。 上面只是直观的理解了以
【编译原理】9—代码优化与生成Code Optimization and Generation(基本块及其优化方法、数据流分析简介）
一棵灬大树的博客
02-01 1824
编译原理龙书笔记，第八章、第九章部分内容，包括基本块及其基本方法和数据流分析简介
编译原理复习笔记 第八章 代码优化 更新中
qq_40301196的博客
07-18 595
8-1 流图 分析程序的控制流程 基本块：满足下列条件的最大的连续三地址指令序列： （1）控制流只能从基本块的第一个指令进入该块。 （2）除了基本快的最后一个指令，控制流在离开基本块之前不会跳转或停机 基本块的划分算法： 输入：三地址指令序列 输出：对应的基本块划分 流图 流图的结点：一些基本块 基本块B到基本块C的边：当且仅当基本块C的第一个指令紧跟在B的最后一条指令之后执行 8-2 常用的代码优化方法 优化分类：机器无关优化 机器相关优化 删除公共子表达式 如果表达式 x op
【编译原理笔记19】代码优化： 支配结点和回边，自然循环及其识别，删除全局公共子表达式和复制语句，代码移动，作用于归纳变量的强度削弱，归纳变量的删除
记录学习痕迹的公众号：Piper蛋窝
08-16 6056
代码优化的最后一节，主要是各种算法。
C语言不变量外提和循环强度削弱,编译原理（8）：代码优化
weixin_33433067的博客
05-19 1179
声明：本系列文章，是根据中国大学MOOC网 哈工大的编译原理 这门课学习而成的学习笔记。一、流图基本块(Basic Block)基本块是满足下列条件的最大的连续三地址指令序列控制流只能从基本块的第一个指令进入该块。也就是说，没有跳转到基本块中间或末尾指令的转移指令除了基本块的最后一个指令，控制流在离开基本块之前不会跳转或者停机基本块划分算法 首先(1)指令是首指令，其次跟在跳转指令的目标指令(...
编译器优化--3--数据流分析简介
ronnie88597的博客
02-28 1652
编译器优化–3--数据流分析简介 在正式进入主题之前，首先需要明白这两个术语： 定义（define）：对变量的赋值 使用（use）：对变量值的读取 概述 为了优化代码，编译器需要把程序作为一个整体来收集信息，并把这些信息分配给流图各个基本块。如：了解每个基本块的出口处哪些变量是活跃的可以改进寄存器的利用率；使用全局公共子表达式的知识区删除冗余计算；执行常量合并和无用代码删除这样的变换；利用到达定义...
数据流分析（一）
热门推荐
电影旅行敲代码
02-21 2万+
引子编译器后端会对前端生成的中间代码做很多优化，也就是在保证程序语义不变的前提下，提高程序执行的效率或减少代码size等优化目标。优化需要依靠代码分析给出的“指导信息”来相应地改进代码，而代码分析中最重要的就是数据流分析。另外数据流分析是程序静态分析的基础。所以掌握数据流分析对编译后端极为重要。 何为数据流分析 数据流抽象 数据流分析模式 基本块上的数据流模式 何为数据流分析 数据流分析指的是一
[代码优化] 到达定值,活跃变量,可用表达式,节点支配串讲
xiaoyouyouaaa的博客
05-18 453
到达定值,活跃变量,可用表达式,节点支配的区别和联系
数据流分析（二）
电影旅行敲代码
02-23 1万+
引子我们在数据流分析（一）中简要介绍了数据流分析的基本概念，下面我们集中分析一些数据流分析的实例来阐述数据流分析的核心思想。 到达定值 活变量 可用表达式 到达定值什么是到达定值“到达定值”是最常见的和有用的数据流模式之一。编译器能够根据到达定值信息知道 x 在点 p 上的值是否为常量，而如果 x 在点 p 上被使用，则调试器可以指出x是否未经定值就被使用。 如果存在一条从紧随在定值 d 后面的
【编译原理】部分题目+知识点
loxs
06-08 5401
计算机语言分类 机器语言与汇编语言 更接近计算机硬件指令系统的工作 高级语言 更接近求解问题的表示方法 命令语言 控制系统的工作——以功能封装为特征
对于龙书中的到达定值的传递方程公式的推导
BURNMITE的博客
03-03 531
写作理由 因为当时看龙书的时候，感觉前一部分看的头痛欲裂，结果在不想看的时候，又来了一堆公式，当时就没看下去了，但是事后还是觉得弄懂了比较好，就算是对以前的数学知识的复习吧。 公式推导 龙书的第387页到达定值的转移函数为： fd(x)=gend∪(x−killd)fd(x)=gend∪(x−killd) f_d(x) = gen_d \cup (x - kill_d) 当存在两个...
数据流分析之绪论
编程之路
03-28 772
数据流分析之绪论 引言 在前面那篇文章中我们大概讲述了一个编译器如何将源程序一步一步处理变为目标程序，其中有一个步骤为代码优化。优化可以让目标程序变得‘更好’，代码优化分为局部优化和全局优化两类。局部优化为基本块本身内部优化，是基本块之内的改进。而全局优化是对多个基本块进行优化，检查信息是如何在一个程序的过分基本块之间流动。而大部分全局优化是基于数据流分析技术实现的。 小知识 ...
【软件分析学习笔记】5：可达定义分析(Reaching Definitions Analysis)
大桔骑士的学习笔记
04-03 5497
从这节开始两节课先学习数据流分析的应用，再往后两节学习数据流分析的基本原理。这节学习可达定义分析，下节学习活跃变量分析和可用表达式分析，它们都是数据流分析的常见应用。 1 数据流分析回顾 数据流分析研究的是抽象出的application-specific data如何在控制流图(CFG)上流动，大多数静态分析都是在CFG上进行分析的。 1.1 safe-approximation 对大多数静态分析...
编译原理学习笔记---龙书第三版（精简习题版）
雲的博客
01-20 1万+
目录 概要 1.词法分析 1.1正则表达式转NFA 1.2 NFA转DFA 1.3 DFA最小化 2.语法分析 2.1 自顶向下分析 2.2自底向上分析 LR(0) SLR（对LR(0)改进） LR(1) LALR 3.语法制导翻译 概述（区分SDD和SDT） 语法制导定义（SDD） 专有名词解释： SDD的应用 语法制导的翻译方案（SDT） 例题 4.中间...
编译原理—基本块划分，循环流图
我们都是被分成两半的人，一边热爱生活，一边憎恨生活。面对生活，我们总是在矛盾的两端摇摆，在反复的矛盾和犹豫中，一边踉跄前行，一边重振旗鼓。我渴望改变，渴望变得更好，渴望找到出口……就像一个溺水人的挣扎，就像一个救生圈。我是一个矛盾集合体，想要变得快乐，但是
02-14 1399
汇编代码上进行基本块划分，构建流图，进行基本块划分，构建流图。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值