常量传播小结

最新推荐文章于 2025-01-01 12:35:45 发布

原创最新推荐文章于 2025-01-01 12:35:45 发布 · 1.3k 阅读

0 ·

CC 4.0 BY-SA版权

tag: 编译, 编译原理, 优化, 常量传播

不多说先看结果

//源文件

{ Sample program
in TINY language
}
x:=4;{read x;} { input an integer }
if 0 < x then { don't compute if x <= 0 }
fact := 1;
  repeat
    fact := fact * x; 
    x := x - 1 
  until x = 0; 
  write fact { output factorial of x } 
end

//parser之后未优化的结果

x:= 4
__compare_inner_1:= 0
__compare_inner_2:= x
__compare_inner_0:= __compare_inner_1 < __compare_inner_2
test __compare_inner_0
jz L-else 
fact:= 1
L-repeat: 
__compare_inner_3:= fact
__compare_inner_4:= x
fact:= __compare_inner_3 * __compare_inner_4
__compare_inner_5:= x
__compare_inner_6:= 1
x:= __compare_inner_5 - __compare_inner_6
__compare_inner_8:= x
__compare_inner_9:= 0
__compare_inner_7:= __compare_inner_8 = __compare_inner_9
test __compare_inner_7
jnz L-repeat 
write fact
jmp L-end 
L-esle: 
L-end:

//常量传播之后

x:= 4
__compare_inner_1:= 0
__compare_inner_2:= 4
__compare_inner_0:= 1 < 4
fact:= 1
__compare_inner_3:= 24
__compare_inner_4:= 1
__compare_inner_5:= 1
__compare_inner_6:= 1
__compare_inner_7:= 1
__compare_inner_8:= 0
__compare_inner_9:= 0
fact:= 24
x:= 0
write fact

//去掉无用的代码