souper
A superoptimizer for LLVM IR (by google)
minotaur
A description of Minotaur can be found in https://arxiv.org/abs/2306.00229. (by minotaur-toolkit)
| souper | minotaur | |
|---|---|---|
| 12 | 1 | |
| 2,073 | 85 | |
| 0.3% | - | |
| 3.4 | 8.0 | |
| 28 days ago | 8 days ago | |
| C++ | Python | |
| Apache License 2.0 | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
souper
Posts with mentions or reviews of souper.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-01-07.
-
Original Age of Empires 2 dev talks about its usage of assembly code
https://github.com/google/souper
It looks like it only supports Linux and macOS - no Windows, but no other things too like mobile.
It seems it exists for ten years, I wonder what optimizations aren't still picked by the recent compilers.
- Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
-
My First Superoptimizer
The pruning part can do a lot of heavy lifting to make it a practical tool.
Related: I work on Souper (https://github.com/google/souper).
Feel free to reach out if anyone has questions!
-
Superoptimisation
Compile to LLVM IR and you can try Souper: https://github.com/google/souper
-
Ryan Levick: The new pass manager in LLVM 13 (now in nightly) leads to significantly better compile times..
These exist, they are called superoptimizers. The most known superoptimizer for LLVM is caller SOUPER
- A Superoptimizer for LLVM IR
- A superoptimizer for LLVM IR
-
Software Verification and Analysis Using Z3
Google's one step ahead of you there :)
https://github.com/google/souper
minotaur
Posts with mentions or reviews of minotaur.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-07-12.
-
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
Looks like the source is here: https://github.com/minotaur-toolkit/minotaur
What are some alternatives?
When comparing souper and minotaur you can also consider the following projects:
lean4 - Lean 4 programming language and theorem prover
rust - Empowering everyone to build reliable and efficient software.
z3_tutorial - Jupyter notebooks for tutorial on the Z3 SMT solver