similar to: [LLVMdev] tblgen for generation of Haskell bindings to LLVM intrinsics

Hi, I was looking at the x86 vector intrinsics for converting half precision floating point numbers and I'm a bit confused as to why certain types were chosen. I've gone ahead and used their current definition with success but I'd like to understand why the types used with these intrinsics are done this way. For reference see ``include/llvm/IR/IntrinsicsX86.td``. Here are the

Galois, Inc. is pleased to announce the immediate release of the Haskell Lightweight Virtual Machine (or HaLVM), version 1.0. The HaLVM is a port of the GHC runtime system to the Xen hypervisor, allowing programmers to create Haskell programs that run directly on Xen''s "bare metal." Internally, Galois has used this system in several projects with much success, and we hope

These patches are incomplete, and I don't intend to work on this any further at the moment. I am posting them here to archive them. Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones libguestfs lets you edit virtual machines. Supports shell scripting, bindings from many languages. http://libguestfs.org -------------- next part -------------- >From

I'm exploring the possibility of developing bindings for libvirt. I've never done this kind of project before. Could someone point me to the documentation of particular interest concerning this goal?

On Friday 19 February 2010 19:33:32 james woodyatt wrote: > Let us all now give a warm welcome to our new Haskell comrades! Hopefully Mono will be next. -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e

On Fri, Feb 19, 2010 at 9:14 PM, Jon Harrop <jon at ffconsultancy.com> wrote: > On Friday 19 February 2010 19:33:32 james woodyatt wrote: > > Let us all now give a warm welcome to our new Haskell comrades! > > Hopefully Mono will be next. > Mono has already used LLVM for various things. -------------- next part -------------- An HTML attachment was scrubbed... URL:

On Feb 19, 2010, at 11:33 AM, james woodyatt wrote: > 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.

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 is that SSE support has recently been added to the native code generator, fixing one of the last advantages the C back-end had.

On Feb 21, 2010, at 4:53 PM, Garrison Venn wrote: > 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. It's here: http://llvm.org/pubs/2009-10-TereiThesis.html -Chris > > Garrison > > On Feb 21,

http://donsbot.wordpress.com/2010/03/01/evolving-faster-haskell-programs-now-with-llvm/ The timings are a bit too short (0.3s) to mean that much, but the way his GA found the best flags is nice... -- cheers, --renato http://systemcall.org/ Reclaim your digital rights, eliminate DRM, learn more at http://www.defectivebydesign.org/what_is_drm

I've just released an early version of a Markdown implementation in Haskell (using the Parsec parser combinator library). pandoc converts Markdown to HTML, LaTeX, reStructuredText, rich text format, and S5 HTML slide shows. It partially converts HTML, LaTeX, and reStructuredText to Markdown. It also makes it easy to include LaTeX math on HTML pages, using Peter Jipsen's ASCIIMathML.js.

I'd like to develop, if there is not one already, an interface between R code and Haskell code, to allow R code to call Haskell (compiled) code, and vice-versa. But in the interest of not reinventing the wheel, does anyone on this list know of existing bindings for Haskell code? There is support for loading plugins in Haskell, and for an eval() like set of functions provided by the Haskell

Without this change all the tests in the haskell bindings are rebuilt every time. The primary motivation for this change is to fix this. The fix for the above also allows parallel builds to be re-enabled. --- haskell/Makefile.am | 56 +++++++++++++++++++++++++++++++++++++++-------------- 1 file changed, 41 insertions(+), 15 deletions(-) diff --git a/haskell/Makefile.am b/haskell/Makefile.am

On Feb 19, 2010, at 13:09, Chris Lattner wrote: > On Feb 19, 2010, at 11:33 AM, james woodyatt wrote: >> >> Let us all now give a warm welcome to our new Haskell comrades! > > Very nice, care to add a GHC entry to the LLVM Users page? I'll prepare a patch that could be applied when the merge is formally released by the GHC developers. — j h woodyatt <jhw at

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

I got this build failure: Guestfs.hs:1941:11: parse error on input `module' where that (generated) file looked like this: 1940 modprobe :: GuestfsH -> String -> IO () 1941 modprobe h module = do 1942 r <- withCString module $ \module -> withForeignPtr h (\p -> c_modprobe p module) 1943 if (r == -1) 1944 then do 1945 err <-

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

Hello，everyone. I am very embarrassed to ask such a simple question. I want to add an intrinsics(named max_qb) in x86 backend. In include/llvm/IR/IntrinsicsX86.td, I add a intrinsics (GCCBuiltin). In clang( BuiltinsX86.def ), I add a BUILTIN. And in x86 backend , I change : the X86InstrInfo.td to add def X86max_qb_flag , X86InstrArithmetic.td to add define of instruction , X86ISelLowering.cpp to

FYI, The CRC64 intrinsics were renamed to CRC32 since there is no such thing. See below for details. Chad On May 26, 2011, at 4:13 PM, Chad Rosier wrote: > Author: mcrosier > Date: Thu May 26 18:13:19 2011 > New Revision: 132163 > > URL: http://llvm.org/viewvc/llvm-project?rev=132163&view=rev > Log: > Renamed llvm.x86.sse42.crc32 intrinsics; crc64 doesn't exist.

Hi，every one. This problem has been bothering me for several days.I really hope that you can help me. I want to add an trinsics in X86. This trinsics can compare two numbers and return the larger. There are the changes I do as fllowing. In /tools/clang/include/clang/Basic/BuiltinsX86.def : BUILTIN(__builtin_x86_max_qb, "iii", "") In include/llvm/IR/IntrinsicsX86.td : let