Clever Compilers — x86_64 assembly arithmetic analysis

Backup of an unpublished talk on 4/25/2024.