<div dir="auto">Check out : include/llvm/Analysis/IntervalIterator.h<div dir="auto"><br></div><div dir="auto">Thanks,</div><div dir="auto">Jatin </div></div><br><div class="gmail_quote"><div dir="ltr">On Sat, 8 Sep 2018, 01:08 Milind Chabbi via llvm-dev, <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="m_-2986336743416261583gmail-gE m_-2986336743416261583gmail-iv m_-2986336743416261583gmail-gt" style="padding:20px 0px 0px;font-size:12.8px;font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif;font-size:small">Is there any interval-based analysis framework in </span><span class="m_-2986336743416261583gmail-il" style="font-family:Arial,Helvetica,sans-serif;font-size:small">LLVM</span><span style="font-family:Arial,Helvetica,sans-serif;font-size:small">? </span><br></div><div class="m_-2986336743416261583gmail-" style="font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:medium"><div id="m_-2986336743416261583gmail-:8dh" class="m_-2986336743416261583gmail-ii m_-2986336743416261583gmail-gt m_-2986336743416261583gmail-adO" style="font-size:12.8px;direction:ltr;margin:8px 0px 0px;padding:0px"><div id="m_-2986336743416261583gmail-:8di" class="m_-2986336743416261583gmail-a3s m_-2986336743416261583gmail-aXjCH" style="overflow:hidden;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:small;line-height:1.5;font-family:Arial,Helvetica,sans-serif"><div dir="ltr"><div dir="ltr"><div>I am looking for iteratively collapsing sub-regions of a control-flow graph and use the summary of the collapsed region in its enclosing region; something akin to Allen and Cocke's, "A program data flow analysis procedure," (<a href="https://amturing.acm.org/p137-allen.pdf" target="_blank" rel="noreferrer">https://amturing.acm.org/p137-allen.pdf</a>).</div><div><br></div><div>This is not same as the region pass since a region is defined only over a single entry single exit in <span class="m_-2986336743416261583gmail-il">LLVM</span>. </div><div><br></div><div>-Milind Chabbi</div></div></div></div></div></div></div>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank" rel="noreferrer">llvm-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div>