[llvm-dev] Live interval analysis on LLVM IR (not on Machine instructions)

[Alex Susu via llvm-dev]

   Hello.
     Thank you very much for the research paper. I will try to make use of the algorithms
it presents.

     I just want to add that I found a 3rd party project doing dataflow analysis for LLVM
IR at https://github.com/rohitjha/cse231-proj2. As written at
http://cseweb.ucsd.edu/~r1jha/#five , the project's description is:
     "Dataflow Analysis Framework for LLVM
  This is an extensible dataflow analysis framework for analyzing and optimizing LLVM IR
code. The framework runs forward optimistic iterative dataflow analyses such as Constant
Propagation, Available Expressions, Range Analysis (variable and array) and
Intra-procedural Pointer Analysis. Using these, checking for array access bounds,
optimization such as Constant Folding, Branch Folding and Common Subexpression Elimination
are easily implemented."
     I've started using it - need to adapt it a bit to work with LLVM 3.9. The project 
seems promising.

    I'm a bit surprised LLVM does not contain a DFA module for LLVM IR. I noticed that
lib/Analysis/AliasAnalysisEvaluator.cpp and ConstantFolding.cpp seem to implement DFA, but
it does not say it; also, lib/Transforms/Scalar/EarlyCSE.cpp performs CSE but without DFA 
it seems; as already mentioned, there is also lib/CodeGen/LiveIntervalAnalysis.cpp but 
this pass is performed on Machine instructions.

   Best regards,
     Alex


On 5/21/2016 7:15 PM, Das, Dibyendu wrote:
> You can use: http://www.rw.cdl.uni-saarland.de/~grund/papers/cgo08-liveness.pdf
>
>
> -----Original Message----- From: llvm-dev [mailto:llvm-dev-bounces at lists.llvm.org] On
> Behalf Of Alex Susu via llvm-dev Sent: Saturday, May 21, 2016 9:39 PM To: llvm-dev
> <llvm-dev at lists.llvm.org> Subject: [llvm-dev] Live interval analysis on LLVM IR (not on
> Machine instructions)
>
> Hello. Could you please tell me how can I implement best a live interval analysis on
> LLVM IR (not on Machine instructions, which is already available in
> http://llvm.org/docs/doxygen/html/LiveIntervalAnalysis_8cpp_source.html)? I need to
> analyze the standard LLVM IR (list of Instruction *) and decide for each SSA variable
> what is it's live(ness) interval. My problem is that I don't even know of an existing
> general Dataflow analysis algorithm implementation for LLVM IR.
>
> Thank you, Alex _______________________________________________ LLVM Developers mailing
> list llvm-dev at lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>