search for: pr810

...mail.com > To: koni10 at hotmail.it > CC: llvmdev at cs.uiuc.edu > Subject: Re: [LLVMdev] precondition suggestion to LLVM > > You may want to check this out: > > http://lists.cs.uiuc.edu/pipermail/llvmdev/2012-October/053924.html > > and also > > http://llvm.org/PR810 > > - xi > > On 10/22/12 6:05 PM, Niko Zarzani wrote: > > Hi all, > > Is there any way to tell LLVM some additional information about the > > variables in the code in order to make better optimization? > > For example, if my function has a certain precondition...

You may want to check this out: http://lists.cs.uiuc.edu/pipermail/llvmdev/2012-October/053924.html and also http://llvm.org/PR810 - xi On 10/22/12 6:05 PM, Niko Zarzani wrote: > Hi all, > Is there any way to tell LLVM some additional information about the > variables in the code in order to make better optimization? > For example, if my function has a certain precondition (such as x>0) > then it will be...

...t;> CC: llvmdev at cs.uiuc.edu > >> Subject: Re: [LLVMdev] precondition suggestion to LLVM >> >> You may want to check this out: >> >> http://lists.cs.uiuc.edu/pipermail/llvmdev/2012-October/053924.html >> >> and also >> >> http://llvm.org/PR810 >> >> - xi >> >> On 10/22/12 6:05 PM, Niko Zarzani wrote: >> > Hi all, >> > Is there any way to tell LLVM some additional information about the >> > variables in the code in order to make better optimization? >> > For example, if my functi...

Hi all,Is there any way to tell LLVM some additional information about the variables in the code in order to make better optimization?For example, if my function has a certain precondition (such as x>0) then it will be possible to better optimize the code given that information (which the compiler does not know).I am new in this field and I don't know if there are ways to tell the compiler

...s on? For some brief background reading you might want to take a look at these bugs: http://llvm.org/bugs/show_bug.cgi?id=3100 http://llvm.org/bugs/show_bug.cgi?id=810 Which are things I (& others more experienced than myself) have posted some thoughts on. If you're interested in pursuing PR810 then I have some code that Nick Lewycky passed on to me involving his experiments in this domain. & I'm also going to CC Eric Christopher because he mentioned he'd had some thoughts on how to achieve this (the general problem described in 810 about how to pass assumptions/facts from the...

Hello everyone, As a research project we are trying to figure out how to insert some annotations in the compiler in order to optimize the code. For example: /*@ ensures x == 5 */ if(x>5){ {...} } where the comment is written in ACSL<http://en.wikipedia.org/wiki/ANSI/ISO_C_Specification_Language>. The example is trivial, but gives the idea, if LLVM is be able to read the annotation, it

Hello all, Our compilers class has been using LLVM, and a partner and I decided to implement devirtualization of virtual C++ calls in LLVM as a class project. We quickly realized that existing debug metadata generated by Clang didn't give us enough info to (precisely) implement this, and as such have already begun modifying Clang to insert such metadata. However, for devirtualization we also

Does anyone have any suggestions on how to best represent an assumption statement(*) in IR? In particular, I want to expose the information implied by the assumption to the optimization passes without emitting code (after optimization) to check the assumption itself. I've tried a couple of options so far, and none have gotten me quite the right semantics. Has anyone else implemented

...und reading you might want to take a look at these > bugs: > http://llvm.org/bugs/show_bug.cgi?id=3100 > http://llvm.org/bugs/show_bug.cgi?id=810 > > Which are things I (& others more experienced than myself) have posted > some thoughts on. If you're interested in pursuing PR810 then I have > some code that Nick Lewycky passed on to me involving his experiments > in this domain. & I'm also going to CC Eric Christopher because he > mentioned he'd had some thoughts on how to achieve this (the general > problem described in 810 about how to pass assump...