标签
This research describes compiler-invented loads, where compiler optimizations create additional memory reads not present in source code, turning seemingly secure code into vulnerable binaries with TOCTOU races. It includes audits across kernels, hypervisors, enclaves, and firmware.
本文解释HotSpot的C2 JIT编译器如何使用“已知位”抽象来跟踪整数中哪些位确定是0或1，从而实现消除冗余按位与操作等优化。
本文对比了旧的C++性能技巧与现代编译器的能力，表明编译器现在能够将朴素代码优化得比手工调整的技巧更好。包含在AMD Zen 5上使用Clang 21的基准测试。
一位开发者分享了数月来构建一个编译器的成果，该编译器在A100 GPU上的矩阵乘法性能超越了cuBLAS，并附带了可视化效果。
本文探讨了GHC中最优的ApplicativeDo调度问题（该功能因性能缓慢默认关闭），并将其与RNA折叠中使用的动态规划算法进行类比，以改善编译器的性能。
一篇技术博客文章，演示了如何通过LLVM的配置文件引导优化（PGO）在标准-O3和LTO之外显著提升二进制性能，以SQLite作为基准测试。
一场演讲，追溯从goto面条代码到结构化循环，再到递归模式的演化历程，展示控制流抽象如何映射数据结构，以及为何大多数语言仍把最好的组合子藏起来。
Matt Godbolt 探讨了编译器优化如何将 O(n) 求和循环转换为 O(1) 的闭式解，突出了 Clang 和 GCC 如何采用循环展开和数学简化等复杂技术来大幅提升代码性能。