如何编写Pass——从LLVM源码角度剖析
2025-12-13
本文从LLVM源码的角度，详细剖析了如何去编写一个LLVM Pass，并分析了相关的源码结构和实现细节，帮助深入理解LLVM Pass的调度执行原理。
8145 words
|
41 minutes
数据流分析
2025-10-26
本文介绍数据流分析的核心概念与分类，详解简化命令式程序语言WHILE的语法与示例，并系统阐述基于标签的程序控制流表示方法（含init映射、final映射及流关系）
1617 words
|
8 minutes
线性空间——线性空间的概念
2025-10-20
本文从数域定义出发，详细阐释线性空间的定义、判断方法，列举常见线性空间并分析其构成条件，同时推导线性空间零元与负元唯一等关键性质
3087 words
|
15 minutes