Compute copy propagation info (CPs).
Very similar to AEs (the same code is used).
Using RDs for copy propagation is WRONG!
That is, set of copy statements still valid.
Bin = the set of CPs reaching the beginning of B.
Bout = the set of CPs reaching the end of B.
Compute copy propagation info (CPs). Very similar to AEs (the same code is used). Using RDs for copy propagation is WRONG! That is, set of copy statements still valid. Bin = the set of CPs reaching the beginning of B. Bout = the set of CPs reaching the end of B.