<div dir="ltr"><div class="gmail-gE gmail-iv gmail-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="gmail-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="gmail-" style="font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:medium"><div id="gmail-:8dh" class="gmail-ii gmail-gt gmail-adO" style="font-size:12.8px;direction:ltr;margin:8px 0px 0px;padding:0px"><div id="gmail-:8di" class="gmail-a3s gmail-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">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="gmail-il">LLVM</span>. </div><div><br></div><div>-Milind Chabbi</div></div></div></div></div></div></div>