不变量赋值优化 【计】 invariant assignment optimization