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)的信息。

相关推荐
不知名。。。。。。。。7 分钟前
C++__list
开发语言·c++·list
仙人掌_lz20 分钟前
机器学习ML极简指南
人工智能·python·算法·机器学习·面试·强化学习
EverestVIP36 分钟前
C++动态库对外接口通过接口方式实现
开发语言·c++
Swift社区1 小时前
Swift LeetCode 246 题解:中心对称数(Strobogrammatic Number)
开发语言·leetcode·swift
巷北夜未央1 小时前
Python每日一题(13)
开发语言·python·算法
愚润求学1 小时前
【Linux】Linux权限
linux·服务器·语法
woniu_maggie1 小时前
SAP EXCEL DOI 详解
开发语言·后端·excel
小爬虫程序猿1 小时前
利用 PHP 爬虫按关键字搜索淘宝商品
开发语言·爬虫·php
麻芝汤圆1 小时前
使用 MapReduce 进行高效数据清洗:从理论到实践
大数据·linux·服务器·网络·数据库·windows·mapreduce
独好紫罗兰1 小时前
洛谷题单3-P5720 【深基4.例4】一尺之棰-python-流程图重构
开发语言·python·算法