<!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">
    Suppose I have in my CFG (among others) two basic blocks A and B,
    with an edge from A to B. I need to do the following: <br>
    <ul>
      <li>get the set S of live values across that edge</li>
      <li>map each of them to another value (S->S')</li>
      <li>replace - in B and its successors - all the uses of values in
        S with the mapped values (S')  </li>
    </ul>
    Does LLVM provide an easy way to do this (because I can't seem to be
    able to find it)? If not, do you have any suggestions about how to
    do it?<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>