Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
Primary LanguagePython
No one’s star this repository yet.