Load and store forwarding in the Toy Optimizer

Toy Optimizerにおけるロード・ストア転送（ロード除去）について、抽象解釈を用いてトレースを最適化し、冗長なロードとストアを除去する手法を解説します。具体的には、コンパイル時にヒープをモデル化し、既知のアドレスの値をキャッシュすることで、同じオブジェクトとオフセットからの重複ロードを排除します。