llvm dev - Nov 2012 - [LLVMdev] Interprocedural slicing using LLVM

Hi,

   1. How can I report a bug or commit a patch to the giri progject? I
   doubt this central commit list is the right place.
   2. Are you still maintaining the giri project any more?

Thank you.

L


On Thu, Jun 28, 2012 at 12:49 AM, John Criswell <criswell at
illinois.edu>wrote:
> On 6/26/12 5:07 PM, amruth.rd wrote:
> > Hello,
> >
> > I am curious to know if LLVM offers any passes to do interprocedural
> slicing,  I need to eliminate most of the computations(possibly all, if
> they don't influence the control flow), but the control flow of the
program
> should be maintained at all cost. I did see an optimization pass to print
> the CFG of a function without its body to a dot file, but I am interested
> in generating the source code which gets printed to a dot file.
>
> There are two static backwards slicing passes for LLVM.
>
> The first is a partial implementation I wrote for a course project. The
> code is in the giri project:
>
> svn co https://llvm.org/svn/llvm-project/giri/trunk giri
>
> The Giri code runs with an older version of LLVM and probably needs some
> TLC.  It also only backtracks until it hits a load; additional code must
> be written to backtrack further to find potentially reaching stores.
>
> The second option is to use some code written by Jiri Slaby at
> https://github.com/jirislaby/LLVMSlicer.  I believe his implementation
> is a complete static backwards slicer, but I haven't used it myself, so
> I don't know it's quality or what version of LLVM it uses.
>
> I think someone at UW-Madison may have an implementation as well; I'll
> contact that person and see.
>
> -- John T.
>
> >
> > Thanks,
> > Amruth
> >
> > _______________________________________________
> > LLVM Developers mailing list
> > LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>


-- 
Mingliang LIU (刘明亮 in Chinese)

PACMAN Group,  Dept. of Computer Science & Technology
Tsinghua University, Beijing 100084, China
Email: liuml07 at mails.tsinghua.edu.cn
Homepage: http://pacman.cs.tsinghua.edu.cn/~liuml07/
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20121117/bbb47391/attachment.html>

On 11/17/12 6:25 AM, Mingliang LIU wrote:
> Hi,
>
>  1. How can I report a bug or commit a patch to the giri progject? I
>     doubt this central commit list is the right place.
>
I think posting to llvmdev is fine for now.  However, I think it would 
be better if we just gave you commit access so that you can make changes 
directly.  Would you like commit access?
>  1. Are you still maintaining the giri project any more?
>
Well, we never really started maintaining the giri project.  We began 
the work of releasing our code by creating the giri project and adding 
some of our slicing code to it because people kept asking us for a 
copy.  We really haven't started a concerted effort to make it a
"real"
LLVM sub-project (like SAFECode, for example) because a) one of the 
primary contributors is finishing his Ph.D., and b) we weren't sure if 
there was a sufficient community of users that would use it and help us 
maintain it.

So, if you'd like to update giri or provide bug fixes or what not, I can 
give you commit access, and you can have at it.  The only thing we ask 
is that the code be licensed under the University of Illinois open 
source license (the BSD-style license that LLVM uses).

-- John T.

-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20121117/2cca35be/attachment.html>

John,

Thanks for your quick reply.

Firstly, I'd like to employ a slicer for our benchmarking work (in one
word, reducing the long-time irrelevant computing). I find the giri project
and the LLVMSlicer[1]. However, the giri doesn't seem a complete
implementation to me. I admit that I have not finished reading
document/discussion, e.g. the previous threads in this mailing list. While
the latter has no documents/comments, which is of great importance to a
beginner.

Secondly, I'm not an actual compiler guy although I'm trying to. If any
of
you who participated the giri project would like to direct me to write a
full, generic and robust slicer for LLVM, I'm more confident to work on it.

Last, in FindFlow.h:67, is the code correct? I suppose it should be:
> -   std::vector<const Function *>::iterator FE = Targets.begin();
> ---
> +   std::vector<const Function *>::iterator FE = Targets.end();

Regards.

L

[1] https://github.com/jirislaby


On Mon, Nov 19, 2012 at 1:46 PM, Mingliang LIU <liuml07 at gmail.com>
wrote:
> John,
>
> Thanks for your quick reply.
>
> Firstly, I'd like to employ a slicer for our benchmarking work (in one
> word, reducing the long-time irrelevant computing). I find the giri project
> and the LLVMSlicer[1]. However, the giri doesn't seem a complete
> implementation to me. I admit that I have not finished reading
> document/discussion, e.g. the previous threads in this mailing list. While
> the latter has no documents/comments, which is of great importance to a
> beginner.
>
> Secondly, I'm not an actual compiler guy although I'm trying to. If
any of
> you who participated the giri project would like to direct me to write a
> full, generic and robust slicer for LLVM, I'm more confident to work on
it.
>
> Last, in FindFlow.h:67, is the code correct? I suppose it should be:
>
>> -   std::vector<const Function *>::iterator FE = Targets.begin();
>> ---
>> +   std::vector<const Function *>::iterator FE = Targets.end();
>
>
> Regards.
>
> L
>
> [1] https://github.com/jirislaby
>
>
>
> On Sun, Nov 18, 2012 at 4:19 AM, John Criswell <criswell at
illinois.edu>wrote:
>
>>  On 11/17/12 6:25 AM, Mingliang LIU wrote:
>>
>> Hi,
>>
>>    1. How can I report a bug or commit a patch to the giri progject? I
>>    doubt this central commit list is the right place.
>>
>>
>> I think posting to llvmdev is fine for now.  However, I think it would
be
>> better if we just gave you commit access so that you can make changes
>> directly.  Would you like commit access?
>>
>>
>>
>>    1. Are you still maintaining the giri project any more?
>>
>>
>> Well, we never really started maintaining the giri project.  We began
the
>> work of releasing our code by creating the giri project and adding some
of
>> our slicing code to it because people kept asking us for a copy.  We
really
>> haven't started a concerted effort to make it a "real"
LLVM sub-project
>> (like SAFECode, for example) because a) one of the primary contributors
is
>> finishing his Ph.D., and b) we weren't sure if there was a
sufficient
>> community of users that would use it and help us maintain it.
>>
>> So, if you'd like to update giri or provide bug fixes or what not,
I can
>> give you commit access, and you can have at it.  The only thing we ask
is
>> that the code be licensed under the University of Illinois open source
>> license (the BSD-style license that LLVM uses).
>>
>> -- John T.
>>
>>
>
>
> --
> Mingliang LIU (刘明亮 in Chinese)
>
> PACMAN Group,  Dept. of Computer Science & Technology
> Tsinghua University, Beijing 100084, China
> Email: liuml07 at mails.tsinghua.edu.cn
> Homepage: http://pacman.cs.tsinghua.edu.cn/~liuml07/
>
>

-- 
Mingliang LIU (刘明亮 in Chinese)

PACMAN Group,  Dept. of Computer Science & Technology
Tsinghua University, Beijing 100084, China
Email: liuml07 at mails.tsinghua.edu.cn
Homepage: http://pacman.cs.tsinghua.edu.cn/~liuml07/
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20121120/b446b079/attachment.html>