Optimising CompilersConstant Propagation

x := exp; x:?,y:?

y := const; x:nc,y:?

if test x:nc,y:c

then x := f(y); ... x:nc,y:c

else x := g(y); … x:nc,y:c

fi;

output x x:nc,y:c

Previous slide

Next slide

Back to first slide

View graphic version