name: ssa-transformation-library description: 用于编译器开发的SSA形式转换与优化 allowed-tools:
- Bash
- Read
- Write
- Edit
- Glob
- Grep metadata: specialization: 计算机科学 domain: 科学 category: 编译器优化 phase: 6
SSA转换库
目的
为编译器优化提供静态单赋值（SSA）形式转换的专家指导。
能力
- SSA构造（基于支配性）
- Phi节点插入与消除
- 基于SSA的优化模板
- 支配树计算
- 使用-定义链分析
- 用于代码生成的SSA销毁
使用指南
- 控制流图分析：分析控制流图
- 支配性：计算支配边界
- SSA构造：插入phi节点并重命名变量
- 优化：应用基于SSA的优化
- 销毁：转换回代码生成形式
工具/库
- LLVM IR
- GCC GIMPLE
- SSA库