<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
Il 31/03/2011 18:50, Andrew Clinton ha scritto:
<blockquote cite="mid:4D94B0EB.1020608@sidefx.com" type="cite">
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
LiveVariables is the optimized and tested way to get variable
liveness information (it's used by register allocation).
Unfortunately it requires a MachineFunction to work - so you'll
either need to lower to one of the built-in targets or add your
own target to acquire access to this pass.<br>
<br>
Andrew<br>
<br>
</blockquote>
I just realized that I actually need something looser than
LiveValues. I just need to know, at the begining of a BB, the list
of values defined in the predecessor(s). If there are multiple
predecessors it's easy (I just iterate over the PHIs and get all I
need to know there), but I'm kind of stuck on how to do it when
there's a single predecessor, i.e. there are no PHIs.<br>
How is this problem dealt with internally by LLVM?<br>
<br>
<br>
<div class="moz-signature">-- <br>
<style type="text/css"><!--
.moz-signature:first-line {
color:#FFF;
}
.caf-sign {
color:#777;
background:#eee;
border:1px solid #DDD;
border-bottom-width:6px;
padding:7px 9px 4px;
display:inline-block;
border-radius:6px; -moz-border-radius:6px;
line-height:105%;
}
div.caf-sign:hover {
border-bottom-color:#F80;
}
.caf-sign a:link, .caf-sign a:active, .caf-sign a:visited {
color:#777 !important;
text-decoration:none !important;
}
.caf-sign a:hover {
color:#F80 !important;
text-decoration:none !important;
text-shadow:0 0 10px #FC8;
}
.caf-links a, .caf-links span {
font-size:75%;
text-transform:uppercase;
margin-right:5px;
}
blockquote .caf-sign {
display:none;
}
--></style>
<div class="caf-sign"> Carlo Alberto Ferraris <<a
href="mailto:cafxx@strayorange.com">cafxx@strayorange.com</a>>
<div class="caf-links"> <span>+39 333 7643 235</span> <a
href="xmpp:cafxx@strayorange.com">XMPP</a> <a
href="http://cafxx.strayorange.com">Website</a> <a
href="http://www.strayorange.com/blog/category/members/cafxx">Blog</a>
<a href="http://it.linkedin.com/in/cafxx">LinkedIn</a> <a
href="http://www.facebook.com/carloalberto.ferraris">Facebook</a>
</div>
</div>
</div>
</body>
</html>