npm

alive2

Automatic verification of LLVM optimizations for correctness

brewmacoslinux
Try with needOr install directly
Source

About

Automatic verification of LLVM optimizations

Commands

alive2alive-tv

Examples

Verify a single LLVM optimization transform$ alive2 < optimization.txt
Check correctness of an LLVM IR transformation$ alive-tv source.ll target.ll
Verify optimizations with specific preconditions$ alive2 -max-mem=1024 < transform.txt