search for: terei

everyone-- File this under Advocacy. See this thread <http://www.haskell.org/pipermail/glasgow-haskell-users/2010-February/018425.html> for more information, but the short summary is that they're deprecating their old "compile to GCC" backend in favor of David Terei's new LLVM backend. They're still planning for their C-- backend to be the primary backend for native code generation, but by bundling LLVM with the GHC sources, they'll be able to remove a whole passle of Perl and GCC-related crawling horrors. They're hoping to get some performan...

...s advice on which software to use, the getmail site attacks fetchmail quite strongly, but I'm not sure of its performance being written in Python as I'm running on an old Pentium MMX(100MHz) using OpenBSD 3.7. Sorry for the long email I never can seem to keep them short :) Cheers, David Terei

Hi, are there any attempts to use LLVM in graph-rewriting (term-rewriting) language implementations? How good is LLVM for this? E.g., is it natural to expect that the LLVM-based implementation of the language Concurrent Clean be any faster than its reference implementation? Best regards -- Valery A.Khamenya -------------- next part -------------- An HTML attachment was scrubbed... URL:

I found this interesting: http://donsbot.wordpress.com/2010/02/21/smoking-fast-haskell-code-using-ghcs-new-llvm-codegen/

On 22 February 2010 19:43, Chris Lattner <clattner at apple.com> wrote: > I found this interesting: > http://donsbot.wordpress.com/2010/02/21/smoking-fast-haskell-code-using-ghcs-new-llvm-codegen/ David Terei sent it a few days ago too, as part of another thread. (which prevented me of sharing too) ;) It's really interesting how the optimizations scrambled the code to a point of non-recognition, but making it much faster. Are the generic optimizations (also) tailored towards functional programming...

Hi David, > Any word on this making 3.0? 3.0 already branched, and since this is not a regression, this will most probably go into 3.1. Maybe Bill (CC'ed) being the release manager has other opinion on this. -- With best regards, Anton Korobeynikov Faculty of Mathematics and Mechanics, Saint Petersburg State University

Hi All, The GHC developers would like to add support to llvm to enable the order that code and data are laid out in, in the resulting assembly code produced by llvm to be defined by the user. The reason we would like to have this feature is explained in the blog post on GHC's use of llvm here: http://blog.llvm.org/2010/05/glasgow-haskell-compiler-and-llvm.html, specifically under the title,

...the gnu assembler or whether they are supported by other assemblers, such as masm? Or put another way, will this limit the assembly output to the gnu toolchain? Cheers, Sam -----Original Message----- From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu] On Behalf Of David Terei Sent: 15 June 2010 14:18 To: Andrew Lenharth Cc: Simon Marlow; LLVM Developers Mailing List Subject: Re: [LLVMdev] Adding support to LLVM for data & code layout (neededby GHC) Hi all, Just wanted to report that I've found a second way to achieve data/code layout (the first being the linke...

...s contained to the LLVM backend. I'm still planning on adding support to LLVM for supporting side tables in some manner so we can just depend on pure LLVM. Cheers, David On 10 June 2010 18:08, Andrew Lenharth <andrewl at lenharth.org> wrote: > On Thu, Jun 10, 2010 at 11:34 AM, David Terei <davidterei at gmail.com> wrote: >> Its good to see that a feature of this nature would be useful to a >> whole range of people, I wasn't aware of that. >> >> On 9 June 2010 22:40, Andrew Lenharth <andrewl at lenharth.org> wrote: >>> My argument amou...

...rectly, although according to the llvm-gcc release notes this extension was first supported by llvm- gcc in 1.9. gcc output: register: 3 register: 6 llvm-gcc output: register: 3 register: 16330 So just hoping this can be done with LLVM and if so, then how. Cheers, David Terei

...use of the readily available optimization passes, cross-platform support and the integrated JIT. > E.g., is it natural to expect that the LLVM-based implementation of the > language Concurrent Clean be any faster than its reference implementation? You should probably get in touch with David Terei. His LLVM ghc backend seems to be doing fairly well: http://donsbot.wordpress.com/2010/02/21/smoking-fast-haskell-code-using-ghcs-new-llvm-codegen/ Albert -- Dr. Albert Gr"af Dept. of Music-Informatics, University of Mainz, Germany Email: Dr.Graef at t-online.de, ag at muwiinfa.geschichte....

Hi David, Yes. It was the main reason why I decided to do an RC3. :-) -bw On Mar 28, 2011, at 10:41 AM, David Terei wrote: > Hi Bill, > > Is the fix for Bug 9561 included? (http://llvm.org/bugs/show_bug.cgi?id=9561) > > Cheers, > David. > > On 26 March 2011 18:38, Bill Wendling <wendling at apple.com> wrote: >> Hi all, >> >> The good news: RC2 testing was succ...

Hi David, Your paper is linked on an LLVM site, but I can't give you the url as we are currently down for maintenance. If I remember correctly it was under "recent papers" off of the home site. Garrison On Feb 21, 2010, at 18:55, David Terei wrote: > Just to correct, the GCC back-end isn't being depreciated in favour of > the LLVM back-end (as much as I would to claim it was). The GCC back-end > has been on the list of things GHC developers wanted to remove for a > while now and the larger reason its being done now...

On Jun 8, 2010, at 3:42 AM, David Terei wrote: > The GHC developers would like to add support to llvm to enable the > order that code and data are laid out in, in the resulting assembly > code produced by llvm to be defined by the user. The reason we would > like to have this feature is explained in the blog post on GHC's...

On Tue, 8 Jun 2010 11:42:41 +0100, David Terei <davidterei at gmail.com> wrote: > Hi All, > > The GHC developers would like to add support to llvm to enable the > order that code and data are laid out in, in the resulting assembly > code produced by llvm to be defined by the user. The reason we would > like to have this...

On Mar 13, 2012, at 4:36 PM, David Terei wrote: > Hi Chris, > > One remaining question here is, if the GHC team tries some of these > alternative schemes and finds them unsatisfactory what is the LLVM > communities feeling in regards to extending LLVM IR to support > directly implementing TNTC? I'm strongly in fav...

...outside-of-the-struct pointer is really going it could make direct call instead of indirect -- however, I don't know if this is a big deal. Eugene On Tue, Jun 8, 2010 at 3:50 PM, Sebastian Redl <sebastian.redl at getdesigned.at> wrote: > > On Tue, 8 Jun 2010 11:42:41 +0100, David Terei <davidterei at gmail.com> > wrote: >> Hi All, >> >> The GHC developers would like to add support to llvm to enable the >> order that code and data are laid out in, in the resulting assembly >> code produced by llvm to be defined by the user. The reason we woul...

tail calls are only implemented for fastcall calling convention if i remeber right from my inquiries. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20091112/e8f1dd2a/attachment.html>

On Feb 14, 2012, at 10:30 AM, David Terei wrote: > Hmm writing a blog post about TNTC is beyond the time I have right now. Sure, understandable. I'm surprised someone else hasn't already :) > Here is some high level documentation of the layout of Heap objects in GHC: > > http://hackage.haskell.org/trac/ghc/wiki/Com...

On Feb 15, 2012, at 12:16 PM, Chris Lattner <clattner at apple.com> wrote: > > On Feb 14, 2012, at 10:30 AM, David Terei wrote: > >> Hmm writing a blog post about TNTC is beyond the time I have right now. > > Sure, understandable. I'm surprised someone else hasn't already :) > >> Here is some high level documentation of the layout of Heap objects in GHC: >> >> http://h...