补全:判断空操作
补全 is_nop：x = copy x 是空操作。
贯穿本节的 IR 模型（判题机没 gcc，这是它的确定模型）：程序是三地址码元组列表，每条 (dst, op, a, b)——op ∈ const/copy/+/-/*，操作数 a/b 是整数（常量）或字符串（变量名）。
窥孔优化：peep1 单条化简（x*1/x+0 → copy x；x*0 → const 0）；peephole 逐条化简；is_nop 判 x=copy x 空操作、strip_nops 删空操作、count_simplified 数能化简的。
全部评论