Tasty » Adam Sampson's llvm bookmarks

STABILIZER: statistically sound performance evaluation edit / delete

Neat trick: this uses some LLVM instrumentation to shuffle memory layout around in a program while it's running, to randomise the effects of layout on performance. As a result of the central limit theorem, this tends to normalise the distribution of timing errors too (provided your program runs long enough to have been thoroughly shuffled).

to benchmarking compiler llvm performance research statistics timing ... on 01 April 2014

pocl - Portable Computing Language edit / delete

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 edit / delete

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

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

Libcpu edit / delete

LLVM-based generic CPU emulation library.

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

Home · kripken/emscripten Wiki · GitHub edit / delete

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 edit / delete

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 edit / delete

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 edit / delete

Python on LLVM.

to compiler llvm python ... on 24 May 2009

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

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 edit / delete

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

to llvm research vm ... on 13 September 2008