bos / llvm Goto Github PK

cabal install --configure-option=--with-llvm-prefix=/usr

git clone git://github.com/bos/llvm

[4 of 4] Compiling Main             ( Main.hs, Main.o )
Linking Main ...
/home/karl/.cabal/lib/llvm-base-3.0.0.0/ghc-7.0.3/libHSllvm-base-3.0.0.0.a(Core.o): In function `s9Pa_info':
(.text+0xa432): undefined reference to `LLVMOpaqueTypeInContext'
/home/karl/.cabal/lib/llvm-base-3.0.0.0/ghc-7.0.3/libHSllvm-base-3.0.0.0.a(Core.o): In function `sbh8_info':
(.text+0xf902): undefined reference to `LLVMResolveTypeHandle'
/home/karl/.cabal/lib/llvm-base-3.0.0.0/ghc-7.0.3/libHSllvm-base-3.0.0.0.a(Core.o): In function `sbhK_info':
(.text+0xf99c): undefined reference to `LLVMRefineType'
/home/karl/.cabal/lib/llvm-base-3.0.0.0/ghc-7.0.3/libHSllvm-base-3.0.0.0.a(Core.o): In function `sblI_info':
(.text+0xfd6d): undefined reference to `LLVMDisposeTypeHandle'
/home/karl/.cabal/lib/llvm-base-3.0.0.0/ghc-7.0.3/libHSllvm-base-3.0.0.0.a(Core.o): In function `sbnj_info':
(.text+0xfee2): undefined reference to `LLVMCreateTypeHandle'
/home/karl/.cabal/lib/llvm-base-3.0.0.0/ghc-7.0.3/libHSllvm-base-3.0.0.0.a(Core.o): In function `scFX_info':
(.text+0x147fa): undefined reference to `LLVMBuildUnwind'
/home/karl/.cabal/lib/llvm-base-3.0.0.0/ghc-7.0.3/libHSllvm-base-3.0.0.0.a(Core.o): In function `sdl3_info':
(.text+0x16ec4): undefined reference to `LLVMDeleteTypeName'
/home/karl/.cabal/lib/llvm-base-3.0.0.0/ghc-7.0.3/libHSllvm-base-3.0.0.0.a(Core.o): In function `sdlU_info':
(.text+0x16f8d): undefined reference to `LLVMAddTypeName'
/home/karl/.cabal/lib/llvm-base-3.0.0.0/ghc-7.0.3/libHSllvm-base-3.0.0.0.a(Core.o): In function `seTF_info':
(.text+0x1ce7e): undefined reference to `LLVMOpaqueType'
collect2: ld returned 1 exit status

llvm-vector: example/Vector.hs:94:9-60: Irrefutable pattern failed for pattern Data.Maybe.Just iovec'

6182044
$ llc -version
LLVM (http://llvm.org/):
  LLVM version 3.1svn

{-# LANGUAGE DataKinds,ScopedTypeVariables #-}

import Data.TypeLevel.Num (D8)
import LLVM.Core
import LLVM.Util.Loop
import LLVM.Util.File
import LLVM.ExecutionEngine

f ::  Value Float -> Value Float -> CodeGenFunction r (Value Float)
f = add

alterValue :: Value Float -> Value (Vector D8 Float) -> CodeGenFunction r (Value (Vector D8 Float))
alterValue x = mapVector (f x)

g :: CodeGenModule (Function (Float -> Vector D8 Float -> IO (Vector D8 Float)))
g = do
  f <- createNamedFunction ExternalLinkage "g" $ \x img -> do
         result <- alterValue x img
         ret result
  return f

myVec :: Vector D8 Float
myVec = toVector (45,89,190,251,25,91,11,23)

main :: IO ()
main = do
  writeCodeGenModule "my_func.bc" g

  -- I'd also like to use `g` in LLVM's JIT.
  -- So, I'd like to pass `myVec` and 3 to `g`.

  -- Initialize jitter
  initializeNativeTarget

  -- I get stuck here:
  unwrappedIOf <- simpleFunction g

{-
No instance for (Generic (Vector D8 Float))
      arising from a use of `simpleFunction'
-}

  -- This is due to a lack of a Vector instance for Generic.
  -- OK, but now I'm not sure how to do what I'd like to do:
  -- I'd like apply float 3 and vector `myVec` to g in the JIT.
  -- Then, I'd like to convert the vector returned by `g`.
  -- There are no examples in the llvm github with how to use
  -- the `toVector` and `fromVector`, or how to extract values
  -- from vectors.

44ddf8a
LLVM/ST.hs:535:15:
    Could not deduce (MonadMG m0)
      arising from the ambiguity check for ‘runCodeGen’
    from the context (Monad (m c s), MonadMG m)
      bound by the type signature for
                 runCodeGen :: (Monad (m c s), MonadMG m) =>
                               STValue c s -> CodeGen c s a -> ModuleGen c s a
      at LLVM/ST.hs:(535,15)-(536,61)
    The type variable ‘m0’ is ambiguous
    In the ambiguity check for:
      forall c s a (m :: * -> * -> * -> *).
      (Monad (m c s), MonadMG m) =>
      STValue c s -> CodeGen c s a -> ModuleGen c s a
    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
    In the type signature for ‘runCodeGen’:
      runCodeGen :: (Monad (m c s), MonadMG m) =>
                    STValue c s -> CodeGen c s a -> ModuleGen c s a

src/Data/TypeLevel/Num/Ops.hs:90:10:                                                                                                                                          
    Illegal instance declaration for ‘Succ' (x, x) (x, x) D0 D0 True’                                                                                                         
      The liberal coverage condition fails in class ‘Succ'’                                                                                                                   
        for functional dependency: ‘yh yl yz -> xh xl’                                                                                                                        
      Reason: lhs types ‘D0’, ‘D0’, ‘True’                                                                                                                                    
        do not jointly determine rhs types ‘(x, x)’, ‘(x, x)’                                                                                                                 
    In the instance declaration for ‘Succ' (x, x) (x, x) D0 D0 True’     

LLVM/Util/Arithmetic.hs:250:10:
    Illegal instance declaration for
      ‘ArithFunction (CodeGenFunction r a) (CodeGenFunction r ())’
      The liberal coverage condition fails in class ‘ArithFunction’
        for functional dependency: ‘b -> a’
      Reason: lhs type ‘CodeGenFunction r ()’
        does not determine rhs type ‘CodeGenFunction r a’
    In the instance declaration for
      ‘ArithFunction (CodeGenFunction r a) (CodeGenFunction r ())’

do rec a <- somethingWith b
       b <- somethingWith a
       c <- foo c
    etc

withArrayLen xs $ \ len ptr ->
    return $ FFI.constVector ptr (fromIntegral len)

define i1 @_fun1() {
_L1:
  %0 = call i64 @malloc(i64 1)
  ret i1 false
}

>>> True

define i1 @_fun2() {
_L1:
  ret i1 false
}

>>> False

    .section    __TEXT,__text,regular,pure_instructions
    .globl  __fun1
    .align  4, 0x90
__fun1:                                 ## @_fun1
Ltmp1:
    .cfi_startproc
## BB#0:                                ## %_L1
    pushq   %rax
Ltmp2:
    .cfi_def_cfa_offset 16
    movl    $1, %edi
    callq   _malloc
    xorb    %al, %al
    popq    %rdx
    ret
Ltmp3:
    .cfi_endproc
Leh_func_end0:

    .globl  __fun2
    .align  4, 0x90
__fun2:                                 ## @_fun2
Ltmp4:
    .cfi_startproc
## BB#0:                                ## %_L1
    xorb    %al, %al
    ret
Ltmp5:
    .cfi_endproc
Leh_func_end1:

.subsections_via_symbols
import Control.Monad (liftM2)
import Control.Monad.Trans (liftIO)
import Control.Monad.Trans.Resource
import Data.Int
import Foreign.Ptr
import LLVM.Core
import LLVM.ExecutionEngine
import LLVM.FFI.Support (disablePrettyStackTrace)

emitFunctionBroken
  :: CodeGenModule (Function (IO Bool))
emitFunctionBroken = createFunction ExternalLinkage $ do
  m <- externFunction "malloc"
  call (m :: Function (Int64 -> IO Int64)) (valueOf 1)
  ret (valueOf False)

emitFunctionWorking
  :: CodeGenModule (Function (IO Bool))
emitFunctionWorking = createFunction ExternalLinkage $
  ret (valueOf False)

foreign import ccall unsafe "dynamic" mkFun :: FunPtr (IO Bool) -> (IO Bool)

main :: IO ()
main = do
  -- boot up LLVM
  initializeNativeTarget

  runResourceT $ do
    m <- liftIO $ newModule
    (b, w) <- liftIO $ defineModule m $
      liftM2 (,) emitFunctionBroken emitFunctionWorking
    (_, ee) <- allocate (createExecutionEngine m) destroyExecutionEngine
    bfun <- liftIO $ fmap mkFun (getPointerToFunction ee b)
    wfun <- liftIO $ fmap mkFun (getPointerToFunction ee w)
    liftIO $ do
      dumpValue b
      print =<< bfun

      dumpValue w
      print =<< wfun
7295141
checking llvm-c/Core.h usability... yes
checking llvm-c/Core.h presence... yes
checking for llvm-c/Core.h... yes
checking llvm/Support/DynamicLibrary.h usability... yes
checking llvm/Support/DynamicLibrary.h presence... yes
checking for llvm/Support/DynamicLibrary.h... yes
checking for LLVMModuleCreateWithName in -lLLVMCore... no
checking for LLVMModuleCreateWithName in -lLLVMCore... no
configure: error: could not find LLVM C bindings
cabal: Error: some packages failed to install:
llvm-0.10.0.1 failed during the configure step. The exception was:
ExitFailure 1

1fce8ae

bos / llvm Goto Github PK

llvm's Introduction

Notice

Haskell LLVM bindings

Compatibility

Configuration

Package status - what to expect

Staying in touch

llvm's People

Contributors

Stargazers

Watchers

Forkers

llvm's Issues

llvm-base

type-level

llvm itself

Recommend Projects

Recommend Topics

Recommend Org

Jobs