Hacker News
- Verifying GCC optimizations using an SMT solver https://kristerw.github.io/2022/11/01/verifying-optimizations/ 7 comments
Linking pages
Linked pages
- GitHub - kristerw/pysmtgcc: Some experiments with SMT solvers and GIMPLE IR https://github.com/kristerw/pysmtgcc 4 comments
- GCC Translation Validation – Krister Walfridsson's blog – Compilers, programming languages, etc. https://kristerw.github.io/2022/09/13/translation-validation/ 2 comments
- http://agner.org/optimize/nan_propagation.pdf 0 comments
Related searches:
Search whole site: site:kristerw.github.io
Search title: Part 2: Verifying GCC optimizations using an SMT solver – Krister Walfridsson's blog – Compilers, programming languages, etc.
See how to search.