【论文研读】Detection of redundant expressions: A precise, efficient, and pragmatic algorithm in SSA.
继续研读GVN领域的文章,又是一篇重要的文章,此文提出的算法已经在LLVM中实现为NewGVN。能够找到所有Herbrand等值关系且时间复杂度为polynomial。目录IntroductionTheProblemTerminologyBasicConceptAlgorithmCorrectnessproofandcomplexityanalysisExperimentalresultsRela