GCC RISCV 后端 -- 控制流(Control Flow)的一些理解

C/C++源代码经过 GCC 解析(Parse)及转换后,通过 GIMPLE IR 予以表示(Representation)。其中,一个C/C++源文件,通过 宏处理后,形成一个 转译单元(Translation Unit),在 GCC 内部,通过下面结构予以表示:

Symbol Table

-- Global Variables

-- Call Graph

-- Functions

-- Control Flow Graph

-- Basic Blocks

-- instructions

-- defintions and uses

上述表达,可以清楚地看到程序的控制流走向。在最末端的指令层级(Instructions),GIMPLE IR 指令 或 RTL IR 指令,一般表达为三地址模式的操作(3 - Addresses operations),即

Op result, src0, src1

那么,对于不同的指令,抽象来看,都会有其 定义的值/变量(Definitions),以及有其 使用的值或变量(Uses),如上面的,result 为 其定义(defintion),src0, src1为其使用(use)。

在 GIMPLE IR 和 RTL IR 中,会通过 指令的编号来作为其使用(use)的引用。

那么,通过对指令的定义及使用的分析,逐步往上,扩展到 基础块(Basic Block),控制流图(Control Flow Graph)等,实现程序的数据流分析(Data-Flow Analysis)。

例如,将GIMPLE IR 转换成 SSA(Static Single Assignment)的模式,使得每个值对应唯一的变量,这样就简化了数据流的分析。然后,基于SSA,就可以实现 constant propagation 等优化。

又例如,Domination Tree 的构建,Live-variable 等。都是基于上述的框架,通过分析指令的定义与使用,得出数据流(Data-Flow / Value-Flow)的信息。

相关推荐
朝朝又沐沐6 分钟前
算法竞赛阶段二-数据结构(36)数据结构双向链表模拟实现
开发语言·数据结构·c++·算法·链表
写bug的羊羊11 分钟前
CentOS 9 配置国内 YUM 源
linux·运维·centos
魔尔助理顾问22 分钟前
系统整理Python的循环语句和常用方法
开发语言·后端·python
Ares-Wang26 分钟前
JavaScript》》JS》 Var、Let、Const 大总结
开发语言·前端·javascript
薰衣草23331 小时前
一天两道力扣(6)
算法·leetcode
逝雪Yuki1 小时前
Leetcode——287. 寻找重复数
c++·leetcode·二分查找·双指针·环形链表
剪一朵云爱着1 小时前
力扣946. 验证栈序列
算法·
遇见尚硅谷1 小时前
C语言:*p++与p++有何区别
c语言·开发语言·笔记·学习·算法
天天开心(∩_∩)1 小时前
代码随想录算法训练营第三十二天
算法
SkyrimCitadelValinor1 小时前
c#中让图片显示清晰
开发语言·c#