{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
module Data.Array.Accelerate.LLVM.Native.Target (
module Data.Array.Accelerate.LLVM.Target,
module Data.Array.Accelerate.LLVM.Native.Target
) where
import LLVM.Target hiding ( Target )
import LLVM.AST.DataLayout ( DataLayout )
import Data.Array.Accelerate.Error ( internalError )
import Data.Array.Accelerate.LLVM.Target ( Target(..) )
import Control.Parallel.Meta ( Executable )
import Control.Monad.Except
import System.IO.Unsafe
data Native = Native {
gangSize :: {-# UNPACK #-} !Int
, fillS :: {-# UNPACK #-} !Executable
, fillP :: {-# UNPACK #-} !Executable
}
instance Target Native where
targetTriple _ = Just nativeTargetTriple
targetDataLayout _ = Just nativeDataLayout
{-# NOINLINE nativeTargetTriple #-}
nativeTargetTriple :: String
nativeTargetTriple = unsafePerformIO $
getProcessTargetTriple
{-# NOINLINE nativeDataLayout #-}
nativeDataLayout :: DataLayout
nativeDataLayout
= unsafePerformIO
$ fmap (either ($internalError "nativeDataLayout") id)
$ runExceptT (withNativeTargetMachine getTargetMachineDataLayout)
withNativeTargetMachine
:: (TargetMachine -> IO a)
-> ExceptT String IO a
withNativeTargetMachine = withHostTargetMachine