Compiler construction LLVM基础设施中的GVN算法

LLVM中的全局值编号使用哪种算法？我在GVN.cpp文件中没有看到任何文件或参考。有人知道细节吗？

它现在实现了基本的基于散列的RPO算法，但根据讨论，Karthik Gargi（预测全局值编号的稀疏算法）正在重写以实现该算法