google/souper · GitHub
Souper is a superoptimizer for LLVM IR. It uses an SMT solver to help identify missing peephole optimizations in LLVM's midend optimizers. Requirements ------------ You will need a reasonably modern compiler toolchain. LLVM has instructions on how to get one for Linux: http://llvm.
from Pocket http://ift.tt/1lrVp1b
via IFTTT
