google/souper

Health v2 · maintenance only

Flags: no_releases archived

Adoption not part of the score

2389 stars · 189 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

Souper is a superoptimizer for LLVM IR that uses SMT solvers (like Z3) to synthesize shorter, equivalent instruction sequences. It identifies missing peephole optimizations in LLVM's midend optimizers and can either report them or apply them via an LLVM opt pass.

Use cases

• find missed peephole optimizations in LLVM IR
• superoptimize compiled bitcode to shorter instruction sequences
• automatically apply synthesized optimizations via an LLVM opt pass
• test and improve LLVM's optimizer by discovering refinement opportunities
• verify instruction-level equivalence of code using an SMT solver

When to choose

• you are developing or testing LLVM's optimizer and want to find missing peephole optimizations
• you need minimal instruction sequences for hot code paths and can tolerate slow synthesis
• you want to use SMT-based program synthesis on LLVM bitcode

When to avoid

• you need fast, general-purpose compilation — superoptimization is computationally expensive
• you work with languages or IRs other than LLVM IR
• you need a turnkey optimizer without building LLVM dependencies yourself

Facets

cli-tool · maturity active

compiler developer-tools testing compilers developer-tools performance cpp superoptimizer llvm-ir smt-solver peephole-optimization program-synthesis z3 linux macos llvm

Member repositories

For agents

markdown · JSON · MCP: product_card(name="google/souper")