This preview shows page 1. Sign up to view the full content.
Unformatted text preview: re, and for some constant k, and build a dataflow analysis that
computes ranges in L′ . Show the transfer functions for the following
assignment to a constant x = n
addition x = y + z
multiplication x = y * z
d. This is an example of an analysis where it makes sense to propagate
different information along different out edges from a node. Give a
suitable transfer function for each of the out edges of a comparison x < n
and show that with this analysis we can derive a bound [10, 10] for variable
iat the exi...
View Full Document
- Fall '09