Hi everyone,
Using the LLVM bindings, I'm trying to create an initialized global
struct variable containing a pointer to a function.
> {-# LANGUAGE ScopedTypeVariables #-}
> import LLVM.Core
> import Data.Word
> import LLVM.Util.File(writeCodeGenModule)
> sm_module = do
> tick :: Function (Word32 -> IO Word32) <- createFunction
ExternalLinkage $ \x -> ret x
> info <- createNamedGlobal False ExternalLinkage "sm_info" $
constStruct (tick & ())
> return info
I run into a complaint that this pointer isn't constant when it's part
of a global variable initializer.
No instance for (llvm-0.10.0.1:LLVM.Core.CodeGen.IsConstStruct
(Function (Word32 -> IO Word32) :& ()) a0)
arising from a use of `constStruct'
Possible fix:
add an instance declaration for
(llvm-0.10.0.1:LLVM.Core.CodeGen.IsConstStruct
(Function (Word32 -> IO Word32) :& ()) a0)
In the second argument of `($)', namely `constStruct (tick & ())'
In a stmt of a 'do' expression:
info <- createNamedGlobal False ExternalLinkage "sm_info"
$ constStruct (tick & ())
In a stmt of a 'do' expression:
tick :: Function (Word32 -> IO Word32) <- createFunction
ExternalLinkage
$ \ x -> ret x
I suppose this is because of
> -- |A function is simply a pointer to the function.
> type Function a = Value (Ptr a)
being a Value instead of ConstValue. Is there a way around this?
Cheers
Tom
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
