编译原理局部优化