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

最新推荐文章于 2024-01-28 19:04:51 发布
VIP文章 最新推荐文章于 2024-01-28 19:04:51 发布
阅读量5.6k 收藏 2
点赞数 1
分类专栏： LLVM CFG 文章标签： 支配树
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/dreammeard/article/details/19827141
版权

一、支配的定义

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

控制流图(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元/天 解锁文章
dreammeard
关注
  • 1
    点赞
  • 踩
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
Basic Blocks
bassbian的博客
10-09 1818
首先要知道Basic Block是什么。是一段线性程序，这段代码里面没有分支，只有一个入口和一个出口。 Control-flow graph是一个流程图，它表示的是程序执行时候的顺序。CFG里面每个node都是一个basic block。 用binary search举个例子。 #include <stdio.h> int iterativeBinarySearch(int array[], int start_index, int end_index, int element){
基于llvm的跳转基本块的划分之C语言【100012496】
05-31
本项目的主要内容是利用LLVM这一工具，去寻找C语言源代码中的跳转基本块，并找到跳转基本块之间的对应关系。将二进制文件的汇编代码段跳转关系与c语言基本块的跳转关系对应起来，获取所需的数据样本，再利用keras等高阶神经网络库，对数据样本进行分类，从而构建模型，提高对跳转基本块的识别能力。
LLVM PASS PWN（一）
include_voidmain的博客
11-01 528
LLVM PASS PWN
将Lambda函数应用于Pandas DataFrame
python收藏家的博客
01-28 433
在Python Pandas中，我们可以在需要时自由添加不同的函数，如lambda函数，排序函数等。我们可以将lambda函数应用于Pandas数据框的列和行。语法：lambda参数：表达式一个匿名函数，我们可以立即传入，而无需定义名称或任何东西，就像一个完整的传统函数一样。
LLVM的分析和转换Passes
梦在哪里的博客
03-08 4435
LLVM的分析和转换Passes1 简介2 分析Passes2.1 -aa-eval：详细的别名分析精确评估2.2 -basicaa：基本别名分析(无状态别名分析实现)2.3 -basiccg：基本的CallGraph结构2.4 -count-aa：统计别名分析查询响应2.5 -da：依赖关系分析2.6 -debug-AA：使用debugger的别名分析2.7 -domfrontier：支配边界构...
编译原理--基本块的划分
weixin_52205764的博客
11-23 2085
一个练习，引自吉林大学PPT。基本块的划分原则有4条。
LLVM系列第四章：逻辑代码块Block
Zhanglin_Wu的专栏, C++, Scrum, LLVM, 编译器
06-13 2986
用LLVM提供的C++ API，创建一个最简单的逻辑代码块(Block)，并打印出它的IR代码
llvm libLLVMCore源码分析 14 - BasicBlock Class
weixin_42654107的博客
03-09 857
源码路径 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...
SVFTools与LLVM的Basic Blocks实验
RBS的专栏
03-08 990
SVFTools与LLVM的Basic Block实验LLVM BB与Control Flow GraphSVFTools生成自定义的BB图 本文根据南京大学静态程序分析课程中关于Control Flow Analysis的Basic Blocks的片段，对给定的源代码进行有关BB的实验。 南京大学静态程序分析课程课件，其中第二课 Intermediate Representation有关于Basic Block与控制流的讲解。 课件中给出了三地址码与BB控制流图，以下为课件中的截图。 LLVM BB与Co
LLVM 编译器学习笔记之三十 -- 基本快BasicBlock的操作
~ 飞 扬 的 天 空 ~
10-09 861
1、SplitBlock封装了splitBasciBlock，内部调用splitBasciBlock，但是他们的功能是不等价的 a)splitBasciBlock 纯粹的将一个BB，按照指定的iterator I拆分成两个BB(无条件跳转)
LLVM 的后序支配树(Post Dominator Tree)使用方法
dreammeard的专栏
02-25 5941
在头文件llvm/Analysis/PostDominators.h中提供了后序支配树PostDominatorTree。 方法与前序支配树DominatorTree类似，可以查看文章在LLVM中如何判断二个基本块(Basic Block)的支配关系。 //为函数*F的控制流图构建后支配树(PostDominatorTree) PostDominatorTree* PostDT=n
llparse:在 LLVM IR 中生成解析器
07-24
解析 用于将增量解析器编译为 C 输出的 API。用法 import { LLParse } from 'llparse' ;...const method = p . node ( 'method' ) ;const beforeUrl = p ....const urlSpan = p . span ( p . code ....const url = p ....
llvm:修改为在RetDec和相关工具中使用的LLVM克隆
05-26
警告：此存储库中的LLVM已修改，其行为与原始版本不一样！ 执照 版权所有（c）2003-2019伊利诺伊大学香槟分校。 根据伊利诺伊大学/ NCSA开源许可证授权。 有关更多详细信息，请参见LICENSE.txt文件。 贡献 为了提高...
llvm：用于在纯Go语言中与LLVM IR交互的库
02-03
在纯Go中用于与交互的库。 介绍 安装 go get -u github.com/llir/llvm/... 版本号 在llir/llvm标记的发行版和LLVM发行版之间进行llir/llvm 。 ：LLVM 10.0 ：LLVM 9.0 用户数 ：LLVM IR去反编译的 。 ： Geode...
在LLVM控制流图(CFG)中如何获得某个块(Block)的前继块和后继块
dreammeard的专栏
02-19 4130
如何遍历LLVM控制流图、块 一 、获得block BB所有的前继块 #include "llvm/Support/CFG.h" BasicBlock *BB = ...; for (pred_iterator PI = pred_begin(BB), E = pred_end(BB); PI != E; ++PI) { BasicBlock *Pred = *PI; /
如何获得的LLVM控制流图(CFG)的强连通分量（SCC)的拓扑排序（topological order）
dreammeard的专栏
02-19 3229
一、思路 使用llvm/ADT/SCCIterator.h中定义的scc_iterator迭代器获得。 但是scc_iterator获得是逆拓扑排序的。它的注释如下: // The SCC iterator has the important property that if a node in SCC S1 has an // edge to a node in SCC S2, then
Java-GUI介绍和使用
最新发布
04-18
GUI API包含的类分为三个部分:组件类(component class) 容器类(container class),和辅助类(helper class) 1. 组件类是用来创建用户图形界面的,例如JButton,JLabel,JTextField. 2. 容器类是用来包含其他组件的,例如JFrame,JPanel 3. 辅助类是用来支持GUI组件的,例如Color,Font
在LLVM pass中，给出一个branchinst使用示例
05-25
下面是一个示例，它演示了如何在LLVM pass中访问分支指令（BranchInst）： ```cpp #include "llvm/Pass.h" #include "llvm/IR/Function.h" #include "llvm/Support/raw_ostream.h" using namespace llvm; namespace { struct MyPass : public FunctionPass { static char ID; MyPass() : FunctionPass(ID) {} bool runOnFunction(Function &F) override { errs() << "Function: " << F.getName() << "\n"; for (auto &BB : F) { errs() << "Basic Block: " << BB.getName() << "\n"; for (auto &I : BB) { if (auto *BI = dyn_cast<BranchInst>(&I)) { errs() << "Found branch instruction: " << *BI << "\n"; } } } return false; } }; } char MyPass::ID = 0; static RegisterPass<MyPass> X("mypass", "My LLVM Pass"); ``` 这个示例中，我们定义了一个名为`MyPass`的LLVM pass。该pass会遍历每个函数的每个基本块，并查找分支指令。如果找到了分支指令，就会输出一条包含该分支指令的信息的消息。 要使用此pass，您需要将其编译为LLVM插件，然后使用`opt`工具运行该插件。例如，假设我们将该代码保存在`mypass.cpp`文件中，然后使用以下命令编译该插件： ``` clang++ -shared -o mypass.so mypass.cpp `llvm-config --cxxflags --ldflags --libs` ``` 然后，我们可以使用以下命令将该插件应用于某个LLVM IR文件： ``` opt -load mypass.so -mypass input.ll -o output.ll ``` 这将运行`MyPass` pass并输出找到的分支指令。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值