补全:死代码消除
补全 dce:只留下被用到或活跃输出的赋值。
贯穿本节的 IR 模型(判题机没 gcc,这是它的确定模型):程序是三地址码元组列表,每条 (dst, op, a, b)——op ∈ const/copy/+/-/*,操作数 a/b 是整数(常量)或字符串(变量名)。
死代码消除 dce(prog, live):只留下「被别处用到」或「是活跃输出 live」的赋值;used_vars 收集被用到的变量,count_dead 数没人用的赋值。
补全 dce:只留下被用到或活跃输出的赋值。
贯穿本节的 IR 模型(判题机没 gcc,这是它的确定模型):程序是三地址码元组列表,每条 (dst, op, a, b)——op ∈ const/copy/+/-/*,操作数 a/b 是整数(常量)或字符串(变量名)。
死代码消除 dce(prog, live):只留下「被别处用到」或「是活跃输出 live」的赋值;used_vars 收集被用到的变量,count_dead 数没人用的赋值。
全部评论