Interprocedural partial redundancies
Design an interprocedural elimination of partially redundant assignments.
(a). Design an interprocedural analysis of very busy assignments.
How should the abstract functions enterand combinebe defined? For
that, take into account that the analysis should be backward! Is your operator
Hdistributive? Is it possible to describe all abstract effects of edges in the
control-flow graph by means of functions of the form f x = (x ∪ a) ∩ b for
suitable sets a, b?
(b). Use the information computed by your very business analysis to remove
partial redundancies.