- 博客(9)
- 资源 (1)
- 收藏
- 关注
RSS订阅原创 控制流分析之循环
最近做科研碰到了如何识别程序热对象的问题，解决这个问题的一般思路是做静态分析，主要是分支概率和基本块频率的分析。目前，LLVM 里已经添加了这两种分析。然而，直接看相关的代码效率很低，主要原因是缺乏控制流分析方面的基础，导致代码中出现的许多术语无法理解。这些术语大多和 CFG 中的循环有关，因此这篇文章主要介绍这方面的基础知识，方便以后复习。循环众所周知，程序运行的大部分时间都花费在循...
2019-01-11 11:25:05
4347
2
原创 LLVM里的寄存器分配 - basic分配器（三）
1 背景介绍本系列的前两篇博文分别介绍了 LLVM 在做寄存器分配前的准备工作和线性扫描算法的理论基础，有了这些背景知识后，就可以开始进入 LLVM 中真实的寄存器分配器了。在 LLVM3.0 中，新提出了两个寄存器分配器：basic/greedy 分配器，它们的核心算法都是线性扫描算法的变种。其中，greedy 分配器是新版本 LLVM 默认的寄存器分配器，而 basic 分配器可以理解为一
2019-01-11 10:24:03
2500
原创 LLVM里的寄存器分配 - 线性扫描算法（二）
1 背景介绍在上一篇博文 LLVM 里的寄存器分配 - 准备工作（一） 里，我主要整理了 LLVM 在做寄存器分配前所做的准备工作，介绍了 LLVM 是在怎样的 MIR 上做的寄存器分配。接下来，就需要讲讲 LLVM 是如何做寄存器分配了。虽然我学习的第一个寄存器分配算法是图着色算法，但由于目前的 LLVM 版本里使用的寄存器分配器均是线性扫描算法的变种（事实上 LLVM3.0 版本以前的寄存
2019-01-11 10:23:20
6991
1
原创 LLVM里的寄存器分配 - 准备工作（一）
1 背景介绍本文档是基于 LLVM 的寄存器分配系列科研笔记第一篇，以一个 C 语言程序为主干介绍 LLVM 在寄存器分配前做的一些主要工作，分析在寄存器分配前期可能的写操作来源，并记录了我在研究 LLVM 后端中 SSA 形式的中间表示时的一些想法（私货）。2 进入寄存器分配我们以下述 C 语言源码为例开始本文的说明：int foo(int a, int b, int
2019-01-11 10:22:36
4991
2
原创 LLVM Spiller 关键代码剖析
LLVM Spillerspill 函数void InlineSpiller::spill(LiveRangeEdit &edit) { ++NumSpilledRanges; Edit = &edit; assert(!TargetRegisterInfo::isStackSlot(edit.getReg()) && "Trying to spill a stack sl
2019-01-11 10:22:01
1235
原创 LLVM SSA 介绍
最近做研究碰到了一个难题，需要对程序变量按生命期进行重命名。考虑到 SSA 中一个变量在不同的程序分支中赋值时会进行重命名，因此打算以此作为参考，看看能否采取同样的方法达到目的。由于之前看到的文档中都说 LLVM IR 是 SSA 形式的，然而在用 Clang 打印生成 LLVM IR 后发现它并不是 SSA 形式，百思不得其解。本篇文章是查阅资料后对此问题的解答，顺便介绍了 LLVM SSA 的...
2018-05-04 17:20:16
19885
2
翻译 LLVM基本块频率术语
简介基本块频率是一个用于估算不同基本块之间相对频率的度量标准。此文档描述了BlockFrequencyInfo 和 MachineBlockFrequencyInfo 两个分析趟（analysis pass）中使用的术语。分支概率对于有多个后继的基本块来说，它的每条出边对应着相应的概率，称作分支概率（branch probability）。对某一给定的基本块来说，其出边的分支概率之和为1.0。分支
2017-11-15 19:18:46
1399
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人