Haskell: LLVM bindings versus Harpy

.gitignore

*.hi
*?main

README.md

blog post

HarpyMain.hs

{-# LANGUAGE ForeignFunctionInterface #-}
module Main where

import Foreign
import Foreign.C.Types
import Control.Monad
import Harpy


type SomeFunType = CInt -> CInt -> IO CInt

foreign import ccall "dynamic"
   call_int :: FunPtr SomeFunType -> SomeFunType


mSomeFun :: CodeGen () () (FunPtr SomeFunType)
mSomeFun = do
  mov eax (Disp 0x4, esp)
  mov ebx (Disp 0x8, esp)
  replicateM_ 4000000 (add eax ebx)
  ret
  liftM castPtrToFunPtr getEntryPoint

main = do
  (_, Right someFun) <- runCodeGen mSomeFun () ()
  call_int someFun 1337 432 >>= print

LLVMMain.hs

module Main where

import Data.Word
import Data.Int
import Control.Monad
import LLVM.Core
import LLVM.ExecutionEngine

mSomeFun :: CodeGenModule (Function (Int32 -> Int32 -> IO Int32))
mSomeFun =
  createFunction ExternalLinkage $ \ x y -> do
    r <- foldM (\a _ -> add a y) x [1..4000000]
    ret r

main = do
  someFun <- simpleFunction mSomeFun
  someFun 1337 432 >>= print

Makefile

SHELL := bash

all: llvmmain harpymain
	@echo "llvm..."
	time ./llvmmain
	@echo "harpy..."
	time ./harpymain

llvmmain: LLVMMain.hs
	ghc --make -O2 $< -o $@

harpymain: HarpyMain.hs
	ghc --make -O2 $< -o $@

clean:
	rm -rf *.o *.hi llvmmain harpymain