Is there any interval-based analysis framework in LLVM? 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," (https://amturing.acm.org/p137-allen.pdf). This is not same as the region pass since a region is defined only over a single entry single exit in LLVM. -Milind Chabbi -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180907/69970488/attachment.html>
Check out : include/llvm/Analysis/IntervalIterator.h Thanks, Jatin On Sat, 8 Sep 2018, 01:08 Milind Chabbi via llvm-dev, < llvm-dev at lists.llvm.org> wrote:> Is there any interval-based analysis framework in LLVM? > 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," (https://amturing.acm.org/p137-allen.pdf). > > This is not same as the region pass since a region is defined only over a > single entry single exit in LLVM. > > -Milind Chabbi > _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org > http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev >-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180909/9774f6d3/attachment.html>
I haven't read the paper but from the brief description this might be what you are looking for: https://llvm.org/doxygen/Interval_8h_source.html Cheers, Johannes On 09/07, Milind Chabbi via llvm-dev wrote:> Is there any interval-based analysis framework in LLVM? > 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," (https://amturing.acm.org/p137-allen.pdf). > > This is not same as the region pass since a region is defined only over a > single entry single exit in LLVM. > > -Milind Chabbi> _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org > http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev-- Johannes Doerfert PhD Student / Researcher Compiler Design Lab (Professor Hack) / Argonne National Laboratory Saarland Informatics Campus, Germany / Lemont, IL 60439, USA Building E1.3, Room 4.31 Tel. +49 (0)681 302-57521 : doerfert at cs.uni-saarland.de / jdoerfert at anl.gov Fax. +49 (0)681 302-3065 : http://www.cdl.uni-saarland.de/people/doerfert -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 228 bytes Desc: Digital signature URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180909/ed2fab0f/attachment.sig>