在LLVM中如何判断二个基本块(Basic Block)的支配关系

最新推荐文章于 2024-06-04 13:52:33 发布
最新推荐文章于 2024-06-04 13:52:33 发布
阅读量5.9k 收藏 2
点赞数 1
分类专栏： LLVM CFG 文章标签： 支配树
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/dreammeard/article/details/19827141
版权
这篇博客探讨了在 LLVM 中控制流图的基本块支配关系。首先定义了支配的概念，然后介绍了如何打印出支配树，并讲解了如何判断两个基本块之间的支配关系。

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

一、支配的定义

根据维基百科 支配的概念如下:

控制流图(CFG)的一个节点 d 支配节点 n，当且仅当从开始节点（可以理解为源）到节点 n的每一条路径均要经过节点d，写作d dom n (一写作d \gg n)。根据上述定义，容易得到每个节点均控制其自身。

英文维基百科中提到的一些概念

There are a number of related concepts:

  • A node d strictly dominates a node n if d dominates n and d does not equal n.
  • The immediate dominator or idom of a node n is t
最低0.47元/天 解锁文章
LLVM 源码分析（五）BasicBlockPass
ychw365的专栏
04-01 4687
BasicBlockPass 主要增加 doInitaliztion(Function &) ;doFinalization(Function &);runOnBasicBlock(); 注意参数为Funtion & 和FunctionPass 的Module 引用有区别 其实都和前面相似 BasicBlockPass 比FunctionPass粒度更小  使用方式如下
LLVM-Analysis-LoopInfo
yeshahayes的博客
07-27 2394
  LLVM中对循环的识别是十分的简单。他是一种类似于Tarjan的可规约流图识别（《Testing flow graph reducibility》），不同的是LLVM是基于dom-tree的遍历，这有点像区域分析。因为这个原因，LoopInfo这个模块是没法找到不可规约结构的，因为不可规约循环的循环头不支配循环体。其实这点也可以理解，不可规约循环本来就少见，LLVM也不是什么高性能计算编译器。...
LLVM 的后序支配树(Post Dominator Tree)使用方法
dreammeard的专栏
02-25 6496
在头文件llvm/Analysis/PostDominators.h中提供了后序支配树PostDominatorTree。 方法与前序支配树DominatorTree类似，可以查看文章在LLVM中如何判断二个基本块(Basic Block)的支配关系。 //为函数*F的控制流图构建后支配树(PostDominatorTree) PostDominatorTree* PostDT=n
判断两个解的支配关系
打呼噜的星
06-20 632
在多目标优化中，需要比较两个解的支配关系。 下面是JMetal中的代码，非常简洁方便。 思想 ：只需注意判断解中某个目标不相等的情况 private int dominanceTest(S solution1, S solution2) { int bestIsOne = 0 ; int bestIsTwo = 0 ; int result ; for (int i = 0; i < solution1.getNumberOfObjectives(); i++) {
llvm libLLVMCore源码分析 14 - BasicBlock Class
weixin_42654107的博客
03-09 1156
源码路径 llvm\include\llvm\IR\BasicBlock.h llvm BasicBlock class 回顾一下llvm IR的组织结构。在llmv中，一个Module中可以有n个Function，Function内可以有n个BasicBlock，BasicBlock是单进单出的n条Instruction序列。因此，BasicBlock本质上是一个顺序执行的指令的容器。 在源代码中，BasicBlock的定义如下： classBasicBlockfinal:pu...
LLVM 编译器学习笔记之三十 -- 基本快BasicBlock的操作
~ 飞 扬 的 天 空 ~
10-09 1067
1、SplitBlock封装了splitBasciBlock，内部调用splitBasciBlock，但是他们的功能是不等价的 a)splitBasciBlock 纯粹的将一个BB，按照指定的iterator I拆分成两个BB(无条件跳转)
【 LLVM】创建基本块简单示例
m0_63471305的博客
06-04 446
运行上述代码后，生成的LLVM IR会包含两个基本块，每个基本块中有一些简单的指令。是LLVM IR的顶层容器，包含了所有的函数和全局变量。它相当于一个编译单元。是一个便捷类，用于生成LLVM指令。它提供了许多方法来简化IR代码生成。用于创建一个新的基本块。用于创建一个新的函数。
LLVM 程序员手册 —— LLVM 4.0 文档 - 可译网
11-12
- **BasicBlock**：代表一个基本块，即一系列连续的指令。 - **Instruction**：代表 LLVM 中的一条指令。 - **Value**：所有值类型的基础类，包括常量、变量等。 - **Type**：代表 LLVM 中的各种类型。 理解这些...
LLVM-TransformUtils-Mem2Reg
yeshahayes的博客
07-25 2801
  众所周知LLVM IR其实在clang的codegen后并不是strict-SSA结构，因为这时候局部变量表现为alloca指令，同时对局部变量通过load和store进行读写操作，这会导致局部变量可能会存在多个def(多个store指令)，而SSA要求每个变量只能有一个def。这时LLVM会通过标准的SSA构造算法来将原始IR转换成minimal-SSA并最终转换成prune-SSA，这一切...
源码解读---mem2reg源码（1）
木子李的博客
08-01 4130
本文只是个随笔，记录一下看源码的思维过程，免得忘了。可能有很多废话，hhhh 相信对于熟悉LLVM的SSA以及了解支配概念的读者来说，应该都不陌生了，这个pass无非就是将LLVM最“原汁原味”的IR转化为SSA形式的IR。首先从形式上，就简明了不少，另外，SSA形式还有特殊的用处。 如果你还不太了解SSA的话，不妨上网搜搜，先大概了解下SSA的好处。 这篇文章不打算谈SSA的好处，也不会从头开始谈SSA在LLVM是如何建立的。网上有很多关于LLVM中mem2reg是如何建立SSA的。包括知乎的R大，还有“
llvm基本概念
alloc_young的专栏
04-07 1447
llvm是一个提供编译功能的一组库函数，包括了全流程的定制和优化，是基于中间码实现的。优化工作集中在后端，可以有效跟前端的具体语言分开，算法上更加独立。跟gcc不一样的是，llvm是基于模块化设计的，提供的是机制和函数，而不是一个整体的编译器。有了这些基本的模块之后，我们就可以像搭积木一样完成自己想要的功能。这正是llvm的强大之所在。下面是典型的llvm处理流程: 对于一个用户来说
SVFTools与LLVM的Basic Blocks实验
RBS的专栏
03-08 1146
SVFTools与LLVM的Basic Block实验LLVM BB与Control Flow GraphSVFTools生成自定义的BB图 本文根据南京大学静态程序分析课程中关于Control Flow Analysis的Basic Blocks的片段，对给定的源代码进行有关BB的实验。 南京大学静态程序分析课程课件，其中第二课 Intermediate Representation有关于Basic Block与控制流的讲解。 课件中给出了三地址码与BB控制流图，以下为课件中的截图。 LLVM BB与Co
ollvm源码分析 - Pass之SplitBaiscBlocks
小蓝人敌法的专栏
10-17 1161
概述 SplitBasicBlocks是一个llvm体系下的标准Pass风格的代码处理组件，继承自FunctionPass。 根据llvm的官方文档描述，这种Pass只会作用于Function这种粒度，也就是llvm在编译流程里面，只有对单个Function应用Pass逻辑的时候, 才会调用继承自FunctionPass的各种Pass(包括llvm自带的Pass和普通开发人员自定义的Pass...
LLVM基本块频率术语
Enorsee的博客
11-15 1495
简介基本块频率是一个用于估算不同基本块之间相对频率的度量标准。此文档描述了BlockFrequencyInfo 和 MachineBlockFrequencyInfo 两个分析趟（analysis pass）中使用的术语。分支概率对于有多个后继的基本块来说，它的每条出边对应着相应的概率，称作分支概率（branch probability）。对某一给定的基本块来说，其出边的分支概率之和为1.0。分支
LLVM（基本的混淆）
m0_72827793的博客
01-03 767
这里我生成了两个，一个优化前的，一个优化后的。这看着不太明显，因为我就写了。
编译原理--基本块的划分
weixin_52205764的博客
11-23 2854
一个练习，引自吉林大学PPT。基本块的划分原则有4条。
LLVM系列第四章：逻辑代码块Block
Zhanglin_Wu的专栏, C++, Scrum, LLVM, 编译器
06-13 4214
用LLVM提供的C++ API，创建一个最简单的逻辑代码块(Block)，并打印出它的IR代码
编译原理（8）：代码优化
weixin_44226857的博客
02-18 6155
声明：本系列文章，是根据中国大学MOOC网 哈工大的编译原理 这门课学习而成的学习笔记。 一、流图 基本块(Basic Block) 基本块是满足下列条件的最大的连续三地址指令序列 控制流只能从基本块的第一个指令进入该块。也就是说，没有跳转到基本块中间或末尾指令的转移指令 除了基本块的最后一个指令，控制流在离开基本块之前不会跳转或者停机 基本块划分算法 首先（1）指令是首指令，其次跟在...
llvm libLLVMCore源码分析 05 - Instruction Class
weixin_42654107的博客
02-25 1172
源码路径 llvm\include\llvm\IR\Instruction.h llvm\include\llvm\IR\Instruction.def llvm\include\llvm\IR\Instructions.h llvm\include\llvm\IR\InstrTypes.h Instruction和BasicBlock 在分析代码前，需要先介绍一下llvm IR的组织结构。在llmv中，一个Module中可以有n个Function，Function内可以有n个BasicBloc
basic block 基本块
最新发布
01-22
### 基本块的概念 基本块是在编译器优化和程序分析中广泛使用的概念。一个基本块是一系列连续的指令序列，在这个序列内部不存在跳转语句，也没有其他地方可以跳入该序列中间的位置[^1]。 ### 编译器优化中的应用 在编译过程中，LLVM解释器`lli`能够执行LLVM位码文件。对于支持特定架构的情况（比如x86），它默认作为即时编译器工作，这使得代码可以在更高级别的抽象上被快速执行而不是通过慢速的逐条解释方式来运行。然而，这里提到的功能更多关联于如何处理已有的基本块而非定义它们本身。 当涉及到编译器优化时，识别并操作这些基本块变得至关重要。例如： - **常量传播**：如果在一个基本块内某个变量被赋予了一个固定值，则后续对该变量的操作可以用此具体数值代替。 - **死代码消除**：移除那些永远不会被执行到的基本块或其中的部分指令。 ```cpp // 示例展示简单的常量折叠优化前后的变化 int x = 5; y = x * 2; // 未优化版本 // 经过编译期优化后可能变为如下形式 const int y = 10; // 已经计算好的结果直接赋给y ``` ### 程序分析的应用 除了用于性能改进外，基本块也是静态二进制分析工具的重要组成部分之一。研究ELF工具包可以帮助理解不同类型的可执行文件结构以及其加载机制，这对于区分静态链接与动态链接库非常有用[^2]。此外，在评估某些恶意软件检测方法的有效性方面也起到了重要作用；通过对二进制内的各个基本块进行细粒度解析，有助于精确定位潜在威胁所在位置而不依赖大量标注数据集的支持[^3][^4]。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值