新版的龙书和鲸书上讲了很多数据流分析的理论，LLVM中有对应的实现吗？

问题描述

书上讲了很多数据流的计算，以及如何用来消除冗余。LLVM中有完全对应的实现吗？实现到什么程度呢？具体的算法和数据结构是什么？即使只指出代码在什么地方，也十分感激。