Let’s Work on an LLVM Superoptimizer – Embedded in Academia - discu.eu

Reddit

Let's Work on an LLVM Superoptimizer http://blog.regehr.org/archives/1109 3 comments 4/3/2014 rust

[John Regehr] Let’s Work on an LLVM Superoptimizer http://blog.regehr.org/archives/1109 23 comments 4/3/2014 programming

Linking pages

Mining JIT traces for missing optimizations with Z3 | PyPy https://pypy.org/posts/2024/07/mining-jit-traces-missing-optimizations-z3.html 42 comments
Finding Simple Rewrite Rules for the JIT with Z3 | PyPy https://www.pypy.org/posts/2024/07/finding-simple-rewrite-rules-jit-z3.html 4 comments

Would you like to stay up to date with Rust? Checkout Rust Weekly.

Related searches:

Search whole site: site:blog.regehr.org

Search title: Let’s Work on an LLVM Superoptimizer – Embedded in Academia

See how to search.

Submit link to: