Herbrand Equivalence Analysis

Implementation of Herbrand Equivalence analysis algorithm mentioned here. Detailed report can be found here.

Two different implementations has been given

• For LLVM compiler infrastructure
• For a custom toy language

Repository structure

• LLVM - Folder containing implementation of the algorithm for LLVM compiler infrastructure

• references - Folder containing relevant papers

• reports - Folder containing reports and presentations

• ToyLanguage - Folder containing implementation of algorithm for a toy language

• README.md - Readme file

References

• A fix-point characterization of Herbrand equivalence of expressions in data flow frameworks
• Clang
• LLVM
• Building LLVM with CMake
• Writing an LLVM Pass