<div dir="ltr"><div dir="ltr">Is there any interval-based analysis framework in LLVM? <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">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 LLVM. <br></div><div><br></div><div>-Milind</div></div></div>