The main thing about FFI support is calling conventions, and LLVM supports a variety of them, so if your LLVM code is using a calling convention GHC supports, you should be able to manage it (there probably isn't any toolchain support though, so you'll have to build the LLVM bits manually and then link your executable against them.) Cheers, Edward