Hacker News
- A Superoptimizer for LLVM IR https://github.com/google/souper 40 comments
- Souper – A Superoptimizer for LLVM IR https://github.com/google/souper 20 comments
Lobsters
- A superoptimizer for LLVM IR https://github.com/google/souper 9 comments programming
- Is it possible to compile the whole standard library to a single LLVM bitcode file? https://github.com/google/souper 9 comments rust
- "Souper is a superoptimizer for LLVM IR. It uses an SMT solver to help identify missing peephole optimizations in LLVM's midend optimizers." https://github.com/google/souper 5 comments rust
Linking pages
- Bytecode Alliance — Bytecode Alliance: One year update https://bytecodealliance.org/articles/1-year-update 405 comments
- Compiling With Constraints | Hey There Buddo! https://www.philipzucker.com/compile_constraints/ 36 comments
- Giving Mono Souper Powers | Mono https://www.mono-project.com/news/2018/12/06/souper/ 29 comments
- Finding Software Bugs Using Symbolic Execution https://sasnauskas.eu/finding-software-bugs-using-symbolic-execution/ 10 comments
- Program Synthesis is Possible in Rust http://fitzgeraldnick.com/2018/11/15/program-synthesis-is-possible-in-rust.html 8 comments
- Bytecode Alliance — Wasmtime and Cranelift in 2023 https://bytecodealliance.org/articles/wasmtime-and-cranelift-in-2023 8 comments
- Search-based compiler code generation https://jamey.thesharps.us/2017/06/19/search-based-compiler-code-generation/ 5 comments
- Program Synthesis in 2019 | SIGPLAN Blog https://blog.sigplan.org/2019/07/31/program-synthesis-in-2019/ 0 comments
- Correctness of a compiler for arithmetic expressions in Lean | kqueue.org https://kqueue.org/blog/2020/10/15/arithcc/ 0 comments
- Synthesizing Loop-Free Programs with Rust and Z3 https://fitzgeraldnick.com/2020/01/13/synthesizing-loop-free-programs.html 0 comments
- GitHub - fitzgen/peepmatic: A DSL and compiler for generating peephole optimizers for Cranelift https://github.com/fitzgen/peepmatic 0 comments
Linked pages
Related searches:
Search whole site: site:github.com
Search title: GitHub - google/souper: A superoptimizer for LLVM IR
See how to search.