similar to: [LLVMdev] Compile Linux Kernel with LLVM gcc frontend

Hi, I ran into a problem when running DSA on Linux kernel (the Kernel version I used is 2.4.31). The analysis was aborted when it tried to do DSNode::mergeTypeInfo on some data structure in the kernel. I have filed a bug report at http://llvm.org/bugs/show_bug.cgi?id=1656. My question is what version of Linux kernel LLVM has been tested on successfully? To run DSA analysis, should I use the

I can say that it does not for me,running x86_64, I have been generating errors for submission by testing on a number of gnu utilities starting with binutils. Patrick On Aug 31, 2007, at 6:11 PM, "Haifeng He" <hehaifeng2nd at gmail.com> wrote: Hi, I am curious about if the current LLVM implementation can handle Linux kernel (or any particular version of Linux kernel). The

On Fri, 31 Aug 2007, Patrick Flannery wrote: > I can say that it does not for me,running x86_64, I have been generating > errors for submission by testing on a number of gnu utilities starting > with binutils. If you run into problems, please file bugs. -Chris > On Aug 31, 2007, at 6:11 PM, "Haifeng He" <hehaifeng2nd at gmail.com> wrote: > > Hi, > > I

On 9/13/07, Haifeng He <hehaifeng2nd at gmail.com> wrote: > Hi, > > I ran into a problem when running DSA on Linux kernel (the Kernel > version I used is > 2.4.31). The analysis was aborted when it tried to do > DSNode::mergeTypeInfo on some data structure in the kernel. I have > filed a bug report at http://llvm.org/bugs/show_bug.cgi?id=1656. It is possible there was a

Hi, I have a question about memory page tables in Xen. As far as I understood, every modification to page table will go through Xen(hypervisor). Is it so that all page tables are actually allocated in Xen(hypervisor) instead of guest OS(domain)? Also, is it the case that Xen(hypervisor) needs to maintain a page table for each process running in every domain? Thanks Haifeng

A following question about how to install "poolalloc". I checked out poolalloc from svn. But I had a problem of installing it. When I tried to run "configure" with options "--with-llvmsrc" and "--with--llvmobj" pointing to where the source of my llvm and objs dir are (/home/usr/Tools/llvm, e.g.), "configure" complained error message

Hi Konstantin, good point. but I my intention is to have something like the llva project. Basically I would like to define a machine that looks as if it has processors running natively llvm code. And when that runs enhance the llvm byte code with some specific instructions. Besides this if I make my measurements on the running of llvm bytecode I can test several platforms simultaneously because I

On Apr 3, 2007, at 10:55 AM, Andrew Lenharth wrote: > On 4/2/07, Fabian Scheler <fabian.scheler at gmail.com> wrote: >> Hello everybody, >> >> I'm curious whether there have been any attempts to perform >> performance analysis on the LLVA level. I am interested in the >> derivation of flow-facts (loop bounds etc. - what about the >>

On 9/19/13 9:53 AM, Herbei Dacian wrote: > > Hi Konstantin, > good point. > but I my intention is to have something like the llva project. If you want something like the LLVA project for user-space applications, then you basically want to use LLVM as-is. The only things missing are the instructions that replace certain in-line assembly sequences that cannot be represented by

> > LLVA specifically is refering to a research project offshoot of llvm. > > LLVM instructions do not have 1:1 mappings to native instructions > > (sometimes multiple llvm instructions map to fewer native insts, > > sometimes the other way around). > > That's correct, and furthermore, LLVA (now called SVA = Secure > Virtual Architecture) uses essentially the

Hi All, can anyone tell me where I can find the sources for the llva-emu project? I've tried to contact  Michael Brukman or Brian Gaeke but no reply. thank you for any help, dacian -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130719/94fcf74b/attachment.html>

On 7/19/13 3:20 AM, Herbei Dacian wrote: > > > Hi All, > can anyone tell me where I can find the sources for the llva-emu project? The llva-emu code is extremely old and, as I recall, not very feature-filled. It was also done for a class project (I don't think it was used for the original LLVA publication, and it wasn't used for any of the subsequent LLVA/SVA publications

Hi, all I have a question about how to profile program with LLVM. When I tried to compile the instrumented version of program after using "-insert-block-profiling", I got error complaining " undefined reference to `llvm_start_block_profiling'. I found that there is a "runtime"directory in llvm source directory but in the Makefile, it said llvm gcc 4 and above

okay. I guess I figured it out. It seems "poolalloc" needs to be put in llvm/projects/ directory. Haifeng On 8/23/07, Haifeng He <hehaifeng2nd at gmail.com> wrote: > A following question about how to install "poolalloc". I checked out > poolalloc from svn. But I had a problem of installing it. When I tried to run > "configure" with options

Hi Haifeng > I have a question about how to profile program with LLVM. When I tried > to compile the instrumented version of program after using "-insert- > block-profiling", I got > error complaining " undefined reference to > `llvm_start_block_profiling'. > > I found that there is a "runtime"directory in llvm source directory > but in the

Hello everybody, I'm curious whether there have been any attempts to perform performance analysis on the LLVA level. I am interested in the derivation of flow-facts (loop bounds etc. - what about the value-range-propagation pass I read about on this list some time ago) but even more I am interested in exec-time modeling (how long does it take to execute a bunch of LLVA instructions on

On 4/2/07, Fabian Scheler <fabian.scheler at gmail.com> wrote: > Hello everybody, > > I'm curious whether there have been any attempts to perform > performance analysis on the LLVA level. I am interested in the > derivation of flow-facts (loop bounds etc. - what about the > value-range-propagation pass I read about on this list some time ago) > but even more I am

Haifeng He wrote: > I updated the latest "poolalloc" code and the problem seems to have been fixed. > However, I am still having problem of running "poolalloc". > > After compilation finished, there are several dynamic libraries > created (libpoolalloc_rt.so, libpoolalloc_fl_rt.so and > LLVMDataStructure.so). I was not sure which one I should use so I just

Hi all, If it's not the right place to ask, please forgive me. Currently I'm working on a new operating system concept, called "Om". The first feature would be Android-like apps, coming in *.opk files that would contain all needed resources and source-code expressed in LLVM-IR assembly language. http://sett.com/openminded-os/uid/88508 How does it sound ? Julien

Hello, As far as I know, there is no MPX pass in LLVM (though the x86-64 backend already declares MPX registers and instructions). I wonder if anyone is currently working on the LLVM pass for MPX instrumentation, similar to Pointer Checker in gcc. If yes, could anyone elaborate on the status and accessability to other researchers? And if any help is needed? Prof. Santosh Nagarakatte, the author