packages feed

llvm (empty) → 0.0.2

raw patch · 24 files changed

+8238/−0 lines, 24 filesdep +basedep +bytestringbuild-type:Customsetup-changed

Dependencies added: base, bytestring

Files

+ INSTALL.txt view
@@ -0,0 +1,77 @@+Build and installation instructions+-----------------------------------++Please don't think of these as canonical build instructions yet, as+this work is rather early along.  Let me tell you what's working for+*me*, and hopefully this information will be enough to get you going.+++Prerequisites+-------------++I'm using GHC 6.8.2 for development.  6.8.1 will probably work.  I'll+be happy to accept patches to get things working with 6.6.x, provided+they don't pervert the code much :-)++(My development environment is Fedora 8 x86_64, in case you're+curious.)++Firstly, you'll need the SVN version of LLVM:++  svn co http://llvm.org/svn/llvm-project/llvm/trunk llvm-trunk++Build this and install it somewhere.  Here's what I do:++  cd llvn-trunk+  ./configure --prefix=$HOME+  make+  make install++If you're building the Haskell bindings from the darcs repo (strongly+recommended from now), you'll also need a copy of GNU autoconf.+++Using GNU Make+--------------++There's a GNU Make Makefile in the top-level directory that builds the+LLVM bindings the way I want them built.  In principle, you ought to+be able to simply run something like this:++  make llvm_prefix=/my/llvm/path prefix=/my/preferred/path++These both default to $HOME.+++Building by hand+----------------++If you want to avoid GNU Make, here's a recipe you can follow.  Run+these in the root of your darcs repo or unpacked source tarball.++If you're building from darcs, run this once (this is why you need+autoconf installed):++  autoreconf++Configure the package.  I'm assuming that LLVM is installed in $HOME,+and that you want the bindings installed in $HOME, too.++  runhaskell Setup configure --prefix=$HOME \+    --configure-option --with-llvm-prefix=$HOME --user++Build.++  runhaskell Setup build++Install.++  runhaskell Setup install+++Building examples+-----------------++In the examples directory are a few example programs.  There's a GNU+Make Makefile in there, so running "make" in that directory will build+the examples, as will "make examples" in the top-level directory.
+ LICENSE view
@@ -0,0 +1,67 @@+======================================================================+Haskell LLVM Bindings Release License+======================================================================+University of Illinois/NCSA+Open Source License++Copyright (c) 2007 Bryan O'Sullivan+All rights reserved.++Developed by:++    Bryan O'Sullivan <bos@serpentine.com>+    http://www.serpentine.com/blog/++Permission is hereby granted, free of charge, to any person obtaining+a copy of this software and associated documentation files (the+"Software"), to deal with the Software without restriction, including+without limitation the rights to use, copy, modify, merge, publish,+distribute, sublicense, and/or sell copies of the Software, and to+permit persons to whom the Software is furnished to do so, subject to+the following conditions:++    * Redistributions of source code must retain the above copyright+      notice, this list of conditions and the following disclaimers.++    * Redistributions in binary form must reproduce the above+      copyright notice, this list of conditions and the following+      disclaimers in the documentation and/or other materials provided+      with the distribution.++    * Neither the names of Bryan O'Sullivan, University of Illinois at+      Urbana-Champaign, nor the names of its contributors may be used+      to endorse or promote products derived from this Software+      without specific prior written permission.++THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.+IN NO EVENT SHALL THE CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR+ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF+CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION+WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS WITH THE SOFTWARE.++======================================================================+Copyrights and Licenses for Third Party Software Distributed with+Haskell LLVM Bindings:+======================================================================++The Haskell LLVM Bindings software may contain code written by third+parties.  Any such software will have its own individual license file+in the directory in which it appears.  This file will describe the+copyrights, license, and restrictions which apply to that code.++The disclaimer of warranty in the University of Illinois Open Source+License applies to all code in the Haskell LLVM Bindings Distribution,+and nothing in any of the other licenses gives permission to use the+name of Bryan O'Sullivan or the University of Illinois to endorse or+promote products derived from this Software.++The following pieces of software have additional or alternate+copyrights, licenses, and/or restrictions:++Program             Directory+-------             ---------+configure           .++
+ LLVM/Core.hs view
@@ -0,0 +1,117 @@+{-# LANGUAGE FunctionalDependencies, MultiParamTypeClasses #-}++module LLVM.Core+    (+    -- * Modules+      createModule++    -- * Module providers+    , createModuleProviderForExistingModule++    -- * Types+    , addTypeName+    , deleteTypeName++    -- * Values+    , addGlobal+    , setInitializer++    -- ** Operations on functions+    , addFunction+    , deleteFunction+    , getNamedFunction++    -- * Basic blocks+    , appendBasicBlock+    , insertBasicBlock+    , deleteBasicBlock+    ) where++import Control.Applicative ((<$>))+import Foreign.C.String (withCString)+import Foreign.Marshal.Utils (toBool)+import Foreign.ForeignPtr (FinalizerPtr, newForeignPtr)+import Foreign.Ptr (Ptr, nullPtr)+import Prelude hiding (mod)++import qualified LLVM.Core.FFI as FFI+import qualified LLVM.Core.Builder as B+import qualified LLVM.Core.Type as T+import qualified LLVM.Core.Value as V+++createModule :: String -> IO T.Module+createModule name =+    withCString name $ \namePtr -> do+      ptr <- FFI.moduleCreateWithName namePtr+      final <- h2c_module FFI.disposeModule+      T.Module <$> newForeignPtr final ptr++foreign import ccall "wrapper" h2c_module+    :: (FFI.ModuleRef -> IO ()) -> IO (FinalizerPtr a)+++createModuleProviderForExistingModule :: T.Module -> IO T.ModuleProvider+createModuleProviderForExistingModule mod =+    T.withModule mod $ \modPtr -> do+        ptr <- FFI.createModuleProviderForExistingModule modPtr+        final <- h2c_moduleProvider FFI.disposeModuleProvider+        T.ModuleProvider <$> newForeignPtr final ptr++foreign import ccall "wrapper" h2c_moduleProvider+    :: (FFI.ModuleProviderRef -> IO ()) -> IO (FinalizerPtr a)+++addTypeName :: (T.Type t) => T.Module -> t -> String -> IO Bool+addTypeName mod typ name =+    T.withModule mod $ \modPtr ->+      withCString name $ \namePtr ->+        toBool <$> FFI.addTypeName modPtr namePtr (T.typeRef typ)+                 +deleteTypeName :: T.Module -> String -> IO ()+deleteTypeName mod name =+    T.withModule mod $ \modPtr ->+      withCString name $ FFI.deleteTypeName modPtr++addGlobal :: (T.Type t) => T.Module -> t -> String -> IO (V.GlobalVar t)+addGlobal mod typ name =+    T.withModule mod $ \modPtr ->+      withCString name $ \namePtr ->+        V.GlobalVar . V.mkAnyValue <$> FFI.addGlobal modPtr (T.typeRef typ) namePtr++setInitializer :: V.ConstValue t => V.GlobalVar a -> t -> IO ()+setInitializer global cnst =+    FFI.setInitializer (V.valueRef global) (V.valueRef cnst)++addFunction :: (T.Params p) => T.Module -> String -> T.Function r p+            -> IO (V.Function r p)+addFunction mod name typ =+    T.withModule mod $ \modPtr ->+      withCString name $ \namePtr ->+        V.Function . V.mkAnyValue <$> FFI.addFunction modPtr namePtr (T.typeRef typ)++deleteFunction :: V.Function r p -> IO ()+deleteFunction = FFI.deleteFunction . V.valueRef++maybePtr :: (Ptr a -> b) -> Ptr a -> Maybe b+maybePtr f ptr | ptr /= nullPtr = Just (f ptr)+               | otherwise = Nothing++getNamedFunction :: T.Module -> String -> IO (Maybe (V.Function r p))+getNamedFunction mod name =+    T.withModule mod $ \modPtr ->+      withCString name $ \namePtr ->+        maybePtr (V.Function . V.mkAnyValue) <$> FFI.getNamedFunction modPtr namePtr++appendBasicBlock :: V.Function r p -> String -> IO B.BasicBlock+appendBasicBlock func name =+    withCString name $ \namePtr ->+      B.BasicBlock . V.mkAnyValue <$> FFI.appendBasicBlock (V.valueRef func) namePtr++insertBasicBlock :: B.BasicBlock -> String -> IO B.BasicBlock+insertBasicBlock before name =+    withCString name $ \namePtr ->+      B.BasicBlock . V.mkAnyValue <$> FFI.insertBasicBlock (V.valueRef before) namePtr++deleteBasicBlock :: B.BasicBlock -> IO ()+deleteBasicBlock = FFI.deleteBasicBlock . V.valueRef
+ LLVM/Core/Builder.hs view
@@ -0,0 +1,498 @@+{-# LANGUAGE+    DeriveDataTypeable+  , FlexibleContexts+  , FunctionalDependencies+  , MultiParamTypeClasses+  , UndecidableInstances+  #-}++module LLVM.Core.Builder+    (+      Instruction(..)+    , BasicBlock(..)++    -- * Instruction building+    , createBuilder++    , positionBefore+    , positionAtEnd++    -- * Terminators+    , retVoid+    , ret+    , br+    , condBr+    , switch+    , invoke+    , unwind+    , unreachable++    -- * Arithmetic+    , add+    , sub+    , mul+    , uDiv+    , sDiv+    , fDiv+    , uRem+    , sRem+    , fRem+    , shl+    , lShr+    , aShr+    , and+    , or+    , xor+    , neg+    , not++    -- * Memory+    , malloc+    , arrayMalloc+    , alloca+    , arrayAlloca+    , free+    , load+    , store+    , getElementPtr++    -- * Casts+    , trunc+    , zExt+    , sExt+    , fpToUI+    , fpToSI+    , uiToFP+    , siToFP+    , fpTrunc+    , fpExt+    , ptrToInt+    , intToPtr+    , bitCast++    -- * Comparisons+    , icmp+    , fcmp++    -- * Miscellaneous instructions+    , call+    , call_+    , extractElement+    , insertElement+    , phi+    , select+    , vaArg+    , shuffleVector+    ) where++import Control.Applicative ((<$>))+import Control.Arrow ((***))+import Control.Monad (forM_)+import Data.Typeable (Typeable)+import Foreign.C.String (CString, withCString)+import Foreign.ForeignPtr (FinalizerPtr, ForeignPtr, newForeignPtr,+                           withForeignPtr)+import Foreign.Marshal.Array (withArray, withArrayLen)+import Prelude hiding (and, not, or)++import qualified LLVM.Core.FFI as FFI+import qualified LLVM.Core.Instruction as I+import qualified LLVM.Core.Type as T+import qualified LLVM.Core.Value as V+import LLVM.Core.Type ((:->)(..))+import LLVM.Core.Value (Instruction(..))+++newtype Builder = Builder {+      fromBuilder :: ForeignPtr FFI.Builder+    }+    deriving (Typeable)++newtype BasicBlock = BasicBlock V.AnyValue+    deriving (V.DynamicValue, Typeable, V.Value)++withBuilder :: Builder -> (FFI.BuilderRef -> IO a) -> IO a+withBuilder = withForeignPtr . fromBuilder++createBuilder :: IO Builder+createBuilder = do+  final <- h2c_builder FFI.disposeBuilder+  ptr <- FFI.createBuilder+  Builder <$> newForeignPtr final ptr++foreign import ccall "wrapper" h2c_builder+    :: (FFI.BuilderRef -> IO ()) -> IO (FinalizerPtr a)++positionBefore :: Builder -> Instruction a -> IO ()+positionBefore bld insn =+    withBuilder bld $ \bldPtr ->+      FFI.positionBefore bldPtr (V.valueRef insn)++positionAtEnd :: Builder -> BasicBlock -> IO ()+positionAtEnd bld bblk =+    withBuilder bld $ \bldPtr ->+      FFI.positionAtEnd bldPtr (V.valueRef bblk)++instruction :: IO FFI.ValueRef -> IO (Instruction t)+instruction = fmap (Instruction . V.mkAnyValue)++unary :: (V.Value a)+         => (FFI.BuilderRef -> FFI.ValueRef -> CString -> IO FFI.ValueRef)+      -> Builder -> String -> a -> IO (Instruction t)+unary ffi bld name a =+    withBuilder bld $ \bldPtr ->+      withCString name $ \namePtr ->+        Instruction . V.mkAnyValue <$>+        ffi bldPtr (V.valueRef a) namePtr++binary :: (V.Value a, V.Value b)+          => (FFI.BuilderRef -> FFI.ValueRef -> FFI.ValueRef -> CString+              -> IO FFI.ValueRef)+          -> Builder -> String -> a -> b -> IO (Instruction t)+binary ffi bld name a b =+    withBuilder bld $ \bldPtr ->+      withCString name $ instruction . ffi bldPtr (V.valueRef a) (V.valueRef b) ++add :: (T.Arithmetic t,+        V.Value a, V.TypedValue a t,+        V.Value b, V.TypedValue b t)+       => Builder -> String -> a -> b -> IO (Instruction t)+add = binary FFI.buildAdd++sub :: (T.Arithmetic t, V.TypedValue a t, V.TypedValue b t)+       => Builder -> String -> a -> b -> IO (Instruction t)+sub = binary FFI.buildSub++mul :: (T.Arithmetic t, V.TypedValue a t, V.TypedValue b t)+       => Builder -> String -> a -> b -> IO (Instruction t)+mul = binary FFI.buildSub++uDiv :: (T.Integer t, V.TypedValue a t, V.TypedValue b t)+       => Builder -> String -> a -> b -> IO (Instruction t)+uDiv = binary FFI.buildUDiv++sDiv :: (T.Integer t, V.TypedValue a t, V.TypedValue b t)+       => Builder -> String -> a -> b -> IO (Instruction t)+sDiv = binary FFI.buildSDiv++fDiv :: (T.Real t, V.TypedValue a t, V.TypedValue b t)+       => Builder -> String -> a -> b -> IO (Instruction t)+fDiv = binary FFI.buildFDiv++uRem :: (T.Integer t, V.TypedValue a t, V.TypedValue b t)+       => Builder -> String -> a -> b -> IO (Instruction t)+uRem = binary FFI.buildURem++sRem :: (T.Integer t, V.TypedValue a t, V.TypedValue b t)+       => Builder -> String -> a -> b -> IO (Instruction t)+sRem = binary FFI.buildSRem++fRem :: (T.Real t, V.TypedValue a t, V.TypedValue b t)+       => Builder -> String -> a -> b -> IO (Instruction t)+fRem = binary FFI.buildFRem++shl :: (T.Integer t, V.TypedValue a t, V.TypedValue b t)+       => Builder -> String -> a -> b -> IO (Instruction t)+shl = binary FFI.buildShl++lShr :: (T.Integer t, V.TypedValue a t, V.TypedValue b t)+        => Builder -> String -> a -> b -> IO (Instruction t)+lShr = binary FFI.buildLShr++aShr :: (T.Integer t, V.TypedValue a t, V.TypedValue b t)+        => Builder -> String -> a -> b -> IO (Instruction t)+aShr = binary FFI.buildAShr++and :: (T.Integer t, V.TypedValue a t, V.TypedValue b t)+       => Builder -> String -> a -> b -> IO (Instruction t)+and = binary FFI.buildAnd++or :: (T.Integer t, V.TypedValue a t, V.TypedValue b t)+      => Builder -> String -> a -> b -> IO (Instruction t)+or = binary FFI.buildOr++xor :: (T.Integer t, V.TypedValue a t, V.TypedValue b t)+       => Builder -> String -> a -> b -> IO (Instruction t)+xor = binary FFI.buildAnd++neg :: (T.Arithmetic t, V.TypedValue v t)+       => Builder -> String -> v -> IO (Instruction t)+neg = unary FFI.buildNeg++not :: (T.Arithmetic t, V.TypedValue v t)+       => Builder -> String -> v -> IO (Instruction t)+not = unary FFI.buildNot++typed :: (V.Value v, T.Type s, T.Type t)+         => (FFI.BuilderRef -> FFI.ValueRef -> FFI.TypeRef -> CString+             -> IO FFI.ValueRef)+         -> Builder -> String -> v -> s -> IO (Instruction t)+typed ffi bld name a t =+    withBuilder bld $ \bldPtr ->+      withCString name $ \namePtr ->+        Instruction . V.mkAnyValue <$> ffi bldPtr (V.valueRef a) (T.typeRef t) namePtr++trunc :: (T.Integer s, V.TypedValue v s, T.Integer t)+         => Builder -> String -> v -> s -> IO (Instruction t)+trunc = typed FFI.buildTrunc++zExt :: (T.Integer s, V.TypedValue v s, T.Integer t)+         => Builder -> String -> v -> s -> IO (Instruction t)+zExt = typed FFI.buildZExt++sExt :: (T.Integer s, V.TypedValue v s, T.Integer t)+         => Builder -> String -> v -> s -> IO (Instruction t)+sExt = typed FFI.buildSExt++fpToUI :: (T.Integer s, V.TypedValue v s, T.Real t)+         => Builder -> String -> v -> s -> IO (Instruction t)+fpToUI = typed FFI.buildFPToUI++fpToSI :: (T.Integer s, V.TypedValue v s, T.Real t)+         => Builder -> String -> v -> s -> IO (Instruction t)+fpToSI = typed FFI.buildFPToSI++uiToFP :: (T.Real s, V.TypedValue v s, T.Integer t)+         => Builder -> String -> v -> s -> IO (Instruction t)+uiToFP = typed FFI.buildUIToFP++siToFP :: (T.Real s, V.TypedValue v s, T.Integer t)+         => Builder -> String -> v -> s -> IO (Instruction t)+siToFP = typed FFI.buildSIToFP++fpTrunc :: (T.Real s, V.TypedValue v s, T.Real t)+         => Builder -> String -> v -> s -> IO (Instruction t)+fpTrunc = typed FFI.buildFPTrunc++fpExt :: (T.Real s, V.TypedValue v s, T.Real t)+         => Builder -> String -> v -> s -> IO (Instruction t)+fpExt = typed FFI.buildFPExt++ptrToInt :: (V.TypedValue (T.Pointer s) s, T.Integer t)+            => Builder -> String -> T.Pointer s -> s -> IO (Instruction t)+ptrToInt = typed FFI.buildPtrToInt++intToPtr :: (T.Integer s, V.TypedValue v s, T.Type t)+            => Builder -> String -> v -> t -> IO (Instruction (T.Pointer t))+intToPtr = typed FFI.buildIntToPtr++bitCast :: (V.TypedValue v s, T.Type t)+           => Builder -> String -> v -> s -> IO (Instruction t)+bitCast = typed FFI.buildBitCast++fcmp :: (T.Real t, V.TypedValue a t, V.TypedValue b t)+        => Builder -> String -> I.RealPredicate -> a -> b+        -> IO (Instruction T.Int1)+fcmp bld name p = binary (flip FFI.buildFCmp (I.fromRP p)) bld name++icmp :: (T.Integer t, V.TypedValue a t, V.TypedValue b t)+        => Builder -> String -> I.IntPredicate -> a -> b+        -> IO (Instruction T.Int1)+icmp bld name p = binary (flip FFI.buildICmp (I.fromIP p)) bld name++retVoid :: Builder -> IO (Instruction T.Void)+retVoid bld = withBuilder bld $ instruction . FFI.buildRetVoid++ret :: (T.FirstClass t, V.TypedValue v t) => Builder -> v -> IO (Instruction t)+ret bld v =+    withBuilder bld $ \bldPtr ->+      instruction $ FFI.buildRet bldPtr (V.valueRef v)++br :: Builder -> BasicBlock -> IO (Instruction T.Void)+br bld bblk =+    withBuilder bld $ \bldPtr ->+      instruction $ FFI.buildBr bldPtr (V.valueRef bblk)++condBr :: (V.TypedValue v T.Int1)+          => Builder -> v -> BasicBlock -> BasicBlock+          -> IO (Instruction T.Void)+condBr bld bit true false =+    withBuilder bld $ \bldPtr ->+      instruction $ FFI.buildCondBr bldPtr (V.valueRef bit)+                      (V.valueRef true) (V.valueRef false)++unwrap :: (V.Value a, V.Value b) => (a, b) -> (FFI.ValueRef, FFI.ValueRef)+unwrap = V.valueRef *** V.valueRef++switch :: (T.Integer t, V.TypedValue v t)+          => Builder -> v -> BasicBlock -> [(v, BasicBlock)]+          -> IO (Instruction T.Void)+switch bld val noMatch cases =+    withBuilder bld $ \bldPtr -> do+        inst <- FFI.buildSwitch bldPtr (V.valueRef val)+                        (V.valueRef noMatch) (fromIntegral $ length cases)+        forM_ (map unwrap cases) $ uncurry (FFI.addCase inst)+        instruction $ return inst++invoke :: (T.DynamicType r, T.Params p, Params p v, T.FirstClass r)+          => Builder -> String -> V.Function r p -> v+          -> BasicBlock -> BasicBlock -> IO (Instruction r)+invoke bld name func args thenBlk catchBlk =+  withBuilder bld $ \bldPtr ->+    withCString name $ \namePtr ->+      withArrayLen (argList func args) $ \argLen argPtr ->+        instruction $ FFI.buildInvoke bldPtr (V.valueRef func) argPtr+                        (fromIntegral argLen) (V.valueRef thenBlk)+                        (V.valueRef catchBlk) namePtr++unwind :: Builder -> IO (Instruction T.Void)+unwind bld = withBuilder bld $ instruction . FFI.buildUnwind++unreachable :: Builder -> IO (Instruction T.Void)+unreachable bld = withBuilder bld $ instruction . FFI.buildUnreachable++allocWith :: (T.Type t)+             => (FFI.BuilderRef -> FFI.TypeRef -> CString -> IO FFI.ValueRef)+             -> Builder -> String -> t -> IO FFI.ValueRef+allocWith ffi bld name typ =+    withBuilder bld $ \bldPtr ->+      withCString name $ ffi bldPtr (T.typeRef typ)++arrayAllocWith :: (T.Type t, T.Integer n, V.TypedValue v n)+               => (FFI.BuilderRef -> FFI.TypeRef -> FFI.ValueRef -> CString+                   -> IO FFI.ValueRef)+               -> Builder -> String -> t -> v -> IO FFI.ValueRef+arrayAllocWith ffi bld name typ count =+    withBuilder bld $ \bldPtr ->+      withCString name $ ffi bldPtr (T.typeRef typ) (V.valueRef count)++malloc :: (T.Type t) => Builder -> String -> t -> IO (Instruction (T.Array t))+malloc bld name typ = instruction $ allocWith FFI.buildMalloc bld name typ++arrayMalloc :: (T.Type t, V.TypedValue v T.Int32)+               => Builder -> String -> t -> v -> IO (Instruction (T.Array t))+arrayMalloc bld name typ count =+    instruction $ arrayAllocWith FFI.buildArrayMalloc bld name typ count++alloca :: (T.Type t)+          => Builder -> String -> t -> IO (Instruction (T.Pointer t))+alloca bld name typ = instruction $ allocWith FFI.buildAlloca bld name typ++arrayAlloca :: (T.Type t, V.TypedValue v T.Int32)+               => Builder -> String -> t -> v -> IO (Instruction (T.Pointer t))+arrayAlloca bld name typ count =+    instruction $ arrayAllocWith FFI.buildArrayAlloca bld name typ count++free :: (V.TypedValue v (T.Pointer t))+        => Builder -> v -> IO (Instruction T.Void)+free bld ary =+    withBuilder bld $ \bldPtr ->+      instruction $ FFI.buildFree bldPtr (V.valueRef ary)++load :: (V.TypedValue v (T.Pointer t))+        => Builder -> String -> v -> IO (Instruction t)+load bld name ptr =+    withBuilder bld $ \bldPtr ->+        instruction $ withCString name $ FFI.buildLoad bldPtr (V.valueRef ptr)++store :: (V.TypedValue v t, V.TypedValue p (T.Pointer t))+        => Builder -> v -> p -> IO (Instruction T.Void)+store bld val ptr =+    withBuilder bld $ \bldPtr ->+      instruction $ FFI.buildStore bldPtr (V.valueRef val) (V.valueRef ptr) ++getElementPtr :: (T.Sequence s e, V.TypedValue p s,+                  T.Integer t, V.TypedValue i t)+                 => Builder -> String -> p -> [i]+                 -> IO (Instruction (T.Pointer e))+getElementPtr bld name ptr idxs =+    withBuilder bld $ \bldPtr ->+        withCString name $ \namePtr ->+          withArrayLen (map V.valueRef idxs) $ \idxLen idxPtr ->+            instruction $ FFI.buildGEP bldPtr (V.valueRef ptr) idxPtr+                            (fromIntegral idxLen) namePtr++argList :: (Params p a, T.Params p, V.TypedValue v (T.Function r p))+           => v -> a -> [FFI.ValueRef]+argList func = map V.valueRef . toAnyList (T.params (V.typeOf func))++callRef :: (T.DynamicType r, T.Params p, Params p v)+           => Builder -> String -> V.Function r p -> v -> IO FFI.ValueRef+callRef bld name func args = do+    withBuilder bld $ \bldPtr ->+      withArrayLen (argList func args) $ \argLen argPtr ->+        withCString name $ \namePtr ->+          FFI.buildCall bldPtr (V.valueRef func) argPtr+                 (fromIntegral argLen) namePtr++class Params t v | t -> v where+    toAnyList :: t -> v -> [V.AnyValue]++listValue :: (V.TypedValue v t) => t -> v -> [V.AnyValue]+listValue _ v = [V.anyValue v]++instance (V.TypedValue v a, Params b c) => Params (a :-> b) (v :-> c) where+    toAnyList t (a :-> b) = V.anyValue a : toAnyList (T.cdr t) b++instance (V.TypedValue v T.Int32) => Params T.Int32 v where+    toAnyList = listValue++instance (T.Type t, V.TypedValue v (T.Pointer t)) => Params (T.Pointer t) v where+    toAnyList = listValue++call :: (T.DynamicType r, T.Params p, Params p v, T.FirstClass r)+        => Builder -> String -> V.Function r p -> v+     -> IO (Instruction r)+call bld name func args = instruction $ callRef bld name func args++call_ :: (T.DynamicType r, T.Params p, Params p v)+         => Builder -> String -> V.Function r p -> v -> IO ()+call_ bld name func args = callRef bld name func args >> return ()++extractElement :: (V.TypedValue v (T.Vector t),+                   V.TypedValue i T.Int32)+                  => Builder -> String -> v -> i -> IO (Instruction t)+extractElement bld name vec idx =+    withBuilder bld $ \bldPtr ->+        withCString name $ \namePtr ->+            instruction $ FFI.buildExtractElement bldPtr (V.valueRef vec)+                            (V.valueRef idx) namePtr++insertElement :: (V.TypedValue v (T.Vector t),+                  V.TypedValue e t,+                  V.TypedValue i T.Int32)+                  => Builder -> String -> v -> e -> i -> IO (Instruction t)+insertElement bld name vec elt idx =+    withBuilder bld $ \bldPtr ->+        withCString name $ \namePtr ->+            instruction $ FFI.buildInsertElement bldPtr (V.valueRef vec)+                            (V.valueRef elt) (V.valueRef idx) namePtr++phi :: (V.TypedValue v t)+       => Builder -> String -> t -> [(v, BasicBlock)] -> IO (Instruction t)+phi bld name typ incoming =+    withBuilder bld $ \bldPtr ->+      withCString name $ \namePtr -> do+        inst <- FFI.buildPhi bldPtr (T.typeRef typ) namePtr+        let (vals, bblks) = unzip . map unwrap $ incoming+        withArrayLen vals $ \count valPtr ->+          withArray bblks $ \bblkPtr ->+            FFI.addIncoming inst valPtr bblkPtr (fromIntegral count)+        instruction $ return inst++select :: (V.TypedValue p T.Int1, V.TypedValue a t, V.TypedValue b t)+          => Builder -> String -> p -> a -> b -> IO (Instruction t)+select bld name bit true false =+    withBuilder bld $ \bldPtr ->+      withCString name $ \namePtr -> do+        instruction $ FFI.buildSelect bldPtr (V.valueRef bit)+                        (V.valueRef true) (V.valueRef false) namePtr++vaArg :: (V.Value v, T.Type t)+         => Builder -> String -> v -> t -> IO (Instruction t)+vaArg bld name valist typ =+    withBuilder bld $ \bldPtr ->+      withCString name $ \namePtr ->+        instruction $ FFI.buildVAArg bldPtr (V.valueRef valist)+                        (T.typeRef typ) namePtr++shuffleVector :: (V.TypedValue a (T.Vector t),+                  V.TypedValue b (T.Vector t),+                  V.TypedValue m (T.Vector T.Int32))+                 => Builder -> String -> a -> b -> m+                 -> IO (Instruction (T.Vector t))+shuffleVector bld name a b mask =+    withBuilder bld $ \bldPtr ->+      withCString name $ \namePtr ->+        instruction $ FFI.buildShuffleVector bldPtr (V.valueRef a)+                        (V.valueRef b) (V.valueRef mask) namePtr
+ LLVM/Core/Constant.hs view
@@ -0,0 +1,338 @@+{-# LANGUAGE+    DeriveDataTypeable+  , FlexibleContexts+  , FunctionalDependencies+  , MultiParamTypeClasses+  #-}++module LLVM.Core.Constant+    (+    -- * Constant expressions+      ConstExpr(..)++    -- ** Arithmetic+    , neg+    , not+    , add+    , sub+    , mul+    , udiv+    , sdiv+    , fdiv+    , urem+    , srem+    , frem+    , and+    , or+    , xor+    , shl+    , lshr+    , ashr++    -- ** Memory+    , gep++    -- ** Conversions+    , trunc+    , sExt+    , zExt+    , fpTrunc+    , fpExt+    , uiToFP+    , siToFP+    , fpToUI+    , fpToSI+    , ptrToInt+    , intToPtr+    , bitCast++    -- ** Comparisons+    , icmp+    , fcmp++    -- ** Miscellaneous operations+    , select+    , extractElement+    , insertElement+    , shuffleVector++    -- * Constant values+    , Const(..)++    -- ** Scalar constants+    , constInt+    , constWord+    , constReal++    -- ** Composite constants+    , constString+    , constStringNul+    ) where++import Data.Int (Int8, Int16, Int32, Int64)+import Data.Typeable (Typeable)+import Data.Word (Word8, Word16, Word32, Word64)+import Foreign.C.String (withCStringLen)+import Foreign.Marshal.Utils (fromBool)+import Prelude hiding (and, const, not, or)+import qualified Prelude as Prelude+import System.IO.Unsafe (unsafePerformIO)++import qualified LLVM.Core.FFI as FFI+import qualified LLVM.Core.Instruction as I+import qualified LLVM.Core.Type as T+import qualified LLVM.Core.Value as V+++newtype ConstExpr t = ConstExpr V.AnyValue+    deriving (V.ConstValue, V.DynamicValue, Typeable, V.Value)++unary :: (V.ConstValue v) =>+         (FFI.ValueRef -> FFI.ValueRef) -> v -> ConstExpr t+unary ffi = ConstExpr . V.mkAnyValue . ffi . V.valueRef++neg :: (V.ConstValue v, V.Arithmetic v, T.Arithmetic t) => v -> ConstExpr t+neg = unary FFI.constNeg++not :: (V.ConstValue v, T.Integer t, V.TypedValue v t) => v -> ConstExpr t+not = unary FFI.constNot++binary :: (V.ConstValue a, V.ConstValue b)+          => (FFI.ValueRef -> FFI.ValueRef -> FFI.ValueRef) -> a -> b+          -> ConstExpr t+binary ffi a b = ConstExpr . V.mkAnyValue $ ffi (V.valueRef a) (V.valueRef b)++add :: (T.Arithmetic t, V.ConstValue a, V.TypedValue a t,+        V.ConstValue b, V.TypedValue b t)+       => a -> b -> ConstExpr t+add = binary FFI.constAdd++sub :: (T.Arithmetic t, V.ConstValue a, V.TypedValue a t,+        V.ConstValue b, V.TypedValue b t)+       => a -> b -> ConstExpr t+sub = binary FFI.constSub++mul :: (T.Arithmetic t, V.ConstValue a, V.TypedValue a t,+        V.ConstValue b, V.TypedValue b t)+       => a -> b -> ConstExpr t+mul = binary FFI.constMul++udiv :: (T.Integer t, V.ConstValue a, V.TypedValue a t,+         V.ConstValue b, V.TypedValue b t)+       => a -> b -> ConstExpr t+udiv = binary FFI.constUDiv++sdiv :: (T.Integer t, V.ConstValue a, V.TypedValue a t,+         V.ConstValue b, V.TypedValue b t)+       => a -> b -> ConstExpr t+sdiv = binary FFI.constSDiv++fdiv :: (T.Real t, V.ConstValue a, V.TypedValue a t,+         V.ConstValue b, V.TypedValue b t)+       => a -> b -> ConstExpr t+fdiv = binary FFI.constFDiv++urem :: (T.Integer t, V.ConstValue a, V.TypedValue a t,+         V.ConstValue b, V.TypedValue b t)+       => a -> b -> ConstExpr t+urem = binary FFI.constURem++srem :: (T.Integer t, V.ConstValue a, V.TypedValue a t,+         V.ConstValue b, V.TypedValue b t)+       => a -> b -> ConstExpr t+srem = binary FFI.constURem++frem :: (T.Real t, V.ConstValue a, V.TypedValue a t,+         V.ConstValue b, V.TypedValue b t)+       => a -> b -> ConstExpr t+frem = binary FFI.constFRem++and :: (T.Integer t, V.ConstValue a, V.TypedValue a t,+        V.ConstValue b, V.TypedValue b t)+       => a -> b -> ConstExpr t+and = binary FFI.constAnd++or :: (T.Integer t, V.ConstValue a, V.TypedValue a t,+       V.ConstValue b, V.TypedValue b t)+      => a -> b -> ConstExpr t+or = binary FFI.constOr++xor :: (T.Integer t, V.ConstValue a, V.TypedValue a t,+        V.ConstValue b, V.TypedValue b t)+       => a -> b -> ConstExpr t+xor = binary FFI.constXor++icmp :: (T.Integer t, V.ConstValue a, V.TypedValue a t,+         V.ConstValue b, V.TypedValue b t)+        => I.IntPredicate -> a -> b -> ConstExpr T.Int1+icmp p = binary (FFI.constICmp (I.fromIP p))++fcmp :: (T.Real t, V.ConstValue a, V.TypedValue a t,+         V.ConstValue b, V.TypedValue b t)+        => I.RealPredicate -> a -> b -> ConstExpr T.Int1+fcmp p = binary (FFI.constFCmp (I.fromRP p))++shl :: (T.Integer t, V.ConstValue a, V.TypedValue a t,+         V.ConstValue b, V.TypedValue b t)+       => a -> b -> ConstExpr t+shl = binary FFI.constShl++lshr :: (T.Integer t, V.ConstValue a, V.TypedValue a t,+         V.ConstValue b, V.TypedValue b t)+       => a -> b -> ConstExpr t+lshr = binary FFI.constLShr++ashr :: (T.Integer t, V.ConstValue a, V.TypedValue a t,+         V.ConstValue b, V.TypedValue b t)+       => a -> b -> ConstExpr t+ashr = binary FFI.constAShr++gep :: (V.ConstValue v, T.Integer t, V.TypedValue v t)+       => a -> b -> ConstExpr t+gep = undefined++typed :: (V.ConstValue v, T.Type s, V.ConstValue w, V.DynamicValue w)+         => (FFI.ValueRef -> FFI.TypeRef -> FFI.ValueRef) -> v -> s -> w+typed ffi a b = V.fromAnyValue . V.mkAnyValue $ ffi (V.valueRef a) (T.typeRef b)++trunc :: (V.ConstValue v, T.Integer s, V.TypedValue v s,+          V.ConstValue w, V.DynamicValue w, T.Integer t, V.TypedValue w t)+         => v -> t -> w+trunc = typed FFI.constTrunc++sExt :: (V.ConstValue v, T.Integer t, V.TypedValue v t)+        => v -> t -> ConstExpr t+sExt = typed FFI.constSExt++zExt :: (V.ConstValue v, T.Integer t, V.TypedValue v t)+        => v -> t -> ConstExpr t+zExt = typed FFI.constZExt++fpTrunc :: (V.ConstValue v, V.Real v, T.Real t)+         => v -> t -> ConstExpr t+fpTrunc = typed FFI.constFPTrunc++fpExt :: (V.ConstValue v, V.Real v, T.Real t)+         => v -> t -> ConstExpr t+fpExt = typed FFI.constFPExt++-- XXX How to express the inability to cast from scalar to vector?++uiToFP :: (V.ConstValue v, T.Integer s, V.TypedValue v s, T.Real t)+          => v -> s -> ConstExpr t+uiToFP = typed FFI.constUIToFP++siToFP :: (V.ConstValue v, V.Integer v, T.Integer s, T.Real t)+          => v -> s -> ConstExpr t+siToFP = typed FFI.constSIToFP++fpToUI :: (V.ConstValue v, V.Real v, T.Real s, T.Integer t)+          => v -> s -> ConstExpr t+fpToUI = typed FFI.constFPToUI++fpToSI :: (V.ConstValue v, V.Real v, T.Real s, T.Integer t)+          => v -> s -> ConstExpr t+fpToSI = typed FFI.constFPToSI++ptrToInt :: (V.ConstValue v, T.Integer t)+            => v -> T.Pointer a -> ConstExpr t+ptrToInt = typed FFI.constPtrToInt++intToPtr :: (V.ConstValue v, T.Integer t)+            => v -> t -> ConstExpr (T.Pointer a)+intToPtr = typed FFI.constIntToPtr++-- XXX How to express pointer/non-pointer and bit-width constraints?+bitCast :: (V.ConstValue v, T.Type t,+            V.ConstValue w, V.DynamicValue w)+           => v -> t -> w+bitCast = typed FFI.constBitCast++select :: (V.TypedValue k T.Int1,+           V.ConstValue a, V.TypedValue a t, V.ConstValue b, V.TypedValue b t)+          => k -> a -> b -> ConstExpr t+select k = binary (FFI.constSelect (V.valueRef k))++extractElement :: (V.ConstValue v, V.TypedValue v (T.Vector a),+                   V.ConstValue i, V.Integer i) => v -> i -> ConstExpr a+extractElement = binary FFI.constExtractElement++ternary :: (V.ConstValue a, V.ConstValue b, V.ConstValue c)+           => (FFI.ValueRef -> FFI.ValueRef -> FFI.ValueRef -> FFI.ValueRef)+           -> a -> b -> c -> ConstExpr t+ternary ffi a b c = ConstExpr . V.mkAnyValue $+                    ffi (V.valueRef a) (V.valueRef b) (V.valueRef c)++insertElement :: (V.ConstValue v, V.TypedValue v (T.Vector a),+                  V.ConstValue e, V.TypedValue e a,+                  V.ConstValue i, V.Integer i)+                 => v -> e -> i -> ConstExpr (T.Vector a)+insertElement = ternary FFI.constInsertElement++shuffleVector :: (V.ConstValue v1, V.TypedValue v1 (T.Vector a),+                  V.ConstValue v2, V.TypedValue v2 (T.Vector a),+                  V.ConstValue m, V.TypedValue m (T.Vector T.Int32))+                 => v1 -> v2 -> m -> ConstExpr (T.Vector a)+shuffleVector = ternary FFI.constShuffleVector++constWord :: (T.Integer t, Integral a) => (b -> t) -> a -> V.ConstInt t+constWord typ val =+    V.ConstInt . V.mkAnyValue $ FFI.constInt (T.typeRef (typ undefined))+         (fromIntegral val) 0++constInt :: (T.Integer t, Integral a) => (b -> t) -> a -> V.ConstInt t+constInt typ val =+    V.ConstInt . V.mkAnyValue $ FFI.constInt (T.typeRef (typ undefined))+                 (fromIntegral val) 1++constReal :: (T.Real t, RealFloat a) => (b -> t) -> a -> V.ConstReal t+constReal typ val = V.ConstReal . V.mkAnyValue $ FFI.constReal+                    (T.typeRef (typ undefined)) (realToFrac val)++constStringInternal :: Bool -> String -> V.ConstArray T.Int8+constStringInternal nulTerm s = unsafePerformIO $+    withCStringLen s $ \(sPtr, sLen) ->+      return . V.ConstArray . V.mkAnyValue $+      FFI.constString sPtr (fromIntegral sLen) (fromBool (Prelude.not nulTerm))++constString :: String -> V.ConstArray T.Int8+constString = constStringInternal False++constStringNul :: String -> V.ConstArray T.Int8+constStringNul = constStringInternal True++class V.ConstValue t => Const a t | a -> t where+    const :: a -> t++instance Const String (V.ConstArray T.Int8) where+    const = constStringNul++instance Const Float (V.ConstReal T.Float) where+    const = constReal T.float . fromRational . toRational++instance Const Double (V.ConstReal T.Double) where+    const = constReal T.double++instance Const Int8 (V.ConstInt T.Int8) where+    const = constInt T.int8 . fromIntegral++instance Const Int16 (V.ConstInt T.Int16) where+    const = constInt T.int16 . fromIntegral++instance Const Int32 (V.ConstInt T.Int32) where+    const = constInt T.int32 . fromIntegral++instance Const Int64 (V.ConstInt T.Int64) where+    const = constInt T.int64++instance Const Word8 (V.ConstInt T.Int8) where+    const = constWord T.int8 . fromIntegral++instance Const Word16 (V.ConstInt T.Int16) where+    const = constWord T.int16 . fromIntegral++instance Const Word32 (V.ConstInt T.Int32) where+    const = constWord T.int32 . fromIntegral++instance Const Word64 (V.ConstInt T.Int64) where+    const = constWord T.int64 . fromIntegral
+ LLVM/Core/FFI.hsc view
@@ -0,0 +1,628 @@+{-# LANGUAGE EmptyDataDecls #-}++module LLVM.Core.FFI+    (+      -- * Modules+      Module+    , ModuleRef+    , moduleCreateWithName+    , disposeModule++    -- * Module providers+    , ModuleProvider+    , ModuleProviderRef+    , createModuleProviderForExistingModule+    , disposeModuleProvider++    -- * Types+    , Type+    , TypeRef+    , addTypeName+    , deleteTypeName+    , getElementType++    -- ** Integer types+    , int1Type+    , int8Type+    , int16Type+    , int32Type+    , int64Type+    , integerType++    -- ** Real types+    , floatType+    , doubleType+    , x86FP80Type+    , fp128Type+    , ppcFP128Type++    -- ** Function types+    , functionType+    , isFunctionVarArg+    , getReturnType+    , countParamTypes+    , getParamTypes++    -- ** Other types+    , voidType++    -- ** Array, pointer, and vector types+    , arrayType+    , pointerType+    , vectorType++    -- * Values+    , Value+    , ValueRef+    , addGlobal+    , deleteGlobal+    , setInitializer+    , typeOf+    , getValueName+    , setValueName+    , dumpValue++    -- ** Functions+    , addFunction+    , deleteFunction+    , getNamedFunction+    , countParams+    , getParam+    , getParams+      +    -- * Constants++    -- ** Scalar constants+    , constInt+    , constReal++    -- ** Composite constants+    , constString++    -- ** Constant expressions+    , constNeg+    , constNot+    , constAdd+    , constSub+    , constMul+    , constUDiv+    , constSDiv+    , constFDiv+    , constURem+    , constSRem+    , constFRem+    , constAnd+    , constOr+    , constXor+    , constICmp+    , constFCmp+    , constShl+    , constLShr+    , constAShr+    , constGEP+    , constTrunc+    , constSExt+    , constZExt+    , constFPTrunc+    , constFPExt+    , constUIToFP+    , constSIToFP+    , constFPToUI+    , constFPToSI+    , constPtrToInt+    , constIntToPtr+    , constBitCast+    , constSelect+    , constExtractElement+    , constInsertElement+    , constShuffleVector++    -- * Basic blocks+    , BasicBlock+    , BasicBlockRef+    , appendBasicBlock+    , insertBasicBlock+    , deleteBasicBlock+    , getEntryBasicBlock++    -- * Instruction building+    , Builder+    , BuilderRef+    , createBuilder+    , disposeBuilder+    , positionBefore+    , positionAtEnd++    -- ** Terminators+    , buildRetVoid+    , buildRet+    , buildBr+    , buildCondBr+    , buildSwitch+    , buildInvoke+    , buildUnwind+    , buildUnreachable++    -- ** Arithmetic+    , buildAdd+    , buildSub+    , buildMul+    , buildUDiv+    , buildSDiv+    , buildFDiv+    , buildURem+    , buildSRem+    , buildFRem+    , buildShl+    , buildLShr+    , buildAShr+    , buildAnd+    , buildOr+    , buildXor+    , buildNeg+    , buildNot++    -- ** Memory+    , buildMalloc+    , buildArrayMalloc+    , buildAlloca+    , buildArrayAlloca+    , buildFree+    , buildLoad+    , buildStore+    , buildGEP++    -- ** Casts+    , buildTrunc+    , buildZExt+    , buildSExt+    , buildFPToUI+    , buildFPToSI+    , buildUIToFP+    , buildSIToFP+    , buildFPTrunc+    , buildFPExt+    , buildPtrToInt+    , buildIntToPtr+    , buildBitCast++    -- ** Comparisons+    , buildICmp+    , buildFCmp++    -- ** Miscellaneous instructions+    , buildPhi+    , buildCall+    , buildSelect+    , buildVAArg+    , buildExtractElement+    , buildInsertElement+    , buildShuffleVector++    -- ** Other helpers+    , addCase+    , addIncoming+    ) where++import Foreign.C.String (CString)+import Foreign.C.Types (CDouble, CInt, CUInt, CULLong)+import Foreign.Ptr (Ptr)++#include <llvm-c/Core.h>++data Module+type ModuleRef = Ptr Module++foreign import ccall unsafe "LLVMModuleCreateWithName" moduleCreateWithName+    :: CString -> IO ModuleRef++foreign import ccall unsafe "LLVMDisposeModule" disposeModule+    :: ModuleRef -> IO ()+++data ModuleProvider+type ModuleProviderRef = Ptr ModuleProvider++foreign import ccall unsafe "LLVMCreateModuleProviderForExistingModule"+    createModuleProviderForExistingModule+    :: ModuleRef -> IO ModuleProviderRef++foreign import ccall unsafe "LLVMDisposeModuleProvider" disposeModuleProvider+    :: ModuleProviderRef -> IO ()+++data Type+type TypeRef = Ptr Type++foreign import ccall unsafe "LLVMInt1Type" int1Type :: TypeRef++foreign import ccall unsafe "LLVMInt8Type" int8Type :: TypeRef++foreign import ccall unsafe "LLVMInt16Type" int16Type :: TypeRef++foreign import ccall unsafe "LLVMInt32Type" int32Type :: TypeRef++foreign import ccall unsafe "LLVMInt64Type" int64Type :: TypeRef++-- | An integer type of the given width.+foreign import ccall unsafe "LLVMIntType" integerType+    :: CUInt                    -- ^ width in bits+    -> TypeRef++foreign import ccall unsafe "LLVMFloatType" floatType :: TypeRef++foreign import ccall unsafe "LLVMDoubleType" doubleType :: TypeRef++foreign import ccall unsafe "LLVMX86FP80Type" x86FP80Type :: TypeRef++foreign import ccall unsafe "LLVMFP128Type" fp128Type :: TypeRef++foreign import ccall unsafe "LLVMPPCFP128Type" ppcFP128Type :: TypeRef++foreign import ccall unsafe "LLVMVoidType" voidType :: TypeRef++-- | Create a function type.+foreign import ccall unsafe "LLVMFunctionType" functionType+        :: TypeRef              -- ^ return type+        -> Ptr TypeRef          -- ^ array of argument types+        -> CUInt                -- ^ number of elements in array+        -> CInt                 -- ^ non-zero if function is varargs+        -> TypeRef++-- | Indicate whether a function takes varargs.+foreign import ccall unsafe "LLVMIsFunctionVarArg" isFunctionVarArg+        :: TypeRef -> CInt++-- | Give a function's return type.+foreign import ccall unsafe "LLVMGetReturnType" getReturnType+        :: TypeRef -> TypeRef++-- | Give the number of fixed parameters that a function takes.+foreign import ccall unsafe "LLVMCountParamTypes" countParamTypes+        :: TypeRef -> CUInt++-- | Fill out an array with the types of a function's fixed+-- parameters.+foreign import ccall unsafe "LLVMGetParamTypes" getParamTypes+        :: TypeRef -> Ptr TypeRef -> IO ()++foreign import ccall unsafe "LLVMArrayType" arrayType+    :: TypeRef                  -- ^ element type+    -> CUInt                    -- ^ element count+    -> TypeRef++foreign import ccall unsafe "LLVMPointerType" pointerType+    :: TypeRef                  -- ^ pointed-to type+    -> CUInt                    -- ^ address space+    -> TypeRef++foreign import ccall unsafe "LLVMVectorType" vectorType+    :: TypeRef                  -- ^ element type+    -> CUInt                    -- ^ element count+    -> TypeRef++foreign import ccall unsafe "LLVMAddTypeName" addTypeName+    :: ModuleRef -> CString -> TypeRef -> IO CInt++foreign import ccall unsafe "LLVMDeleteTypeName" deleteTypeName+    :: ModuleRef -> CString -> IO ()++-- | Give the type of a sequential type's elements.+foreign import ccall unsafe "LLVMGetElementType" getElementType+    :: TypeRef -> TypeRef+++data Value+type ValueRef = Ptr Value++foreign import ccall unsafe "LLVMAddGlobal" addGlobal+    :: ModuleRef -> TypeRef -> CString -> IO ValueRef++foreign import ccall unsafe "LLVMDeleteGlobal" deleteGlobal+    :: ValueRef -> IO ()++foreign import ccall unsafe "LLVMSetInitializer" setInitializer+    :: ValueRef -> ValueRef -> IO ()++foreign import ccall unsafe "LLVMTypeOf" typeOf+    :: ValueRef -> IO TypeRef++foreign import ccall unsafe "LLVMGetValueName" getValueName+    :: ValueRef -> IO CString++foreign import ccall unsafe "LLVMSetValueName" setValueName+    :: ValueRef -> CString -> IO ()++foreign import ccall unsafe "LLVMDumpValue" dumpValue+    :: ValueRef -> IO ()++foreign import ccall unsafe "LLVMGetNamedFunction" getNamedFunction+    :: ModuleRef -> CString -> IO ValueRef++foreign import ccall unsafe "LLVMAddFunction" addFunction+    :: ModuleRef -> CString -> TypeRef -> IO ValueRef++foreign import ccall unsafe "LLVMDeleteFunction" deleteFunction+    :: ValueRef -> IO ()++foreign import ccall unsafe "LLVMCountParams" countParams+    :: ValueRef -> CUInt++foreign import ccall unsafe "LLVMGetParam" getParam+    :: ValueRef -> CUInt -> ValueRef++foreign import ccall unsafe "LLVMGetParams" getParams+    :: ValueRef -> Ptr ValueRef -> IO ()++foreign import ccall unsafe "LLVMConstInt" constInt+    :: TypeRef -> CULLong -> CInt -> ValueRef++foreign import ccall unsafe "LLVMConstReal" constReal+    :: TypeRef -> CDouble -> ValueRef++foreign import ccall unsafe "LLVMConstString" constString+    :: CString -> CUInt -> CInt -> ValueRef++foreign import ccall unsafe "LLVMConstNeg" constNeg+    :: ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstNot" constNot+    :: ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstAdd" constAdd+    :: ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstSub" constSub+    :: ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstMul" constMul+    :: ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstUDiv" constUDiv+    :: ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstSDiv" constSDiv+    :: ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstFDiv" constFDiv+    :: ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstURem" constURem+    :: ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstSRem" constSRem+    :: ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstFRem" constFRem+    :: ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstAnd" constAnd+    :: ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstOr" constOr+    :: ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstXor" constXor+    :: ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstICmp" constICmp+    :: CInt -> ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstFCmp" constFCmp+    :: CInt -> ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstShl" constShl+    :: ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstLShr" constLShr+    :: ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstAShr" constAShr+    :: ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstGEP" constGEP+    :: ValueRef -> Ptr ValueRef -> CUInt -> ValueRef++foreign import ccall unsafe "LLVMConstTrunc" constTrunc+    :: ValueRef -> TypeRef -> ValueRef++foreign import ccall unsafe "LLVMConstSExt" constSExt+    :: ValueRef -> TypeRef -> ValueRef++foreign import ccall unsafe "LLVMConstZExt" constZExt+    :: ValueRef -> TypeRef -> ValueRef++foreign import ccall unsafe "LLVMConstFPTrunc" constFPTrunc+    :: ValueRef -> TypeRef -> ValueRef++foreign import ccall unsafe "LLVMConstFPExt" constFPExt+    :: ValueRef -> TypeRef -> ValueRef++foreign import ccall unsafe "LLVMConstUIToFP" constUIToFP+    :: ValueRef -> TypeRef -> ValueRef++foreign import ccall unsafe "LLVMConstSIToFP" constSIToFP+    :: ValueRef -> TypeRef -> ValueRef++foreign import ccall unsafe "LLVMConstFPToUI" constFPToUI+    :: ValueRef -> TypeRef -> ValueRef++foreign import ccall unsafe "LLVMConstFPToSI" constFPToSI+    :: ValueRef -> TypeRef -> ValueRef++foreign import ccall unsafe "LLVMConstPtrToInt" constPtrToInt+    :: ValueRef -> TypeRef -> ValueRef++foreign import ccall unsafe "LLVMConstIntToPtr" constIntToPtr+    :: ValueRef -> TypeRef -> ValueRef++foreign import ccall unsafe "LLVMConstBitCast" constBitCast+    :: ValueRef -> TypeRef -> ValueRef++foreign import ccall unsafe "LLVMConstSelect" constSelect+    :: ValueRef -> ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstExtractElement" constExtractElement+    :: ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstInsertElement" constInsertElement+    :: ValueRef -> ValueRef -> ValueRef -> ValueRef++foreign import ccall unsafe "LLVMConstShuffleVector" constShuffleVector+    :: ValueRef -> ValueRef -> ValueRef -> ValueRef++type BasicBlock = Value+type BasicBlockRef = Ptr BasicBlock++foreign import ccall unsafe "LLVMAppendBasicBlock" appendBasicBlock+    :: ValueRef -> CString -> IO BasicBlockRef++foreign import ccall unsafe "LLVMInsertBasicBlock" insertBasicBlock+    :: BasicBlockRef -> CString -> IO BasicBlockRef++foreign import ccall unsafe "LLVMDeleteBasicBlock" deleteBasicBlock+    :: BasicBlockRef -> IO ()++foreign import ccall unsafe "LLVMGetEntryBasicBlock" getEntryBasicBlock+    :: ValueRef -> IO BasicBlockRef++data Builder+type BuilderRef = Ptr Builder++foreign import ccall unsafe "LLVMCreateBuilder" createBuilder+    :: IO BuilderRef++foreign import ccall unsafe "LLVMDisposeBuilder" disposeBuilder+    :: BuilderRef -> IO ()++foreign import ccall unsafe "LLVMPositionBuilderBefore" positionBefore+    :: BuilderRef -> ValueRef -> IO ()++foreign import ccall unsafe "LLVMPositionBuilderAtEnd" positionAtEnd+    :: BuilderRef -> BasicBlockRef -> IO ()++foreign import ccall unsafe "LLVMBuildRetVoid" buildRetVoid+    :: BuilderRef -> IO ValueRef+foreign import ccall unsafe "LLVMBuildRet" buildRet+    :: BuilderRef -> ValueRef -> IO ValueRef+foreign import ccall unsafe "LLVMBuildBr" buildBr+    :: BuilderRef -> BasicBlockRef -> IO ValueRef+foreign import ccall unsafe "LLVMBuildCondBr" buildCondBr+    :: BuilderRef -> ValueRef -> BasicBlockRef -> BasicBlockRef -> IO ValueRef+foreign import ccall unsafe "LLVMBuildSwitch" buildSwitch+    :: BuilderRef -> ValueRef -> BasicBlockRef -> CUInt -> IO ValueRef+foreign import ccall unsafe "LLVMBuildInvoke" buildInvoke+    :: BuilderRef -> ValueRef -> Ptr ValueRef -> CUInt+    -> BasicBlockRef -> BasicBlockRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildUnwind" buildUnwind+    :: BuilderRef -> IO ValueRef+foreign import ccall unsafe "LLVMBuildUnreachable" buildUnreachable+    :: BuilderRef -> IO ValueRef++foreign import ccall unsafe "LLVMBuildAdd" buildAdd+    :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildSub" buildSub+    :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildMul" buildMul+    :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildUDiv" buildUDiv+    :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildSDiv" buildSDiv+    :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildFDiv" buildFDiv+    :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildURem" buildURem+    :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildSRem" buildSRem+    :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildFRem" buildFRem+    :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildShl" buildShl+    :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildLShr" buildLShr+    :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildAShr" buildAShr+    :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildAnd" buildAnd+    :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildOr" buildOr+    :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildXor" buildXor+    :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildNeg" buildNeg+    :: BuilderRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildNot" buildNot+    :: BuilderRef -> ValueRef -> CString -> IO ValueRef++-- Memory+foreign import ccall unsafe "LLVMBuildMalloc" buildMalloc+    :: BuilderRef -> TypeRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildArrayMalloc" buildArrayMalloc+    :: BuilderRef -> TypeRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildAlloca" buildAlloca+    :: BuilderRef -> TypeRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildArrayAlloca" buildArrayAlloca+    :: BuilderRef -> TypeRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildFree" buildFree+    :: BuilderRef -> ValueRef -> IO ValueRef+foreign import ccall unsafe "LLVMBuildLoad" buildLoad+    :: BuilderRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildStore" buildStore+    :: BuilderRef -> ValueRef -> ValueRef -> IO ValueRef+foreign import ccall unsafe "LLVMBuildGEP" buildGEP+    :: BuilderRef -> ValueRef -> Ptr ValueRef -> CUInt -> CString+    -> IO ValueRef++-- Casts+foreign import ccall unsafe "LLVMBuildTrunc" buildTrunc+    :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildZExt" buildZExt+    :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildSExt" buildSExt+    :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildFPToUI" buildFPToUI+    :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildFPToSI" buildFPToSI+    :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildUIToFP" buildUIToFP+    :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildSIToFP" buildSIToFP+    :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildFPTrunc" buildFPTrunc+    :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildFPExt" buildFPExt+    :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildPtrToInt" buildPtrToInt+    :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildIntToPtr" buildIntToPtr+    :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildBitCast" buildBitCast+    :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef++-- Comparisons+foreign import ccall unsafe "LLVMBuildICmp" buildICmp+    :: BuilderRef -> CInt -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildFCmp" buildFCmp+    :: BuilderRef -> CInt -> ValueRef -> ValueRef -> CString -> IO ValueRef++-- Miscellaneous instructions+foreign import ccall unsafe "LLVMBuildPhi" buildPhi+    :: BuilderRef -> TypeRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildCall" buildCall+    :: BuilderRef -> ValueRef -> Ptr ValueRef -> CUInt -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildSelect" buildSelect+    :: BuilderRef -> ValueRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildVAArg" buildVAArg+    :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildExtractElement" buildExtractElement+    :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildInsertElement" buildInsertElement+    :: BuilderRef -> ValueRef -> ValueRef -> ValueRef -> CString -> IO ValueRef+foreign import ccall unsafe "LLVMBuildShuffleVector" buildShuffleVector+    :: BuilderRef -> ValueRef -> ValueRef -> ValueRef -> CString -> IO ValueRef++foreign import ccall unsafe "LLVMAddCase" addCase+    :: ValueRef -> ValueRef -> BasicBlockRef -> IO ()++foreign import ccall unsafe "LLVMAddIncoming" addIncoming+    :: ValueRef -> Ptr ValueRef -> Ptr ValueRef -> CUInt -> IO ()
+ LLVM/Core/Instruction.hs view
@@ -0,0 +1,47 @@+module LLVM.Core.Instruction+    (+      IntPredicate(..)+    , RealPredicate(..)+    , fromIP+    , fromRP+    ) where++import Foreign.C.Types (CInt)++data IntPredicate =+    IntEQ                       -- ^ equal+  | IntNE                       -- ^ not equal+  | IntUGT                      -- ^ unsigned greater than+  | IntUGE                      -- ^ unsigned greater or equal+  | IntULT                      -- ^ unsigned less than+  | IntULE                      -- ^ unsigned less or equal+  | IntSGT                      -- ^ signed greater than+  | IntSGE                      -- ^ signed greater or equal+  | IntSLT                      -- ^ signed less than+  | IntSLE                      -- ^ signed less or equal+    deriving (Eq, Ord, Enum, Show)++fromIP :: IntPredicate -> CInt+fromIP ip = fromIntegral (fromEnum ip + 32)++data RealPredicate =+    RealFalse           -- ^ Always false (always folded)+  | RealOEQ             -- ^ True if ordered and equal+  | RealOGT             -- ^ True if ordered and greater than+  | RealOGE             -- ^ True if ordered and greater than or equal+  | RealOLT             -- ^ True if ordered and less than+  | RealOLE             -- ^ True if ordered and less than or equal+  | RealONE             -- ^ True if ordered and operands are unequal+  | RealORD             -- ^ True if ordered (no nans)+  | RealUNO             -- ^ True if unordered: isnan(X) | isnan(Y)+  | RealUEQ             -- ^ True if unordered or equal+  | RealUGT             -- ^ True if unordered or greater than+  | RealUGE             -- ^ True if unordered, greater than, or equal+  | RealULT             -- ^ True if unordered or less than+  | RealULE             -- ^ True if unordered, less than, or equal+  | RealUNE             -- ^ True if unordered or not equal+  | RealT               -- ^ Always true (always folded)+    deriving (Eq, Ord, Enum, Show)++fromRP :: RealPredicate -> CInt+fromRP = fromIntegral . fromEnum
+ LLVM/Core/Type.hs view
@@ -0,0 +1,547 @@+{-# LANGUAGE+    DeriveDataTypeable+  , ExistentialQuantification+  , FunctionalDependencies+  , MultiParamTypeClasses+  #-}++module LLVM.Core.Type+    (+      Module(..)+    , withModule+    , ModuleProvider(..)+    , withModuleProvider++    -- * Types+    , Type(..)+    , TypeValue(..)+    , AnyType+    , HasAnyType(..)+    , DynamicType(..)+    , mkAnyType++    -- ** Integer types+    , Arithmetic+    , FirstClass+    , Integer+    , integer+    , Int1(..)+    , int1+    , Int8(..)+    , int8+    , Int16(..)+    , int16+    , Int32(..)+    , int32+    , Int64(..)+    , int64+    , IntWidth(..)++    -- ** Real types+    , Real+    , Float(..)+    , float+    , Double(..)+    , double++    -- *** Machine-specific real types+    , X86Float80(..)+    , x86Float80+    , Float128(..)+    , float128+    , PPCFloat128(..)+    , ppcFloat128++    -- ** Array, pointer, and vector types+    , Sequence(..)+    , elementTypeDyn+    , Array(..)+    , array+    , arrayElementType+    , Pointer(..)+    , AddressSpace+    , addressSpace+    , fromAddressSpace+    , genericAddressSpace+    , pointerIn+    , pointer+    , pointerElementType+    , Vector(..)+    , vector+    , vectorElementType++    -- ** Function-related types+    , Function(..)+    , function+    , params+    , functionVarArg+    , isFunctionVarArg+    , getReturnType+    , getParamTypes++    -- *** Type hackery+    , functionParams+    , Params(..)+    , (:->)(..)+    , car+    , cdr++    -- ** Other types+    , Void(..)+    ) where++import Control.Applicative ((<$>))+import Data.Typeable (Typeable)+import Foreign.ForeignPtr (ForeignPtr, withForeignPtr)+import Foreign.Marshal.Array (allocaArray, peekArray, withArrayLen)+import Foreign.Marshal.Utils (fromBool, toBool)+import Prelude hiding (Double, Float, Integer, Real, mod)+import System.IO.Unsafe (unsafePerformIO)++import qualified LLVM.Core.FFI as FFI++import Debug.Trace+++newtype Module = Module {+      fromModule :: ForeignPtr FFI.Module+    }+    deriving (Typeable)++withModule :: Module -> (FFI.ModuleRef -> IO a) -> IO a+withModule mod = withForeignPtr (fromModule mod)++newtype ModuleProvider = ModuleProvider {+      fromModuleProvider :: ForeignPtr FFI.ModuleProvider+    }+    deriving (Typeable)++withModuleProvider :: ModuleProvider -> (FFI.ModuleProviderRef -> IO a)+                   -> IO a+withModuleProvider prov = withForeignPtr (fromModuleProvider prov)++class Type a where+    typeRef :: a -> FFI.TypeRef+    anyType :: a -> AnyType++class Type t => TypeValue t where+    typeValue :: a -> t++class Type a => Arithmetic a+class Arithmetic a => Integer a+class Arithmetic a => Real a++class FirstClass a+instance FirstClass AnyType++class HasAnyType a where+    fromAnyType :: AnyType -> a++instance Type FFI.TypeRef where+    anyType = AnyType+    typeRef = id++data AnyType = forall a. Type a => AnyType a+               deriving (Typeable)++instance Eq AnyType where+    a == b = typeRef a == typeRef b++instance Show AnyType where+    show a = "AnyType " ++ show (typeRef a)++mkAnyType :: Type a => a -> AnyType+mkAnyType = AnyType++instance Type AnyType where+    typeRef (AnyType a) = typeRef a+    anyType = id++instance HasAnyType AnyType where+    fromAnyType = id++class Params a where+    toAnyList :: a -> [AnyType]+    fromAnyList :: [AnyType] -> (a, [AnyType])++instance Integer AnyType++newtype Int1 = Int1 AnyType+    deriving (Arithmetic, FirstClass, HasAnyType, Integer, Type, Typeable)++instance Show Int1 where+    show _ = "Int1"++newtype Int8 = Int8 AnyType+    deriving (Arithmetic, FirstClass, HasAnyType, Integer, Type, Typeable)++instance Show Int8 where+    show _ = "Int8"++newtype Int16 = Int16 AnyType+    deriving (Arithmetic, FirstClass, HasAnyType, Integer, Type, Typeable)++instance Show Int16 where+    show _ = "Int16"++newtype Int32 = Int32 AnyType+    deriving (Arithmetic, FirstClass, HasAnyType, Integer, Type, Typeable)++instance Show Int32 where+    show _ = "Int32"++newtype Int64 = Int64 AnyType+    deriving (Arithmetic, FirstClass, HasAnyType, Integer, Type, Typeable)++instance Show Int64 where+    show _ = "Int64"++newtype IntWidth a = IntWidth AnyType+    deriving (Arithmetic, FirstClass, HasAnyType, Integer, Type, Typeable)++instance Show (IntWidth a) where+    show _ = "IntWidth"++instance Real AnyType+instance Arithmetic AnyType++newtype Float = Float AnyType+    deriving (Arithmetic, FirstClass, HasAnyType, Real, Type, Typeable)++instance Show Float where+    show _ = "Float"++newtype Double = Double AnyType+    deriving (Arithmetic, FirstClass, HasAnyType, Real, Type, Typeable)++instance Show Double where+    show _ = "Double"++newtype X86Float80 = X86Float80 AnyType+    deriving (Arithmetic, FirstClass, HasAnyType, Real, Type, Typeable)++instance Show X86Float80 where+    show _ = "X86Float80"++newtype Float128 = Float128 AnyType+    deriving (Arithmetic, FirstClass, HasAnyType, Real, Type, Typeable)++instance Show Float128 where+    show _ = "Float128"++newtype PPCFloat128 = PPCFloat128 AnyType+    deriving (Arithmetic, FirstClass, HasAnyType, Real, Type, Typeable)++instance Show PPCFloat128 where+    show _ = "PPCFloat128"++class (Type a, Type t) => Sequence a t | a -> t where+    elementType :: a -> t++instance Sequence AnyType AnyType where+    elementType = elementTypeDyn++newtype Array a = Array AnyType+    deriving (HasAnyType, Type, Typeable)++arrayElementType :: Array a -> a+arrayElementType _ = undefined++instance Type a => Sequence (Array a) a where+    elementType = arrayElementType++instance (Show a) => Show (Array a) where+    show a = "Array " ++ show (arrayElementType a)++newtype Pointer a = Pointer AnyType+    deriving (FirstClass, HasAnyType, Type, Typeable)++pointerElementType :: Pointer a -> a+pointerElementType _ = undefined++instance Type a => Sequence (Pointer a) a where+    elementType = pointerElementType++instance (Show a) => Show (Pointer a) where+    show a = "Pointer " ++ show (pointerElementType a)++newtype Vector a = Vector AnyType+    deriving (Arithmetic, FirstClass, HasAnyType, Type, Typeable)++vectorElementType :: Vector a -> a+vectorElementType _ = undefined++instance Type a => Sequence (Vector a) a where+    elementType = vectorElementType++instance (Show a) => Show (Vector a) where+    show a = "Vector " ++ show (vectorElementType a)++newtype Void = Void AnyType+    deriving (HasAnyType, Type, Typeable)++instance Show Void where+    show _ = "Void"++class Type a => DynamicType a where+    toAnyType :: a              -- ^ not inspected+              -> AnyType++data Function r p = Function {+      fromNewFunction :: AnyType+    }+    deriving (Typeable)++instance HasAnyType (Function r p) where+    fromAnyType = Function++instance Type (Function r p) where+    typeRef = typeRef . fromNewFunction+    anyType = fromNewFunction++instance (Show r, Show p, Params p) => Show (Function r p) where+    show a = "Function " ++ show (functionResult a) ++ " " ++ show (params a)++functionParams :: Function r p -> p+functionParams _ = undefined++functionResult :: Function r p -> r+functionResult _ = undefined++instance (DynamicType r, Params p) => DynamicType (Function r p) where+    toAnyType f = let parms = toAnyList . functionParams $ f+                      ret = toAnyType . functionResult $ f+                  in functionType False ret parms++instance DynamicType AnyType where+    toAnyType = id++data a :-> b = a :-> b+infixr 6 :->++car :: (a :-> b) -> a+car _ = undefined++cdr :: (a :-> b) -> b+cdr _ = undefined++instance (Show a, Show b) => Show (a :-> b) where+    show a = show (car a) ++ " :-> " ++ show (cdr a)++int1 :: a -> Int1+int1 _ = Int1 $ mkAnyType FFI.int1Type++fromAny :: HasAnyType a => [AnyType] -> (a, [AnyType])+fromAny e | trace ("eee " ++ show (length e) ) False = undefined+fromAny (x:xs) = (fromAnyType x,xs)+fromAny _ = error "LLVM.Core.Type.fromAny: empty list"++instance Params () where+    toAnyList _ = []+    fromAnyList _ = error "fromAnyList ()"++instance Params Int1 where+    toAnyList a = [toAnyType a]+    fromAnyList = fromAny++instance TypeValue Int1 where+    typeValue = int1++instance DynamicType Int1 where+    toAnyType = mkAnyType . int1++int8 :: a -> Int8+int8 _ = Int8 $ mkAnyType FFI.int8Type++instance Params Int8 where+    toAnyList a = [toAnyType a]+    fromAnyList = fromAny++instance Params AnyType where+    toAnyList a = [toAnyType a]+    fromAnyList = fromAny++instance DynamicType Int8 where+    toAnyType = mkAnyType . int8++int16 :: a -> Int16+int16 _ = Int16 $ mkAnyType FFI.int16Type++instance Params Int16 where+    toAnyList a = [toAnyType a]+    fromAnyList = fromAny++instance DynamicType Int16 where+    toAnyType = mkAnyType . int16++int32 :: a -> Int32+int32 _ = Int32 $ mkAnyType FFI.int32Type++instance Params Int32 where+    toAnyList a = [toAnyType a]+    fromAnyList = fromAny++instance DynamicType Int32 where+    toAnyType = mkAnyType . int32++int64 :: a -> Int64+int64 _ = Int64 $ mkAnyType FFI.int64Type++instance Params Int64 where+    toAnyList a = [toAnyType a]+    fromAnyList = fromAny++instance DynamicType Int64 where+    toAnyType = mkAnyType . int64++integer :: Int -> b -> IntWidth a+integer width _ = IntWidth . mkAnyType . FFI.integerType $ fromIntegral width++-- Not possible:+--+-- instance Params (IntWidth a) where+--     toAnyList a = [toAnyType a]+--+-- instance DynamicType (IntWidth a) where+--     toAnyType _ = mkAnyType integerType++float :: a -> Float+float _ = Float $ mkAnyType FFI.floatType++instance Params Float where+    toAnyList a = [toAnyType a]+    fromAnyList = fromAny++instance DynamicType Float where+    toAnyType = mkAnyType . float++double :: a -> Double+double _ = Double $ mkAnyType FFI.doubleType++instance Params Double where+    toAnyList a = [toAnyType a]+    fromAnyList = fromAny++instance DynamicType Double where+    toAnyType = mkAnyType . double++x86Float80 :: a -> X86Float80+x86Float80 _ = X86Float80 $ mkAnyType FFI.x86FP80Type++instance Params X86Float80 where+    toAnyList a = [toAnyType a]+    fromAnyList = fromAny++instance DynamicType X86Float80 where+    toAnyType = mkAnyType . x86Float80++float128 :: a -> Float128+float128 _ = Float128 $ mkAnyType FFI.fp128Type++instance Params Float128 where+    toAnyList a = [toAnyType a]+    fromAnyList = fromAny++instance DynamicType Float128 where+    toAnyType = mkAnyType . float128++ppcFloat128 :: a -> PPCFloat128+ppcFloat128 _ = PPCFloat128 $ mkAnyType FFI.ppcFP128Type++instance Params PPCFloat128 where+    toAnyList a = [toAnyType a]+    fromAnyList  = fromAny++instance DynamicType PPCFloat128 where+    toAnyType = mkAnyType . ppcFloat128++void :: a -> Void+void _ = Void $ mkAnyType FFI.voidType++instance Params Void where+    toAnyList a = [toAnyType a]+    fromAnyList = fromAny++instance DynamicType Void where+    toAnyType = mkAnyType . void++instance (DynamicType a, HasAnyType a, Params b) => Params (a :-> b) where+    toAnyList a = toAnyType (car a) : toAnyList (cdr a)+    fromAnyList (x:xs) = let (y,ys) = fromAnyList xs+                         in (fromAnyType x :-> y,ys)+    fromAnyList _ = error "LLVM.Core.Type.fromAnyList(:->): empty list"++functionType :: Bool -> AnyType -> [AnyType] -> AnyType+functionType varargs retType paramTypes = unsafePerformIO $+    withArrayLen (map typeRef paramTypes) $ \len ptr ->+        return . mkAnyType $ FFI.functionType (typeRef retType) ptr+                                        (fromIntegral len) (fromBool varargs)++params :: Params p => Function r p -> p+params f = case fromAnyList . toAnyList . functionParams $ f of+             (p, []) -> p+             _ -> error "LLVM.Core.Type.newParams: incompletely consumed params"++function :: (DynamicType r, Params p) => r -> p -> Function r p+function r p = Function . functionType False (toAnyType r) $ toAnyList p++instance DynamicType p => Params (Function r p) where+    toAnyList a = [toAnyType (functionParams a)]+    fromAnyList = fromAny+    +functionVarArg :: (DynamicType r, Params p) => r -> p -> Function r p+functionVarArg r p = Function . functionType True (toAnyType r) $ toAnyList p+    +isFunctionVarArg :: Function r p -> Bool+isFunctionVarArg = toBool . FFI.isFunctionVarArg . typeRef++getReturnType :: (Params p) => Function r p -> AnyType+getReturnType = mkAnyType . FFI.getReturnType . typeRef++getParamTypes :: (Params p) => Function r p -> [AnyType]+getParamTypes typ = unsafePerformIO $ do+    let typ' = typeRef typ+        count = FFI.countParamTypes typ'+        len = fromIntegral count+    allocaArray len $ \ptr -> do+      FFI.getParamTypes typ' ptr+      map mkAnyType <$> peekArray len ptr++array :: (DynamicType t) => t -> Int -> Array t+array typ len = Array . mkAnyType $ FFI.arrayType (typeRef (toAnyType typ)) (fromIntegral len)++instance (DynamicType t) => DynamicType (Array t) where+    toAnyType = mkAnyType . flip array 0 . toAnyType . arrayElementType++newtype AddressSpace = AddressSpace {+      fromAddressSpace :: Int+    }+    deriving (Eq, Ord, Show, Read)++addressSpace :: Int -> AddressSpace+addressSpace = AddressSpace++genericAddressSpace :: AddressSpace+genericAddressSpace = addressSpace 0++pointerIn :: (DynamicType t) => t -> AddressSpace -> Pointer t+pointerIn typ space = Pointer . mkAnyType $ FFI.pointerType (typeRef (toAnyType typ)) (fromIntegral . fromAddressSpace $ space)++pointer :: (DynamicType t) => t -> Pointer t+pointer typ = pointerIn typ genericAddressSpace++instance (DynamicType t) => DynamicType (Pointer t) where+    toAnyType = mkAnyType . pointer . toAnyType . pointerElementType++instance (DynamicType t) => Params (Pointer t) where+    toAnyList a = [toAnyType a]+    fromAnyList = fromAny++vector :: (DynamicType t) => t -> Int -> Vector t+vector typ len = Vector . mkAnyType $ FFI.vectorType (typeRef (toAnyType typ)) (fromIntegral len)++instance (DynamicType t) => DynamicType (Vector t) where+    toAnyType = mkAnyType . flip vector 0 . toAnyType . vectorElementType++elementTypeDyn :: Type a => a -> AnyType+elementTypeDyn = mkAnyType . FFI.getElementType . typeRef
+ LLVM/Core/Utils.hs view
@@ -0,0 +1,41 @@+module LLVM.Core.Utils+    (+      defineGlobal+    , declareFunction+    , defineFunction+    ) where++import Prelude hiding (mod)++import qualified LLVM.Core as Core+import qualified LLVM.Core.Builder as B+import qualified LLVM.Core.Constant as C+import qualified LLVM.Core.Type as T+import qualified LLVM.Core.Value as V+++defineGlobal :: (V.ConstValue a, V.TypedValue a t) => T.Module -> String -> a+             -> IO (V.GlobalVar t)+defineGlobal mod name val = do+  global <- Core.addGlobal mod (V.typeOf val) name+  Core.setInitializer global val+  return global++declareFunction :: (T.DynamicType r, T.Params p)+                   => T.Module -> String -> T.Function r p+                   -> IO (V.Function r p)+declareFunction mod name typ = do+  maybeFunc <- Core.getNamedFunction mod name+  case maybeFunc of+    Nothing -> Core.addFunction mod name typ+    Just func -> return $ let t = V.typeOf func+                          in if T.elementTypeDyn t /= T.toAnyType typ+                             then C.bitCast func (T.pointer typ)+                             else func++defineFunction :: T.Params p => T.Module -> String -> T.Function r p+               -> IO (V.Function r p, B.BasicBlock)+defineFunction mod name typ = do+  func <- Core.addFunction mod name typ+  bblk <- Core.appendBasicBlock func "entry"+  return (func, bblk)
+ LLVM/Core/Value.hs view
@@ -0,0 +1,312 @@+{-# LANGUAGE+    DeriveDataTypeable+  , ExistentialQuantification+  , FunctionalDependencies+  , MultiParamTypeClasses+  , UndecidableInstances+  #-}++module LLVM.Core.Value+    (+    -- * Values++    -- * Opaque wrapper for LLVM's basic value type+      AnyValue+    , DynamicValue(..)+    , mkAnyValue+    , typeOfDyn++    -- ** Type classes+    , Value(..)+    , Params(..)+    , ConstValue+    , GlobalValue+    , GlobalVariable+    , Arithmetic+    , Integer+    , Real+    , Vector++    , Global(..)+    , GlobalVar(..)+    , Function(..)+    , TypedValue(..)+    , Argument(..)++    , Instruction(..)++    -- * Constants+    , ConstInt(..)+    , ConstReal(..)+    , ConstArray(..)++    -- ** Useful functions+    , params+    , getName+    , setName+    , dumpValue+    ) where++import Control.Applicative ((<$>))+import Data.Typeable (Typeable)+import Foreign.C.String (peekCString, withCString)+import Foreign.Marshal.Array (allocaArray, peekArray)+import Foreign.Ptr (nullPtr)+import Prelude hiding (Integer, Real)+import System.IO.Unsafe (unsafePerformIO)++import qualified LLVM.Core.FFI as FFI+import LLVM.Core.Type ((:->)(..))+import qualified LLVM.Core.Type as T++-- import Debug.Trace+++class Value a where+    valueRef :: a -> FFI.ValueRef+    anyValue :: a -> AnyValue++class DynamicValue a where+    fromAnyValue :: AnyValue -> a++class Params t v | t -> v where+    fromAnyList :: t -> [AnyValue] -> (v, [AnyValue])++-- | Recover the type of a value in a manner that preserves static+-- type safety.+class (T.Type t, Value v) => TypedValue v t | v -> t where+    typeOf :: v                 -- ^ value is not inspected+           -> t++data AnyValue = forall a. Value a => AnyValue a+                deriving (Typeable)++instance DynamicValue AnyValue where+    fromAnyValue = id++instance Value FFI.ValueRef where+    valueRef = id+    anyValue = AnyValue++mkAnyValue :: Value a => a -> AnyValue+mkAnyValue = AnyValue++class Value a => ConstValue a+class Value a => Arithmetic a+class Arithmetic a => Integer a+class Arithmetic a => Real a+class Arithmetic a => Vector a+class ConstValue a => GlobalValue a+class GlobalValue a => GlobalVariable a++instance Value AnyValue where+    valueRef (AnyValue a) = valueRef a+    anyValue = id++instance ConstValue AnyValue+instance GlobalValue AnyValue+instance GlobalVariable AnyValue+instance Arithmetic AnyValue+instance Integer AnyValue+instance Real AnyValue++getName :: Value v => v -> IO String+getName v = do+  namePtr <- FFI.getValueName (valueRef v)+  if namePtr == nullPtr+    then return []+    else peekCString namePtr++setName :: Value v => v -> String -> IO ()+setName v name = withCString name (FFI.setValueName (valueRef v))++dumpValue :: Value v => v -> IO ()+dumpValue = FFI.dumpValue . valueRef++newtype Instruction a = Instruction AnyValue+    deriving (DynamicValue, Typeable, Value)++newtype Global t = Global AnyValue+    deriving (ConstValue, DynamicValue, GlobalValue, Typeable, Value)++newtype GlobalVar t = GlobalVar AnyValue+    deriving (ConstValue, DynamicValue, GlobalValue, GlobalVariable,+              Typeable, Value)++fromAny :: (DynamicValue v, TypedValue v t, T.Type t) => t -> [AnyValue] -> (v, [AnyValue])+fromAny _ (x:xs) = (fromAnyValue x,xs)+fromAny _ _ = error "LLVM.Core.Value.fromAny: empty list"++globalVarType :: GlobalVar t -> t+globalVarType _ = undefined++instance T.Type t => TypedValue (GlobalVar t) t where+    typeOf = globalVarType++data Function r p = Function {+      fromFunction :: AnyValue+    }+    deriving (Typeable)++instance ConstValue (Function r p)+instance GlobalValue (Function r p)+instance GlobalVariable (Function r p)++instance DynamicValue (Function r p) where+    fromAnyValue = Function++instance Value (Function r p) where+    valueRef = valueRef . anyValue+    anyValue = fromFunction++newtype Argument t = Argument AnyValue+    deriving (DynamicValue, Typeable, Value)++instance (T.DynamicType r, T.Params p) => TypedValue (Function r p) (T.Function r p) where+    typeOf _ = T.function undefined undefined++instance (Params b c) => Params (a :-> b) (Argument a :-> c) where+    fromAnyList t (x:xs) = let (y,ys) = fromAnyList (T.cdr t) xs+                           in (Argument x :-> y,ys)+    fromAnyList _ _ = error "LLVM.Core.Value.fromAnyList(:->): empty list"++newtype ConstInt t = ConstInt AnyValue+    deriving (Arithmetic, ConstValue, DynamicValue, Integer, Typeable, Value)++instance TypedValue (ConstInt T.Int1) T.Int1 where+    typeOf = T.int1++instance TypedValue (Argument T.Int1) T.Int1 where+    typeOf = T.int1++instance TypedValue (Instruction T.Int1) T.Int1 where+    typeOf = T.int1++instance Params T.Int1 (Argument T.Int1) where+    fromAnyList = fromAny++instance TypedValue (ConstInt T.Int8) T.Int8 where+    typeOf = T.int8++instance TypedValue (Argument T.Int8) T.Int8 where+    typeOf = T.int8++instance TypedValue (Instruction T.Int8) T.Int8 where+    typeOf = T.int8++instance Params T.Int8 (Argument T.Int8) where+    fromAnyList = fromAny++instance TypedValue (ConstInt T.Int16) T.Int16 where+    typeOf = T.int16++instance TypedValue (Argument T.Int16) T.Int16 where+    typeOf = T.int16++instance Params T.Int16 (Argument T.Int16) where+    fromAnyList = fromAny++instance TypedValue (ConstInt T.Int32) T.Int32 where+    typeOf = T.int32++instance TypedValue (Argument T.Int32) T.Int32 where+    typeOf = T.int32++instance TypedValue (Instruction T.Int32) T.Int32 where+    typeOf = T.int32++instance Params T.Int32 (Argument T.Int32) where+    fromAnyList = fromAny++instance TypedValue (ConstInt T.Int64) T.Int64 where+    typeOf = T.int64++instance TypedValue (Argument T.Int64) T.Int64 where+    typeOf = T.int64++instance TypedValue (Instruction T.Int64) T.Int64 where+    typeOf = T.int64++instance Params T.Int64 (Argument T.Int64) where+    fromAnyList = fromAny++newtype ConstArray t = ConstArray AnyValue+    deriving (ConstValue, DynamicValue, Typeable, Value)++instance (T.DynamicType a) => TypedValue (ConstArray a) (T.Array a) where+    typeOf _ = T.array undefined 0++instance (T.DynamicType t) => TypedValue (Instruction (T.Array t)) (T.Array t) where+    typeOf _ = T.array undefined 0++instance (T.DynamicType t) => TypedValue (Instruction (T.Pointer t)) (T.Pointer t) where+    typeOf _ = T.pointer undefined++instance (T.DynamicType t) => Params (T.Pointer t) (Instruction (T.Pointer t)) where+    fromAnyList = fromAny++newtype ConstReal t = ConstReal AnyValue+    deriving (Arithmetic, ConstValue, DynamicValue, Real, Typeable, Value)++instance TypedValue (ConstReal T.Float) T.Float where+    typeOf = T.float++instance TypedValue (Argument T.Float) T.Float where+    typeOf = T.float++instance Params T.Float (Argument T.Float) where+    fromAnyList = fromAny++instance TypedValue (ConstReal T.Double) T.Double where+    typeOf = T.double++instance TypedValue (Argument T.Double) T.Double where+    typeOf = T.double++instance Params T.Double (Argument T.Double) where+    fromAnyList = fromAny++instance TypedValue (ConstReal T.X86Float80) T.X86Float80 where+    typeOf = T.x86Float80++instance TypedValue (Argument T.X86Float80) T.X86Float80 where+    typeOf = T.x86Float80++instance Params T.X86Float80 (Argument T.X86Float80) where+    fromAnyList = fromAny++instance TypedValue (ConstReal T.Float128) T.Float128 where+    typeOf = T.float128++instance TypedValue (Argument T.Float128) T.Float128 where+    typeOf = T.float128++instance Params T.Float128 (Argument T.Float128) where+    fromAnyList = fromAny++instance TypedValue (ConstReal T.PPCFloat128) T.PPCFloat128 where+    typeOf = T.ppcFloat128++instance TypedValue (Argument T.PPCFloat128) T.PPCFloat128 where+    typeOf = T.ppcFloat128++instance Params T.PPCFloat128 (Argument T.PPCFloat128) where+    fromAnyList = fromAny++countParams :: Function r p -> Int+countParams = fromIntegral . FFI.countParams . valueRef++listParams :: Function r p -> [AnyValue]+listParams f = unsafePerformIO $ do+  let len = countParams f+  allocaArray len $ \ptr -> do+    FFI.getParams (valueRef f) ptr+    map mkAnyValue <$> peekArray len ptr++params :: (T.DynamicType r, T.Params p, Params p v) => Function r p -> v+params f = case fromAnyList (T.params (typeOf f)) (listParams f) of+             (p, []) -> p+             _ -> error "LLVM.Core.Value.params: incompletely consumed params"++typeOfDyn :: Value a => a -> T.AnyType+typeOfDyn val = unsafePerformIO $ T.mkAnyType <$> FFI.typeOf (valueRef val)
+ LLVM/ExecutionEngine.hs view
@@ -0,0 +1,173 @@+{-# LANGUAGE+   DeriveDataTypeable+  , FunctionalDependencies+  , MultiParamTypeClasses+  #-}++module LLVM.ExecutionEngine+    (+    -- * Execution engines+      ExecutionEngine+    , createExecutionEngine+    , runStaticConstructors+    , runStaticDestructors+    , runFunction++    -- * Generic values+    , GenericValue+    , Generic(..)+    ) where++import Control.Applicative ((<$>))+import Control.Exception (ioError)+import Data.Int (Int8, Int16, Int32, Int64)+import Data.Typeable (Typeable)+import Data.Word (Word8, Word16, Word32, Word64)+import Foreign.ForeignPtr (FinalizerPtr, ForeignPtr, newForeignPtr,+                           withForeignPtr)+import Foreign.C.String (peekCString)+import Foreign.Marshal.Alloc (alloca, free)+import Foreign.Marshal.Array (withArrayLen)+import Foreign.Marshal.Utils (fromBool, toBool)+import Foreign.Ptr (Ptr)+import Foreign.Storable (peek)+import System.IO.Error (userError)+import System.IO.Unsafe (unsafePerformIO)++import qualified LLVM.ExecutionEngine.FFI as FFI+import qualified LLVM.Core.Type as T+import qualified LLVM.Core.Value as V++newtype ExecutionEngine = ExecutionEngine {+      fromExecutionEngine :: ForeignPtr FFI.ExecutionEngine+    }++withExecutionEngine :: ExecutionEngine -> (Ptr FFI.ExecutionEngine -> IO a)+                    -> IO a+withExecutionEngine ee = withForeignPtr (fromExecutionEngine ee)++createExecutionEngine :: T.ModuleProvider -> IO ExecutionEngine+createExecutionEngine prov =+    T.withModuleProvider prov $ \provPtr ->+      alloca $ \eePtr ->+        alloca $ \errPtr -> do+          ret <- FFI.createExecutionEngine eePtr provPtr errPtr+          if ret == 1+            then do err <- peek errPtr+                    errStr <- peekCString err+                    free err+                    ioError . userError $ errStr+            else do ptr <- peek eePtr+                    final <- h2c_ee FFI.disposeExecutionEngine+                    ExecutionEngine <$> newForeignPtr final ptr++foreign import ccall "wrapper" h2c_ee+    :: (Ptr FFI.ExecutionEngine -> IO ()) -> IO (FinalizerPtr a)++runStaticConstructors :: ExecutionEngine -> IO ()+runStaticConstructors ee = withExecutionEngine ee FFI.runStaticConstructors++runStaticDestructors :: ExecutionEngine -> IO ()+runStaticDestructors ee = withExecutionEngine ee FFI.runStaticDestructors+++newtype GenericValue t = GenericValue {+      fromGenericValue :: ForeignPtr FFI.GenericValue+    }+    deriving (Typeable)++withGenericValue :: GenericValue t -> (FFI.GenericValueRef -> IO a) -> IO a+withGenericValue = withForeignPtr . fromGenericValue++createGenericValueWith :: IO FFI.GenericValueRef -> IO (GenericValue t)+createGenericValueWith f = do+  final <- h2c_genericValue FFI.disposeGenericValue+  ptr <- f+  GenericValue <$> newForeignPtr final ptr++foreign import ccall "wrapper" h2c_genericValue+    :: (FFI.GenericValueRef -> IO ()) -> IO (FinalizerPtr a)++withAll :: [GenericValue t] -> (Int -> Ptr FFI.GenericValueRef -> IO a) -> IO a+withAll ps a = go [] ps+    where go ptrs (x:xs) = withGenericValue x $ \ptr -> go (ptr:ptrs) xs+          go ptrs _ = withArrayLen (reverse ptrs) a+                   +runFunction :: ExecutionEngine -> V.Function r p -> [GenericValue t]+            -> IO (GenericValue r)+runFunction ee func args =+    withExecutionEngine ee $ \eePtr ->+      withAll args $ \argLen argPtr ->+        createGenericValueWith $ FFI.runFunction eePtr (V.valueRef func)+                                        (fromIntegral argLen) argPtr++class Generic a t | a -> t where+    createGeneric :: a -> IO (GenericValue t)+    fromGeneric :: GenericValue t -> a++toGenericInt :: (Integral a, T.Type t) => (b -> t) -> Bool -> a -> IO (GenericValue t)+toGenericInt typf signed val = createGenericValueWith $+    FFI.createGenericValueOfInt (T.typeRef (typf undefined))+           (fromIntegral val) (fromBool signed)++fromGenericInt :: (Integral a, T.Type t) => Bool -> GenericValue t -> a+fromGenericInt signed val = unsafePerformIO $+    withGenericValue val $ \ref ->+      return . fromIntegral $ FFI.genericValueToInt ref (fromBool signed)++instance Generic Bool T.Int1 where+    createGeneric = toGenericInt T.int1 False . fromBool+    fromGeneric = toBool . fromGenericInt False++instance Generic Int8 T.Int8 where+    createGeneric = toGenericInt T.int8 True . fromIntegral+    fromGeneric = fromIntegral . fromGenericInt True++instance Generic Int16 T.Int16 where+    createGeneric = toGenericInt T.int16 True . fromIntegral+    fromGeneric = fromIntegral . fromGenericInt True++instance Generic Int32 T.Int32 where+    createGeneric = toGenericInt T.int32 True . fromIntegral+    fromGeneric = fromIntegral . fromGenericInt True++instance Generic Int T.Int32 where+    createGeneric = toGenericInt T.int32 True . fromIntegral+    fromGeneric = fromIntegral . fromGenericInt True++instance Generic Int64 T.Int64 where+    createGeneric = toGenericInt T.int64 True . fromIntegral+    fromGeneric = fromIntegral . fromGenericInt True++instance Generic Word8 T.Int8 where+    createGeneric = toGenericInt T.int8 False . fromIntegral+    fromGeneric = fromIntegral . fromGenericInt False++instance Generic Word16 T.Int16 where+    createGeneric = toGenericInt T.int16 False . fromIntegral+    fromGeneric = fromIntegral . fromGenericInt False++instance Generic Word32 T.Int32 where+    createGeneric = toGenericInt T.int32 False . fromIntegral+    fromGeneric = fromIntegral . fromGenericInt False++instance Generic Word64 T.Int64 where+    createGeneric = toGenericInt T.int64 False . fromIntegral+    fromGeneric = fromIntegral . fromGenericInt False++toGenericReal :: (Real a, T.Type t) => t -> a -> IO (GenericValue t)+toGenericReal typ val = createGenericValueWith $+    FFI.createGenericValueOfFloat (T.typeRef typ) (realToFrac val)++fromGenericReal :: (Fractional a, T.Type t) => GenericValue t -> a+fromGenericReal val = unsafePerformIO $+    withGenericValue val $ \ref ->+      return . realToFrac $ FFI.genericValueToFloat ref++instance Generic Float T.Float where+    createGeneric = toGenericReal undefined+    fromGeneric = fromGenericReal++instance Generic Double T.Double where+    createGeneric = toGenericReal undefined+    fromGeneric = fromGenericReal
+ LLVM/ExecutionEngine/FFI.hsc view
@@ -0,0 +1,69 @@+{-# LANGUAGE EmptyDataDecls #-}++module LLVM.ExecutionEngine.FFI+    (+    -- * Execution engines+      ExecutionEngine+    , createExecutionEngine+    , disposeExecutionEngine+    , runStaticConstructors+    , runStaticDestructors+    , runFunction++    -- * Generic values+    , GenericValue+    , GenericValueRef+    , createGenericValueOfInt+    , genericValueToInt+    , createGenericValueOfFloat+    , genericValueToFloat+    , disposeGenericValue+    ) where++import Foreign.C.String (CString)+import Foreign.C.Types (CDouble, CInt, CUInt, CULLong)+import Foreign.Ptr (Ptr)++import LLVM.Core.FFI (ModuleProviderRef, TypeRef, ValueRef)++#include <llvm-c/ExecutionEngine.h>++data ExecutionEngine+type ExecutionEngineRef = Ptr ExecutionEngine++foreign import ccall unsafe "LLVMCreateExecutionEngine" createExecutionEngine+    :: Ptr ExecutionEngineRef -> ModuleProviderRef -> Ptr CString+    -> IO CInt++foreign import ccall unsafe "LLVMDisposeExecutionEngine" disposeExecutionEngine+    :: ExecutionEngineRef -> IO ()++foreign import ccall unsafe "LLVMRunStaticConstructors" runStaticConstructors+    :: ExecutionEngineRef -> IO ()++foreign import ccall unsafe "LLVMRunStaticDestructors" runStaticDestructors+    :: ExecutionEngineRef -> IO ()+++data GenericValue+type GenericValueRef = Ptr GenericValue++foreign import ccall unsafe "LLVMCreateGenericValueOfInt"+    createGenericValueOfInt :: TypeRef -> CULLong -> CInt+                            -> IO GenericValueRef++foreign import ccall unsafe "LLVMGenericValueToInt" genericValueToInt+    :: GenericValueRef -> CInt -> CULLong++foreign import ccall unsafe "LLVMCreateGenericValueOfFloat"+    createGenericValueOfFloat :: TypeRef -> CDouble -> IO GenericValueRef++foreign import ccall unsafe "LLVMGenericValueToFloat" genericValueToFloat+    :: GenericValueRef -> CDouble++foreign import ccall unsafe "LLVMDisposeGenericValue" disposeGenericValue+    :: GenericValueRef -> IO ()++foreign import ccall unsafe "LLVMRunFunction" runFunction+    :: ExecutionEngineRef -> ValueRef -> CUInt+    -> Ptr GenericValueRef -> IO GenericValueRef
+ Makefile view
@@ -0,0 +1,44 @@+ghc := ghc+ghcflags := -Wall -Werror++llvm_prefix ?= $(HOME)+prefix ?= $(HOME)+_lib := $(shell test -d /usr/lib64 && echo lib64 || echo lib)++ifeq ($(prefix),$(HOME))+user_flag := --user+endif++all: build++.PHONY: build+build: dist/setup-config+	./setup build++dist/setup-config: setup configure llvm.cabal llvm.buildinfo.in+	./setup configure --prefix=$(prefix) --libdir=$(prefix)/$(_lib) \+	    --configure-option --with-llvm-prefix=$(llvm_prefix) $(user_flag)++setup: Setup.lhs+	$(ghc) --make -O -o $@ $<++configure: configure.ac+	autoreconf++.PHONY: examples+examples:+	$(MAKE) -C examples++sdist: dist/setup-config+	./setup sdist++.PHONY: install+install: setup+	./setup install++clean:+	-rm -f Setup.hi Setup.hi+	-./setup clean++distclean: clean+	-rm -f setup configure
+ PROBLEMS.txt view
@@ -0,0 +1,20 @@+Known problems+--------------++If you have solutions to any of the problems listed below, please let+me know, or better yet, send a patch.  Thanks!+++Can't use LLVM bindings from ghci+---------------------------------++When I try to use the LLVM bindings in ghci, on Linux, loading the+bindings succeeds, but trying to do anything fails:++  $ ghci+  Prelude> :m +LLVM.Core+  Prelude LLVM.Core> m <- createModule "foo"+  can't load .so/.DLL for: stdc++ (libstdc++.so: cannot open shared+    object file: No such file or directory)++I don't know why this happens, but it looks like a ghci bug.
+ README.txt view
@@ -0,0 +1,40 @@+Haskell LLVM bindings+---------------------++This package provides Haskell bindings for the popular LLVM compiler+infrastructure project.  If you don't know what LLVM is, the main LLVM+home page is here:++  http://llvm.org/+++Package status - what to expect+-------------------------------++This package is under heavy development.  I've released it quite early+in order to solicit comments and help from interested parties.++The bindings are currently incomplete, so there are some severe limits+on what you can do.  Adding new functions is generally easy, though,+so don't be afraid to get your hands dirty.++Also, the type safety of various functions is a bit dubious.  The+underlying C bindings to LLVM throw away almost all type information,+so we have to reconstruct types in Haskell.  I'm still working on+straightening things out.++Please expect the sands to shift under your feet quite rapidly for a+little while as I add functionality, improve the interfaces, and+generally flesh the bindings out to be thoroughly useful.+++Jump in and help!+-----------------++I welcome your comments and contributions.  You can send email to me+at <bos@serpentine.com>.  If you want to send patches, please get a+copy of the darcs repository:++  darcs get http://darcs.serpentine.com/llvm++Thanks!
+ Setup.lhs view
@@ -0,0 +1,3 @@+#!/usr/bin/env runhaskell+> import Distribution.Simple+> main = defaultMainWithHooks defaultUserHooks
+ configure view
@@ -0,0 +1,4943 @@+#! /bin/sh+# Guess values for system-dependent variables and create Makefiles.+# Generated by GNU Autoconf 2.61 for Haskell LLVM bindings 0.0.2.+#+# Report bugs to <bos@serpentine.com>.+#+# Copyright (C) 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001,+# 2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc.+# This configure script is free software; the Free Software Foundation+# gives unlimited permission to copy, distribute and modify it.+## --------------------- ##+## M4sh Initialization.  ##+## --------------------- ##++# Be more Bourne compatible+DUALCASE=1; export DUALCASE # for MKS sh+if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then+  emulate sh+  NULLCMD=:+  # Zsh 3.x and 4.x performs word splitting on ${1+"$@"}, which+  # is contrary to our usage.  Disable this feature.+  alias -g '${1+"$@"}'='"$@"'+  setopt NO_GLOB_SUBST+else+  case `(set -o) 2>/dev/null` in+  *posix*) set -o posix ;;+esac++fi+++++# PATH needs CR+# Avoid depending upon Character Ranges.+as_cr_letters='abcdefghijklmnopqrstuvwxyz'+as_cr_LETTERS='ABCDEFGHIJKLMNOPQRSTUVWXYZ'+as_cr_Letters=$as_cr_letters$as_cr_LETTERS+as_cr_digits='0123456789'+as_cr_alnum=$as_cr_Letters$as_cr_digits++# The user is always right.+if test "${PATH_SEPARATOR+set}" != set; then+  echo "#! /bin/sh" >conf$$.sh+  echo  "exit 0"   >>conf$$.sh+  chmod +x conf$$.sh+  if (PATH="/nonexistent;."; conf$$.sh) >/dev/null 2>&1; then+    PATH_SEPARATOR=';'+  else+    PATH_SEPARATOR=:+  fi+  rm -f conf$$.sh+fi++# Support unset when possible.+if ( (MAIL=60; unset MAIL) || exit) >/dev/null 2>&1; then+  as_unset=unset+else+  as_unset=false+fi+++# IFS+# We need space, tab and new line, in precisely that order.  Quoting is+# there to prevent editors from complaining about space-tab.+# (If _AS_PATH_WALK were called with IFS unset, it would disable word+# splitting by setting IFS to empty value.)+as_nl='+'+IFS=" ""	$as_nl"++# Find who we are.  Look in the path if we contain no directory separator.+case $0 in+  *[\\/]* ) as_myself=$0 ;;+  *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR+for as_dir in $PATH+do+  IFS=$as_save_IFS+  test -z "$as_dir" && as_dir=.+  test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break+done+IFS=$as_save_IFS++     ;;+esac+# We did not find ourselves, most probably we were run as `sh COMMAND'+# in which case we are not to be found in the path.+if test "x$as_myself" = x; then+  as_myself=$0+fi+if test ! -f "$as_myself"; then+  echo "$as_myself: error: cannot find myself; rerun with an absolute file name" >&2+  { (exit 1); exit 1; }+fi++# Work around bugs in pre-3.0 UWIN ksh.+for as_var in ENV MAIL MAILPATH+do ($as_unset $as_var) >/dev/null 2>&1 && $as_unset $as_var+done+PS1='$ '+PS2='> '+PS4='+ '++# NLS nuisances.+for as_var in \+  LANG LANGUAGE LC_ADDRESS LC_ALL LC_COLLATE LC_CTYPE LC_IDENTIFICATION \+  LC_MEASUREMENT LC_MESSAGES LC_MONETARY LC_NAME LC_NUMERIC LC_PAPER \+  LC_TELEPHONE LC_TIME+do+  if (set +x; test -z "`(eval $as_var=C; export $as_var) 2>&1`"); then+    eval $as_var=C; export $as_var+  else+    ($as_unset $as_var) >/dev/null 2>&1 && $as_unset $as_var+  fi+done++# Required to use basename.+if expr a : '\(a\)' >/dev/null 2>&1 &&+   test "X`expr 00001 : '.*\(...\)'`" = X001; then+  as_expr=expr+else+  as_expr=false+fi++if (basename -- /) >/dev/null 2>&1 && test "X`basename -- / 2>&1`" = "X/"; then+  as_basename=basename+else+  as_basename=false+fi+++# Name of the executable.+as_me=`$as_basename -- "$0" ||+$as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \+	 X"$0" : 'X\(//\)$' \| \+	 X"$0" : 'X\(/\)' \| . 2>/dev/null ||+echo X/"$0" |+    sed '/^.*\/\([^/][^/]*\)\/*$/{+	    s//\1/+	    q+	  }+	  /^X\/\(\/\/\)$/{+	    s//\1/+	    q+	  }+	  /^X\/\(\/\).*/{+	    s//\1/+	    q+	  }+	  s/.*/./; q'`++# CDPATH.+$as_unset CDPATH+++if test "x$CONFIG_SHELL" = x; then+  if (eval ":") 2>/dev/null; then+  as_have_required=yes+else+  as_have_required=no+fi++  if test $as_have_required = yes && 	 (eval ":+(as_func_return () {+  (exit \$1)+}+as_func_success () {+  as_func_return 0+}+as_func_failure () {+  as_func_return 1+}+as_func_ret_success () {+  return 0+}+as_func_ret_failure () {+  return 1+}++exitcode=0+if as_func_success; then+  :+else+  exitcode=1+  echo as_func_success failed.+fi++if as_func_failure; then+  exitcode=1+  echo as_func_failure succeeded.+fi++if as_func_ret_success; then+  :+else+  exitcode=1+  echo as_func_ret_success failed.+fi++if as_func_ret_failure; then+  exitcode=1+  echo as_func_ret_failure succeeded.+fi++if ( set x; as_func_ret_success y && test x = \"\$1\" ); then+  :+else+  exitcode=1+  echo positional parameters were not saved.+fi++test \$exitcode = 0) || { (exit 1); exit 1; }++(+  as_lineno_1=\$LINENO+  as_lineno_2=\$LINENO+  test \"x\$as_lineno_1\" != \"x\$as_lineno_2\" &&+  test \"x\`expr \$as_lineno_1 + 1\`\" = \"x\$as_lineno_2\") || { (exit 1); exit 1; }+") 2> /dev/null; then+  :+else+  as_candidate_shells=+    as_save_IFS=$IFS; IFS=$PATH_SEPARATOR+for as_dir in /bin$PATH_SEPARATOR/usr/bin$PATH_SEPARATOR$PATH+do+  IFS=$as_save_IFS+  test -z "$as_dir" && as_dir=.+  case $as_dir in+	 /*)+	   for as_base in sh bash ksh sh5; do+	     as_candidate_shells="$as_candidate_shells $as_dir/$as_base"+	   done;;+       esac+done+IFS=$as_save_IFS+++      for as_shell in $as_candidate_shells $SHELL; do+	 # Try only shells that exist, to save several forks.+	 if { test -f "$as_shell" || test -f "$as_shell.exe"; } &&+		{ ("$as_shell") 2> /dev/null <<\_ASEOF+if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then+  emulate sh+  NULLCMD=:+  # Zsh 3.x and 4.x performs word splitting on ${1+"$@"}, which+  # is contrary to our usage.  Disable this feature.+  alias -g '${1+"$@"}'='"$@"'+  setopt NO_GLOB_SUBST+else+  case `(set -o) 2>/dev/null` in+  *posix*) set -o posix ;;+esac++fi+++:+_ASEOF+}; then+  CONFIG_SHELL=$as_shell+	       as_have_required=yes+	       if { "$as_shell" 2> /dev/null <<\_ASEOF+if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then+  emulate sh+  NULLCMD=:+  # Zsh 3.x and 4.x performs word splitting on ${1+"$@"}, which+  # is contrary to our usage.  Disable this feature.+  alias -g '${1+"$@"}'='"$@"'+  setopt NO_GLOB_SUBST+else+  case `(set -o) 2>/dev/null` in+  *posix*) set -o posix ;;+esac++fi+++:+(as_func_return () {+  (exit $1)+}+as_func_success () {+  as_func_return 0+}+as_func_failure () {+  as_func_return 1+}+as_func_ret_success () {+  return 0+}+as_func_ret_failure () {+  return 1+}++exitcode=0+if as_func_success; then+  :+else+  exitcode=1+  echo as_func_success failed.+fi++if as_func_failure; then+  exitcode=1+  echo as_func_failure succeeded.+fi++if as_func_ret_success; then+  :+else+  exitcode=1+  echo as_func_ret_success failed.+fi++if as_func_ret_failure; then+  exitcode=1+  echo as_func_ret_failure succeeded.+fi++if ( set x; as_func_ret_success y && test x = "$1" ); then+  :+else+  exitcode=1+  echo positional parameters were not saved.+fi++test $exitcode = 0) || { (exit 1); exit 1; }++(+  as_lineno_1=$LINENO+  as_lineno_2=$LINENO+  test "x$as_lineno_1" != "x$as_lineno_2" &&+  test "x`expr $as_lineno_1 + 1`" = "x$as_lineno_2") || { (exit 1); exit 1; }++_ASEOF+}; then+  break+fi++fi++      done++      if test "x$CONFIG_SHELL" != x; then+  for as_var in BASH_ENV ENV+        do ($as_unset $as_var) >/dev/null 2>&1 && $as_unset $as_var+        done+        export CONFIG_SHELL+        exec "$CONFIG_SHELL" "$as_myself" ${1+"$@"}+fi+++    if test $as_have_required = no; then+  echo This script requires a shell more modern than all the+      echo shells that I found on your system.  Please install a+      echo modern shell, or manually run the script under such a+      echo shell if you do have one.+      { (exit 1); exit 1; }+fi+++fi++fi++++(eval "as_func_return () {+  (exit \$1)+}+as_func_success () {+  as_func_return 0+}+as_func_failure () {+  as_func_return 1+}+as_func_ret_success () {+  return 0+}+as_func_ret_failure () {+  return 1+}++exitcode=0+if as_func_success; then+  :+else+  exitcode=1+  echo as_func_success failed.+fi++if as_func_failure; then+  exitcode=1+  echo as_func_failure succeeded.+fi++if as_func_ret_success; then+  :+else+  exitcode=1+  echo as_func_ret_success failed.+fi++if as_func_ret_failure; then+  exitcode=1+  echo as_func_ret_failure succeeded.+fi++if ( set x; as_func_ret_success y && test x = \"\$1\" ); then+  :+else+  exitcode=1+  echo positional parameters were not saved.+fi++test \$exitcode = 0") || {+  echo No shell found that supports shell functions.+  echo Please tell autoconf@gnu.org about your system,+  echo including any error possibly output before this+  echo message+}++++  as_lineno_1=$LINENO+  as_lineno_2=$LINENO+  test "x$as_lineno_1" != "x$as_lineno_2" &&+  test "x`expr $as_lineno_1 + 1`" = "x$as_lineno_2" || {++  # Create $as_me.lineno as a copy of $as_myself, but with $LINENO+  # uniformly replaced by the line number.  The first 'sed' inserts a+  # line-number line after each line using $LINENO; the second 'sed'+  # does the real work.  The second script uses 'N' to pair each+  # line-number line with the line containing $LINENO, and appends+  # trailing '-' during substitution so that $LINENO is not a special+  # case at line end.+  # (Raja R Harinath suggested sed '=', and Paul Eggert wrote the+  # scripts with optimization help from Paolo Bonzini.  Blame Lee+  # E. McMahon (1931-1989) for sed's syntax.  :-)+  sed -n '+    p+    /[$]LINENO/=+  ' <$as_myself |+    sed '+      s/[$]LINENO.*/&-/+      t lineno+      b+      :lineno+      N+      :loop+      s/[$]LINENO\([^'$as_cr_alnum'_].*\n\)\(.*\)/\2\1\2/+      t loop+      s/-\n.*//+    ' >$as_me.lineno &&+  chmod +x "$as_me.lineno" ||+    { echo "$as_me: error: cannot create $as_me.lineno; rerun with a POSIX shell" >&2+   { (exit 1); exit 1; }; }++  # Don't try to exec as it changes $[0], causing all sort of problems+  # (the dirname of $[0] is not the place where we might find the+  # original and so on.  Autoconf is especially sensitive to this).+  . "./$as_me.lineno"+  # Exit status is that of the last command.+  exit+}+++if (as_dir=`dirname -- /` && test "X$as_dir" = X/) >/dev/null 2>&1; then+  as_dirname=dirname+else+  as_dirname=false+fi++ECHO_C= ECHO_N= ECHO_T=+case `echo -n x` in+-n*)+  case `echo 'x\c'` in+  *c*) ECHO_T='	';;	# ECHO_T is single tab character.+  *)   ECHO_C='\c';;+  esac;;+*)+  ECHO_N='-n';;+esac++if expr a : '\(a\)' >/dev/null 2>&1 &&+   test "X`expr 00001 : '.*\(...\)'`" = X001; then+  as_expr=expr+else+  as_expr=false+fi++rm -f conf$$ conf$$.exe conf$$.file+if test -d conf$$.dir; then+  rm -f conf$$.dir/conf$$.file+else+  rm -f conf$$.dir+  mkdir conf$$.dir+fi+echo >conf$$.file+if ln -s conf$$.file conf$$ 2>/dev/null; then+  as_ln_s='ln -s'+  # ... but there are two gotchas:+  # 1) On MSYS, both `ln -s file dir' and `ln file dir' fail.+  # 2) DJGPP < 2.04 has no symlinks; `ln -s' creates a wrapper executable.+  # In both cases, we have to default to `cp -p'.+  ln -s conf$$.file conf$$.dir 2>/dev/null && test ! -f conf$$.exe ||+    as_ln_s='cp -p'+elif ln conf$$.file conf$$ 2>/dev/null; then+  as_ln_s=ln+else+  as_ln_s='cp -p'+fi+rm -f conf$$ conf$$.exe conf$$.dir/conf$$.file conf$$.file+rmdir conf$$.dir 2>/dev/null++if mkdir -p . 2>/dev/null; then+  as_mkdir_p=:+else+  test -d ./-p && rmdir ./-p+  as_mkdir_p=false+fi++if test -x / >/dev/null 2>&1; then+  as_test_x='test -x'+else+  if ls -dL / >/dev/null 2>&1; then+    as_ls_L_option=L+  else+    as_ls_L_option=+  fi+  as_test_x='+    eval sh -c '\''+      if test -d "$1"; then+        test -d "$1/.";+      else+	case $1 in+        -*)set "./$1";;+	esac;+	case `ls -ld'$as_ls_L_option' "$1" 2>/dev/null` in+	???[sx]*):;;*)false;;esac;fi+    '\'' sh+  '+fi+as_executable_p=$as_test_x++# Sed expression to map a string onto a valid CPP name.+as_tr_cpp="eval sed 'y%*$as_cr_letters%P$as_cr_LETTERS%;s%[^_$as_cr_alnum]%_%g'"++# Sed expression to map a string onto a valid variable name.+as_tr_sh="eval sed 'y%*+%pp%;s%[^_$as_cr_alnum]%_%g'"++++exec 7<&0 </dev/null 6>&1++# Name of the host.+# hostname on some systems (SVR3.2, Linux) returns a bogus exit status,+# so uname gets run too.+ac_hostname=`(hostname || uname -n) 2>/dev/null | sed 1q`++#+# Initializations.+#+ac_default_prefix=/usr/local+ac_clean_files=+ac_config_libobj_dir=.+LIBOBJS=+cross_compiling=no+subdirs=+MFLAGS=+MAKEFLAGS=+SHELL=${CONFIG_SHELL-/bin/sh}++# Identity of this package.+PACKAGE_NAME='Haskell LLVM bindings'+PACKAGE_TARNAME='llvm'+PACKAGE_VERSION='0.0.2'+PACKAGE_STRING='Haskell LLVM bindings 0.0.2'+PACKAGE_BUGREPORT='bos@serpentine.com'++ac_unique_file="LLVM/ExecutionEngine.hs"+# Factoring default headers for most tests.+ac_includes_default="\+#include <stdio.h>+#ifdef HAVE_SYS_TYPES_H+# include <sys/types.h>+#endif+#ifdef HAVE_SYS_STAT_H+# include <sys/stat.h>+#endif+#ifdef STDC_HEADERS+# include <stdlib.h>+# include <stddef.h>+#else+# ifdef HAVE_STDLIB_H+#  include <stdlib.h>+# endif+#endif+#ifdef HAVE_STRING_H+# if !defined STDC_HEADERS && defined HAVE_MEMORY_H+#  include <memory.h>+# endif+# include <string.h>+#endif+#ifdef HAVE_STRINGS_H+# include <strings.h>+#endif+#ifdef HAVE_INTTYPES_H+# include <inttypes.h>+#endif+#ifdef HAVE_STDINT_H+# include <stdint.h>+#endif+#ifdef HAVE_UNISTD_H+# include <unistd.h>+#endif"++ac_subst_vars='SHELL+PATH_SEPARATOR+PACKAGE_NAME+PACKAGE_TARNAME+PACKAGE_VERSION+PACKAGE_STRING+PACKAGE_BUGREPORT+exec_prefix+prefix+program_transform_name+bindir+sbindir+libexecdir+datarootdir+datadir+sysconfdir+sharedstatedir+localstatedir+includedir+oldincludedir+docdir+infodir+htmldir+dvidir+pdfdir+psdir+libdir+localedir+mandir+DEFS+ECHO_C+ECHO_N+ECHO_T+LIBS+build_alias+host_alias+target_alias+CXX+CXXFLAGS+LDFLAGS+CPPFLAGS+ac_ct_CXX+EXEEXT+OBJEXT+llvm_config+CC+CFLAGS+ac_ct_CC+CPP+GREP+EGREP+llvm_cppflags llvm_engine_libs llvm_includedir llvm_ldflags+LIBOBJS+LTLIBOBJS'+ac_subst_files=''+      ac_precious_vars='build_alias+host_alias+target_alias+CXX+CXXFLAGS+LDFLAGS+LIBS+CPPFLAGS+CCC+CC+CFLAGS+CPP'+++# Initialize some variables set by options.+ac_init_help=+ac_init_version=false+# The variables have the same names as the options, with+# dashes changed to underlines.+cache_file=/dev/null+exec_prefix=NONE+no_create=+no_recursion=+prefix=NONE+program_prefix=NONE+program_suffix=NONE+program_transform_name=s,x,x,+silent=+site=+srcdir=+verbose=+x_includes=NONE+x_libraries=NONE++# Installation directory options.+# These are left unexpanded so users can "make install exec_prefix=/foo"+# and all the variables that are supposed to be based on exec_prefix+# by default will actually change.+# Use braces instead of parens because sh, perl, etc. also accept them.+# (The list follows the same order as the GNU Coding Standards.)+bindir='${exec_prefix}/bin'+sbindir='${exec_prefix}/sbin'+libexecdir='${exec_prefix}/libexec'+datarootdir='${prefix}/share'+datadir='${datarootdir}'+sysconfdir='${prefix}/etc'+sharedstatedir='${prefix}/com'+localstatedir='${prefix}/var'+includedir='${prefix}/include'+oldincludedir='/usr/include'+docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'+infodir='${datarootdir}/info'+htmldir='${docdir}'+dvidir='${docdir}'+pdfdir='${docdir}'+psdir='${docdir}'+libdir='${exec_prefix}/lib'+localedir='${datarootdir}/locale'+mandir='${datarootdir}/man'++ac_prev=+ac_dashdash=+for ac_option+do+  # If the previous option needs an argument, assign it.+  if test -n "$ac_prev"; then+    eval $ac_prev=\$ac_option+    ac_prev=+    continue+  fi++  case $ac_option in+  *=*)	ac_optarg=`expr "X$ac_option" : '[^=]*=\(.*\)'` ;;+  *)	ac_optarg=yes ;;+  esac++  # Accept the important Cygnus configure options, so we can diagnose typos.++  case $ac_dashdash$ac_option in+  --)+    ac_dashdash=yes ;;++  -bindir | --bindir | --bindi | --bind | --bin | --bi)+    ac_prev=bindir ;;+  -bindir=* | --bindir=* | --bindi=* | --bind=* | --bin=* | --bi=*)+    bindir=$ac_optarg ;;++  -build | --build | --buil | --bui | --bu)+    ac_prev=build_alias ;;+  -build=* | --build=* | --buil=* | --bui=* | --bu=*)+    build_alias=$ac_optarg ;;++  -cache-file | --cache-file | --cache-fil | --cache-fi \+  | --cache-f | --cache- | --cache | --cach | --cac | --ca | --c)+    ac_prev=cache_file ;;+  -cache-file=* | --cache-file=* | --cache-fil=* | --cache-fi=* \+  | --cache-f=* | --cache-=* | --cache=* | --cach=* | --cac=* | --ca=* | --c=*)+    cache_file=$ac_optarg ;;++  --config-cache | -C)+    cache_file=config.cache ;;++  -datadir | --datadir | --datadi | --datad)+    ac_prev=datadir ;;+  -datadir=* | --datadir=* | --datadi=* | --datad=*)+    datadir=$ac_optarg ;;++  -datarootdir | --datarootdir | --datarootdi | --datarootd | --dataroot \+  | --dataroo | --dataro | --datar)+    ac_prev=datarootdir ;;+  -datarootdir=* | --datarootdir=* | --datarootdi=* | --datarootd=* \+  | --dataroot=* | --dataroo=* | --dataro=* | --datar=*)+    datarootdir=$ac_optarg ;;++  -disable-* | --disable-*)+    ac_feature=`expr "x$ac_option" : 'x-*disable-\(.*\)'`+    # Reject names that are not valid shell variable names.+    expr "x$ac_feature" : ".*[^-._$as_cr_alnum]" >/dev/null &&+      { echo "$as_me: error: invalid feature name: $ac_feature" >&2+   { (exit 1); exit 1; }; }+    ac_feature=`echo $ac_feature | sed 's/[-.]/_/g'`+    eval enable_$ac_feature=no ;;++  -docdir | --docdir | --docdi | --doc | --do)+    ac_prev=docdir ;;+  -docdir=* | --docdir=* | --docdi=* | --doc=* | --do=*)+    docdir=$ac_optarg ;;++  -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)+    ac_prev=dvidir ;;+  -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)+    dvidir=$ac_optarg ;;++  -enable-* | --enable-*)+    ac_feature=`expr "x$ac_option" : 'x-*enable-\([^=]*\)'`+    # Reject names that are not valid shell variable names.+    expr "x$ac_feature" : ".*[^-._$as_cr_alnum]" >/dev/null &&+      { echo "$as_me: error: invalid feature name: $ac_feature" >&2+   { (exit 1); exit 1; }; }+    ac_feature=`echo $ac_feature | sed 's/[-.]/_/g'`+    eval enable_$ac_feature=\$ac_optarg ;;++  -exec-prefix | --exec_prefix | --exec-prefix | --exec-prefi \+  | --exec-pref | --exec-pre | --exec-pr | --exec-p | --exec- \+  | --exec | --exe | --ex)+    ac_prev=exec_prefix ;;+  -exec-prefix=* | --exec_prefix=* | --exec-prefix=* | --exec-prefi=* \+  | --exec-pref=* | --exec-pre=* | --exec-pr=* | --exec-p=* | --exec-=* \+  | --exec=* | --exe=* | --ex=*)+    exec_prefix=$ac_optarg ;;++  -gas | --gas | --ga | --g)+    # Obsolete; use --with-gas.+    with_gas=yes ;;++  -help | --help | --hel | --he | -h)+    ac_init_help=long ;;+  -help=r* | --help=r* | --hel=r* | --he=r* | -hr*)+    ac_init_help=recursive ;;+  -help=s* | --help=s* | --hel=s* | --he=s* | -hs*)+    ac_init_help=short ;;++  -host | --host | --hos | --ho)+    ac_prev=host_alias ;;+  -host=* | --host=* | --hos=* | --ho=*)+    host_alias=$ac_optarg ;;++  -htmldir | --htmldir | --htmldi | --htmld | --html | --htm | --ht)+    ac_prev=htmldir ;;+  -htmldir=* | --htmldir=* | --htmldi=* | --htmld=* | --html=* | --htm=* \+  | --ht=*)+    htmldir=$ac_optarg ;;++  -includedir | --includedir | --includedi | --included | --include \+  | --includ | --inclu | --incl | --inc)+    ac_prev=includedir ;;+  -includedir=* | --includedir=* | --includedi=* | --included=* | --include=* \+  | --includ=* | --inclu=* | --incl=* | --inc=*)+    includedir=$ac_optarg ;;++  -infodir | --infodir | --infodi | --infod | --info | --inf)+    ac_prev=infodir ;;+  -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)+    infodir=$ac_optarg ;;++  -libdir | --libdir | --libdi | --libd)+    ac_prev=libdir ;;+  -libdir=* | --libdir=* | --libdi=* | --libd=*)+    libdir=$ac_optarg ;;++  -libexecdir | --libexecdir | --libexecdi | --libexecd | --libexec \+  | --libexe | --libex | --libe)+    ac_prev=libexecdir ;;+  -libexecdir=* | --libexecdir=* | --libexecdi=* | --libexecd=* | --libexec=* \+  | --libexe=* | --libex=* | --libe=*)+    libexecdir=$ac_optarg ;;++  -localedir | --localedir | --localedi | --localed | --locale)+    ac_prev=localedir ;;+  -localedir=* | --localedir=* | --localedi=* | --localed=* | --locale=*)+    localedir=$ac_optarg ;;++  -localstatedir | --localstatedir | --localstatedi | --localstated \+  | --localstate | --localstat | --localsta | --localst | --locals)+    ac_prev=localstatedir ;;+  -localstatedir=* | --localstatedir=* | --localstatedi=* | --localstated=* \+  | --localstate=* | --localstat=* | --localsta=* | --localst=* | --locals=*)+    localstatedir=$ac_optarg ;;++  -mandir | --mandir | --mandi | --mand | --man | --ma | --m)+    ac_prev=mandir ;;+  -mandir=* | --mandir=* | --mandi=* | --mand=* | --man=* | --ma=* | --m=*)+    mandir=$ac_optarg ;;++  -nfp | --nfp | --nf)+    # Obsolete; use --without-fp.+    with_fp=no ;;++  -no-create | --no-create | --no-creat | --no-crea | --no-cre \+  | --no-cr | --no-c | -n)+    no_create=yes ;;++  -no-recursion | --no-recursion | --no-recursio | --no-recursi \+  | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r)+    no_recursion=yes ;;++  -oldincludedir | --oldincludedir | --oldincludedi | --oldincluded \+  | --oldinclude | --oldinclud | --oldinclu | --oldincl | --oldinc \+  | --oldin | --oldi | --old | --ol | --o)+    ac_prev=oldincludedir ;;+  -oldincludedir=* | --oldincludedir=* | --oldincludedi=* | --oldincluded=* \+  | --oldinclude=* | --oldinclud=* | --oldinclu=* | --oldincl=* | --oldinc=* \+  | --oldin=* | --oldi=* | --old=* | --ol=* | --o=*)+    oldincludedir=$ac_optarg ;;++  -prefix | --prefix | --prefi | --pref | --pre | --pr | --p)+    ac_prev=prefix ;;+  -prefix=* | --prefix=* | --prefi=* | --pref=* | --pre=* | --pr=* | --p=*)+    prefix=$ac_optarg ;;++  -program-prefix | --program-prefix | --program-prefi | --program-pref \+  | --program-pre | --program-pr | --program-p)+    ac_prev=program_prefix ;;+  -program-prefix=* | --program-prefix=* | --program-prefi=* \+  | --program-pref=* | --program-pre=* | --program-pr=* | --program-p=*)+    program_prefix=$ac_optarg ;;++  -program-suffix | --program-suffix | --program-suffi | --program-suff \+  | --program-suf | --program-su | --program-s)+    ac_prev=program_suffix ;;+  -program-suffix=* | --program-suffix=* | --program-suffi=* \+  | --program-suff=* | --program-suf=* | --program-su=* | --program-s=*)+    program_suffix=$ac_optarg ;;++  -program-transform-name | --program-transform-name \+  | --program-transform-nam | --program-transform-na \+  | --program-transform-n | --program-transform- \+  | --program-transform | --program-transfor \+  | --program-transfo | --program-transf \+  | --program-trans | --program-tran \+  | --progr-tra | --program-tr | --program-t)+    ac_prev=program_transform_name ;;+  -program-transform-name=* | --program-transform-name=* \+  | --program-transform-nam=* | --program-transform-na=* \+  | --program-transform-n=* | --program-transform-=* \+  | --program-transform=* | --program-transfor=* \+  | --program-transfo=* | --program-transf=* \+  | --program-trans=* | --program-tran=* \+  | --progr-tra=* | --program-tr=* | --program-t=*)+    program_transform_name=$ac_optarg ;;++  -pdfdir | --pdfdir | --pdfdi | --pdfd | --pdf | --pd)+    ac_prev=pdfdir ;;+  -pdfdir=* | --pdfdir=* | --pdfdi=* | --pdfd=* | --pdf=* | --pd=*)+    pdfdir=$ac_optarg ;;++  -psdir | --psdir | --psdi | --psd | --ps)+    ac_prev=psdir ;;+  -psdir=* | --psdir=* | --psdi=* | --psd=* | --ps=*)+    psdir=$ac_optarg ;;++  -q | -quiet | --quiet | --quie | --qui | --qu | --q \+  | -silent | --silent | --silen | --sile | --sil)+    silent=yes ;;++  -sbindir | --sbindir | --sbindi | --sbind | --sbin | --sbi | --sb)+    ac_prev=sbindir ;;+  -sbindir=* | --sbindir=* | --sbindi=* | --sbind=* | --sbin=* \+  | --sbi=* | --sb=*)+    sbindir=$ac_optarg ;;++  -sharedstatedir | --sharedstatedir | --sharedstatedi \+  | --sharedstated | --sharedstate | --sharedstat | --sharedsta \+  | --sharedst | --shareds | --shared | --share | --shar \+  | --sha | --sh)+    ac_prev=sharedstatedir ;;+  -sharedstatedir=* | --sharedstatedir=* | --sharedstatedi=* \+  | --sharedstated=* | --sharedstate=* | --sharedstat=* | --sharedsta=* \+  | --sharedst=* | --shareds=* | --shared=* | --share=* | --shar=* \+  | --sha=* | --sh=*)+    sharedstatedir=$ac_optarg ;;++  -site | --site | --sit)+    ac_prev=site ;;+  -site=* | --site=* | --sit=*)+    site=$ac_optarg ;;++  -srcdir | --srcdir | --srcdi | --srcd | --src | --sr)+    ac_prev=srcdir ;;+  -srcdir=* | --srcdir=* | --srcdi=* | --srcd=* | --src=* | --sr=*)+    srcdir=$ac_optarg ;;++  -sysconfdir | --sysconfdir | --sysconfdi | --sysconfd | --sysconf \+  | --syscon | --sysco | --sysc | --sys | --sy)+    ac_prev=sysconfdir ;;+  -sysconfdir=* | --sysconfdir=* | --sysconfdi=* | --sysconfd=* | --sysconf=* \+  | --syscon=* | --sysco=* | --sysc=* | --sys=* | --sy=*)+    sysconfdir=$ac_optarg ;;++  -target | --target | --targe | --targ | --tar | --ta | --t)+    ac_prev=target_alias ;;+  -target=* | --target=* | --targe=* | --targ=* | --tar=* | --ta=* | --t=*)+    target_alias=$ac_optarg ;;++  -v | -verbose | --verbose | --verbos | --verbo | --verb)+    verbose=yes ;;++  -version | --version | --versio | --versi | --vers | -V)+    ac_init_version=: ;;++  -with-* | --with-*)+    ac_package=`expr "x$ac_option" : 'x-*with-\([^=]*\)'`+    # Reject names that are not valid shell variable names.+    expr "x$ac_package" : ".*[^-._$as_cr_alnum]" >/dev/null &&+      { echo "$as_me: error: invalid package name: $ac_package" >&2+   { (exit 1); exit 1; }; }+    ac_package=`echo $ac_package | sed 's/[-.]/_/g'`+    eval with_$ac_package=\$ac_optarg ;;++  -without-* | --without-*)+    ac_package=`expr "x$ac_option" : 'x-*without-\(.*\)'`+    # Reject names that are not valid shell variable names.+    expr "x$ac_package" : ".*[^-._$as_cr_alnum]" >/dev/null &&+      { echo "$as_me: error: invalid package name: $ac_package" >&2+   { (exit 1); exit 1; }; }+    ac_package=`echo $ac_package | sed 's/[-.]/_/g'`+    eval with_$ac_package=no ;;++  --x)+    # Obsolete; use --with-x.+    with_x=yes ;;++  -x-includes | --x-includes | --x-include | --x-includ | --x-inclu \+  | --x-incl | --x-inc | --x-in | --x-i)+    ac_prev=x_includes ;;+  -x-includes=* | --x-includes=* | --x-include=* | --x-includ=* | --x-inclu=* \+  | --x-incl=* | --x-inc=* | --x-in=* | --x-i=*)+    x_includes=$ac_optarg ;;++  -x-libraries | --x-libraries | --x-librarie | --x-librari \+  | --x-librar | --x-libra | --x-libr | --x-lib | --x-li | --x-l)+    ac_prev=x_libraries ;;+  -x-libraries=* | --x-libraries=* | --x-librarie=* | --x-librari=* \+  | --x-librar=* | --x-libra=* | --x-libr=* | --x-lib=* | --x-li=* | --x-l=*)+    x_libraries=$ac_optarg ;;++  -*) { echo "$as_me: error: unrecognized option: $ac_option+Try \`$0 --help' for more information." >&2+   { (exit 1); exit 1; }; }+    ;;++  *=*)+    ac_envvar=`expr "x$ac_option" : 'x\([^=]*\)='`+    # Reject names that are not valid shell variable names.+    expr "x$ac_envvar" : ".*[^_$as_cr_alnum]" >/dev/null &&+      { echo "$as_me: error: invalid variable name: $ac_envvar" >&2+   { (exit 1); exit 1; }; }+    eval $ac_envvar=\$ac_optarg+    export $ac_envvar ;;++  *)+    # FIXME: should be removed in autoconf 3.0.+    echo "$as_me: WARNING: you should use --build, --host, --target" >&2+    expr "x$ac_option" : ".*[^-._$as_cr_alnum]" >/dev/null &&+      echo "$as_me: WARNING: invalid host type: $ac_option" >&2+    : ${build_alias=$ac_option} ${host_alias=$ac_option} ${target_alias=$ac_option}+    ;;++  esac+done++if test -n "$ac_prev"; then+  ac_option=--`echo $ac_prev | sed 's/_/-/g'`+  { echo "$as_me: error: missing argument to $ac_option" >&2+   { (exit 1); exit 1; }; }+fi++# Be sure to have absolute directory names.+for ac_var in	exec_prefix prefix bindir sbindir libexecdir datarootdir \+		datadir sysconfdir sharedstatedir localstatedir includedir \+		oldincludedir docdir infodir htmldir dvidir pdfdir psdir \+		libdir localedir mandir+do+  eval ac_val=\$$ac_var+  case $ac_val in+    [\\/$]* | ?:[\\/]* )  continue;;+    NONE | '' ) case $ac_var in *prefix ) continue;; esac;;+  esac+  { echo "$as_me: error: expected an absolute directory name for --$ac_var: $ac_val" >&2+   { (exit 1); exit 1; }; }+done++# There might be people who depend on the old broken behavior: `$host'+# used to hold the argument of --host etc.+# FIXME: To remove some day.+build=$build_alias+host=$host_alias+target=$target_alias++# FIXME: To remove some day.+if test "x$host_alias" != x; then+  if test "x$build_alias" = x; then+    cross_compiling=maybe+    echo "$as_me: WARNING: If you wanted to set the --build type, don't use --host.+    If a cross compiler is detected then cross compile mode will be used." >&2+  elif test "x$build_alias" != "x$host_alias"; then+    cross_compiling=yes+  fi+fi++ac_tool_prefix=+test -n "$host_alias" && ac_tool_prefix=$host_alias-++test "$silent" = yes && exec 6>/dev/null+++ac_pwd=`pwd` && test -n "$ac_pwd" &&+ac_ls_di=`ls -di .` &&+ac_pwd_ls_di=`cd "$ac_pwd" && ls -di .` ||+  { echo "$as_me: error: Working directory cannot be determined" >&2+   { (exit 1); exit 1; }; }+test "X$ac_ls_di" = "X$ac_pwd_ls_di" ||+  { echo "$as_me: error: pwd does not report name of working directory" >&2+   { (exit 1); exit 1; }; }+++# Find the source files, if location was not specified.+if test -z "$srcdir"; then+  ac_srcdir_defaulted=yes+  # Try the directory containing this script, then the parent directory.+  ac_confdir=`$as_dirname -- "$0" ||+$as_expr X"$0" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \+	 X"$0" : 'X\(//\)[^/]' \| \+	 X"$0" : 'X\(//\)$' \| \+	 X"$0" : 'X\(/\)' \| . 2>/dev/null ||+echo X"$0" |+    sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{+	    s//\1/+	    q+	  }+	  /^X\(\/\/\)[^/].*/{+	    s//\1/+	    q+	  }+	  /^X\(\/\/\)$/{+	    s//\1/+	    q+	  }+	  /^X\(\/\).*/{+	    s//\1/+	    q+	  }+	  s/.*/./; q'`+  srcdir=$ac_confdir+  if test ! -r "$srcdir/$ac_unique_file"; then+    srcdir=..+  fi+else+  ac_srcdir_defaulted=no+fi+if test ! -r "$srcdir/$ac_unique_file"; then+  test "$ac_srcdir_defaulted" = yes && srcdir="$ac_confdir or .."+  { echo "$as_me: error: cannot find sources ($ac_unique_file) in $srcdir" >&2+   { (exit 1); exit 1; }; }+fi+ac_msg="sources are in $srcdir, but \`cd $srcdir' does not work"+ac_abs_confdir=`(+	cd "$srcdir" && test -r "./$ac_unique_file" || { echo "$as_me: error: $ac_msg" >&2+   { (exit 1); exit 1; }; }+	pwd)`+# When building in place, set srcdir=.+if test "$ac_abs_confdir" = "$ac_pwd"; then+  srcdir=.+fi+# Remove unnecessary trailing slashes from srcdir.+# Double slashes in file names in object file debugging info+# mess up M-x gdb in Emacs.+case $srcdir in+*/) srcdir=`expr "X$srcdir" : 'X\(.*[^/]\)' \| "X$srcdir" : 'X\(.*\)'`;;+esac+for ac_var in $ac_precious_vars; do+  eval ac_env_${ac_var}_set=\${${ac_var}+set}+  eval ac_env_${ac_var}_value=\$${ac_var}+  eval ac_cv_env_${ac_var}_set=\${${ac_var}+set}+  eval ac_cv_env_${ac_var}_value=\$${ac_var}+done++#+# Report the --help message.+#+if test "$ac_init_help" = "long"; then+  # Omit some internal or obsolete options to make the list less imposing.+  # This message is too long to be a string in the A/UX 3.1 sh.+  cat <<_ACEOF+\`configure' configures Haskell LLVM bindings 0.0.2 to adapt to many kinds of systems.++Usage: $0 [OPTION]... [VAR=VALUE]...++To assign environment variables (e.g., CC, CFLAGS...), specify them as+VAR=VALUE.  See below for descriptions of some of the useful variables.++Defaults for the options are specified in brackets.++Configuration:+  -h, --help              display this help and exit+      --help=short        display options specific to this package+      --help=recursive    display the short help of all the included packages+  -V, --version           display version information and exit+  -q, --quiet, --silent   do not print \`checking...' messages+      --cache-file=FILE   cache test results in FILE [disabled]+  -C, --config-cache      alias for \`--cache-file=config.cache'+  -n, --no-create         do not create output files+      --srcdir=DIR        find the sources in DIR [configure dir or \`..']++Installation directories:+  --prefix=PREFIX         install architecture-independent files in PREFIX+			  [$ac_default_prefix]+  --exec-prefix=EPREFIX   install architecture-dependent files in EPREFIX+			  [PREFIX]++By default, \`make install' will install all the files in+\`$ac_default_prefix/bin', \`$ac_default_prefix/lib' etc.  You can specify+an installation prefix other than \`$ac_default_prefix' using \`--prefix',+for instance \`--prefix=\$HOME'.++For better control, use the options below.++Fine tuning of the installation directories:+  --bindir=DIR           user executables [EPREFIX/bin]+  --sbindir=DIR          system admin executables [EPREFIX/sbin]+  --libexecdir=DIR       program executables [EPREFIX/libexec]+  --sysconfdir=DIR       read-only single-machine data [PREFIX/etc]+  --sharedstatedir=DIR   modifiable architecture-independent data [PREFIX/com]+  --localstatedir=DIR    modifiable single-machine data [PREFIX/var]+  --libdir=DIR           object code libraries [EPREFIX/lib]+  --includedir=DIR       C header files [PREFIX/include]+  --oldincludedir=DIR    C header files for non-gcc [/usr/include]+  --datarootdir=DIR      read-only arch.-independent data root [PREFIX/share]+  --datadir=DIR          read-only architecture-independent data [DATAROOTDIR]+  --infodir=DIR          info documentation [DATAROOTDIR/info]+  --localedir=DIR        locale-dependent data [DATAROOTDIR/locale]+  --mandir=DIR           man documentation [DATAROOTDIR/man]+  --docdir=DIR           documentation root [DATAROOTDIR/doc/llvm]+  --htmldir=DIR          html documentation [DOCDIR]+  --dvidir=DIR           dvi documentation [DOCDIR]+  --pdfdir=DIR           pdf documentation [DOCDIR]+  --psdir=DIR            ps documentation [DOCDIR]+_ACEOF++  cat <<\_ACEOF+_ACEOF+fi++if test -n "$ac_init_help"; then+  case $ac_init_help in+     short | recursive ) echo "Configuration of Haskell LLVM bindings 0.0.2:";;+   esac+  cat <<\_ACEOF++Optional Packages:+  --with-PACKAGE[=ARG]    use PACKAGE [ARG=yes]+  --without-PACKAGE       do not use PACKAGE (same as --with-PACKAGE=no)+  --with-llvm-prefix      use the version of LLVM at the given location+  --with-llvm-bindir      use LLVM binaries at the given location++Some influential environment variables:+  CXX         C++ compiler command+  CXXFLAGS    C++ compiler flags+  LDFLAGS     linker flags, e.g. -L<lib dir> if you have libraries in a+              nonstandard directory <lib dir>+  LIBS        libraries to pass to the linker, e.g. -l<library>+  CPPFLAGS    C/C++/Objective C preprocessor flags, e.g. -I<include dir> if+              you have headers in a nonstandard directory <include dir>+  CC          C compiler command+  CFLAGS      C compiler flags+  CPP         C preprocessor++Use these variables to override the choices made by `configure' or to help+it to find libraries and programs with nonstandard names/locations.++Report bugs to <bos@serpentine.com>.+_ACEOF+ac_status=$?+fi++if test "$ac_init_help" = "recursive"; then+  # If there are subdirs, report their specific --help.+  for ac_dir in : $ac_subdirs_all; do test "x$ac_dir" = x: && continue+    test -d "$ac_dir" || continue+    ac_builddir=.++case "$ac_dir" in+.) ac_dir_suffix= ac_top_builddir_sub=. ac_top_build_prefix= ;;+*)+  ac_dir_suffix=/`echo "$ac_dir" | sed 's,^\.[\\/],,'`+  # A ".." for each directory in $ac_dir_suffix.+  ac_top_builddir_sub=`echo "$ac_dir_suffix" | sed 's,/[^\\/]*,/..,g;s,/,,'`+  case $ac_top_builddir_sub in+  "") ac_top_builddir_sub=. ac_top_build_prefix= ;;+  *)  ac_top_build_prefix=$ac_top_builddir_sub/ ;;+  esac ;;+esac+ac_abs_top_builddir=$ac_pwd+ac_abs_builddir=$ac_pwd$ac_dir_suffix+# for backward compatibility:+ac_top_builddir=$ac_top_build_prefix++case $srcdir in+  .)  # We are building in place.+    ac_srcdir=.+    ac_top_srcdir=$ac_top_builddir_sub+    ac_abs_top_srcdir=$ac_pwd ;;+  [\\/]* | ?:[\\/]* )  # Absolute name.+    ac_srcdir=$srcdir$ac_dir_suffix;+    ac_top_srcdir=$srcdir+    ac_abs_top_srcdir=$srcdir ;;+  *) # Relative name.+    ac_srcdir=$ac_top_build_prefix$srcdir$ac_dir_suffix+    ac_top_srcdir=$ac_top_build_prefix$srcdir+    ac_abs_top_srcdir=$ac_pwd/$srcdir ;;+esac+ac_abs_srcdir=$ac_abs_top_srcdir$ac_dir_suffix++    cd "$ac_dir" || { ac_status=$?; continue; }+    # Check for guested configure.+    if test -f "$ac_srcdir/configure.gnu"; then+      echo &&+      $SHELL "$ac_srcdir/configure.gnu" --help=recursive+    elif test -f "$ac_srcdir/configure"; then+      echo &&+      $SHELL "$ac_srcdir/configure" --help=recursive+    else+      echo "$as_me: WARNING: no configuration information is in $ac_dir" >&2+    fi || ac_status=$?+    cd "$ac_pwd" || { ac_status=$?; break; }+  done+fi++test -n "$ac_init_help" && exit $ac_status+if $ac_init_version; then+  cat <<\_ACEOF+Haskell LLVM bindings configure 0.0.2+generated by GNU Autoconf 2.61++Copyright (C) 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001,+2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc.+This configure script is free software; the Free Software Foundation+gives unlimited permission to copy, distribute and modify it.+_ACEOF+  exit+fi+cat >config.log <<_ACEOF+This file contains any messages produced by compilers while+running configure, to aid debugging if configure makes a mistake.++It was created by Haskell LLVM bindings $as_me 0.0.2, which was+generated by GNU Autoconf 2.61.  Invocation command line was++  $ $0 $@++_ACEOF+exec 5>>config.log+{+cat <<_ASUNAME+## --------- ##+## Platform. ##+## --------- ##++hostname = `(hostname || uname -n) 2>/dev/null | sed 1q`+uname -m = `(uname -m) 2>/dev/null || echo unknown`+uname -r = `(uname -r) 2>/dev/null || echo unknown`+uname -s = `(uname -s) 2>/dev/null || echo unknown`+uname -v = `(uname -v) 2>/dev/null || echo unknown`++/usr/bin/uname -p = `(/usr/bin/uname -p) 2>/dev/null || echo unknown`+/bin/uname -X     = `(/bin/uname -X) 2>/dev/null     || echo unknown`++/bin/arch              = `(/bin/arch) 2>/dev/null              || echo unknown`+/usr/bin/arch -k       = `(/usr/bin/arch -k) 2>/dev/null       || echo unknown`+/usr/convex/getsysinfo = `(/usr/convex/getsysinfo) 2>/dev/null || echo unknown`+/usr/bin/hostinfo      = `(/usr/bin/hostinfo) 2>/dev/null      || echo unknown`+/bin/machine           = `(/bin/machine) 2>/dev/null           || echo unknown`+/usr/bin/oslevel       = `(/usr/bin/oslevel) 2>/dev/null       || echo unknown`+/bin/universe          = `(/bin/universe) 2>/dev/null          || echo unknown`++_ASUNAME++as_save_IFS=$IFS; IFS=$PATH_SEPARATOR+for as_dir in $PATH+do+  IFS=$as_save_IFS+  test -z "$as_dir" && as_dir=.+  echo "PATH: $as_dir"+done+IFS=$as_save_IFS++} >&5++cat >&5 <<_ACEOF+++## ----------- ##+## Core tests. ##+## ----------- ##++_ACEOF+++# Keep a trace of the command line.+# Strip out --no-create and --no-recursion so they do not pile up.+# Strip out --silent because we don't want to record it for future runs.+# Also quote any args containing shell meta-characters.+# Make two passes to allow for proper duplicate-argument suppression.+ac_configure_args=+ac_configure_args0=+ac_configure_args1=+ac_must_keep_next=false+for ac_pass in 1 2+do+  for ac_arg+  do+    case $ac_arg in+    -no-create | --no-c* | -n | -no-recursion | --no-r*) continue ;;+    -q | -quiet | --quiet | --quie | --qui | --qu | --q \+    | -silent | --silent | --silen | --sile | --sil)+      continue ;;+    *\'*)+      ac_arg=`echo "$ac_arg" | sed "s/'/'\\\\\\\\''/g"` ;;+    esac+    case $ac_pass in+    1) ac_configure_args0="$ac_configure_args0 '$ac_arg'" ;;+    2)+      ac_configure_args1="$ac_configure_args1 '$ac_arg'"+      if test $ac_must_keep_next = true; then+	ac_must_keep_next=false # Got value, back to normal.+      else+	case $ac_arg in+	  *=* | --config-cache | -C | -disable-* | --disable-* \+	  | -enable-* | --enable-* | -gas | --g* | -nfp | --nf* \+	  | -q | -quiet | --q* | -silent | --sil* | -v | -verb* \+	  | -with-* | --with-* | -without-* | --without-* | --x)+	    case "$ac_configure_args0 " in+	      "$ac_configure_args1"*" '$ac_arg' "* ) continue ;;+	    esac+	    ;;+	  -* ) ac_must_keep_next=true ;;+	esac+      fi+      ac_configure_args="$ac_configure_args '$ac_arg'"+      ;;+    esac+  done+done+$as_unset ac_configure_args0 || test "${ac_configure_args0+set}" != set || { ac_configure_args0=; export ac_configure_args0; }+$as_unset ac_configure_args1 || test "${ac_configure_args1+set}" != set || { ac_configure_args1=; export ac_configure_args1; }++# When interrupted or exit'd, cleanup temporary files, and complete+# config.log.  We remove comments because anyway the quotes in there+# would cause problems or look ugly.+# WARNING: Use '\'' to represent an apostrophe within the trap.+# WARNING: Do not start the trap code with a newline, due to a FreeBSD 4.0 bug.+trap 'exit_status=$?+  # Save into config.log some information that might help in debugging.+  {+    echo++    cat <<\_ASBOX+## ---------------- ##+## Cache variables. ##+## ---------------- ##+_ASBOX+    echo+    # The following way of writing the cache mishandles newlines in values,+(+  for ac_var in `(set) 2>&1 | sed -n '\''s/^\([a-zA-Z_][a-zA-Z0-9_]*\)=.*/\1/p'\''`; do+    eval ac_val=\$$ac_var+    case $ac_val in #(+    *${as_nl}*)+      case $ac_var in #(+      *_cv_*) { echo "$as_me:$LINENO: WARNING: Cache variable $ac_var contains a newline." >&5+echo "$as_me: WARNING: Cache variable $ac_var contains a newline." >&2;} ;;+      esac+      case $ac_var in #(+      _ | IFS | as_nl) ;; #(+      *) $as_unset $ac_var ;;+      esac ;;+    esac+  done+  (set) 2>&1 |+    case $as_nl`(ac_space='\'' '\''; set) 2>&1` in #(+    *${as_nl}ac_space=\ *)+      sed -n \+	"s/'\''/'\''\\\\'\'''\''/g;+	  s/^\\([_$as_cr_alnum]*_cv_[_$as_cr_alnum]*\\)=\\(.*\\)/\\1='\''\\2'\''/p"+      ;; #(+    *)+      sed -n "/^[_$as_cr_alnum]*_cv_[_$as_cr_alnum]*=/p"+      ;;+    esac |+    sort+)+    echo++    cat <<\_ASBOX+## ----------------- ##+## Output variables. ##+## ----------------- ##+_ASBOX+    echo+    for ac_var in $ac_subst_vars+    do+      eval ac_val=\$$ac_var+      case $ac_val in+      *\'\''*) ac_val=`echo "$ac_val" | sed "s/'\''/'\''\\\\\\\\'\'''\''/g"`;;+      esac+      echo "$ac_var='\''$ac_val'\''"+    done | sort+    echo++    if test -n "$ac_subst_files"; then+      cat <<\_ASBOX+## ------------------- ##+## File substitutions. ##+## ------------------- ##+_ASBOX+      echo+      for ac_var in $ac_subst_files+      do+	eval ac_val=\$$ac_var+	case $ac_val in+	*\'\''*) ac_val=`echo "$ac_val" | sed "s/'\''/'\''\\\\\\\\'\'''\''/g"`;;+	esac+	echo "$ac_var='\''$ac_val'\''"+      done | sort+      echo+    fi++    if test -s confdefs.h; then+      cat <<\_ASBOX+## ----------- ##+## confdefs.h. ##+## ----------- ##+_ASBOX+      echo+      cat confdefs.h+      echo+    fi+    test "$ac_signal" != 0 &&+      echo "$as_me: caught signal $ac_signal"+    echo "$as_me: exit $exit_status"+  } >&5+  rm -f core *.core core.conftest.* &&+    rm -f -r conftest* confdefs* conf$$* $ac_clean_files &&+    exit $exit_status+' 0+for ac_signal in 1 2 13 15; do+  trap 'ac_signal='$ac_signal'; { (exit 1); exit 1; }' $ac_signal+done+ac_signal=0++# confdefs.h avoids OS command line length limits that DEFS can exceed.+rm -f -r conftest* confdefs.h++# Predefined preprocessor variables.++cat >>confdefs.h <<_ACEOF+#define PACKAGE_NAME "$PACKAGE_NAME"+_ACEOF+++cat >>confdefs.h <<_ACEOF+#define PACKAGE_TARNAME "$PACKAGE_TARNAME"+_ACEOF+++cat >>confdefs.h <<_ACEOF+#define PACKAGE_VERSION "$PACKAGE_VERSION"+_ACEOF+++cat >>confdefs.h <<_ACEOF+#define PACKAGE_STRING "$PACKAGE_STRING"+_ACEOF+++cat >>confdefs.h <<_ACEOF+#define PACKAGE_BUGREPORT "$PACKAGE_BUGREPORT"+_ACEOF+++# Let the site file select an alternate cache file if it wants to.+# Prefer explicitly selected file to automatically selected ones.+if test -n "$CONFIG_SITE"; then+  set x "$CONFIG_SITE"+elif test "x$prefix" != xNONE; then+  set x "$prefix/share/config.site" "$prefix/etc/config.site"+else+  set x "$ac_default_prefix/share/config.site" \+	"$ac_default_prefix/etc/config.site"+fi+shift+for ac_site_file+do+  if test -r "$ac_site_file"; then+    { echo "$as_me:$LINENO: loading site script $ac_site_file" >&5+echo "$as_me: loading site script $ac_site_file" >&6;}+    sed 's/^/| /' "$ac_site_file" >&5+    . "$ac_site_file"+  fi+done++if test -r "$cache_file"; then+  # Some versions of bash will fail to source /dev/null (special+  # files actually), so we avoid doing that.+  if test -f "$cache_file"; then+    { echo "$as_me:$LINENO: loading cache $cache_file" >&5+echo "$as_me: loading cache $cache_file" >&6;}+    case $cache_file in+      [\\/]* | ?:[\\/]* ) . "$cache_file";;+      *)                      . "./$cache_file";;+    esac+  fi+else+  { echo "$as_me:$LINENO: creating cache $cache_file" >&5+echo "$as_me: creating cache $cache_file" >&6;}+  >$cache_file+fi++# Check that the precious variables saved in the cache have kept the same+# value.+ac_cache_corrupted=false+for ac_var in $ac_precious_vars; do+  eval ac_old_set=\$ac_cv_env_${ac_var}_set+  eval ac_new_set=\$ac_env_${ac_var}_set+  eval ac_old_val=\$ac_cv_env_${ac_var}_value+  eval ac_new_val=\$ac_env_${ac_var}_value+  case $ac_old_set,$ac_new_set in+    set,)+      { echo "$as_me:$LINENO: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&5+echo "$as_me: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&2;}+      ac_cache_corrupted=: ;;+    ,set)+      { echo "$as_me:$LINENO: error: \`$ac_var' was not set in the previous run" >&5+echo "$as_me: error: \`$ac_var' was not set in the previous run" >&2;}+      ac_cache_corrupted=: ;;+    ,);;+    *)+      if test "x$ac_old_val" != "x$ac_new_val"; then+	{ echo "$as_me:$LINENO: error: \`$ac_var' has changed since the previous run:" >&5+echo "$as_me: error: \`$ac_var' has changed since the previous run:" >&2;}+	{ echo "$as_me:$LINENO:   former value:  $ac_old_val" >&5+echo "$as_me:   former value:  $ac_old_val" >&2;}+	{ echo "$as_me:$LINENO:   current value: $ac_new_val" >&5+echo "$as_me:   current value: $ac_new_val" >&2;}+	ac_cache_corrupted=:+      fi;;+  esac+  # Pass precious variables to config.status.+  if test "$ac_new_set" = set; then+    case $ac_new_val in+    *\'*) ac_arg=$ac_var=`echo "$ac_new_val" | sed "s/'/'\\\\\\\\''/g"` ;;+    *) ac_arg=$ac_var=$ac_new_val ;;+    esac+    case " $ac_configure_args " in+      *" '$ac_arg' "*) ;; # Avoid dups.  Use of quotes ensures accuracy.+      *) ac_configure_args="$ac_configure_args '$ac_arg'" ;;+    esac+  fi+done+if $ac_cache_corrupted; then+  { echo "$as_me:$LINENO: error: changes in the environment can compromise the build" >&5+echo "$as_me: error: changes in the environment can compromise the build" >&2;}+  { { echo "$as_me:$LINENO: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&5+echo "$as_me: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&2;}+   { (exit 1); exit 1; }; }+fi++++++++++++++++++++++++++ac_ext=c+ac_cpp='$CPP $CPPFLAGS'+ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'+ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'+ac_compiler_gnu=$ac_cv_c_compiler_gnu++++++ac_config_files="$ac_config_files llvm.buildinfo"+++ac_ext=cpp+ac_cpp='$CXXCPP $CPPFLAGS'+ac_compile='$CXX -c $CXXFLAGS $CPPFLAGS conftest.$ac_ext >&5'+ac_link='$CXX -o conftest$ac_exeext $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'+ac_compiler_gnu=$ac_cv_cxx_compiler_gnu+if test -z "$CXX"; then+  if test -n "$CCC"; then+    CXX=$CCC+  else+    if test -n "$ac_tool_prefix"; then+  for ac_prog in g++ c++ gpp aCC CC cxx cc++ cl.exe FCC KCC RCC xlC_r xlC+  do+    # Extract the first word of "$ac_tool_prefix$ac_prog", so it can be a program name with args.+set dummy $ac_tool_prefix$ac_prog; ac_word=$2+{ echo "$as_me:$LINENO: checking for $ac_word" >&5+echo $ECHO_N "checking for $ac_word... $ECHO_C" >&6; }+if test "${ac_cv_prog_CXX+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  if test -n "$CXX"; then+  ac_cv_prog_CXX="$CXX" # Let the user override the test.+else+as_save_IFS=$IFS; IFS=$PATH_SEPARATOR+for as_dir in $PATH+do+  IFS=$as_save_IFS+  test -z "$as_dir" && as_dir=.+  for ac_exec_ext in '' $ac_executable_extensions; do+  if { test -f "$as_dir/$ac_word$ac_exec_ext" && $as_test_x "$as_dir/$ac_word$ac_exec_ext"; }; then+    ac_cv_prog_CXX="$ac_tool_prefix$ac_prog"+    echo "$as_me:$LINENO: found $as_dir/$ac_word$ac_exec_ext" >&5+    break 2+  fi+done+done+IFS=$as_save_IFS++fi+fi+CXX=$ac_cv_prog_CXX+if test -n "$CXX"; then+  { echo "$as_me:$LINENO: result: $CXX" >&5+echo "${ECHO_T}$CXX" >&6; }+else+  { echo "$as_me:$LINENO: result: no" >&5+echo "${ECHO_T}no" >&6; }+fi+++    test -n "$CXX" && break+  done+fi+if test -z "$CXX"; then+  ac_ct_CXX=$CXX+  for ac_prog in g++ c++ gpp aCC CC cxx cc++ cl.exe FCC KCC RCC xlC_r xlC+do+  # Extract the first word of "$ac_prog", so it can be a program name with args.+set dummy $ac_prog; ac_word=$2+{ echo "$as_me:$LINENO: checking for $ac_word" >&5+echo $ECHO_N "checking for $ac_word... $ECHO_C" >&6; }+if test "${ac_cv_prog_ac_ct_CXX+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  if test -n "$ac_ct_CXX"; then+  ac_cv_prog_ac_ct_CXX="$ac_ct_CXX" # Let the user override the test.+else+as_save_IFS=$IFS; IFS=$PATH_SEPARATOR+for as_dir in $PATH+do+  IFS=$as_save_IFS+  test -z "$as_dir" && as_dir=.+  for ac_exec_ext in '' $ac_executable_extensions; do+  if { test -f "$as_dir/$ac_word$ac_exec_ext" && $as_test_x "$as_dir/$ac_word$ac_exec_ext"; }; then+    ac_cv_prog_ac_ct_CXX="$ac_prog"+    echo "$as_me:$LINENO: found $as_dir/$ac_word$ac_exec_ext" >&5+    break 2+  fi+done+done+IFS=$as_save_IFS++fi+fi+ac_ct_CXX=$ac_cv_prog_ac_ct_CXX+if test -n "$ac_ct_CXX"; then+  { echo "$as_me:$LINENO: result: $ac_ct_CXX" >&5+echo "${ECHO_T}$ac_ct_CXX" >&6; }+else+  { echo "$as_me:$LINENO: result: no" >&5+echo "${ECHO_T}no" >&6; }+fi+++  test -n "$ac_ct_CXX" && break+done++  if test "x$ac_ct_CXX" = x; then+    CXX="g++"+  else+    case $cross_compiling:$ac_tool_warned in+yes:)+{ echo "$as_me:$LINENO: WARNING: In the future, Autoconf will not detect cross-tools+whose name does not start with the host triplet.  If you think this+configuration is useful to you, please write to autoconf@gnu.org." >&5+echo "$as_me: WARNING: In the future, Autoconf will not detect cross-tools+whose name does not start with the host triplet.  If you think this+configuration is useful to you, please write to autoconf@gnu.org." >&2;}+ac_tool_warned=yes ;;+esac+    CXX=$ac_ct_CXX+  fi+fi++  fi+fi+# Provide some information about the compiler.+echo "$as_me:$LINENO: checking for C++ compiler version" >&5+ac_compiler=`set X $ac_compile; echo $2`+{ (ac_try="$ac_compiler --version >&5"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compiler --version >&5") 2>&5+  ac_status=$?+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); }+{ (ac_try="$ac_compiler -v >&5"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compiler -v >&5") 2>&5+  ac_status=$?+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); }+{ (ac_try="$ac_compiler -V >&5"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compiler -V >&5") 2>&5+  ac_status=$?+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); }++cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */++int+main ()+{++  ;+  return 0;+}+_ACEOF+ac_clean_files_save=$ac_clean_files+ac_clean_files="$ac_clean_files a.out a.exe b.out"+# Try to create an executable without -o first, disregard a.out.+# It will help us diagnose broken compilers, and finding out an intuition+# of exeext.+{ echo "$as_me:$LINENO: checking for C++ compiler default output file name" >&5+echo $ECHO_N "checking for C++ compiler default output file name... $ECHO_C" >&6; }+ac_link_default=`echo "$ac_link" | sed 's/ -o *conftest[^ ]*//'`+#+# List of possible output files, starting from the most likely.+# The algorithm is not robust to junk in `.', hence go to wildcards (a.*)+# only as a last resort.  b.out is created by i960 compilers.+ac_files='a_out.exe a.exe conftest.exe a.out conftest a.* conftest.* b.out'+#+# The IRIX 6 linker writes into existing files which may not be+# executable, retaining their permissions.  Remove them first so a+# subsequent execution test works.+ac_rmfiles=+for ac_file in $ac_files+do+  case $ac_file in+    *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.map | *.inf | *.o | *.obj ) ;;+    * ) ac_rmfiles="$ac_rmfiles $ac_file";;+  esac+done+rm -f $ac_rmfiles++if { (ac_try="$ac_link_default"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_link_default") 2>&5+  ac_status=$?+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); }; then+  # Autoconf-2.13 could set the ac_cv_exeext variable to `no'.+# So ignore a value of `no', otherwise this would lead to `EXEEXT = no'+# in a Makefile.  We should not override ac_cv_exeext if it was cached,+# so that the user can short-circuit this test for compilers unknown to+# Autoconf.+for ac_file in $ac_files ''+do+  test -f "$ac_file" || continue+  case $ac_file in+    *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.map | *.inf | *.o | *.obj )+	;;+    [ab].out )+	# We found the default executable, but exeext='' is most+	# certainly right.+	break;;+    *.* )+        if test "${ac_cv_exeext+set}" = set && test "$ac_cv_exeext" != no;+	then :; else+	   ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`+	fi+	# We set ac_cv_exeext here because the later test for it is not+	# safe: cross compilers may not add the suffix if given an `-o'+	# argument, so we may need to know it at that point already.+	# Even if this section looks crufty: it has the advantage of+	# actually working.+	break;;+    * )+	break;;+  esac+done+test "$ac_cv_exeext" = no && ac_cv_exeext=++else+  ac_file=''+fi++{ echo "$as_me:$LINENO: result: $ac_file" >&5+echo "${ECHO_T}$ac_file" >&6; }+if test -z "$ac_file"; then+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++{ { echo "$as_me:$LINENO: error: C++ compiler cannot create executables+See \`config.log' for more details." >&5+echo "$as_me: error: C++ compiler cannot create executables+See \`config.log' for more details." >&2;}+   { (exit 77); exit 77; }; }+fi++ac_exeext=$ac_cv_exeext++# Check that the compiler produces executables we can run.  If not, either+# the compiler is broken, or we cross compile.+{ echo "$as_me:$LINENO: checking whether the C++ compiler works" >&5+echo $ECHO_N "checking whether the C++ compiler works... $ECHO_C" >&6; }+# FIXME: These cross compiler hacks should be removed for Autoconf 3.0+# If not cross compiling, check that we can run a simple program.+if test "$cross_compiling" != yes; then+  if { ac_try='./$ac_file'+  { (case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_try") 2>&5+  ac_status=$?+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); }; }; then+    cross_compiling=no+  else+    if test "$cross_compiling" = maybe; then+	cross_compiling=yes+    else+	{ { echo "$as_me:$LINENO: error: cannot run C++ compiled programs.+If you meant to cross compile, use \`--host'.+See \`config.log' for more details." >&5+echo "$as_me: error: cannot run C++ compiled programs.+If you meant to cross compile, use \`--host'.+See \`config.log' for more details." >&2;}+   { (exit 1); exit 1; }; }+    fi+  fi+fi+{ echo "$as_me:$LINENO: result: yes" >&5+echo "${ECHO_T}yes" >&6; }++rm -f a.out a.exe conftest$ac_cv_exeext b.out+ac_clean_files=$ac_clean_files_save+# Check that the compiler produces executables we can run.  If not, either+# the compiler is broken, or we cross compile.+{ echo "$as_me:$LINENO: checking whether we are cross compiling" >&5+echo $ECHO_N "checking whether we are cross compiling... $ECHO_C" >&6; }+{ echo "$as_me:$LINENO: result: $cross_compiling" >&5+echo "${ECHO_T}$cross_compiling" >&6; }++{ echo "$as_me:$LINENO: checking for suffix of executables" >&5+echo $ECHO_N "checking for suffix of executables... $ECHO_C" >&6; }+if { (ac_try="$ac_link"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_link") 2>&5+  ac_status=$?+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); }; then+  # If both `conftest.exe' and `conftest' are `present' (well, observable)+# catch `conftest.exe'.  For instance with Cygwin, `ls conftest' will+# work properly (i.e., refer to `conftest.exe'), while it won't with+# `rm'.+for ac_file in conftest.exe conftest conftest.*; do+  test -f "$ac_file" || continue+  case $ac_file in+    *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.map | *.inf | *.o | *.obj ) ;;+    *.* ) ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`+	  break;;+    * ) break;;+  esac+done+else+  { { echo "$as_me:$LINENO: error: cannot compute suffix of executables: cannot compile and link+See \`config.log' for more details." >&5+echo "$as_me: error: cannot compute suffix of executables: cannot compile and link+See \`config.log' for more details." >&2;}+   { (exit 1); exit 1; }; }+fi++rm -f conftest$ac_cv_exeext+{ echo "$as_me:$LINENO: result: $ac_cv_exeext" >&5+echo "${ECHO_T}$ac_cv_exeext" >&6; }++rm -f conftest.$ac_ext+EXEEXT=$ac_cv_exeext+ac_exeext=$EXEEXT+{ echo "$as_me:$LINENO: checking for suffix of object files" >&5+echo $ECHO_N "checking for suffix of object files... $ECHO_C" >&6; }+if test "${ac_cv_objext+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */++int+main ()+{++  ;+  return 0;+}+_ACEOF+rm -f conftest.o conftest.obj+if { (ac_try="$ac_compile"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compile") 2>&5+  ac_status=$?+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); }; then+  for ac_file in conftest.o conftest.obj conftest.*; do+  test -f "$ac_file" || continue;+  case $ac_file in+    *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.map | *.inf ) ;;+    *) ac_cv_objext=`expr "$ac_file" : '.*\.\(.*\)'`+       break;;+  esac+done+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++{ { echo "$as_me:$LINENO: error: cannot compute suffix of object files: cannot compile+See \`config.log' for more details." >&5+echo "$as_me: error: cannot compute suffix of object files: cannot compile+See \`config.log' for more details." >&2;}+   { (exit 1); exit 1; }; }+fi++rm -f conftest.$ac_cv_objext conftest.$ac_ext+fi+{ echo "$as_me:$LINENO: result: $ac_cv_objext" >&5+echo "${ECHO_T}$ac_cv_objext" >&6; }+OBJEXT=$ac_cv_objext+ac_objext=$OBJEXT+{ echo "$as_me:$LINENO: checking whether we are using the GNU C++ compiler" >&5+echo $ECHO_N "checking whether we are using the GNU C++ compiler... $ECHO_C" >&6; }+if test "${ac_cv_cxx_compiler_gnu+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */++int+main ()+{+#ifndef __GNUC__+       choke me+#endif++  ;+  return 0;+}+_ACEOF+rm -f conftest.$ac_objext+if { (ac_try="$ac_compile"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compile") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } && {+	 test -z "$ac_cxx_werror_flag" ||+	 test ! -s conftest.err+       } && test -s conftest.$ac_objext; then+  ac_compiler_gnu=yes+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++	ac_compiler_gnu=no+fi++rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext+ac_cv_cxx_compiler_gnu=$ac_compiler_gnu++fi+{ echo "$as_me:$LINENO: result: $ac_cv_cxx_compiler_gnu" >&5+echo "${ECHO_T}$ac_cv_cxx_compiler_gnu" >&6; }+GXX=`test $ac_compiler_gnu = yes && echo yes`+ac_test_CXXFLAGS=${CXXFLAGS+set}+ac_save_CXXFLAGS=$CXXFLAGS+{ echo "$as_me:$LINENO: checking whether $CXX accepts -g" >&5+echo $ECHO_N "checking whether $CXX accepts -g... $ECHO_C" >&6; }+if test "${ac_cv_prog_cxx_g+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  ac_save_cxx_werror_flag=$ac_cxx_werror_flag+   ac_cxx_werror_flag=yes+   ac_cv_prog_cxx_g=no+   CXXFLAGS="-g"+   cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */++int+main ()+{++  ;+  return 0;+}+_ACEOF+rm -f conftest.$ac_objext+if { (ac_try="$ac_compile"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compile") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } && {+	 test -z "$ac_cxx_werror_flag" ||+	 test ! -s conftest.err+       } && test -s conftest.$ac_objext; then+  ac_cv_prog_cxx_g=yes+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++	CXXFLAGS=""+      cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */++int+main ()+{++  ;+  return 0;+}+_ACEOF+rm -f conftest.$ac_objext+if { (ac_try="$ac_compile"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compile") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } && {+	 test -z "$ac_cxx_werror_flag" ||+	 test ! -s conftest.err+       } && test -s conftest.$ac_objext; then+  :+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++	ac_cxx_werror_flag=$ac_save_cxx_werror_flag+	 CXXFLAGS="-g"+	 cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */++int+main ()+{++  ;+  return 0;+}+_ACEOF+rm -f conftest.$ac_objext+if { (ac_try="$ac_compile"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compile") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } && {+	 test -z "$ac_cxx_werror_flag" ||+	 test ! -s conftest.err+       } && test -s conftest.$ac_objext; then+  ac_cv_prog_cxx_g=yes+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5+++fi++rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext+fi++rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext+fi++rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext+   ac_cxx_werror_flag=$ac_save_cxx_werror_flag+fi+{ echo "$as_me:$LINENO: result: $ac_cv_prog_cxx_g" >&5+echo "${ECHO_T}$ac_cv_prog_cxx_g" >&6; }+if test "$ac_test_CXXFLAGS" = set; then+  CXXFLAGS=$ac_save_CXXFLAGS+elif test $ac_cv_prog_cxx_g = yes; then+  if test "$GXX" = yes; then+    CXXFLAGS="-g -O2"+  else+    CXXFLAGS="-g"+  fi+else+  if test "$GXX" = yes; then+    CXXFLAGS="-O2"+  else+    CXXFLAGS=+  fi+fi+ac_ext=c+ac_cpp='$CPP $CPPFLAGS'+ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'+ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'+ac_compiler_gnu=$ac_cv_c_compiler_gnu++++# Check whether --with-llvm_prefix was given.+if test "${with_llvm_prefix+set}" = set; then+  withval=$with_llvm_prefix; llvm_prefix="$withval"+else+  llvm_prefix=/usr/local+fi+++# Check whether --with-llvm_bindir was given.+if test "${with_llvm_bindir+set}" = set; then+  withval=$with_llvm_bindir; llvm_bindir="$withval"+else+  llvm_bindir="$llvm_prefix/bin"+fi++# Extract the first word of "llvm-config", so it can be a program name with args.+set dummy llvm-config; ac_word=$2+{ echo "$as_me:$LINENO: checking for $ac_word" >&5+echo $ECHO_N "checking for $ac_word... $ECHO_C" >&6; }+if test "${ac_cv_path_llvm_config+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  case $llvm_config in+  [\\/]* | ?:[\\/]*)+  ac_cv_path_llvm_config="$llvm_config" # Let the user override the test with a path.+  ;;+  *)+  as_save_IFS=$IFS; IFS=$PATH_SEPARATOR+for as_dir in $llvm_bindir+do+  IFS=$as_save_IFS+  test -z "$as_dir" && as_dir=.+  for ac_exec_ext in '' $ac_executable_extensions; do+  if { test -f "$as_dir/$ac_word$ac_exec_ext" && $as_test_x "$as_dir/$ac_word$ac_exec_ext"; }; then+    ac_cv_path_llvm_config="$as_dir/$ac_word$ac_exec_ext"+    echo "$as_me:$LINENO: found $as_dir/$ac_word$ac_exec_ext" >&5+    break 2+  fi+done+done+IFS=$as_save_IFS++  test -z "$ac_cv_path_llvm_config" && ac_cv_path_llvm_config="{ { echo "$as_me:$LINENO: error: could not find llvm-config in $llvm_bindir" >&5+echo "$as_me: error: could not find llvm-config in $llvm_bindir" >&2;}+   { (exit 1); exit 1; }; }"+  ;;+esac+fi+llvm_config=$ac_cv_path_llvm_config+if test -n "$llvm_config"; then+  { echo "$as_me:$LINENO: result: $llvm_config" >&5+echo "${ECHO_T}$llvm_config" >&6; }+else+  { echo "$as_me:$LINENO: result: no" >&5+echo "${ECHO_T}no" >&6; }+fi++++llvm_cppflags="`$llvm_config --cppflags`"+llvm_includedir="`$llvm_config --includedir`"+llvm_ldflags="`$llvm_config --ldflags`"++llvm_engine_libs="`$llvm_config --libs engine`"++CPPFLAGS="$llvm_cppflags $CPPFLAGS"+LDFLAGS="$llvm_ldflags $LDFLAGS"++ac_ext=c+ac_cpp='$CPP $CPPFLAGS'+ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'+ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'+ac_compiler_gnu=$ac_cv_c_compiler_gnu+if test -n "$ac_tool_prefix"; then+  # Extract the first word of "${ac_tool_prefix}gcc", so it can be a program name with args.+set dummy ${ac_tool_prefix}gcc; ac_word=$2+{ echo "$as_me:$LINENO: checking for $ac_word" >&5+echo $ECHO_N "checking for $ac_word... $ECHO_C" >&6; }+if test "${ac_cv_prog_CC+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  if test -n "$CC"; then+  ac_cv_prog_CC="$CC" # Let the user override the test.+else+as_save_IFS=$IFS; IFS=$PATH_SEPARATOR+for as_dir in $PATH+do+  IFS=$as_save_IFS+  test -z "$as_dir" && as_dir=.+  for ac_exec_ext in '' $ac_executable_extensions; do+  if { test -f "$as_dir/$ac_word$ac_exec_ext" && $as_test_x "$as_dir/$ac_word$ac_exec_ext"; }; then+    ac_cv_prog_CC="${ac_tool_prefix}gcc"+    echo "$as_me:$LINENO: found $as_dir/$ac_word$ac_exec_ext" >&5+    break 2+  fi+done+done+IFS=$as_save_IFS++fi+fi+CC=$ac_cv_prog_CC+if test -n "$CC"; then+  { echo "$as_me:$LINENO: result: $CC" >&5+echo "${ECHO_T}$CC" >&6; }+else+  { echo "$as_me:$LINENO: result: no" >&5+echo "${ECHO_T}no" >&6; }+fi+++fi+if test -z "$ac_cv_prog_CC"; then+  ac_ct_CC=$CC+  # Extract the first word of "gcc", so it can be a program name with args.+set dummy gcc; ac_word=$2+{ echo "$as_me:$LINENO: checking for $ac_word" >&5+echo $ECHO_N "checking for $ac_word... $ECHO_C" >&6; }+if test "${ac_cv_prog_ac_ct_CC+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  if test -n "$ac_ct_CC"; then+  ac_cv_prog_ac_ct_CC="$ac_ct_CC" # Let the user override the test.+else+as_save_IFS=$IFS; IFS=$PATH_SEPARATOR+for as_dir in $PATH+do+  IFS=$as_save_IFS+  test -z "$as_dir" && as_dir=.+  for ac_exec_ext in '' $ac_executable_extensions; do+  if { test -f "$as_dir/$ac_word$ac_exec_ext" && $as_test_x "$as_dir/$ac_word$ac_exec_ext"; }; then+    ac_cv_prog_ac_ct_CC="gcc"+    echo "$as_me:$LINENO: found $as_dir/$ac_word$ac_exec_ext" >&5+    break 2+  fi+done+done+IFS=$as_save_IFS++fi+fi+ac_ct_CC=$ac_cv_prog_ac_ct_CC+if test -n "$ac_ct_CC"; then+  { echo "$as_me:$LINENO: result: $ac_ct_CC" >&5+echo "${ECHO_T}$ac_ct_CC" >&6; }+else+  { echo "$as_me:$LINENO: result: no" >&5+echo "${ECHO_T}no" >&6; }+fi++  if test "x$ac_ct_CC" = x; then+    CC=""+  else+    case $cross_compiling:$ac_tool_warned in+yes:)+{ echo "$as_me:$LINENO: WARNING: In the future, Autoconf will not detect cross-tools+whose name does not start with the host triplet.  If you think this+configuration is useful to you, please write to autoconf@gnu.org." >&5+echo "$as_me: WARNING: In the future, Autoconf will not detect cross-tools+whose name does not start with the host triplet.  If you think this+configuration is useful to you, please write to autoconf@gnu.org." >&2;}+ac_tool_warned=yes ;;+esac+    CC=$ac_ct_CC+  fi+else+  CC="$ac_cv_prog_CC"+fi++if test -z "$CC"; then+          if test -n "$ac_tool_prefix"; then+    # Extract the first word of "${ac_tool_prefix}cc", so it can be a program name with args.+set dummy ${ac_tool_prefix}cc; ac_word=$2+{ echo "$as_me:$LINENO: checking for $ac_word" >&5+echo $ECHO_N "checking for $ac_word... $ECHO_C" >&6; }+if test "${ac_cv_prog_CC+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  if test -n "$CC"; then+  ac_cv_prog_CC="$CC" # Let the user override the test.+else+as_save_IFS=$IFS; IFS=$PATH_SEPARATOR+for as_dir in $PATH+do+  IFS=$as_save_IFS+  test -z "$as_dir" && as_dir=.+  for ac_exec_ext in '' $ac_executable_extensions; do+  if { test -f "$as_dir/$ac_word$ac_exec_ext" && $as_test_x "$as_dir/$ac_word$ac_exec_ext"; }; then+    ac_cv_prog_CC="${ac_tool_prefix}cc"+    echo "$as_me:$LINENO: found $as_dir/$ac_word$ac_exec_ext" >&5+    break 2+  fi+done+done+IFS=$as_save_IFS++fi+fi+CC=$ac_cv_prog_CC+if test -n "$CC"; then+  { echo "$as_me:$LINENO: result: $CC" >&5+echo "${ECHO_T}$CC" >&6; }+else+  { echo "$as_me:$LINENO: result: no" >&5+echo "${ECHO_T}no" >&6; }+fi+++  fi+fi+if test -z "$CC"; then+  # Extract the first word of "cc", so it can be a program name with args.+set dummy cc; ac_word=$2+{ echo "$as_me:$LINENO: checking for $ac_word" >&5+echo $ECHO_N "checking for $ac_word... $ECHO_C" >&6; }+if test "${ac_cv_prog_CC+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  if test -n "$CC"; then+  ac_cv_prog_CC="$CC" # Let the user override the test.+else+  ac_prog_rejected=no+as_save_IFS=$IFS; IFS=$PATH_SEPARATOR+for as_dir in $PATH+do+  IFS=$as_save_IFS+  test -z "$as_dir" && as_dir=.+  for ac_exec_ext in '' $ac_executable_extensions; do+  if { test -f "$as_dir/$ac_word$ac_exec_ext" && $as_test_x "$as_dir/$ac_word$ac_exec_ext"; }; then+    if test "$as_dir/$ac_word$ac_exec_ext" = "/usr/ucb/cc"; then+       ac_prog_rejected=yes+       continue+     fi+    ac_cv_prog_CC="cc"+    echo "$as_me:$LINENO: found $as_dir/$ac_word$ac_exec_ext" >&5+    break 2+  fi+done+done+IFS=$as_save_IFS++if test $ac_prog_rejected = yes; then+  # We found a bogon in the path, so make sure we never use it.+  set dummy $ac_cv_prog_CC+  shift+  if test $# != 0; then+    # We chose a different compiler from the bogus one.+    # However, it has the same basename, so the bogon will be chosen+    # first if we set CC to just the basename; use the full file name.+    shift+    ac_cv_prog_CC="$as_dir/$ac_word${1+' '}$@"+  fi+fi+fi+fi+CC=$ac_cv_prog_CC+if test -n "$CC"; then+  { echo "$as_me:$LINENO: result: $CC" >&5+echo "${ECHO_T}$CC" >&6; }+else+  { echo "$as_me:$LINENO: result: no" >&5+echo "${ECHO_T}no" >&6; }+fi+++fi+if test -z "$CC"; then+  if test -n "$ac_tool_prefix"; then+  for ac_prog in cl.exe+  do+    # Extract the first word of "$ac_tool_prefix$ac_prog", so it can be a program name with args.+set dummy $ac_tool_prefix$ac_prog; ac_word=$2+{ echo "$as_me:$LINENO: checking for $ac_word" >&5+echo $ECHO_N "checking for $ac_word... $ECHO_C" >&6; }+if test "${ac_cv_prog_CC+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  if test -n "$CC"; then+  ac_cv_prog_CC="$CC" # Let the user override the test.+else+as_save_IFS=$IFS; IFS=$PATH_SEPARATOR+for as_dir in $PATH+do+  IFS=$as_save_IFS+  test -z "$as_dir" && as_dir=.+  for ac_exec_ext in '' $ac_executable_extensions; do+  if { test -f "$as_dir/$ac_word$ac_exec_ext" && $as_test_x "$as_dir/$ac_word$ac_exec_ext"; }; then+    ac_cv_prog_CC="$ac_tool_prefix$ac_prog"+    echo "$as_me:$LINENO: found $as_dir/$ac_word$ac_exec_ext" >&5+    break 2+  fi+done+done+IFS=$as_save_IFS++fi+fi+CC=$ac_cv_prog_CC+if test -n "$CC"; then+  { echo "$as_me:$LINENO: result: $CC" >&5+echo "${ECHO_T}$CC" >&6; }+else+  { echo "$as_me:$LINENO: result: no" >&5+echo "${ECHO_T}no" >&6; }+fi+++    test -n "$CC" && break+  done+fi+if test -z "$CC"; then+  ac_ct_CC=$CC+  for ac_prog in cl.exe+do+  # Extract the first word of "$ac_prog", so it can be a program name with args.+set dummy $ac_prog; ac_word=$2+{ echo "$as_me:$LINENO: checking for $ac_word" >&5+echo $ECHO_N "checking for $ac_word... $ECHO_C" >&6; }+if test "${ac_cv_prog_ac_ct_CC+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  if test -n "$ac_ct_CC"; then+  ac_cv_prog_ac_ct_CC="$ac_ct_CC" # Let the user override the test.+else+as_save_IFS=$IFS; IFS=$PATH_SEPARATOR+for as_dir in $PATH+do+  IFS=$as_save_IFS+  test -z "$as_dir" && as_dir=.+  for ac_exec_ext in '' $ac_executable_extensions; do+  if { test -f "$as_dir/$ac_word$ac_exec_ext" && $as_test_x "$as_dir/$ac_word$ac_exec_ext"; }; then+    ac_cv_prog_ac_ct_CC="$ac_prog"+    echo "$as_me:$LINENO: found $as_dir/$ac_word$ac_exec_ext" >&5+    break 2+  fi+done+done+IFS=$as_save_IFS++fi+fi+ac_ct_CC=$ac_cv_prog_ac_ct_CC+if test -n "$ac_ct_CC"; then+  { echo "$as_me:$LINENO: result: $ac_ct_CC" >&5+echo "${ECHO_T}$ac_ct_CC" >&6; }+else+  { echo "$as_me:$LINENO: result: no" >&5+echo "${ECHO_T}no" >&6; }+fi+++  test -n "$ac_ct_CC" && break+done++  if test "x$ac_ct_CC" = x; then+    CC=""+  else+    case $cross_compiling:$ac_tool_warned in+yes:)+{ echo "$as_me:$LINENO: WARNING: In the future, Autoconf will not detect cross-tools+whose name does not start with the host triplet.  If you think this+configuration is useful to you, please write to autoconf@gnu.org." >&5+echo "$as_me: WARNING: In the future, Autoconf will not detect cross-tools+whose name does not start with the host triplet.  If you think this+configuration is useful to you, please write to autoconf@gnu.org." >&2;}+ac_tool_warned=yes ;;+esac+    CC=$ac_ct_CC+  fi+fi++fi+++test -z "$CC" && { { echo "$as_me:$LINENO: error: no acceptable C compiler found in \$PATH+See \`config.log' for more details." >&5+echo "$as_me: error: no acceptable C compiler found in \$PATH+See \`config.log' for more details." >&2;}+   { (exit 1); exit 1; }; }++# Provide some information about the compiler.+echo "$as_me:$LINENO: checking for C compiler version" >&5+ac_compiler=`set X $ac_compile; echo $2`+{ (ac_try="$ac_compiler --version >&5"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compiler --version >&5") 2>&5+  ac_status=$?+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); }+{ (ac_try="$ac_compiler -v >&5"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compiler -v >&5") 2>&5+  ac_status=$?+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); }+{ (ac_try="$ac_compiler -V >&5"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compiler -V >&5") 2>&5+  ac_status=$?+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); }++{ echo "$as_me:$LINENO: checking whether we are using the GNU C compiler" >&5+echo $ECHO_N "checking whether we are using the GNU C compiler... $ECHO_C" >&6; }+if test "${ac_cv_c_compiler_gnu+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */++int+main ()+{+#ifndef __GNUC__+       choke me+#endif++  ;+  return 0;+}+_ACEOF+rm -f conftest.$ac_objext+if { (ac_try="$ac_compile"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compile") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } && {+	 test -z "$ac_c_werror_flag" ||+	 test ! -s conftest.err+       } && test -s conftest.$ac_objext; then+  ac_compiler_gnu=yes+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++	ac_compiler_gnu=no+fi++rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext+ac_cv_c_compiler_gnu=$ac_compiler_gnu++fi+{ echo "$as_me:$LINENO: result: $ac_cv_c_compiler_gnu" >&5+echo "${ECHO_T}$ac_cv_c_compiler_gnu" >&6; }+GCC=`test $ac_compiler_gnu = yes && echo yes`+ac_test_CFLAGS=${CFLAGS+set}+ac_save_CFLAGS=$CFLAGS+{ echo "$as_me:$LINENO: checking whether $CC accepts -g" >&5+echo $ECHO_N "checking whether $CC accepts -g... $ECHO_C" >&6; }+if test "${ac_cv_prog_cc_g+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  ac_save_c_werror_flag=$ac_c_werror_flag+   ac_c_werror_flag=yes+   ac_cv_prog_cc_g=no+   CFLAGS="-g"+   cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */++int+main ()+{++  ;+  return 0;+}+_ACEOF+rm -f conftest.$ac_objext+if { (ac_try="$ac_compile"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compile") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } && {+	 test -z "$ac_c_werror_flag" ||+	 test ! -s conftest.err+       } && test -s conftest.$ac_objext; then+  ac_cv_prog_cc_g=yes+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++	CFLAGS=""+      cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */++int+main ()+{++  ;+  return 0;+}+_ACEOF+rm -f conftest.$ac_objext+if { (ac_try="$ac_compile"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compile") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } && {+	 test -z "$ac_c_werror_flag" ||+	 test ! -s conftest.err+       } && test -s conftest.$ac_objext; then+  :+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++	ac_c_werror_flag=$ac_save_c_werror_flag+	 CFLAGS="-g"+	 cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */++int+main ()+{++  ;+  return 0;+}+_ACEOF+rm -f conftest.$ac_objext+if { (ac_try="$ac_compile"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compile") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } && {+	 test -z "$ac_c_werror_flag" ||+	 test ! -s conftest.err+       } && test -s conftest.$ac_objext; then+  ac_cv_prog_cc_g=yes+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5+++fi++rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext+fi++rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext+fi++rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext+   ac_c_werror_flag=$ac_save_c_werror_flag+fi+{ echo "$as_me:$LINENO: result: $ac_cv_prog_cc_g" >&5+echo "${ECHO_T}$ac_cv_prog_cc_g" >&6; }+if test "$ac_test_CFLAGS" = set; then+  CFLAGS=$ac_save_CFLAGS+elif test $ac_cv_prog_cc_g = yes; then+  if test "$GCC" = yes; then+    CFLAGS="-g -O2"+  else+    CFLAGS="-g"+  fi+else+  if test "$GCC" = yes; then+    CFLAGS="-O2"+  else+    CFLAGS=+  fi+fi+{ echo "$as_me:$LINENO: checking for $CC option to accept ISO C89" >&5+echo $ECHO_N "checking for $CC option to accept ISO C89... $ECHO_C" >&6; }+if test "${ac_cv_prog_cc_c89+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  ac_cv_prog_cc_c89=no+ac_save_CC=$CC+cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */+#include <stdarg.h>+#include <stdio.h>+#include <sys/types.h>+#include <sys/stat.h>+/* Most of the following tests are stolen from RCS 5.7's src/conf.sh.  */+struct buf { int x; };+FILE * (*rcsopen) (struct buf *, struct stat *, int);+static char *e (p, i)+     char **p;+     int i;+{+  return p[i];+}+static char *f (char * (*g) (char **, int), char **p, ...)+{+  char *s;+  va_list v;+  va_start (v,p);+  s = g (p, va_arg (v,int));+  va_end (v);+  return s;+}++/* OSF 4.0 Compaq cc is some sort of almost-ANSI by default.  It has+   function prototypes and stuff, but not '\xHH' hex character constants.+   These don't provoke an error unfortunately, instead are silently treated+   as 'x'.  The following induces an error, until -std is added to get+   proper ANSI mode.  Curiously '\x00'!='x' always comes out true, for an+   array size at least.  It's necessary to write '\x00'==0 to get something+   that's true only with -std.  */+int osf4_cc_array ['\x00' == 0 ? 1 : -1];++/* IBM C 6 for AIX is almost-ANSI by default, but it replaces macro parameters+   inside strings and character constants.  */+#define FOO(x) 'x'+int xlc6_cc_array[FOO(a) == 'x' ? 1 : -1];++int test (int i, double x);+struct s1 {int (*f) (int a);};+struct s2 {int (*f) (double a);};+int pairnames (int, char **, FILE *(*)(struct buf *, struct stat *, int), int, int);+int argc;+char **argv;+int+main ()+{+return f (e, argv, 0) != argv[0]  ||  f (e, argv, 1) != argv[1];+  ;+  return 0;+}+_ACEOF+for ac_arg in '' -qlanglvl=extc89 -qlanglvl=ansi -std \+	-Ae "-Aa -D_HPUX_SOURCE" "-Xc -D__EXTENSIONS__"+do+  CC="$ac_save_CC $ac_arg"+  rm -f conftest.$ac_objext+if { (ac_try="$ac_compile"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compile") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } && {+	 test -z "$ac_c_werror_flag" ||+	 test ! -s conftest.err+       } && test -s conftest.$ac_objext; then+  ac_cv_prog_cc_c89=$ac_arg+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5+++fi++rm -f core conftest.err conftest.$ac_objext+  test "x$ac_cv_prog_cc_c89" != "xno" && break+done+rm -f conftest.$ac_ext+CC=$ac_save_CC++fi+# AC_CACHE_VAL+case "x$ac_cv_prog_cc_c89" in+  x)+    { echo "$as_me:$LINENO: result: none needed" >&5+echo "${ECHO_T}none needed" >&6; } ;;+  xno)+    { echo "$as_me:$LINENO: result: unsupported" >&5+echo "${ECHO_T}unsupported" >&6; } ;;+  *)+    CC="$CC $ac_cv_prog_cc_c89"+    { echo "$as_me:$LINENO: result: $ac_cv_prog_cc_c89" >&5+echo "${ECHO_T}$ac_cv_prog_cc_c89" >&6; } ;;+esac+++ac_ext=c+ac_cpp='$CPP $CPPFLAGS'+ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'+ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'+ac_compiler_gnu=$ac_cv_c_compiler_gnu+++ac_ext=c+ac_cpp='$CPP $CPPFLAGS'+ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'+ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'+ac_compiler_gnu=$ac_cv_c_compiler_gnu+{ echo "$as_me:$LINENO: checking how to run the C preprocessor" >&5+echo $ECHO_N "checking how to run the C preprocessor... $ECHO_C" >&6; }+# On Suns, sometimes $CPP names a directory.+if test -n "$CPP" && test -d "$CPP"; then+  CPP=+fi+if test -z "$CPP"; then+  if test "${ac_cv_prog_CPP+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+      # Double quotes because CPP needs to be expanded+    for CPP in "$CC -E" "$CC -E -traditional-cpp" "/lib/cpp"+    do+      ac_preproc_ok=false+for ac_c_preproc_warn_flag in '' yes+do+  # Use a header file that comes with gcc, so configuring glibc+  # with a fresh cross-compiler works.+  # Prefer <limits.h> to <assert.h> if __STDC__ is defined, since+  # <limits.h> exists even on freestanding compilers.+  # On the NeXT, cc -E runs the code through the compiler's parser,+  # not just through cpp. "Syntax error" is here to catch this case.+  cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */+#ifdef __STDC__+# include <limits.h>+#else+# include <assert.h>+#endif+		     Syntax error+_ACEOF+if { (ac_try="$ac_cpp conftest.$ac_ext"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_cpp conftest.$ac_ext") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } >/dev/null && {+	 test -z "$ac_c_preproc_warn_flag$ac_c_werror_flag" ||+	 test ! -s conftest.err+       }; then+  :+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++  # Broken: fails on valid input.+continue+fi++rm -f conftest.err conftest.$ac_ext++  # OK, works on sane cases.  Now check whether nonexistent headers+  # can be detected and how.+  cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */+#include <ac_nonexistent.h>+_ACEOF+if { (ac_try="$ac_cpp conftest.$ac_ext"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_cpp conftest.$ac_ext") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } >/dev/null && {+	 test -z "$ac_c_preproc_warn_flag$ac_c_werror_flag" ||+	 test ! -s conftest.err+       }; then+  # Broken: success on invalid input.+continue+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++  # Passes both tests.+ac_preproc_ok=:+break+fi++rm -f conftest.err conftest.$ac_ext++done+# Because of `break', _AC_PREPROC_IFELSE's cleaning code was skipped.+rm -f conftest.err conftest.$ac_ext+if $ac_preproc_ok; then+  break+fi++    done+    ac_cv_prog_CPP=$CPP++fi+  CPP=$ac_cv_prog_CPP+else+  ac_cv_prog_CPP=$CPP+fi+{ echo "$as_me:$LINENO: result: $CPP" >&5+echo "${ECHO_T}$CPP" >&6; }+ac_preproc_ok=false+for ac_c_preproc_warn_flag in '' yes+do+  # Use a header file that comes with gcc, so configuring glibc+  # with a fresh cross-compiler works.+  # Prefer <limits.h> to <assert.h> if __STDC__ is defined, since+  # <limits.h> exists even on freestanding compilers.+  # On the NeXT, cc -E runs the code through the compiler's parser,+  # not just through cpp. "Syntax error" is here to catch this case.+  cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */+#ifdef __STDC__+# include <limits.h>+#else+# include <assert.h>+#endif+		     Syntax error+_ACEOF+if { (ac_try="$ac_cpp conftest.$ac_ext"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_cpp conftest.$ac_ext") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } >/dev/null && {+	 test -z "$ac_c_preproc_warn_flag$ac_c_werror_flag" ||+	 test ! -s conftest.err+       }; then+  :+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++  # Broken: fails on valid input.+continue+fi++rm -f conftest.err conftest.$ac_ext++  # OK, works on sane cases.  Now check whether nonexistent headers+  # can be detected and how.+  cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */+#include <ac_nonexistent.h>+_ACEOF+if { (ac_try="$ac_cpp conftest.$ac_ext"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_cpp conftest.$ac_ext") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } >/dev/null && {+	 test -z "$ac_c_preproc_warn_flag$ac_c_werror_flag" ||+	 test ! -s conftest.err+       }; then+  # Broken: success on invalid input.+continue+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++  # Passes both tests.+ac_preproc_ok=:+break+fi++rm -f conftest.err conftest.$ac_ext++done+# Because of `break', _AC_PREPROC_IFELSE's cleaning code was skipped.+rm -f conftest.err conftest.$ac_ext+if $ac_preproc_ok; then+  :+else+  { { echo "$as_me:$LINENO: error: C preprocessor \"$CPP\" fails sanity check+See \`config.log' for more details." >&5+echo "$as_me: error: C preprocessor \"$CPP\" fails sanity check+See \`config.log' for more details." >&2;}+   { (exit 1); exit 1; }; }+fi++ac_ext=c+ac_cpp='$CPP $CPPFLAGS'+ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'+ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'+ac_compiler_gnu=$ac_cv_c_compiler_gnu+++{ echo "$as_me:$LINENO: checking for grep that handles long lines and -e" >&5+echo $ECHO_N "checking for grep that handles long lines and -e... $ECHO_C" >&6; }+if test "${ac_cv_path_GREP+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  # Extract the first word of "grep ggrep" to use in msg output+if test -z "$GREP"; then+set dummy grep ggrep; ac_prog_name=$2+if test "${ac_cv_path_GREP+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  ac_path_GREP_found=false+# Loop through the user's path and test for each of PROGNAME-LIST+as_save_IFS=$IFS; IFS=$PATH_SEPARATOR+for as_dir in $PATH$PATH_SEPARATOR/usr/xpg4/bin+do+  IFS=$as_save_IFS+  test -z "$as_dir" && as_dir=.+  for ac_prog in grep ggrep; do+  for ac_exec_ext in '' $ac_executable_extensions; do+    ac_path_GREP="$as_dir/$ac_prog$ac_exec_ext"+    { test -f "$ac_path_GREP" && $as_test_x "$ac_path_GREP"; } || continue+    # Check for GNU ac_path_GREP and select it if it is found.+  # Check for GNU $ac_path_GREP+case `"$ac_path_GREP" --version 2>&1` in+*GNU*)+  ac_cv_path_GREP="$ac_path_GREP" ac_path_GREP_found=:;;+*)+  ac_count=0+  echo $ECHO_N "0123456789$ECHO_C" >"conftest.in"+  while :+  do+    cat "conftest.in" "conftest.in" >"conftest.tmp"+    mv "conftest.tmp" "conftest.in"+    cp "conftest.in" "conftest.nl"+    echo 'GREP' >> "conftest.nl"+    "$ac_path_GREP" -e 'GREP$' -e '-(cannot match)-' < "conftest.nl" >"conftest.out" 2>/dev/null || break+    diff "conftest.out" "conftest.nl" >/dev/null 2>&1 || break+    ac_count=`expr $ac_count + 1`+    if test $ac_count -gt ${ac_path_GREP_max-0}; then+      # Best one so far, save it but keep looking for a better one+      ac_cv_path_GREP="$ac_path_GREP"+      ac_path_GREP_max=$ac_count+    fi+    # 10*(2^10) chars as input seems more than enough+    test $ac_count -gt 10 && break+  done+  rm -f conftest.in conftest.tmp conftest.nl conftest.out;;+esac+++    $ac_path_GREP_found && break 3+  done+done++done+IFS=$as_save_IFS+++fi++GREP="$ac_cv_path_GREP"+if test -z "$GREP"; then+  { { echo "$as_me:$LINENO: error: no acceptable $ac_prog_name could be found in $PATH$PATH_SEPARATOR/usr/xpg4/bin" >&5+echo "$as_me: error: no acceptable $ac_prog_name could be found in $PATH$PATH_SEPARATOR/usr/xpg4/bin" >&2;}+   { (exit 1); exit 1; }; }+fi++else+  ac_cv_path_GREP=$GREP+fi+++fi+{ echo "$as_me:$LINENO: result: $ac_cv_path_GREP" >&5+echo "${ECHO_T}$ac_cv_path_GREP" >&6; }+ GREP="$ac_cv_path_GREP"+++{ echo "$as_me:$LINENO: checking for egrep" >&5+echo $ECHO_N "checking for egrep... $ECHO_C" >&6; }+if test "${ac_cv_path_EGREP+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  if echo a | $GREP -E '(a|b)' >/dev/null 2>&1+   then ac_cv_path_EGREP="$GREP -E"+   else+     # Extract the first word of "egrep" to use in msg output+if test -z "$EGREP"; then+set dummy egrep; ac_prog_name=$2+if test "${ac_cv_path_EGREP+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  ac_path_EGREP_found=false+# Loop through the user's path and test for each of PROGNAME-LIST+as_save_IFS=$IFS; IFS=$PATH_SEPARATOR+for as_dir in $PATH$PATH_SEPARATOR/usr/xpg4/bin+do+  IFS=$as_save_IFS+  test -z "$as_dir" && as_dir=.+  for ac_prog in egrep; do+  for ac_exec_ext in '' $ac_executable_extensions; do+    ac_path_EGREP="$as_dir/$ac_prog$ac_exec_ext"+    { test -f "$ac_path_EGREP" && $as_test_x "$ac_path_EGREP"; } || continue+    # Check for GNU ac_path_EGREP and select it if it is found.+  # Check for GNU $ac_path_EGREP+case `"$ac_path_EGREP" --version 2>&1` in+*GNU*)+  ac_cv_path_EGREP="$ac_path_EGREP" ac_path_EGREP_found=:;;+*)+  ac_count=0+  echo $ECHO_N "0123456789$ECHO_C" >"conftest.in"+  while :+  do+    cat "conftest.in" "conftest.in" >"conftest.tmp"+    mv "conftest.tmp" "conftest.in"+    cp "conftest.in" "conftest.nl"+    echo 'EGREP' >> "conftest.nl"+    "$ac_path_EGREP" 'EGREP$' < "conftest.nl" >"conftest.out" 2>/dev/null || break+    diff "conftest.out" "conftest.nl" >/dev/null 2>&1 || break+    ac_count=`expr $ac_count + 1`+    if test $ac_count -gt ${ac_path_EGREP_max-0}; then+      # Best one so far, save it but keep looking for a better one+      ac_cv_path_EGREP="$ac_path_EGREP"+      ac_path_EGREP_max=$ac_count+    fi+    # 10*(2^10) chars as input seems more than enough+    test $ac_count -gt 10 && break+  done+  rm -f conftest.in conftest.tmp conftest.nl conftest.out;;+esac+++    $ac_path_EGREP_found && break 3+  done+done++done+IFS=$as_save_IFS+++fi++EGREP="$ac_cv_path_EGREP"+if test -z "$EGREP"; then+  { { echo "$as_me:$LINENO: error: no acceptable $ac_prog_name could be found in $PATH$PATH_SEPARATOR/usr/xpg4/bin" >&5+echo "$as_me: error: no acceptable $ac_prog_name could be found in $PATH$PATH_SEPARATOR/usr/xpg4/bin" >&2;}+   { (exit 1); exit 1; }; }+fi++else+  ac_cv_path_EGREP=$EGREP+fi+++   fi+fi+{ echo "$as_me:$LINENO: result: $ac_cv_path_EGREP" >&5+echo "${ECHO_T}$ac_cv_path_EGREP" >&6; }+ EGREP="$ac_cv_path_EGREP"+++{ echo "$as_me:$LINENO: checking for ANSI C header files" >&5+echo $ECHO_N "checking for ANSI C header files... $ECHO_C" >&6; }+if test "${ac_cv_header_stdc+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */+#include <stdlib.h>+#include <stdarg.h>+#include <string.h>+#include <float.h>++int+main ()+{++  ;+  return 0;+}+_ACEOF+rm -f conftest.$ac_objext+if { (ac_try="$ac_compile"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compile") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } && {+	 test -z "$ac_c_werror_flag" ||+	 test ! -s conftest.err+       } && test -s conftest.$ac_objext; then+  ac_cv_header_stdc=yes+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++	ac_cv_header_stdc=no+fi++rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext++if test $ac_cv_header_stdc = yes; then+  # SunOS 4.x string.h does not declare mem*, contrary to ANSI.+  cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */+#include <string.h>++_ACEOF+if (eval "$ac_cpp conftest.$ac_ext") 2>&5 |+  $EGREP "memchr" >/dev/null 2>&1; then+  :+else+  ac_cv_header_stdc=no+fi+rm -f conftest*++fi++if test $ac_cv_header_stdc = yes; then+  # ISC 2.0.2 stdlib.h does not declare free, contrary to ANSI.+  cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */+#include <stdlib.h>++_ACEOF+if (eval "$ac_cpp conftest.$ac_ext") 2>&5 |+  $EGREP "free" >/dev/null 2>&1; then+  :+else+  ac_cv_header_stdc=no+fi+rm -f conftest*++fi++if test $ac_cv_header_stdc = yes; then+  # /bin/cc in Irix-4.0.5 gets non-ANSI ctype macros unless using -ansi.+  if test "$cross_compiling" = yes; then+  :+else+  cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */+#include <ctype.h>+#include <stdlib.h>+#if ((' ' & 0x0FF) == 0x020)+# define ISLOWER(c) ('a' <= (c) && (c) <= 'z')+# define TOUPPER(c) (ISLOWER(c) ? 'A' + ((c) - 'a') : (c))+#else+# define ISLOWER(c) \+		   (('a' <= (c) && (c) <= 'i') \+		     || ('j' <= (c) && (c) <= 'r') \+		     || ('s' <= (c) && (c) <= 'z'))+# define TOUPPER(c) (ISLOWER(c) ? ((c) | 0x40) : (c))+#endif++#define XOR(e, f) (((e) && !(f)) || (!(e) && (f)))+int+main ()+{+  int i;+  for (i = 0; i < 256; i++)+    if (XOR (islower (i), ISLOWER (i))+	|| toupper (i) != TOUPPER (i))+      return 2;+  return 0;+}+_ACEOF+rm -f conftest$ac_exeext+if { (ac_try="$ac_link"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_link") 2>&5+  ac_status=$?+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } && { ac_try='./conftest$ac_exeext'+  { (case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_try") 2>&5+  ac_status=$?+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); }; }; then+  :+else+  echo "$as_me: program exited with status $ac_status" >&5+echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++( exit $ac_status )+ac_cv_header_stdc=no+fi+rm -f core *.core core.conftest.* gmon.out bb.out conftest$ac_exeext conftest.$ac_objext conftest.$ac_ext+fi+++fi+fi+{ echo "$as_me:$LINENO: result: $ac_cv_header_stdc" >&5+echo "${ECHO_T}$ac_cv_header_stdc" >&6; }+if test $ac_cv_header_stdc = yes; then++cat >>confdefs.h <<\_ACEOF+#define STDC_HEADERS 1+_ACEOF++fi++# On IRIX 5.3, sys/types and inttypes.h are conflicting.++++++++++for ac_header in sys/types.h sys/stat.h stdlib.h string.h memory.h strings.h \+		  inttypes.h stdint.h unistd.h+do+as_ac_Header=`echo "ac_cv_header_$ac_header" | $as_tr_sh`+{ echo "$as_me:$LINENO: checking for $ac_header" >&5+echo $ECHO_N "checking for $ac_header... $ECHO_C" >&6; }+if { as_var=$as_ac_Header; eval "test \"\${$as_var+set}\" = set"; }; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */+$ac_includes_default++#include <$ac_header>+_ACEOF+rm -f conftest.$ac_objext+if { (ac_try="$ac_compile"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compile") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } && {+	 test -z "$ac_c_werror_flag" ||+	 test ! -s conftest.err+       } && test -s conftest.$ac_objext; then+  eval "$as_ac_Header=yes"+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++	eval "$as_ac_Header=no"+fi++rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext+fi+ac_res=`eval echo '${'$as_ac_Header'}'`+	       { echo "$as_me:$LINENO: result: $ac_res" >&5+echo "${ECHO_T}$ac_res" >&6; }+if test `eval echo '${'$as_ac_Header'}'` = yes; then+  cat >>confdefs.h <<_ACEOF+#define `echo "HAVE_$ac_header" | $as_tr_cpp` 1+_ACEOF++fi++done++++for ac_header in llvm-c/Core.h+do+as_ac_Header=`echo "ac_cv_header_$ac_header" | $as_tr_sh`+if { as_var=$as_ac_Header; eval "test \"\${$as_var+set}\" = set"; }; then+  { echo "$as_me:$LINENO: checking for $ac_header" >&5+echo $ECHO_N "checking for $ac_header... $ECHO_C" >&6; }+if { as_var=$as_ac_Header; eval "test \"\${$as_var+set}\" = set"; }; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+fi+ac_res=`eval echo '${'$as_ac_Header'}'`+	       { echo "$as_me:$LINENO: result: $ac_res" >&5+echo "${ECHO_T}$ac_res" >&6; }+else+  # Is the header compilable?+{ echo "$as_me:$LINENO: checking $ac_header usability" >&5+echo $ECHO_N "checking $ac_header usability... $ECHO_C" >&6; }+cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */+$ac_includes_default+#include <$ac_header>+_ACEOF+rm -f conftest.$ac_objext+if { (ac_try="$ac_compile"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_compile") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } && {+	 test -z "$ac_c_werror_flag" ||+	 test ! -s conftest.err+       } && test -s conftest.$ac_objext; then+  ac_header_compiler=yes+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++	ac_header_compiler=no+fi++rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext+{ echo "$as_me:$LINENO: result: $ac_header_compiler" >&5+echo "${ECHO_T}$ac_header_compiler" >&6; }++# Is the header present?+{ echo "$as_me:$LINENO: checking $ac_header presence" >&5+echo $ECHO_N "checking $ac_header presence... $ECHO_C" >&6; }+cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */+#include <$ac_header>+_ACEOF+if { (ac_try="$ac_cpp conftest.$ac_ext"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_cpp conftest.$ac_ext") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } >/dev/null && {+	 test -z "$ac_c_preproc_warn_flag$ac_c_werror_flag" ||+	 test ! -s conftest.err+       }; then+  ac_header_preproc=yes+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++  ac_header_preproc=no+fi++rm -f conftest.err conftest.$ac_ext+{ echo "$as_me:$LINENO: result: $ac_header_preproc" >&5+echo "${ECHO_T}$ac_header_preproc" >&6; }++# So?  What about this header?+case $ac_header_compiler:$ac_header_preproc:$ac_c_preproc_warn_flag in+  yes:no: )+    { echo "$as_me:$LINENO: WARNING: $ac_header: accepted by the compiler, rejected by the preprocessor!" >&5+echo "$as_me: WARNING: $ac_header: accepted by the compiler, rejected by the preprocessor!" >&2;}+    { echo "$as_me:$LINENO: WARNING: $ac_header: proceeding with the compiler's result" >&5+echo "$as_me: WARNING: $ac_header: proceeding with the compiler's result" >&2;}+    ac_header_preproc=yes+    ;;+  no:yes:* )+    { echo "$as_me:$LINENO: WARNING: $ac_header: present but cannot be compiled" >&5+echo "$as_me: WARNING: $ac_header: present but cannot be compiled" >&2;}+    { echo "$as_me:$LINENO: WARNING: $ac_header:     check for missing prerequisite headers?" >&5+echo "$as_me: WARNING: $ac_header:     check for missing prerequisite headers?" >&2;}+    { echo "$as_me:$LINENO: WARNING: $ac_header: see the Autoconf documentation" >&5+echo "$as_me: WARNING: $ac_header: see the Autoconf documentation" >&2;}+    { echo "$as_me:$LINENO: WARNING: $ac_header:     section \"Present But Cannot Be Compiled\"" >&5+echo "$as_me: WARNING: $ac_header:     section \"Present But Cannot Be Compiled\"" >&2;}+    { echo "$as_me:$LINENO: WARNING: $ac_header: proceeding with the preprocessor's result" >&5+echo "$as_me: WARNING: $ac_header: proceeding with the preprocessor's result" >&2;}+    { echo "$as_me:$LINENO: WARNING: $ac_header: in the future, the compiler will take precedence" >&5+echo "$as_me: WARNING: $ac_header: in the future, the compiler will take precedence" >&2;}+    ( cat <<\_ASBOX+## --------------------------------- ##+## Report this to bos@serpentine.com ##+## --------------------------------- ##+_ASBOX+     ) | sed "s/^/$as_me: WARNING:     /" >&2+    ;;+esac+{ echo "$as_me:$LINENO: checking for $ac_header" >&5+echo $ECHO_N "checking for $ac_header... $ECHO_C" >&6; }+if { as_var=$as_ac_Header; eval "test \"\${$as_var+set}\" = set"; }; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  eval "$as_ac_Header=\$ac_header_preproc"+fi+ac_res=`eval echo '${'$as_ac_Header'}'`+	       { echo "$as_me:$LINENO: result: $ac_res" >&5+echo "${ECHO_T}$ac_res" >&6; }++fi+if test `eval echo '${'$as_ac_Header'}'` = yes; then+  cat >>confdefs.h <<_ACEOF+#define `echo "HAVE_$ac_header" | $as_tr_cpp` 1+_ACEOF++else+  { { echo "$as_me:$LINENO: error: could not find LLVM C bindings" >&5+echo "$as_me: error: could not find LLVM C bindings" >&2;}+   { (exit 1); exit 1; }; }+fi++done+++LIBS="-lLLVMSupport -lLLVMSystem $LIBS"++# We have to link using the C++ compiler.+CC=$CXX+++{ echo "$as_me:$LINENO: checking for LLVMModuleCreateWithName in -lLLVMCore" >&5+echo $ECHO_N "checking for LLVMModuleCreateWithName in -lLLVMCore... $ECHO_C" >&6; }+if test "${ac_cv_lib_LLVMCore_LLVMModuleCreateWithName+set}" = set; then+  echo $ECHO_N "(cached) $ECHO_C" >&6+else+  ac_check_lib_save_LIBS=$LIBS+LIBS="-lLLVMCore  $LIBS"+cat >conftest.$ac_ext <<_ACEOF+/* confdefs.h.  */+_ACEOF+cat confdefs.h >>conftest.$ac_ext+cat >>conftest.$ac_ext <<_ACEOF+/* end confdefs.h.  */++/* Override any GCC internal prototype to avoid an error.+   Use char because int might match the return type of a GCC+   builtin and then its argument prototype would still apply.  */+#ifdef __cplusplus+extern "C"+#endif+char LLVMModuleCreateWithName ();+int+main ()+{+return LLVMModuleCreateWithName ();+  ;+  return 0;+}+_ACEOF+rm -f conftest.$ac_objext conftest$ac_exeext+if { (ac_try="$ac_link"+case "(($ac_try" in+  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;+  *) ac_try_echo=$ac_try;;+esac+eval "echo \"\$as_me:$LINENO: $ac_try_echo\"") >&5+  (eval "$ac_link") 2>conftest.er1+  ac_status=$?+  grep -v '^ *+' conftest.er1 >conftest.err+  rm -f conftest.er1+  cat conftest.err >&5+  echo "$as_me:$LINENO: \$? = $ac_status" >&5+  (exit $ac_status); } && {+	 test -z "$ac_c_werror_flag" ||+	 test ! -s conftest.err+       } && test -s conftest$ac_exeext &&+       $as_test_x conftest$ac_exeext; then+  ac_cv_lib_LLVMCore_LLVMModuleCreateWithName=yes+else+  echo "$as_me: failed program was:" >&5+sed 's/^/| /' conftest.$ac_ext >&5++	ac_cv_lib_LLVMCore_LLVMModuleCreateWithName=no+fi++rm -f core conftest.err conftest.$ac_objext conftest_ipa8_conftest.oo \+      conftest$ac_exeext conftest.$ac_ext+LIBS=$ac_check_lib_save_LIBS+fi+{ echo "$as_me:$LINENO: result: $ac_cv_lib_LLVMCore_LLVMModuleCreateWithName" >&5+echo "${ECHO_T}$ac_cv_lib_LLVMCore_LLVMModuleCreateWithName" >&6; }+if test $ac_cv_lib_LLVMCore_LLVMModuleCreateWithName = yes; then+  cat >>confdefs.h <<_ACEOF+#define HAVE_LIBLLVMCORE 1+_ACEOF++  LIBS="-lLLVMCore $LIBS"++else+  { { echo "$as_me:$LINENO: error: could not find LLVM C bindings" >&5+echo "$as_me: error: could not find LLVM C bindings" >&2;}+   { (exit 1); exit 1; }; }+fi+++++cat >confcache <<\_ACEOF+# This file is a shell script that caches the results of configure+# tests run on this system so they can be shared between configure+# scripts and configure runs, see configure's option --config-cache.+# It is not useful on other systems.  If it contains results you don't+# want to keep, you may remove or edit it.+#+# config.status only pays attention to the cache file if you give it+# the --recheck option to rerun configure.+#+# `ac_cv_env_foo' variables (set or unset) will be overridden when+# loading this file, other *unset* `ac_cv_foo' will be assigned the+# following values.++_ACEOF++# The following way of writing the cache mishandles newlines in values,+# but we know of no workaround that is simple, portable, and efficient.+# So, we kill variables containing newlines.+# Ultrix sh set writes to stderr and can't be redirected directly,+# and sets the high bit in the cache file unless we assign to the vars.+(+  for ac_var in `(set) 2>&1 | sed -n 's/^\([a-zA-Z_][a-zA-Z0-9_]*\)=.*/\1/p'`; do+    eval ac_val=\$$ac_var+    case $ac_val in #(+    *${as_nl}*)+      case $ac_var in #(+      *_cv_*) { echo "$as_me:$LINENO: WARNING: Cache variable $ac_var contains a newline." >&5+echo "$as_me: WARNING: Cache variable $ac_var contains a newline." >&2;} ;;+      esac+      case $ac_var in #(+      _ | IFS | as_nl) ;; #(+      *) $as_unset $ac_var ;;+      esac ;;+    esac+  done++  (set) 2>&1 |+    case $as_nl`(ac_space=' '; set) 2>&1` in #(+    *${as_nl}ac_space=\ *)+      # `set' does not quote correctly, so add quotes (double-quote+      # substitution turns \\\\ into \\, and sed turns \\ into \).+      sed -n \+	"s/'/'\\\\''/g;+	  s/^\\([_$as_cr_alnum]*_cv_[_$as_cr_alnum]*\\)=\\(.*\\)/\\1='\\2'/p"+      ;; #(+    *)+      # `set' quotes correctly as required by POSIX, so do not add quotes.+      sed -n "/^[_$as_cr_alnum]*_cv_[_$as_cr_alnum]*=/p"+      ;;+    esac |+    sort+) |+  sed '+     /^ac_cv_env_/b end+     t clear+     :clear+     s/^\([^=]*\)=\(.*[{}].*\)$/test "${\1+set}" = set || &/+     t end+     s/^\([^=]*\)=\(.*\)$/\1=${\1=\2}/+     :end' >>confcache+if diff "$cache_file" confcache >/dev/null 2>&1; then :; else+  if test -w "$cache_file"; then+    test "x$cache_file" != "x/dev/null" &&+      { echo "$as_me:$LINENO: updating cache $cache_file" >&5+echo "$as_me: updating cache $cache_file" >&6;}+    cat confcache >$cache_file+  else+    { echo "$as_me:$LINENO: not updating unwritable cache $cache_file" >&5+echo "$as_me: not updating unwritable cache $cache_file" >&6;}+  fi+fi+rm -f confcache++test "x$prefix" = xNONE && prefix=$ac_default_prefix+# Let make expand exec_prefix.+test "x$exec_prefix" = xNONE && exec_prefix='${prefix}'++# Transform confdefs.h into DEFS.+# Protect against shell expansion while executing Makefile rules.+# Protect against Makefile macro expansion.+#+# If the first sed substitution is executed (which looks for macros that+# take arguments), then branch to the quote section.  Otherwise,+# look for a macro that doesn't take arguments.+ac_script='+t clear+:clear+s/^[	 ]*#[	 ]*define[	 ][	 ]*\([^	 (][^	 (]*([^)]*)\)[	 ]*\(.*\)/-D\1=\2/g+t quote+s/^[	 ]*#[	 ]*define[	 ][	 ]*\([^	 ][^	 ]*\)[	 ]*\(.*\)/-D\1=\2/g+t quote+b any+:quote+s/[	 `~#$^&*(){}\\|;'\''"<>?]/\\&/g+s/\[/\\&/g+s/\]/\\&/g+s/\$/$$/g+H+:any+${+	g+	s/^\n//+	s/\n/ /g+	p+}+'+DEFS=`sed -n "$ac_script" confdefs.h`+++ac_libobjs=+ac_ltlibobjs=+for ac_i in : $LIBOBJS; do test "x$ac_i" = x: && continue+  # 1. Remove the extension, and $U if already installed.+  ac_script='s/\$U\././;s/\.o$//;s/\.obj$//'+  ac_i=`echo "$ac_i" | sed "$ac_script"`+  # 2. Prepend LIBOBJDIR.  When used with automake>=1.10 LIBOBJDIR+  #    will be set to the directory where LIBOBJS objects are built.+  ac_libobjs="$ac_libobjs \${LIBOBJDIR}$ac_i\$U.$ac_objext"+  ac_ltlibobjs="$ac_ltlibobjs \${LIBOBJDIR}$ac_i"'$U.lo'+done+LIBOBJS=$ac_libobjs++LTLIBOBJS=$ac_ltlibobjs++++: ${CONFIG_STATUS=./config.status}+ac_clean_files_save=$ac_clean_files+ac_clean_files="$ac_clean_files $CONFIG_STATUS"+{ echo "$as_me:$LINENO: creating $CONFIG_STATUS" >&5+echo "$as_me: creating $CONFIG_STATUS" >&6;}+cat >$CONFIG_STATUS <<_ACEOF+#! $SHELL+# Generated by $as_me.+# Run this file to recreate the current configuration.+# Compiler output produced by configure, useful for debugging+# configure, is in config.log if it exists.++debug=false+ac_cs_recheck=false+ac_cs_silent=false+SHELL=\${CONFIG_SHELL-$SHELL}+_ACEOF++cat >>$CONFIG_STATUS <<\_ACEOF+## --------------------- ##+## M4sh Initialization.  ##+## --------------------- ##++# Be more Bourne compatible+DUALCASE=1; export DUALCASE # for MKS sh+if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then+  emulate sh+  NULLCMD=:+  # Zsh 3.x and 4.x performs word splitting on ${1+"$@"}, which+  # is contrary to our usage.  Disable this feature.+  alias -g '${1+"$@"}'='"$@"'+  setopt NO_GLOB_SUBST+else+  case `(set -o) 2>/dev/null` in+  *posix*) set -o posix ;;+esac++fi+++++# PATH needs CR+# Avoid depending upon Character Ranges.+as_cr_letters='abcdefghijklmnopqrstuvwxyz'+as_cr_LETTERS='ABCDEFGHIJKLMNOPQRSTUVWXYZ'+as_cr_Letters=$as_cr_letters$as_cr_LETTERS+as_cr_digits='0123456789'+as_cr_alnum=$as_cr_Letters$as_cr_digits++# The user is always right.+if test "${PATH_SEPARATOR+set}" != set; then+  echo "#! /bin/sh" >conf$$.sh+  echo  "exit 0"   >>conf$$.sh+  chmod +x conf$$.sh+  if (PATH="/nonexistent;."; conf$$.sh) >/dev/null 2>&1; then+    PATH_SEPARATOR=';'+  else+    PATH_SEPARATOR=:+  fi+  rm -f conf$$.sh+fi++# Support unset when possible.+if ( (MAIL=60; unset MAIL) || exit) >/dev/null 2>&1; then+  as_unset=unset+else+  as_unset=false+fi+++# IFS+# We need space, tab and new line, in precisely that order.  Quoting is+# there to prevent editors from complaining about space-tab.+# (If _AS_PATH_WALK were called with IFS unset, it would disable word+# splitting by setting IFS to empty value.)+as_nl='+'+IFS=" ""	$as_nl"++# Find who we are.  Look in the path if we contain no directory separator.+case $0 in+  *[\\/]* ) as_myself=$0 ;;+  *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR+for as_dir in $PATH+do+  IFS=$as_save_IFS+  test -z "$as_dir" && as_dir=.+  test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break+done+IFS=$as_save_IFS++     ;;+esac+# We did not find ourselves, most probably we were run as `sh COMMAND'+# in which case we are not to be found in the path.+if test "x$as_myself" = x; then+  as_myself=$0+fi+if test ! -f "$as_myself"; then+  echo "$as_myself: error: cannot find myself; rerun with an absolute file name" >&2+  { (exit 1); exit 1; }+fi++# Work around bugs in pre-3.0 UWIN ksh.+for as_var in ENV MAIL MAILPATH+do ($as_unset $as_var) >/dev/null 2>&1 && $as_unset $as_var+done+PS1='$ '+PS2='> '+PS4='+ '++# NLS nuisances.+for as_var in \+  LANG LANGUAGE LC_ADDRESS LC_ALL LC_COLLATE LC_CTYPE LC_IDENTIFICATION \+  LC_MEASUREMENT LC_MESSAGES LC_MONETARY LC_NAME LC_NUMERIC LC_PAPER \+  LC_TELEPHONE LC_TIME+do+  if (set +x; test -z "`(eval $as_var=C; export $as_var) 2>&1`"); then+    eval $as_var=C; export $as_var+  else+    ($as_unset $as_var) >/dev/null 2>&1 && $as_unset $as_var+  fi+done++# Required to use basename.+if expr a : '\(a\)' >/dev/null 2>&1 &&+   test "X`expr 00001 : '.*\(...\)'`" = X001; then+  as_expr=expr+else+  as_expr=false+fi++if (basename -- /) >/dev/null 2>&1 && test "X`basename -- / 2>&1`" = "X/"; then+  as_basename=basename+else+  as_basename=false+fi+++# Name of the executable.+as_me=`$as_basename -- "$0" ||+$as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \+	 X"$0" : 'X\(//\)$' \| \+	 X"$0" : 'X\(/\)' \| . 2>/dev/null ||+echo X/"$0" |+    sed '/^.*\/\([^/][^/]*\)\/*$/{+	    s//\1/+	    q+	  }+	  /^X\/\(\/\/\)$/{+	    s//\1/+	    q+	  }+	  /^X\/\(\/\).*/{+	    s//\1/+	    q+	  }+	  s/.*/./; q'`++# CDPATH.+$as_unset CDPATH++++  as_lineno_1=$LINENO+  as_lineno_2=$LINENO+  test "x$as_lineno_1" != "x$as_lineno_2" &&+  test "x`expr $as_lineno_1 + 1`" = "x$as_lineno_2" || {++  # Create $as_me.lineno as a copy of $as_myself, but with $LINENO+  # uniformly replaced by the line number.  The first 'sed' inserts a+  # line-number line after each line using $LINENO; the second 'sed'+  # does the real work.  The second script uses 'N' to pair each+  # line-number line with the line containing $LINENO, and appends+  # trailing '-' during substitution so that $LINENO is not a special+  # case at line end.+  # (Raja R Harinath suggested sed '=', and Paul Eggert wrote the+  # scripts with optimization help from Paolo Bonzini.  Blame Lee+  # E. McMahon (1931-1989) for sed's syntax.  :-)+  sed -n '+    p+    /[$]LINENO/=+  ' <$as_myself |+    sed '+      s/[$]LINENO.*/&-/+      t lineno+      b+      :lineno+      N+      :loop+      s/[$]LINENO\([^'$as_cr_alnum'_].*\n\)\(.*\)/\2\1\2/+      t loop+      s/-\n.*//+    ' >$as_me.lineno &&+  chmod +x "$as_me.lineno" ||+    { echo "$as_me: error: cannot create $as_me.lineno; rerun with a POSIX shell" >&2+   { (exit 1); exit 1; }; }++  # Don't try to exec as it changes $[0], causing all sort of problems+  # (the dirname of $[0] is not the place where we might find the+  # original and so on.  Autoconf is especially sensitive to this).+  . "./$as_me.lineno"+  # Exit status is that of the last command.+  exit+}+++if (as_dir=`dirname -- /` && test "X$as_dir" = X/) >/dev/null 2>&1; then+  as_dirname=dirname+else+  as_dirname=false+fi++ECHO_C= ECHO_N= ECHO_T=+case `echo -n x` in+-n*)+  case `echo 'x\c'` in+  *c*) ECHO_T='	';;	# ECHO_T is single tab character.+  *)   ECHO_C='\c';;+  esac;;+*)+  ECHO_N='-n';;+esac++if expr a : '\(a\)' >/dev/null 2>&1 &&+   test "X`expr 00001 : '.*\(...\)'`" = X001; then+  as_expr=expr+else+  as_expr=false+fi++rm -f conf$$ conf$$.exe conf$$.file+if test -d conf$$.dir; then+  rm -f conf$$.dir/conf$$.file+else+  rm -f conf$$.dir+  mkdir conf$$.dir+fi+echo >conf$$.file+if ln -s conf$$.file conf$$ 2>/dev/null; then+  as_ln_s='ln -s'+  # ... but there are two gotchas:+  # 1) On MSYS, both `ln -s file dir' and `ln file dir' fail.+  # 2) DJGPP < 2.04 has no symlinks; `ln -s' creates a wrapper executable.+  # In both cases, we have to default to `cp -p'.+  ln -s conf$$.file conf$$.dir 2>/dev/null && test ! -f conf$$.exe ||+    as_ln_s='cp -p'+elif ln conf$$.file conf$$ 2>/dev/null; then+  as_ln_s=ln+else+  as_ln_s='cp -p'+fi+rm -f conf$$ conf$$.exe conf$$.dir/conf$$.file conf$$.file+rmdir conf$$.dir 2>/dev/null++if mkdir -p . 2>/dev/null; then+  as_mkdir_p=:+else+  test -d ./-p && rmdir ./-p+  as_mkdir_p=false+fi++if test -x / >/dev/null 2>&1; then+  as_test_x='test -x'+else+  if ls -dL / >/dev/null 2>&1; then+    as_ls_L_option=L+  else+    as_ls_L_option=+  fi+  as_test_x='+    eval sh -c '\''+      if test -d "$1"; then+        test -d "$1/.";+      else+	case $1 in+        -*)set "./$1";;+	esac;+	case `ls -ld'$as_ls_L_option' "$1" 2>/dev/null` in+	???[sx]*):;;*)false;;esac;fi+    '\'' sh+  '+fi+as_executable_p=$as_test_x++# Sed expression to map a string onto a valid CPP name.+as_tr_cpp="eval sed 'y%*$as_cr_letters%P$as_cr_LETTERS%;s%[^_$as_cr_alnum]%_%g'"++# Sed expression to map a string onto a valid variable name.+as_tr_sh="eval sed 'y%*+%pp%;s%[^_$as_cr_alnum]%_%g'"+++exec 6>&1++# Save the log message, to keep $[0] and so on meaningful, and to+# report actual input values of CONFIG_FILES etc. instead of their+# values after options handling.+ac_log="+This file was extended by Haskell LLVM bindings $as_me 0.0.2, which was+generated by GNU Autoconf 2.61.  Invocation command line was++  CONFIG_FILES    = $CONFIG_FILES+  CONFIG_HEADERS  = $CONFIG_HEADERS+  CONFIG_LINKS    = $CONFIG_LINKS+  CONFIG_COMMANDS = $CONFIG_COMMANDS+  $ $0 $@++on `(hostname || uname -n) 2>/dev/null | sed 1q`+"++_ACEOF++cat >>$CONFIG_STATUS <<_ACEOF+# Files that config.status was made for.+config_files="$ac_config_files"++_ACEOF++cat >>$CONFIG_STATUS <<\_ACEOF+ac_cs_usage="\+\`$as_me' instantiates files from templates according to the+current configuration.++Usage: $0 [OPTIONS] [FILE]...++  -h, --help       print this help, then exit+  -V, --version    print version number and configuration settings, then exit+  -q, --quiet      do not print progress messages+  -d, --debug      don't remove temporary files+      --recheck    update $as_me by reconfiguring in the same conditions+  --file=FILE[:TEMPLATE]+		   instantiate the configuration file FILE++Configuration files:+$config_files++Report bugs to <bug-autoconf@gnu.org>."++_ACEOF+cat >>$CONFIG_STATUS <<_ACEOF+ac_cs_version="\\+Haskell LLVM bindings config.status 0.0.2+configured by $0, generated by GNU Autoconf 2.61,+  with options \\"`echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`\\"++Copyright (C) 2006 Free Software Foundation, Inc.+This config.status script is free software; the Free Software Foundation+gives unlimited permission to copy, distribute and modify it."++ac_pwd='$ac_pwd'+srcdir='$srcdir'+_ACEOF++cat >>$CONFIG_STATUS <<\_ACEOF+# If no file are specified by the user, then we need to provide default+# value.  By we need to know if files were specified by the user.+ac_need_defaults=:+while test $# != 0+do+  case $1 in+  --*=*)+    ac_option=`expr "X$1" : 'X\([^=]*\)='`+    ac_optarg=`expr "X$1" : 'X[^=]*=\(.*\)'`+    ac_shift=:+    ;;+  *)+    ac_option=$1+    ac_optarg=$2+    ac_shift=shift+    ;;+  esac++  case $ac_option in+  # Handling of the options.+  -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)+    ac_cs_recheck=: ;;+  --version | --versio | --versi | --vers | --ver | --ve | --v | -V )+    echo "$ac_cs_version"; exit ;;+  --debug | --debu | --deb | --de | --d | -d )+    debug=: ;;+  --file | --fil | --fi | --f )+    $ac_shift+    CONFIG_FILES="$CONFIG_FILES $ac_optarg"+    ac_need_defaults=false;;+  --he | --h |  --help | --hel | -h )+    echo "$ac_cs_usage"; exit ;;+  -q | -quiet | --quiet | --quie | --qui | --qu | --q \+  | -silent | --silent | --silen | --sile | --sil | --si | --s)+    ac_cs_silent=: ;;++  # This is an error.+  -*) { echo "$as_me: error: unrecognized option: $1+Try \`$0 --help' for more information." >&2+   { (exit 1); exit 1; }; } ;;++  *) ac_config_targets="$ac_config_targets $1"+     ac_need_defaults=false ;;++  esac+  shift+done++ac_configure_extra_args=++if $ac_cs_silent; then+  exec 6>/dev/null+  ac_configure_extra_args="$ac_configure_extra_args --silent"+fi++_ACEOF+cat >>$CONFIG_STATUS <<_ACEOF+if \$ac_cs_recheck; then+  echo "running CONFIG_SHELL=$SHELL $SHELL $0 "$ac_configure_args \$ac_configure_extra_args " --no-create --no-recursion" >&6+  CONFIG_SHELL=$SHELL+  export CONFIG_SHELL+  exec $SHELL "$0"$ac_configure_args \$ac_configure_extra_args --no-create --no-recursion+fi++_ACEOF+cat >>$CONFIG_STATUS <<\_ACEOF+exec 5>>config.log+{+  echo+  sed 'h;s/./-/g;s/^.../## /;s/...$/ ##/;p;x;p;x' <<_ASBOX+## Running $as_me. ##+_ASBOX+  echo "$ac_log"+} >&5++_ACEOF+cat >>$CONFIG_STATUS <<_ACEOF+_ACEOF++cat >>$CONFIG_STATUS <<\_ACEOF++# Handling of arguments.+for ac_config_target in $ac_config_targets+do+  case $ac_config_target in+    "llvm.buildinfo") CONFIG_FILES="$CONFIG_FILES llvm.buildinfo" ;;++  *) { { echo "$as_me:$LINENO: error: invalid argument: $ac_config_target" >&5+echo "$as_me: error: invalid argument: $ac_config_target" >&2;}+   { (exit 1); exit 1; }; };;+  esac+done+++# If the user did not use the arguments to specify the items to instantiate,+# then the envvar interface is used.  Set only those that are not.+# We use the long form for the default assignment because of an extremely+# bizarre bug on SunOS 4.1.3.+if $ac_need_defaults; then+  test "${CONFIG_FILES+set}" = set || CONFIG_FILES=$config_files+fi++# Have a temporary directory for convenience.  Make it in the build tree+# simply because there is no reason against having it here, and in addition,+# creating and moving files from /tmp can sometimes cause problems.+# Hook for its removal unless debugging.+# Note that there is a small window in which the directory will not be cleaned:+# after its creation but before its name has been assigned to `$tmp'.+$debug ||+{+  tmp=+  trap 'exit_status=$?+  { test -z "$tmp" || test ! -d "$tmp" || rm -fr "$tmp"; } && exit $exit_status+' 0+  trap '{ (exit 1); exit 1; }' 1 2 13 15+}+# Create a (secure) tmp directory for tmp files.++{+  tmp=`(umask 077 && mktemp -d "./confXXXXXX") 2>/dev/null` &&+  test -n "$tmp" && test -d "$tmp"+}  ||+{+  tmp=./conf$$-$RANDOM+  (umask 077 && mkdir "$tmp")+} ||+{+   echo "$me: cannot create a temporary directory in ." >&2+   { (exit 1); exit 1; }+}++#+# Set up the sed scripts for CONFIG_FILES section.+#++# No need to generate the scripts if there are no CONFIG_FILES.+# This happens for instance when ./config.status config.h+if test -n "$CONFIG_FILES"; then++_ACEOF++++ac_delim='%!_!# '+for ac_last_try in false false false false false :; do+  cat >conf$$subs.sed <<_ACEOF+SHELL!$SHELL$ac_delim+PATH_SEPARATOR!$PATH_SEPARATOR$ac_delim+PACKAGE_NAME!$PACKAGE_NAME$ac_delim+PACKAGE_TARNAME!$PACKAGE_TARNAME$ac_delim+PACKAGE_VERSION!$PACKAGE_VERSION$ac_delim+PACKAGE_STRING!$PACKAGE_STRING$ac_delim+PACKAGE_BUGREPORT!$PACKAGE_BUGREPORT$ac_delim+exec_prefix!$exec_prefix$ac_delim+prefix!$prefix$ac_delim+program_transform_name!$program_transform_name$ac_delim+bindir!$bindir$ac_delim+sbindir!$sbindir$ac_delim+libexecdir!$libexecdir$ac_delim+datarootdir!$datarootdir$ac_delim+datadir!$datadir$ac_delim+sysconfdir!$sysconfdir$ac_delim+sharedstatedir!$sharedstatedir$ac_delim+localstatedir!$localstatedir$ac_delim+includedir!$includedir$ac_delim+oldincludedir!$oldincludedir$ac_delim+docdir!$docdir$ac_delim+infodir!$infodir$ac_delim+htmldir!$htmldir$ac_delim+dvidir!$dvidir$ac_delim+pdfdir!$pdfdir$ac_delim+psdir!$psdir$ac_delim+libdir!$libdir$ac_delim+localedir!$localedir$ac_delim+mandir!$mandir$ac_delim+DEFS!$DEFS$ac_delim+ECHO_C!$ECHO_C$ac_delim+ECHO_N!$ECHO_N$ac_delim+ECHO_T!$ECHO_T$ac_delim+LIBS!$LIBS$ac_delim+build_alias!$build_alias$ac_delim+host_alias!$host_alias$ac_delim+target_alias!$target_alias$ac_delim+CXX!$CXX$ac_delim+CXXFLAGS!$CXXFLAGS$ac_delim+LDFLAGS!$LDFLAGS$ac_delim+CPPFLAGS!$CPPFLAGS$ac_delim+ac_ct_CXX!$ac_ct_CXX$ac_delim+EXEEXT!$EXEEXT$ac_delim+OBJEXT!$OBJEXT$ac_delim+llvm_config!$llvm_config$ac_delim+CC!$CC$ac_delim+CFLAGS!$CFLAGS$ac_delim+ac_ct_CC!$ac_ct_CC$ac_delim+CPP!$CPP$ac_delim+GREP!$GREP$ac_delim+EGREP!$EGREP$ac_delim+llvm_cppflags!$llvm_cppflags$ac_delim+llvm_engine_libs!$llvm_engine_libs$ac_delim+llvm_includedir!$llvm_includedir$ac_delim+llvm_ldflags!$llvm_ldflags$ac_delim+LIBOBJS!$LIBOBJS$ac_delim+LTLIBOBJS!$LTLIBOBJS$ac_delim+_ACEOF++  if test `sed -n "s/.*$ac_delim\$/X/p" conf$$subs.sed | grep -c X` = 57; then+    break+  elif $ac_last_try; then+    { { echo "$as_me:$LINENO: error: could not make $CONFIG_STATUS" >&5+echo "$as_me: error: could not make $CONFIG_STATUS" >&2;}+   { (exit 1); exit 1; }; }+  else+    ac_delim="$ac_delim!$ac_delim _$ac_delim!! "+  fi+done++ac_eof=`sed -n '/^CEOF[0-9]*$/s/CEOF/0/p' conf$$subs.sed`+if test -n "$ac_eof"; then+  ac_eof=`echo "$ac_eof" | sort -nru | sed 1q`+  ac_eof=`expr $ac_eof + 1`+fi++cat >>$CONFIG_STATUS <<_ACEOF+cat >"\$tmp/subs-1.sed" <<\CEOF$ac_eof+/@[a-zA-Z_][a-zA-Z_0-9]*@/!b end+_ACEOF+sed '+s/[,\\&]/\\&/g; s/@/@|#_!!_#|/g+s/^/s,@/; s/!/@,|#_!!_#|/+:n+t n+s/'"$ac_delim"'$/,g/; t+s/$/\\/; p+N; s/^.*\n//; s/[,\\&]/\\&/g; s/@/@|#_!!_#|/g; b n+' >>$CONFIG_STATUS <conf$$subs.sed+rm -f conf$$subs.sed+cat >>$CONFIG_STATUS <<_ACEOF+:end+s/|#_!!_#|//g+CEOF$ac_eof+_ACEOF+++# VPATH may cause trouble with some makes, so we remove $(srcdir),+# ${srcdir} and @srcdir@ from VPATH if srcdir is ".", strip leading and+# trailing colons and then remove the whole line if VPATH becomes empty+# (actually we leave an empty line to preserve line numbers).+if test "x$srcdir" = x.; then+  ac_vpsub='/^[	 ]*VPATH[	 ]*=/{+s/:*\$(srcdir):*/:/+s/:*\${srcdir}:*/:/+s/:*@srcdir@:*/:/+s/^\([^=]*=[	 ]*\):*/\1/+s/:*$//+s/^[^=]*=[	 ]*$//+}'+fi++cat >>$CONFIG_STATUS <<\_ACEOF+fi # test -n "$CONFIG_FILES"+++for ac_tag in  :F $CONFIG_FILES+do+  case $ac_tag in+  :[FHLC]) ac_mode=$ac_tag; continue;;+  esac+  case $ac_mode$ac_tag in+  :[FHL]*:*);;+  :L* | :C*:*) { { echo "$as_me:$LINENO: error: Invalid tag $ac_tag." >&5+echo "$as_me: error: Invalid tag $ac_tag." >&2;}+   { (exit 1); exit 1; }; };;+  :[FH]-) ac_tag=-:-;;+  :[FH]*) ac_tag=$ac_tag:$ac_tag.in;;+  esac+  ac_save_IFS=$IFS+  IFS=:+  set x $ac_tag+  IFS=$ac_save_IFS+  shift+  ac_file=$1+  shift++  case $ac_mode in+  :L) ac_source=$1;;+  :[FH])+    ac_file_inputs=+    for ac_f+    do+      case $ac_f in+      -) ac_f="$tmp/stdin";;+      *) # Look for the file first in the build tree, then in the source tree+	 # (if the path is not absolute).  The absolute path cannot be DOS-style,+	 # because $ac_f cannot contain `:'.+	 test -f "$ac_f" ||+	   case $ac_f in+	   [\\/$]*) false;;+	   *) test -f "$srcdir/$ac_f" && ac_f="$srcdir/$ac_f";;+	   esac ||+	   { { echo "$as_me:$LINENO: error: cannot find input file: $ac_f" >&5+echo "$as_me: error: cannot find input file: $ac_f" >&2;}+   { (exit 1); exit 1; }; };;+      esac+      ac_file_inputs="$ac_file_inputs $ac_f"+    done++    # Let's still pretend it is `configure' which instantiates (i.e., don't+    # use $as_me), people would be surprised to read:+    #    /* config.h.  Generated by config.status.  */+    configure_input="Generated from "`IFS=:+	  echo $* | sed 's|^[^:]*/||;s|:[^:]*/|, |g'`" by configure."+    if test x"$ac_file" != x-; then+      configure_input="$ac_file.  $configure_input"+      { echo "$as_me:$LINENO: creating $ac_file" >&5+echo "$as_me: creating $ac_file" >&6;}+    fi++    case $ac_tag in+    *:-:* | *:-) cat >"$tmp/stdin";;+    esac+    ;;+  esac++  ac_dir=`$as_dirname -- "$ac_file" ||+$as_expr X"$ac_file" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \+	 X"$ac_file" : 'X\(//\)[^/]' \| \+	 X"$ac_file" : 'X\(//\)$' \| \+	 X"$ac_file" : 'X\(/\)' \| . 2>/dev/null ||+echo X"$ac_file" |+    sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{+	    s//\1/+	    q+	  }+	  /^X\(\/\/\)[^/].*/{+	    s//\1/+	    q+	  }+	  /^X\(\/\/\)$/{+	    s//\1/+	    q+	  }+	  /^X\(\/\).*/{+	    s//\1/+	    q+	  }+	  s/.*/./; q'`+  { as_dir="$ac_dir"+  case $as_dir in #(+  -*) as_dir=./$as_dir;;+  esac+  test -d "$as_dir" || { $as_mkdir_p && mkdir -p "$as_dir"; } || {+    as_dirs=+    while :; do+      case $as_dir in #(+      *\'*) as_qdir=`echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #(+      *) as_qdir=$as_dir;;+      esac+      as_dirs="'$as_qdir' $as_dirs"+      as_dir=`$as_dirname -- "$as_dir" ||+$as_expr X"$as_dir" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \+	 X"$as_dir" : 'X\(//\)[^/]' \| \+	 X"$as_dir" : 'X\(//\)$' \| \+	 X"$as_dir" : 'X\(/\)' \| . 2>/dev/null ||+echo X"$as_dir" |+    sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{+	    s//\1/+	    q+	  }+	  /^X\(\/\/\)[^/].*/{+	    s//\1/+	    q+	  }+	  /^X\(\/\/\)$/{+	    s//\1/+	    q+	  }+	  /^X\(\/\).*/{+	    s//\1/+	    q+	  }+	  s/.*/./; q'`+      test -d "$as_dir" && break+    done+    test -z "$as_dirs" || eval "mkdir $as_dirs"+  } || test -d "$as_dir" || { { echo "$as_me:$LINENO: error: cannot create directory $as_dir" >&5+echo "$as_me: error: cannot create directory $as_dir" >&2;}+   { (exit 1); exit 1; }; }; }+  ac_builddir=.++case "$ac_dir" in+.) ac_dir_suffix= ac_top_builddir_sub=. ac_top_build_prefix= ;;+*)+  ac_dir_suffix=/`echo "$ac_dir" | sed 's,^\.[\\/],,'`+  # A ".." for each directory in $ac_dir_suffix.+  ac_top_builddir_sub=`echo "$ac_dir_suffix" | sed 's,/[^\\/]*,/..,g;s,/,,'`+  case $ac_top_builddir_sub in+  "") ac_top_builddir_sub=. ac_top_build_prefix= ;;+  *)  ac_top_build_prefix=$ac_top_builddir_sub/ ;;+  esac ;;+esac+ac_abs_top_builddir=$ac_pwd+ac_abs_builddir=$ac_pwd$ac_dir_suffix+# for backward compatibility:+ac_top_builddir=$ac_top_build_prefix++case $srcdir in+  .)  # We are building in place.+    ac_srcdir=.+    ac_top_srcdir=$ac_top_builddir_sub+    ac_abs_top_srcdir=$ac_pwd ;;+  [\\/]* | ?:[\\/]* )  # Absolute name.+    ac_srcdir=$srcdir$ac_dir_suffix;+    ac_top_srcdir=$srcdir+    ac_abs_top_srcdir=$srcdir ;;+  *) # Relative name.+    ac_srcdir=$ac_top_build_prefix$srcdir$ac_dir_suffix+    ac_top_srcdir=$ac_top_build_prefix$srcdir+    ac_abs_top_srcdir=$ac_pwd/$srcdir ;;+esac+ac_abs_srcdir=$ac_abs_top_srcdir$ac_dir_suffix+++  case $ac_mode in+  :F)+  #+  # CONFIG_FILE+  #++_ACEOF++cat >>$CONFIG_STATUS <<\_ACEOF+# If the template does not know about datarootdir, expand it.+# FIXME: This hack should be removed a few years after 2.60.+ac_datarootdir_hack=; ac_datarootdir_seen=++case `sed -n '/datarootdir/ {+  p+  q+}+/@datadir@/p+/@docdir@/p+/@infodir@/p+/@localedir@/p+/@mandir@/p+' $ac_file_inputs` in+*datarootdir*) ac_datarootdir_seen=yes;;+*@datadir@*|*@docdir@*|*@infodir@*|*@localedir@*|*@mandir@*)+  { echo "$as_me:$LINENO: WARNING: $ac_file_inputs seems to ignore the --datarootdir setting" >&5+echo "$as_me: WARNING: $ac_file_inputs seems to ignore the --datarootdir setting" >&2;}+_ACEOF+cat >>$CONFIG_STATUS <<_ACEOF+  ac_datarootdir_hack='+  s&@datadir@&$datadir&g+  s&@docdir@&$docdir&g+  s&@infodir@&$infodir&g+  s&@localedir@&$localedir&g+  s&@mandir@&$mandir&g+    s&\\\${datarootdir}&$datarootdir&g' ;;+esac+_ACEOF++# Neutralize VPATH when `$srcdir' = `.'.+# Shell code in configure.ac might set extrasub.+# FIXME: do we really want to maintain this feature?+cat >>$CONFIG_STATUS <<_ACEOF+  sed "$ac_vpsub+$extrasub+_ACEOF+cat >>$CONFIG_STATUS <<\_ACEOF+:t+/@[a-zA-Z_][a-zA-Z_0-9]*@/!b+s&@configure_input@&$configure_input&;t t+s&@top_builddir@&$ac_top_builddir_sub&;t t+s&@srcdir@&$ac_srcdir&;t t+s&@abs_srcdir@&$ac_abs_srcdir&;t t+s&@top_srcdir@&$ac_top_srcdir&;t t+s&@abs_top_srcdir@&$ac_abs_top_srcdir&;t t+s&@builddir@&$ac_builddir&;t t+s&@abs_builddir@&$ac_abs_builddir&;t t+s&@abs_top_builddir@&$ac_abs_top_builddir&;t t+$ac_datarootdir_hack+" $ac_file_inputs | sed -f "$tmp/subs-1.sed" >$tmp/out++test -z "$ac_datarootdir_hack$ac_datarootdir_seen" &&+  { ac_out=`sed -n '/\${datarootdir}/p' "$tmp/out"`; test -n "$ac_out"; } &&+  { ac_out=`sed -n '/^[	 ]*datarootdir[	 ]*:*=/p' "$tmp/out"`; test -z "$ac_out"; } &&+  { echo "$as_me:$LINENO: WARNING: $ac_file contains a reference to the variable \`datarootdir'+which seems to be undefined.  Please make sure it is defined." >&5+echo "$as_me: WARNING: $ac_file contains a reference to the variable \`datarootdir'+which seems to be undefined.  Please make sure it is defined." >&2;}++  rm -f "$tmp/stdin"+  case $ac_file in+  -) cat "$tmp/out"; rm -f "$tmp/out";;+  *) rm -f "$ac_file"; mv "$tmp/out" $ac_file;;+  esac+ ;;++++  esac++done # for ac_tag+++{ (exit 0); exit 0; }+_ACEOF+chmod +x $CONFIG_STATUS+ac_clean_files=$ac_clean_files_save+++# configure is writing to config.log, and then calls config.status.+# config.status does its own redirection, appending to config.log.+# Unfortunately, on DOS this fails, as config.log is still kept open+# by configure, so config.status won't be able to write to it; its+# output is simply discarded.  So we exec the FD to /dev/null,+# effectively closing config.log, so it can be properly (re)opened and+# appended to by config.status.  When coming back to configure, we+# need to make the FD available again.+if test "$no_create" != yes; then+  ac_cs_success=:+  ac_config_status_args=+  test "$silent" = yes &&+    ac_config_status_args="$ac_config_status_args --quiet"+  exec 5>/dev/null+  $SHELL $CONFIG_STATUS $ac_config_status_args || ac_cs_success=false+  exec 5>>config.log+  # Use ||, not &&, to avoid exiting from the if with $? = 1, which+  # would make configure fail if this is the last instruction.+  $ac_cs_success || { (exit 1); exit 1; }+fi+
+ configure.ac view
@@ -0,0 +1,47 @@+AC_INIT([Haskell LLVM bindings], [0.0.2], [bos@serpentine.com], [llvm])++AC_CONFIG_SRCDIR([LLVM/ExecutionEngine.hs])++AC_CONFIG_FILES([llvm.buildinfo])++AC_PROG_CXX++AC_ARG_WITH(llvm_prefix,+  [AS_HELP_STRING([--with-llvm-prefix],+    [use the version of LLVM at the given location])],+  llvm_prefix="$withval",+  llvm_prefix=/usr/local)dnl++AC_ARG_WITH(llvm_bindir,+  [AS_HELP_STRING([--with-llvm-bindir],+    [use LLVM binaries at the given location])],+  llvm_bindir="$withval",+  llvm_bindir="$llvm_prefix/bin")dnl++AC_PATH_PROG(llvm_config, llvm-config,+  [AC_MSG_ERROR(could not find llvm-config in $llvm_bindir)],+  [$llvm_bindir])++llvm_cppflags="`$llvm_config --cppflags`"+llvm_includedir="`$llvm_config --includedir`"+llvm_ldflags="`$llvm_config --ldflags`"++llvm_engine_libs="`$llvm_config --libs engine`"++CPPFLAGS="$llvm_cppflags $CPPFLAGS"+LDFLAGS="$llvm_ldflags $LDFLAGS"++AC_CHECK_HEADERS([llvm-c/Core.h], [],+  [AC_MSG_ERROR(could not find LLVM C bindings)])++LIBS="-lLLVMSupport -lLLVMSystem $LIBS"++# We have to link using the C++ compiler.+CC=$CXX++AC_CHECK_LIB(LLVMCore, LLVMModuleCreateWithName, [],+  [AC_MSG_ERROR(could not find LLVM C bindings)])++AC_SUBST([llvm_cppflags llvm_engine_libs llvm_includedir llvm_ldflags])++AC_OUTPUT
+ examples/Fibonacci.hs view
@@ -0,0 +1,61 @@+{-# LANGUAGE TypeOperators #-}++module Fibonacci (main) where++import Control.Monad (forM_)+import Data.Int (Int32)+import System.Environment (getArgs)++import qualified LLVM.Core as Core+import qualified LLVM.Core.Builder as B+import qualified LLVM.Core.Constant as C+import qualified LLVM.Core.Instruction as I+import qualified LLVM.Core.Type as T+import qualified LLVM.Core.Value as V+import qualified LLVM.Core.Utils as U+import qualified LLVM.ExecutionEngine as EE++buildFib :: T.Module -> IO (V.Function T.Int32 T.Int32)+buildFib m = do+  let one = C.const (1::Int32)+      two = C.const (2::Int32)+  (fib, entry) <- U.defineFunction m "fib" (T.function undefined undefined)+  bld <- B.createBuilder+  exit <- Core.appendBasicBlock fib "return"+  recurse <- Core.appendBasicBlock fib "recurse"+  let arg = V.params fib++  B.positionAtEnd bld entry+  test <- B.icmp bld "" I.IntSLE arg two+  B.condBr bld test exit recurse++  B.positionAtEnd bld exit+  B.ret bld one++  B.positionAtEnd bld recurse+  x1 <- B.sub bld "" arg one+  fibx1 <- B.call bld "" fib x1++  x2 <- B.sub bld "" arg two+  fibx2 <- B.call bld "" fib x2++  B.add bld "" fibx1 fibx2 >>= B.ret bld+  return fib++main :: IO ()+main = do+  args <- getArgs+  let args' = if null args then ["10"] else args++  m <- Core.createModule "fib"+  fib <- buildFib m+  V.dumpValue fib++  prov <- Core.createModuleProviderForExistingModule m+  ee <- EE.createExecutionEngine prov+  +  forM_ args' $ \num -> do+    putStr $ "fib " ++ num ++ " = "+    parm <- EE.createGeneric (read num :: Int)+    gv <- EE.runFunction ee fib [parm]+    print (EE.fromGeneric gv :: Int)
+ examples/HelloJIT.hs view
@@ -0,0 +1,44 @@+{-# LANGUAGE TypeOperators #-}+module HelloJIT (main) where++import Data.Int (Int32)+import Prelude hiding (mod)++import qualified LLVM.Core as Core+import qualified LLVM.Core.Builder as B+import qualified LLVM.Core.Constant as C+import qualified LLVM.Core.Type as T+import qualified LLVM.Core.Value as V+import qualified LLVM.Core.Utils as U+import qualified LLVM.ExecutionEngine as EE+++buildModule :: IO (T.Module, V.Function T.Int32 ())+buildModule = do+  mod <- Core.createModule "hello"+  greetz <- U.defineGlobal mod "greeting" (C.const "hello jit!")+  let t = T.function (undefined :: T.Int32) (undefined :: T.Pointer T.Int8)+  putStrLn $ "type of puts: " ++ show t+  puts <- U.declareFunction mod "puts" t+  (func, entry) <- U.defineFunction mod "main"+                   (T.function (undefined :: T.Int32) ())+  bld <- B.createBuilder+  B.positionAtEnd bld entry+  let zero = C.const (0::Int32)+  tmp <- B.getElementPtr bld "tmp" greetz [zero, zero]+  B.call_ bld "" puts tmp+  B.ret bld zero+  return (mod, func)++execute :: T.Module -> V.Function T.Int32 () -> IO ()+execute mod func = do+  prov <- Core.createModuleProviderForExistingModule mod+  ee <- EE.createExecutionEngine prov+  EE.runStaticConstructors ee+  gv <- EE.runFunction ee func []+  print (EE.fromGeneric gv :: Int32)+  EE.runStaticDestructors ee+  return ()++main :: IO ()+main = buildModule >>= uncurry execute
+ examples/HowToUseJIT.hs view
@@ -0,0 +1,43 @@+{-# LANGUAGE TypeOperators #-}++module HowToUseJIT (main) where++import LLVM.Core.Type ((:->)(..))+import qualified LLVM.Core as Core+import qualified LLVM.Core.Builder as B+import qualified LLVM.Core.Constant as C+import qualified LLVM.Core.Type as T+import qualified LLVM.Core.Value as V+import qualified LLVM.Core.Utils as U+import qualified LLVM.ExecutionEngine as EE+import Data.Int (Int32)++main :: IO ()+main = do+  m <- Core.createModule "test"+  let t = T.function (undefined :: T.Int32) (undefined :: T.Int32 :-> T.Int32)++  (add1, addEntry) <- U.defineFunction m "add1" t+  let a :-> b = V.params add1+  V.setName a "a"++  bld <- B.createBuilder+  B.positionAtEnd bld addEntry+  v1 <- B.add bld "" (C.const (1::Int32)) a+  v2 <- B.add bld "" v1 b+  B.ret bld v2+  V.dumpValue add1++  (foo, fooEntry) <- U.defineFunction m "foo" (T.function (undefined :: T.Int32) ())+  B.positionAtEnd bld fooEntry+  c <- B.call bld "wibble" add1 (C.const (1::Int32) :-> C.const (10::Int32))+  B.ret bld c+  V.dumpValue foo++  prov <- Core.createModuleProviderForExistingModule m+  ee <- EE.createExecutionEngine prov+  EE.runStaticConstructors ee+  gv <- EE.runFunction ee foo []+  EE.runStaticDestructors ee+  print (EE.fromGeneric gv :: Int32)+  return ()
+ examples/Makefile view
@@ -0,0 +1,11 @@+ghc := ghc+ghcflags := -Wall -Werror+examples := Fibonacci HelloJIT HowToUseJIT++all: $(examples)++%: %.hs+	$(ghc) $(ghcflags) --make -o $@ -main-is $(basename $<).main $<++clean:+	-rm -f *.o *.hi $(examples)
+ llvm.buildinfo.in view
@@ -0,0 +1,4 @@+ghc-options: @llvm_cppflags@ -pgml @CXX@+ld-options: @llvm_ldflags@ @llvm_engine_libs@ -lstdc+++include-dirs: @llvm_includedir@+extra-libraries: LLVMCore LLVMTarget LLVMSupport LLVMSystem
+ llvm.cabal view
@@ -0,0 +1,64 @@+name: llvm+version: 0.0.2+license: BSD3+license-file: LICENSE+synopsis: Bindings to the LLVM compiler toolkit+description: Bindings to the LLVM compiler toolkit+author: Bryan O'Sullivan+maintainer: Bryan O'Sullivan <bos@serpentine.com>+category: Compilers/Interpreters+cabal-version: >= 1.2.1++extra-source-files:+    INSTALL.txt+    Makefile+    PROBLEMS.txt+    README.txt+    configure+    configure.ac+    examples/Fibonacci.hs+    examples/HelloJIT.hs+    examples/HowToUseJIT.hs+    examples/Makefile+    llvm.buildinfo.in++extra-tmp-files:+    autom4te.cache+    config.log+    config.status+    llvm.buildinfo++flag bytestring-in-base+  description: bytestring was part of the base library in ghc-6.6+               days. The bytestring low level interface is in+               Data.ByteString.Internal and Data.Bytestring.Unsafe not+               Data.ByteString.Base++library+  if flag(bytestring-in-base)+    -- bytestring was in base-2.0 and 2.1.1+    build-depends: base >= 2.0 && < 2.2+    cpp-options:   -DBYTESTRING_IN_BASE+  else+    build-depends: base < 2.0 || >= 2.2, bytestring >= 0.9 ++  extensions:+      EmptyDataDecls+      FlexibleInstances+      ForeignFunctionInterface+      GeneralizedNewtypeDeriving+      TypeOperators+      TypeSynonymInstances+  ghc-options: -Wall -Werror++  exposed-modules:+      LLVM.Core+      LLVM.Core.FFI+      LLVM.Core.Builder+      LLVM.Core.Constant+      LLVM.Core.Instruction+      LLVM.Core.Type+      LLVM.Core.Utils+      LLVM.Core.Value+      LLVM.ExecutionEngine+      LLVM.ExecutionEngine.FFI