Krister Walfridsson’s blog kristerw.github.io

Part 6: Uninitialized memory

kristerw.github.io·5w·Hacker News

Part 5: Pointer alignment

kristerw.github.io·147w

Part 4: Address calculations

kristerw.github.io·147w

Part 3: Memory representation

kristerw.github.io·148w

Part 2: Verifying GCC optimizations using an SMT solver

kristerw.github.io·184w

Part 1: Writing a GCC plugin in Python

kristerw.github.io·186w

GCC Translation Validation

kristerw.github.io·191w

Branch/cmove and compiler optimizations

kristerw.github.io·207w

-ffp-contract=fast

kristerw.github.io·235w

Strange behavior with NaN and -ffast-math

kristerw.github.io·237w

Optimizations enabled by -ffast-math

kristerw.github.io·238w

Log in to enable infinite scrolling