| |
| | [No title] |
 | | Then, we look at the variables % referenced on the RHS of the statement and see, for each one, if we can % replace it with a propogated value. |
 | | If this can be done, it returns % this simpler rvalue and signals changed update_rvalue = proc (r: rvalue, whereDef: bitvec, defs: definitions) signals (changed (rvalue)) % First, make sure that the rvalue refers to a variable. |
 | | If so, % look the variable up in whereDefTab and see if any definitions of % that variable reach this point. |
| www.mit.edu /afs/sipb.mit.edu/user/ghudson/6.035/constprop.clu (230 words) |
|