Displaying 20 results from an estimated 6000 matches similar to: "[LLVMdev] an OS around LLVM"
2013 Dec 17
3
[LLVMdev] an OS around LLVM
We (PNaCl team) are in the process of removing older documentation,
this is probably more accurate:
https://developers.google.com/native-client/dev/
On Tue, Dec 17, 2013 at 6:50 AM, Sam Parker <S.Parker3 at lboro.ac.uk> wrote:
> Check out PNaCL
> http://www.chromium.org/nativeclient/pnacl
>
> Cheers,
> Sam
>
> Sam Parker
> Research Student
> Electronic Systems
2013 Dec 17
0
[LLVMdev] an OS around LLVM
Check out PNaCL
http://www.chromium.org/nativeclient/pnacl
Cheers,
Sam
Sam Parker
Research Student
Electronic Systems Design Group
Loughborough University
UK
________________________________________
From: llvmdev-bounces at cs.uiuc.edu [llvmdev-bounces at cs.uiuc.edu] on behalf of mindmachine at free.fr [mindmachine at free.fr]
Sent: 17 December 2013 14:03
To: llvmdev at cs.uiuc.edu
Subject:
2013 Dec 18
0
[LLVMdev] an OS around LLVM
Thanks, I hadn't heard about PNaCl, it's very interesting.
I'm currently swimming in http://llvm.org/docs/ trying to learn more about
LLVM-IR...
Selon JF Bastien <jfb at google.com>:
> We (PNaCl team) are in the process of removing older documentation,
> this is probably more accurate:
> https://developers.google.com/native-client/dev/
>
> On Tue, Dec 17,
2013 Jul 19
2
[LLVMdev] llva-emu
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>
2007 Apr 03
2
[LLVMdev] LLVA and WCET Analysis
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
>>
2007 Sep 14
3
[LLVMdev] Problem of running data structure analysis (DSA) on Linux kernel
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
2013 Sep 19
2
[LLVMdev] LLVM virtual machine
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
2015 Mar 16
2
[LLVMdev] GSOC:Control Flow integrity for kernal
Hi
I want to pursue a project based to improve the existing KCoFI method which
is the Control Flow integrity method for commodity os. Since KCoFI is a
llvm based project I plan to undertake the project to improve the existing
KCoFI method. Following are the improvements that I want to pursue:
1. To improve the call graph used in KCoFI. Implement a stronger call graph.
2. Port the KCoFI to
2015 Mar 26
2
[LLVMdev] GSOC project on KCoFI
Hi
In my previous mail I mentioned the project on KCoFI( the control FLow
integrity methods for commodity hardware
http://sva.cs.illinois.edu/pubs/KCoFI-Oakland-2014.pdf ).
Will it be more helpful to the community if I do the improvements number #1
and #3 mentioned in my previous mail to the mailing list or if i try to
port it to arm architecture?
I have decided to go ahead with the improvements
2013 Jul 19
0
[LLVMdev] llva-emu
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
2007 Apr 02
2
[LLVMdev] LLVA and WCET Analysis
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
2007 Apr 03
0
[LLVMdev] LLVA and WCET Analysis
> > 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
2013 Sep 19
0
[LLVMdev] LLVM virtual machine
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
2007 Apr 03
0
[LLVMdev] LLVA and WCET Analysis
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
2013 Dec 19
0
[LLVMdev] an OS around LLVM
You might wish to read this thread as well, for some backround on LLVM IR.
http://lists.cs.uiuc.edu/pipermail/llvmdev/2011-October/043719.html
Summary:
LLVM IR is target specific, not portable between different targets.
LLVM IR is actually a Compiler IR and not a virtual machine language.
2007 May 19
3
[LLVMdev] llvm, gpu execution environments
Chris Lattner wrote:
> On Fri, 18 May 2007, Keith Whitwell wrote:
>> I'm interested in understanding the extent of the assumptions which llvm
>> makes about the types of hardware it is capable of targeting.
>
> Different pieces of the compiler make different assumptions. In
> particular, the code generator we ship is good for targetting certain
> classes of
2007 Apr 02
5
[LLVMdev] CVS Branches To Discard?
All,
We are considering removing some branches and tags in the conversion
process from CVS to SVN. We don't want to do this in a vaccuum, so
please read carefully.
A deficiency in the cvs2svn script causes it to bloat the Subversion
repository (significantly, as in 10x) in the conversion of branches and
tags. We can minimize the impact of this by only keeping branches and
tags that we really
2007 Apr 02
0
[LLVMdev] CVS Branches To Discard?
Reed,
Can the "see" branch be renamed "SVA", for Secure Virtual
Architecture? This is the new name of the LLVA system and project.
It uses LLVM as the instruction set and compiler infrastructure.
Thanks,
--Vikram
http://www.cs.uiuc.edu/~vadve
http://llvm.cs.uiuc.edu/
On Apr 2, 2007, at 1:08 PM, Reid Spencer wrote:
> All,
>
> We are considering removing some
2007 Apr 02
1
[LLVMdev] CVS Branches To Discard?
On Mon, 2007-04-02 at 13:30 -0500, Vikram S. Adve wrote:
> Reed,
>
> Can the "see" branch be renamed "SVA", for Secure Virtual
> Architecture? This is the new name of the LLVA system and project.
> It uses LLVM as the instruction set and compiler infrastructure.
Yes, we can do that. I'll add it to the conversion script.
>
> Thanks,
>
>
2007 Aug 31
1
[LLVMdev] Compile Linux Kernel with LLVM gcc frontend
Hi,
I am curious about if the current LLVM implementation can handle Linux
kernel (or any particular version of Linux kernel). The first question I have
is that, how to create LLVM bytecode of Linux kernel using LLVM
gcc frontend. What changes should I make to the compiling process
Linux kernel?
Secondly, is it possible to compile the assembly code in Linux kernel into LLVM
bytecode? I noticed