Type-based alias analysis in the Toy Optimizer

本文介绍了如何在Toy优化器中实现基于类型的别名分析(TBAA)，通过类型层次结构将堆划分为不相交的区域，从而更精确地判断内存访问是否可能别名，提升负载-存储转发的优化效果。