<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body bgcolor="#ffffff" text="#000000">
From the fact that nobody is replying I guess there's no easy way to
do what I asked.<br>
Can you just confirm then that the following is a meaningful way to
do it?<br>
<ul>
<li>D_b <- set of dominators of BB b</li>
<li>S_b <- set containing b and its successors (optional)<br>
</li>
<li>VD_b <- set of the values defined in D_b</li>
<li>VS_b <- set of the values with uses in S_b (optional)</li>
<li>LV_b <- VD_b ∩ VS_b, i.e. the live values (optional,
otherwise LV_b = VD_b)<br>
</li>
<li>create the value mapping LV_b -> LV'_b</li>
<li>apply the mapping to the uses in VS_b</li>
</ul>
the points marked (optional) are needed only if we don't want an
overapproximation of the set of live values. To keep things simple,
let's assume that b has a single predecessor.<br>
Is this correct? Any flaws?<br>
<br>
<div class="moz-signature">-- <br>
<style type="text/css">
.signature {
}
.signature a, .signature a:link, .signature a:hover, .signature a:active,
</style>
<div style="background: none repeat scroll 0% 0% rgb(238, 238,
238); border: 1px solid rgb(221, 221, 221); padding: 7px 9px;
display: inline-block; -moz-border-radius: 6px 6px 6px 6px;">
Carlo Alberto Ferraris <<a
href="mailto:cafxx@strayorange.com">cafxx@strayorange.com</a>><br>
<a href="http://cafxx.strayorange.com">website/blog</a> - +39
333 7643 235
</div>
</div>
</body>
</html>