import Data.List
import qualified Data.Map as Map
import Foreign
+import Foreign.C.Types
import System.IO
import Control.Monad.Trans
fail err = cgFail err
m >>= k = cgBind m k
+instance Functor (CodeGen e s) where
+ fmap = liftM
+
cgReturn :: a -> CodeGen e s a
cgReturn x = CodeGen (\_env state -> return (state, Right x))
runCodeGen cg uenv ustate =
runCodeGenWithConfig cg uenv ustate defaultCodeGenConfig
+foreign import ccall "static stdlib.h"
+ memalign :: CUInt -> CUInt -> IO (Ptr a)
+
+foreign import ccall "static sys/mman.h"
+ mprotect :: CUInt -> CUInt -> Int -> IO Int
+
+mallocExecBytes :: Int -> IO (Ptr a)
+mallocExecBytes size' = do
+ arr <- memalign 0x1000 size
+ -- 0x7 = PROT_{READ,WRITE,EXEC}
+ _ <- mprotect (fromIntegral $ ptrToIntPtr arr) size 0x7
+ return arr
+ where size = fromIntegral size'
+
-- | Like 'runCodeGen', but allows more control over the code
-- generation process. In addition to a code generator and a user
-- environment and state, a code generation configuration must be
runCodeGenWithConfig (CodeGen cg) uenv ustate conf =
do (buf, sze) <- case customCodeBuffer conf of
Nothing -> do let initSize = codeBufferSize conf
- arr <- mallocBytes initSize
+ arr <- mallocExecBytes initSize
return (arr, initSize)
Just (buf, sze) -> return (buf, sze)
let env = CodeGenEnv {tailContext = True}
Nothing ->
unless (bufferOfs state + needed + 5 <= bufferSize state)
(do let incrSize = max (needed + 16) (codeBufferSize (config state))
- arr <- liftIO $ mallocBytes incrSize
+ arr <- liftIO $ mallocExecBytes incrSize
ofs <- getCodeOffset
let buf = buffer state
disp :: Int
where insertLabels :: [Dis.Instruction] -> CodeGen e s [Dis.Instruction]
insertLabels = liftM concat . mapM ins
ins :: Dis.Instruction -> CodeGen e s [Dis.Instruction]
- ins i@(Dis.BadInstruction{}) = return [i]
+ ins i@(Dis.BadInstruction _ _ addr _) = insWithLabel i addr
ins i@(Dis.PseudoInstruction{}) = return [i]
- ins i@(Dis.Instruction{Dis.address = addr}) =
+ ins i@(Dis.Instruction{Dis.address = addr}) = insWithLabel i addr
+
+ insWithLabel :: Dis.Instruction -> Int -> CodeGen e s [Dis.Instruction]
+ insWithLabel i addr =
do state <- getInternalState
let allLabs = Map.toList (definedLabels state)
labs = filter (\ (_, (buf, ofs, _)) -> fromIntegral (ptrToWordPtr (buf `plusPtr` ofs)) == addr) allLabs