等价变换的分类 保结构等价变换 删除公共子表达式和删除无用代码,重新命名临 时变量和交换独立四元式的顺序等 ++ t变成+ xax yby Xyt2变成 t2 代数等价变换利用了代数恒等性质, 削减计算强度。2x=x+x, B and true=B 需要考虑双目运算符的可交换特性。等价变换的分类 • 保结构等价变换 – 删除公共子表达式和删除无用代码，重新命名临 时变量和交换独立四元式的顺序等。 – + x y t变成+ x y u – + a b t1 + x y t2变成 – + x y t2 + a b t1 • 代数等价变换利用了代数恒等性质， – 削减计算强度。2x=x+x, B and true = B. – 需要考虑双目运算符的可交换特性