Tasty » Adam Sampson's llvm bookmarks

pocl - Portable Computing Language

LLVM-based OpenCL implementation.

to compiler gpgpu llvm opencl pocl ... on 29 July 2013

mikeash.com: Friday Q&A 2013-06-28: Anatomy of a Compiler Bug

Excellent description of how to track down a Clang code generation bug.

to bugs clang debugging llvm ... on 11 July 2013

Libcpu

LLVM-based generic CPU emulation library.

to cpu emulation llvm software ... on 15 January 2013

Home · kripken/emscripten Wiki · GitHub

Compiles LLVM output to Javascript. Claims to achieve about 25% the speed of native code, which is pretty impressive. Javascript Transterpreter, anyone?

to compiler javascript llvm software ... on 28 July 2012

The KLEE Symbolic Virtual Machine

Symbolic execution for LLVM; this can automatically compute testcases to cause assertions to fail in arbitrary programs. The introductory paper's pretty neat.

to compiler llvm research static-checking tock ... on 09 April 2010

Things that amuse me

Using the high-level LLVM bindings in Haskell to compile a typed language. This is awfully cute, but I'm not sure how you'd handle a language that let the user define their own datatypes -- you'd need a Haskell-type-level representation of source-level datatype names...

to compiler haskell llvm research tock types ... on 16 June 2009

unladen-swallow - Google Code

Python on LLVM.

to compiler llvm python ... on 24 May 2009

teideal glic deisbhéalach » Blog Archive » LLVM bindings for Haskell

LLVM bindings for Haskell. This'd be a good way to experiment with native code generation from Tock.

to compiler haskell llvm research tock ... on 07 January 2009

A Lazy Developer Approach: Building a JVM with Third Party Software

Translating JVM bytecode into LLVM. We'd like to do this with occam.

to llvm research vm ... on 13 September 2008

The LLVM Compiler Infrastructure Project

Proceedings of the LLVM developers' meeting. Worth looking at.

to compiler jit llvm research vm ... on 16 August 2008