Krister Walfridsson

kristerw.github.io

Compilers, programming languages, etc.

Popular posts: 2
Total points: 330
HN comments: 121
Rank: #8,121 personal

Visit kristerw.github.io → RSS feedOn Hacker News Oct 2021 – Nov 2022

Software Engineering 2 Systems & Performance 1 Math & Algorithms 1

Most points Most discussed Most cited Newest

Optimizations Enabled by -ffast-Math

2021209 points114 comments Software Engineering details

This blog post describes the optimizations enabled by -ffast-math when compiling C or C++ code with GCC 11 for x86_64 Linux (other languages/operating systems/CPU architectures may enable slightly different optimizations).

Verifying GCC optimizations using an SMT solver

2022121 points7 comments Software Engineering details

This post describes the implementation of pysmtgcc. See “GCC Translation Validation” for background information.