[llvm-dev] Interval analysis in LLVM

[Johannes Doerfert via llvm-dev]

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>