LLVM 词典 - 文章教程

LLVM 词典

发布于 2021-09-22 字数 4772 浏览 976 评论 0

A

ADCE

Aggressive Dead Code Elimination 积极的死代码消除

AST

Abstract Syntax Tree 抽象语法树

由于 Clang 的影响(大多是由于 C,尤其是 C++ 错综复杂的解析和语义分析),典型的 LLVM 社区中的 AST 的定义大概是“输入程序的编译器第一个完整的符号(与文本相反)表示”。因此,一个 “AST” 可能更像一个通用图而不是一棵“树”(考虑一个链表节点的符号表示)。这个工作的定义更接近一些作者所谓的“带注释的抽象语法树”。

使用你最喜欢的编译器书籍和搜索引擎来获取更多信息。


B

BB Vectorization

Basic-Block Vectorization 基本块向量化

BURS

Bottom Up Rewriting System — A method of instruction selection for code generation.

自底向上重写系统-一种代码生成中的指令选择方法。一个例子是 BURG 工具。


C

CSE

Common Subexpression Elimination.

共同子表达式消除。一种移除共同子表达式的优化。例如 (a+b)*(a+b) 有两个相同的子表达式: (a+b)。这个优化使得只做一次加法然后执行乘法(但是只针对正确且安全的计算)。


D

DAG

Directed Acyclic Graph

有向不循环图

Derived Pointer

一个指向对象内部的指针,使得垃圾回收器不能使用此指针进行可达性分析。只要一个 derived 指针存在,对应的对象的指针必须保留在 root 内,否则垃圾回收器可能会释放引用的对象。对于拷贝收集器,derived 指针具有额外的风险使得它们可能在任何安全点处无效化。这个机制被用来对抗对象指针。

DSA

数据结构分析

DSE

Dead Store Elimination

可不达存储消除


F

FCA

First Class Aggregate

第一类集合


G

GC

垃圾回收。使用可达性分析替代显式的内存管理来回首不再使用的内存。


H

Heap

在垃圾回收中,使用可达性分析管理的内存区域


I

IPA

Inter-Procedural Analysis.

过程间分析。引用到过程、函数和编译单元(模块)之间发生的大量代码分析。

IPO

过程间优化。引用到过程、函数和编译单元(模块)之间发生的大量代码优化。

ISel

指令选择


L

LCSSA

Loop-Closed Static Single Assignment Form

闭环静态单赋值形式

LICM

Loop Invariant Code Motion

循环不变量

Load-VN

负荷值编号

LTO

链接时优化


M

MC

机器码


O

Object Pointer

指向对象的指针,使得垃圾回收器可以追踪对象内的引用。这个机制用来对抗derived 指针。


P

PRE

Partial Redundancy Elimination

部分冗余消除


R

RAUW

Replace All Uses With. The functions User::replaceUsesOfWith(), Value::replaceAllUsesWith(), and Constant::replaceUsesOfWithOnConstant() implement the replacement of one Value with another by iterating over its def/use chain and fixing up all of the pointers to point to the new value. See also def/use chains.

Reassociation

Rearranging associative expressions to promote better redundancy elimination and other optimization. For example, changing (A+B-A) into (B+A-A), permitting it to be optimized into (B+0) then (B).

Root

在垃圾回收中,堆中的一个指针变量,垃圾回收器从这个指针开始可达性分析。在代码生成的上下文中,“root”几乎总是指向“stack root”-一个函数调用过程中的局部或临时变量。

RPO

Reverse postorder


S

Safe Point

在垃圾回收中,必须标识栈根使得可达性分析能够执行。对于每条指令提供这个信息可能变得不可能,所以这个信息只在指定的安全点计算。使用拷贝收集器,derived 指针绝对不可以跨安全点并且对象指针必须从栈根重新加载。

SDISel

Selection DAG Instruction Selection.

DAG 指令选择

SCC

Strongly Connected Component

强链接组件

SCCP

Sparse Conditional Constant Propagation

稀疏的条件常量传播

SLP

Superword-Level Parallelism, 类似 Basic-Block Vectorization.

SRoA

Scalar Replacement of Aggregates

聚合标量替换

SSA

Static Single Assignment

静态单赋值

Stack Map

在垃圾回收中,由代码生成器发出的元数据在一个函数调用的栈帧中标识了roots。


T

TBAA

Type-Based Alias Analysis

基于类型的别名分析

如果你对这篇文章有疑问,欢迎到本站 社区 发帖提问或使用手Q扫描下方二维码加群参与讨论,获取更多帮助。

扫码加入群聊

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

目前还没有任何评论,快来抢沙发吧!

关于作者

JSmiles

生命进入颠沛而奔忙的本质状态,并将以不断告别和相遇的陈旧方式继续下去。

2512 文章
30 评论
82839 人气
更多

推荐作者

qianbiandeboy

文章 0 评论 0

少女净妖师

文章 2 评论 0

zangqw

文章 0 评论 0

qq_7HKsl

文章 0 评论 0

伪装你

文章 1 评论 0