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
This note was uploaded on 02/07/2013 for the course CS 4120 taught by Professor Andrewmyers during the Fall '09 term at Cornell.
- Fall '09