✅ Reconclining high-level optimization and low-level code in LLVM (https://dl.acm.org/doi/10.1145/3276495)
Lee, Hur, Jung, Liu, Regehr, Lopes.
- 低レベル言語(C, C++, Rust)のコンパイラのメモリモデルには二つの相反する目標がある
- high-level optimization
- 最適化したい
- high-level optimization
- 例: