LLVM数据流分析的理论

LLVM数据流分析的理论
标量优化（scalar目录）： 死代码消除（BDCE.cpp[code]，ADCE.cpp[code]，DCE.cpp[code]）, 全局值编号（GVN.cpp[code]）, 代码提升（ConstantHoisting.cpp[code]）， 公共子表达式消除（EarlyCSE.cpp[code]）， 代码下沉(Sink.cpp[code]), 以及各种循环优化等
过程间优化（IPO目录）：无效参数消除(DeadArgumentElimination.cpp[code]) , 全局死代码消除(GlobalDCE.cpp[code]), 常量传播（IPConstantPropagation.cpp[code]）， 循环外提（LoopExtractor.cpp[code]），稀疏条件常量传播（SCCP.cpp[code]）,函数合并（MergeFunctions.cpp[code]）等
介绍
本文档描述了构成 LLVM的内部软件，不是 LLVM 的外部使用。这里没有关于如何使用 LLVM 的说明，只有构成软件的 API。有关使用说明，请参阅程序员指南或参考手册。
警告
本文档直接从带有 doxygen 的源代码生成。由于 LLVM 一直在积极开发中，可能仍然有用，因为 LLVM 的某些部分非常稳定。
Transforms Directory Reference

AggressiveInstCombine.cpp File Reference
#include “llvm/Transforms/AggressiveInstCombine/AggressiveInstCombine.h”
#include “AggressiveInstCombineInternal.h”
#include “llvm-c/Initialization.h”
#include “llvm-c/Transforms/AggressiveInstCombine.h”
#include “llvm/ADT/Statistic.h”
#include “llvm/Analysis/AliasAnalysis.h”
#include “llvm/Analysis/AssumptionCache.h”
#include “llvm/Analysis/BasicAliasAnalysis.h”
#include “llvm/Analysis/GlobalsModRef.h”
#include “llvm/Analysis/TargetLibraryInfo.h”
#include “llvm/Analysis/ValueTracking.h”
#include “llvm/IR/DataLayout.h”
#include “llvm/IR/Dominators.h”
#include “llvm/IR/Function.h”
#include “llvm/IR/IRBuilder.h”
#include “llvm/IR/LegacyPassManager.h”
#include “llvm/IR/PatternMatch.h”
#include “llvm/InitializePasses.h”
#include “llvm/Pass.h”
#include “llvm/Transforms/Utils/Local.h”

AggressiveInstCombineInternal.h File Reference
#include “llvm/ADT/MapVector.h”
#include “llvm/ADT/SmallVector.h”
#include “llvm/Analysis/ValueTracking.h”
#include “llvm/Support/KnownBits.h”
Include dependency graph for AggressiveInstCombineInternal.h:
CFGuard Directory Reference
Directory dependency graph for CFGuard:

CFGuard.cpp File Reference
#include “llvm/Transforms/CFGuard.h”
#include “llvm/ADT/SmallVector.h”
#include “llvm/ADT/Statistic.h”
#include “llvm/ADT/Triple.h”
#include “llvm/IR/CallingConv.h”
#include “llvm/IR/IRBuilder.h”
#include “llvm/IR/Instruction.h”