llvm dev - May 2016 - 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

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

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
>