补全:判断是否变小
补全 shrank:优化后条数更少就是变小。
贯穿本节的 IR 模型(判题机没 gcc,这是它的确定模型):程序是三地址码元组列表,每条 (dst, op, a, b)——op ∈ const/copy/+/-/*,操作数 a/b 是整数(常量)或字符串(变量名)。
度量:size 指令条数,removed(before, after)=前减后,shrank=优化后是否更小。
补全 shrank:优化后条数更少就是变小。
贯穿本节的 IR 模型(判题机没 gcc,这是它的确定模型):程序是三地址码元组列表,每条 (dst, op, a, b)——op ∈ const/copy/+/-/*,操作数 a/b 是整数(常量)或字符串(变量名)。
度量:size 指令条数,removed(before, after)=前减后,shrank=优化后是否更小。
全部评论