[LLVMdev] Building poolalloc with current LLVM development branch?

[Christian Convey]

Hi John, thanks, that is all very good news!  Thanks for letting me know.
To be sure I understand what you meant about the repo clone for your
students: are you saying that it works for some versions of LLVM, but not
the current one?

I'll check in with Will Deitz about his progress on stand-alone DSA.

Regarding my own needs: I'm basically looking for AA that's as precise as
possible, with little regard to how long it takes to compute even on very
large programs.  My work should be able to capitalize on context- and
flow-sensitive analysis results, as long as the concepts of flow and
context aren't too surprising.

There are two more features that are pretty important for my work: (1)
field-sensitivity even in the face of nasty type punning, and (2) not being
thrown off by heap allocations that are hidden behind a target program's
internal memory management code.

On a slightly related noted, I'm in the middle of a side-conversation with
George Burgess and Hal Finkel about what might be a reasonable interface
for clients to pose flow- and/or context-sensitive AA queries, in case the
underlying AA implementation is capable of making such distinctions.

- Christian



On Sat, May 30, 2015 at 12:06 PM, John Criswell <jtcriswel at gmail.com> wrote:

>  Dear Christian,
>
> First, I've never used CMake to build poolalloc.  I've always used the
> autoconf-based build system.  It is possible that the CMake files for
> poolalloc are broken.  I recommend using the autoconf-based build system.
>
> Second, you'll be pleased to know that someone (I think Will Dietz) has
> gotten DSA working with mainline LLVM.  The DSA code compiles, but not the
> Automatic Pool Allocation optimization code.  To put it another way,
> poolalloc/lib/DSA compiles and works but poolalloc/lib/PoolAllocate doesn't
> compile.  I took a snapshot of LLVM trunk and poolalloc trunk awhile ago
> and put it on Github for my students to use.  You can find it at
> https://github.com/jtcriswell/llvm-dsa.
>
> Third, my group's work on DSA is demand-driven.  While several of my
> students are using DSA, I do not presently plan to have them maintain or
> improve DSA unless their projects require it (that said, I easily see
> projects that will require enhancing DSA, so this is subject to change).
> To the best of my knowledge, no one is currently using or maintaining the
> Automatic Pool Allocation optimization.  I have no plans that require my
> group to use it or maintain it at present and don't foresee any in the near
> future.
>
> Finally, I've noticed a significant increase in the number of people
> wanting to use DSA in recent months.  I think this indicates a demand (I
> believe from the research community) for shape graph analysis and a call
> graph analysis that can handle function pointers.  I'd like to better
> understand who needs these features, which exact features they need, and
> whether they have any interest in helping support the analyses long term.
>
> To that end, I'd like to hold a BoF on points-to analysis/call graph
> analysis at this year's LLVM Developer's Meeting to see who is interested
> in these analyses, what they really need, and whether there is a way to
> build something that meets those needs that can be maintained long term.
>
> Regards,
>
> John Criswell
>
>
> On 5/28/15 1:57 PM, Christian Convey wrote:
>
>  I'm starting to play around with poolalloc for the first time.  I tried
> to build it as follows:
> 1) Clone llvm's git repo, and build it with cmake + ninja.
> 2) cd .../llvm/projects
> 3) git clone git at github.com:llvm-mirror/poolalloc.git
>
>  When I went to re-run ninja, (or even CMake by itself), I get errors
> like the following (truncated for brevity).  Any suggestions for whether
> I'm trying to use the build system incorrectly, vs. having an incompatible
> combo of LLVM and poolalloc?
>
>  CMake Error at cmake/modules/LLVMProcessSources.cmake:83 (message):
>   Found unknown source file
>   /opt/clang-llvm/llvm/projects/poolalloc/runtime/PreRT/strdup.c
>
>
>    Please update
>   /opt/clang-llvm/llvm/projects/poolalloc/runtime/PreRT/CMakeLists.txt
>
>
>  Call Stack (most recent call first):
>   cmake/modules/LLVMProcessSources.cmake:54 (llvm_check_source_file_list)
>   cmake/modules/AddLLVM.cmake:263 (llvm_process_sources)
>   cmake/modules/AddLLVM.cmake:418 (llvm_add_library)
>   projects/poolalloc/runtime/PreRT/CMakeLists.txt:2 (add_llvm_library)
>
>
>
>  Thanks,
> Christian
>
>
>
>
>
> _______________________________________________
> LLVM Developers mailing listLLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.eduhttp://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>
>
> --
> John Criswell
> Assistant Professor
> Department of Computer Science, University of Rochesterhttp://www.cs.rochester.edu/u/criswell
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150530/4ee92f60/attachment.html>