Optimising CompilersConstant Propagation

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

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

if test

then x := f(y); ...

else x := g(y); ...

fi;

output x

Previous slide

Next slide

Back to first slide

View graphic version