<html><head><style type="text/css"><!-- DIV {margin:0px;} --></style></head><body><div style="font-family:'times new roman', 'new york', times, serif;font-size:12pt"><div>Thanks. that's right but I was looking for sth like "successor closure" set for each instruction 'I' that includes all reachable instructions from I. </div><div>Does LLVM provide such a set?</div><div><br></div><div>Thanks alot,</div><div>::Saman</div><div><br></div><div style="font-family:times new roman, new york, times, serif;font-size:12pt"><div style="font-family:times new roman, new york, times, serif;font-size:12pt"><div><blockquote type="cite"><span class="Apple-style-span" style="border-collapse:separate;color:rgb(0, 0,
0);font-family:Helvetica;font-size:medium;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;orphans:2;text-align:auto;text-indent:0px;text-transform:none;white-space:normal;widows:2;word-spacing:0px;"><div><div style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0px;font-family:'times new roman', 'new york', times, serif;font-size:12pt;"><div style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0px;">Dear All,<br><br>I am new to LLVM and want to know if LLVM provides any reachability information about the instructions inside a function? For example, is instruction 'J' reachable from the instruction 'I'? (just based on CFG)<br></div></div></div></span></blockquote></div><br><div>You can just do a depth first search on the cfg?</div><div><br></div><div>-Chris</div></div></div><div style="position:fixed"></div></div><br>
</body></html>